Marc Spielmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1999–2002
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | PODS | Distributed Computation of Web Queries Using Automata. | Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche |
| 2001 | AIME | Using ONCODOC as a Computer-Based Eligibility Screening System to Improve Accrual onto Breast Cancer Clinical Trials. | Brigitte Sroussi, Jacques Bouaud, ric-Charles Antoine, Laurent Zelek, Marc Spielmann |
| 2000 | AMIA | Reusing OncoDoc, a Guideline-based Decision Support System, Across Institutions: A Successful Experiment in Sharing Medical Knowledge. | Jacques Bouaud, Brigitte Sroussi, ric-Charles Antoine, Laurent Zelek, Marc Spielmann |
| 2000 | PODS | Verification of Relational Transducers for Electronic Commerce. | Marc Spielmann |
| 1999 | CAV | Automatic Verification of Abstract State Machines. | Marc Spielmann |
| 1999 | FM | Logspace Reducibility via Abstract State Machines. | Erich Grdel, Marc Spielmann |