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
4551995
A type system for dynamic Web documents
A Sandholm, MI Schwartzbach
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
452000
Distributed safety controllers for Web services
A Sandholm, MI Schwartzbach
International Conference on Fundamental Approaches to Software Engineering …, 1998
391998
A runtime system for interactive Web services
C Brabrand, A Møller, A Sandholm, MI Schwartzbach
Computer Networks 31 (11-16), 1391-1401, 1999
291999
A relational account of call-by-value sequentiality
JG Riecke, A Sandholm
Information and Computation 179 (2), 296-331, 2002
222002
A case study on using automata in control synthesis
T Hune, A Sandholm
International Conference on Fundamental Approaches to Software Engineering …, 2000
12*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
42019
< bigwig>--A language for developing interactive Web services
C Brabrand, A Møller, A Sandholm, MI Schwartzbach
IN PREPARATION, 1999
21999
Analogy Training Multilingual Encoders
N Garneau, M Hartmann, A Sandholm, S Ruder, I Vulic, A Søgaard
Proceedings of the AAAI Conference on Artificial Intelligence 35 (14), 12884 …, 2021
2021
Programming Languages: Design, Analysis, and Semantics
AB Sandholm
BRICS, 2000
2000
The system can't perform the operation now. Try again later.
Articles 1–10