Get started
Author

Anders B. Sandholm

Observed names: A. Sandholm, Anders Sandholm
Institution: Aarhus University
OpenAlex ID: A5049342155
Mona: Monadic second-order logic in practice
1995 · Jesper G. Henriksen, Jakob Jensen, et al. · Lecture notes in computer science · 357
MONA: Monadic Second-Order Logic in Practice
1995 · Jesper G. Henriksen, Ole J.L. Jensen, et al. · BRICS Report Series · 50
PDF
Distributed safety controllers for web services
1998 · Anders Sandholm, Michael I. Schwartzbach · Lecture notes in computer science · 35
PDF
A type system for dynamic Web documents
2000 · Anders Sandholm, Michael I. Schwartzbach · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 33
PDF
A Relational Account of Call-by-Value Sequentiality
2002 · Jon G. Riecke, Anders Sandholm · Information and Computation · 26
A runtime system for interactive Web services
1999 · Claus Brabrand, Anders Møller, et al. · Computer Networks · 25
A relational account of call-by-value sequentiality
2002 · J.G. Riecke, A. Sandholm · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 18
Using Automata in Control Synthesis. A Case Study
2000 · Thomas S. Hune, Anders B. Sandholm · BRICS Report Series · 12
PDF
A Runtime System for Interactive Web Services
1999 · Claus Brabrand, Anders Møller, et al. · BRICS Report Series · 10
PDF
Distributed Safety Controllers for Web Services
1997 · Anders B. Sandholm, Michael I. Schwartzbach · BRICS Report Series · 9
PDF
A Case Study on Using Automata in Control Synthesis
2000 · Thomas Hune, Anders Sandholm · Lecture notes in computer science · 8
PDF
A Relational Account of Call-by-Value Sequentiality
1999 · Jon G. Riecke, Anders B. Sandholm · BRICS Report Series · 4
PDF
A Relational Account of Call-by-Value Sequentiality
1997 · Jon G. Riecke, Anders B. Sandholm · BRICS Report Series · 4
PDF
Works count: 16
Citation count: 591
H-index: 9
I10-index: 9
Year
Topic
Type