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, ...
Tools and Algorithms for the Construction and Analysis of Systems: First …, 1995
5041995
A type system for dynamic Web documents
A Sandholm, MI Schwartzbach
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
432000
" 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
422021
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
291999
A relational account of call-by-value sequentiality
JG Riecke, A Sandholm
Information and Computation 179 (2), 296-331, 2002
272002
Conditional generation with a question-answering blueprint
S Narayan, J Maynez, RK Amplayo, K Ganchev, A Louis, F Huot, ...
Transactions of the Association for Computational Linguistics 11, 974-996, 2023
202023
Mona: Monadic second-order logic in practice
J Gulmann, J Jensen, M Jørgensen, N Klarlund, T Rauhe, A Sandholm
TACAS, 58-73, 1995
201995
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
162019
A case study on using automata in control synthesis
T Hune, A Sandholm
International Conference on Fundamental Approaches to Software Engineering …, 2000
13*2000
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
112021
Text-blueprint: An interactive platform for plan-based conditional generation
F Huot, J Maynez, S Narayan, RK Amplayo, K Ganchev, AP Louis, ...
Proceedings of the 17th Conference of the European Chapter of the …, 2023
22023
bigwig>—a language for developing interactive Web services
C Brabrand, A Møller, A Sandholm, MI Schwartzbach
Submitted for publication, 1999
21999
Programming Languages: Design, Analysis, and Semantics
AB Sandholm
BRICS, 2000
2000
Distributed Safety Controllers for Interactive Web Services
MI Schwartzbach, A Sandholm
Proccedings on Conference on Fundamental Approaches to Software Engineering …, 1998
1998
The system can't perform the operation now. Try again later.
Articles 1–15