Anders Thorhauge Sandholm
Anders Thorhauge Sandholm
Google
E-mail confirmado em sandholm.dk
Título
Citado por
Citado por
Ano
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
4281995
A type system for dynamic Web documents
A Sandholm, MI Schwartzbach
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
442000
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
232002
A case study on using automata in control synthesis
T Hune, A Sandholm
International Conference on Fundamental Approaches to Software Engineering …, 2000
12*2000
Mona: Monadic second-order logic in practice
J Gulmann, J Jensen, M Jørgensen, N Klarlund, T Rauhe, A Sandholm
TACAS, 58-73, 1995
91995
< bigwig>--A language for developing interactive Web services
C Brabrand, A Møller, A Sandholm, MI Schwartzbach
IN PREPARATION, 1999
21999
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
12019
Programming Languages: Design, Analysis, and Semantics
AB Sandholm
BRICS, 2000
2000
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–10