| |
| 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) |
| 1 | Éric-Charles Antoine | [6] |
| 2 | Jacques Bouaud | [6] |
| 3 | Jan Van den Bussche | [7] |
| 4 | Erich Grädel | [2] |
| 5 | Yuri Gurevich | [1] |
| 6 | Brigitte Séroussi | [6] |
| 7 | Jerzy Tyszkiewicz | [7] |
| 8 | Laurent Zelek | [6] |