| 2002 |
|---|
| 7 | EE | Jon G. Riecke,
Anders Sandholm:
A Relational Account of Call-by-Value Sequentiality.
Inf. Comput. 179(2): 296-331 (2002) |
| 2000 |
|---|
| 6 | EE | Thomas Hune,
Anders Sandholm:
A Case Study on Using Automata in Control Synthesis.
FASE 2000: 349-362 |
| 5 | EE | Anders Sandholm,
Michael I. Schwartzbach:
A Type System for Dynamic Web Documents.
POPL 2000: 290-301 |
| 1999 |
|---|
| 4 | EE | Claus Brabrand,
Anders Møller,
Anders Sandholm,
Michael I. Schwartzbach:
A Runtime System for Interactive Web Services.
Computer Networks 31(11-16): 1391-1401 (1999) |
| 1998 |
|---|
| 3 | EE | Anders Sandholm,
Michael I. Schwartzbach:
Distributed Safety Controllers for Web Services.
FASE 1998: 270-284 |
| 1997 |
|---|
| 2 | EE | Jon G. Riecke,
Anders Sandholm:
A Relational Account of Call-by-Value Sequentiality.
LICS 1997: 258-267 |
| 1995 |
|---|
| 1 | | Jesper G. Henriksen,
Jakob L. Jensen,
Michael E. Jørgensen,
Nils Klarlund,
Robert Paige,
Theis Rauhe,
Anders Sandholm:
Mona: Monadic Second-Order Logic in Practice.
TACAS 1995: 89-110 |
