Follow
Anders Thorhauge Sandholm
Anders Thorhauge Sandholm
Google
Verified email at sandholm.dk
Title
Cited by
Cited by
Year
Mona: Monadic second-order logic in practice
JG Henriksen, J Jensen, M Jørgensen, N Klarlund, R Paige, T Rauhe, ...
International Workshop on Tools and Algorithms for the Construction and …, 1995
4791995
A type system for dynamic Web documents
A Sandholm, MI Schwartzbach
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
422000
Distributed safety controllers for Web services
A Sandholm, MI Schwartzbach
International Conference on Fundamental Approaches to Software Engineering …, 1998
401998
A runtime system for interactive Web services
C Brabrand, A Møller, A Sandholm, MI Schwartzbach
Computer Networks 31 (11-16), 1391-1401, 1999
301999
A relational account of call-by-value sequentiality
JG Riecke, A Sandholm
Information and Computation 179 (2), 296-331, 2002
282002
A case study on using automata in control synthesis
T Hune, A Sandholm
International Conference on Fundamental Approaches to Software Engineering …, 2000
14*2000
Rewarding coreference resolvers for being consistent with world knowledge
R Aralikatte, H Lent, AV Gonzalez, D Hershcovich, C Qiu, A Sandholm, ...
arXiv preprint arXiv:1909.02392, 2019
112019
Analogy training multilingual encoders
N Garneau, M Hartmann, A Sandholm, S Ruder, I Vulić, A Søgaard
Proceedings of the AAAI Conference on Artificial Intelligence 35 (14), 12884 …, 2021
22021
< bigwig>--A language for developing interactive Web services
C Brabrand, A Møller, A Sandholm, MI Schwartzbach
IN PREPARATION, 1999
21999
" Will You Find These Shortcuts?" A Protocol for Evaluating the Faithfulness of Input Salience Methods for Text Classification
J Bastings, S Ebert, P Zablotskaia, A Sandholm, K Filippova
arXiv preprint arXiv:2111.07367, 2021
12021
Programming Languages: Design, Analysis, and Semantics
AB Sandholm
BRICS, 2000
2000
The system can't perform the operation now. Try again later.
Articles 1–11