Sandholm, Anders B.
-
BRICS Report Series No. 47 (1997): RS-47 Distributed Safety Controllers for Web Services - Articles
Distributed Safety Controllers for Web Services
Abstract PDF -
BRICS Report Series No. 41 (1997): RS-41 A Relational Account of Call-by-Value Sequentiality - Articles
A Relational Account of Call-by-Value Sequentiality
Abstract PDF -
BRICS Report Series No. 22 (2000): RS-22 Using Automata in Control Synthesis. A Case Study - Articles
Using Automata in Control Synthesis. A Case Study
Abstract PDF -
BRICS Report Series No. 10 (1999): RS-10 A Relational Account of Call-by-Value Sequentiality - Articles
A Relational Account of Call-by-Value Sequentiality
Abstract PDF -
BRICS Report Series No. 9 (1999): RS-9 A Runtime System for Interactive Web Services - Articles
A Runtime System for Interactive Web Services
Abstract PDF -
BRICS Report Series No. 21 (1995): RS-21 MONA: Monadic Second-Order Logic in Practice - Articles
MONA: Monadic Second-Order Logic in Practice
Abstract PDF