 | 2009 |
|---|
| 8 |       | Xavier Maurice,
Anders Sandholm,
Nicolas Pronost,
Ronan Boulic,
Daniel Thalmann:
A subject-specific software solution for the modeling and the visualization of muscles deformations.
The Visual Computer 25(9): 835-842 (2009) |
| 2002 |
|---|
| 7 | | Jon G. Riecke,
Anders Sandholm:
A Relational Account of Call-by-Value Sequentiality.
Inf. Comput. 179(2): 296-331 (2002) |
| 2000 |
|---|
| 6 | | Thomas Hune,
Anders Sandholm:
A Case Study on Using Automata in Control Synthesis.
FASE 2000: 349-362 |
| 5 | | Anders Sandholm,
Michael I. Schwartzbach:
A Type System for Dynamic Web Documents.
POPL 2000: 290-301 |
| 1999 |
|---|
| 4 | | 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 | | Anders Sandholm,
Michael I. Schwartzbach:
Distributed Safety Controllers for Web Services.
FASE 1998: 270-284 |
| 1997 |
|---|
| 2 | | 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 |
