Anders B. Sandholm

Aarhus University — Denmark

Computer Science · Physical Sciences

9h-index575citations13works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(8), Formal Methods in Verification(6), Logic, Reasoning, and Knowledge(5), Service-Oriented Architecture and Web Services(4), semigroups and automata theory(4)

Publications13 total

A Relational Account of Call-by-Value Sequentiality
Information and Computation·2002· 26 cited
A relational account of call-by-value sequentiality
2002· 17 cited
Using Automata in Control Synthesis. A Case Study
BRICS Report Series·2000· 13 citedOpen Access
A type system for dynamic Web documents
2000· 32 citedOpen Access
A Case Study on Using Automata in Control Synthesis
Lecture notes in computer science·2000· 8 citedOpen Access
A runtime system for interactive Web services
Computer Networks·1999· 25 cited
A Relational Account of Call-by-Value Sequentiality
BRICS Report Series·1999· 3 citedOpen Access
A Runtime System for Interactive Web Services
BRICS Report Series·1999· 9 citedOpen Access
Distributed safety controllers for web services
Lecture notes in computer science·1998· 36 citedOpen Access
Distributed Safety Controllers for Web Services
BRICS Report Series·1997· 8 citedOpen Access
A Relational Account of Call-by-Value Sequentiality
BRICS Report Series·1997· 4 citedOpen Access
MONA: Monadic Second-Order Logic in Practice
BRICS Report Series·1995· 46 citedOpen Access
Mona: Monadic second-order logic in practice
Lecture notes in computer science·1995· 348 cited

Frequent Co-authors

Michael I. Schwartzbach(5), Jon G. Riecke(4), Jesper G. Henriksen(2), Nils Klarlund(2), Robert Paige(2), Theis Rauhe(2), Claus Brabrand(2), Anders Møller(2), Thomas Hune(2), J. Fris Jensen(1), Michael Søgaard Jørgensen(1), Ole J.L. Jensen(1), Michael E. Jørgensen(1)