| 2003 |
|---|
| 8 | EE | Marc Spielmann:
Verification of relational transducers for electronic commerce.
J. Comput. Syst. Sci. 66(1): 40-65 (2003) |
| 2002 |
|---|
| 7 | EE | Marc Spielmann,
Jerzy Tyszkiewicz,
Jan Van den Bussche:
Distributed Computation of Web Queries Using Automata.
PODS 2002: 97-108 |
| 2001 |
|---|
| 6 | EE | Brigitte Séroussi,
Jacques Bouaud,
Éric-Charles Antoine,
Laurent Zelek,
Marc Spielmann:
Using ONCODOC as a Computer-Based Eligibility Screening System to Improve Accrual onto Breast Cancer Clinical Trials.
AIME 2001: 421-430 |
| 2000 |
|---|
| 5 | EE | Marc Spielmann:
Model Checking Abstract State Machines and Beyond.
Abstract State Machines 2000: 323-340 |
| 4 | EE | Marc Spielmann:
Verification of Relational Transducers for Electronic Commerce.
PODS 2000: 92-103 |
| 1999 |
|---|
| 3 | EE | Marc Spielmann:
Automatic Verification of Abstract State Machines.
CAV 1999: 431-442 |
| 2 | EE | Erich Grädel,
Marc Spielmann:
Logspace Reducibility via Abstract State Machines.
World Congress on Formal Methods 1999: 1738-1757 |
| 1997 |
|---|
| 1 | EE | Yuri Gurevich,
Marc Spielmann:
Recursive Abstract State Machines.
J. UCS 3(4): 233-246 (1997) |
