Travelled to:1 × France
1 × Italy
2 × USA
Collaborated with:∅ E.Grädel J.Tyszkiewicz J.V.d.Bussche
Talks about:abstract (2) machin (2) verif (2) state (2) distribut (1) transduc (1) electron (1) automata (1) logspac (1) commerc (1)
Person: Marc Spielmann
DBLP: Spielmann:Marc
Contributed to:
20022000
1999
1999Wrote 4 papers:
- PODS-2002-SpielmannTB #automaton #distributed #query #using #web
- Distributed Computation of Web Queries Using Automata (MS, JT, JVdB), pp. 97–108.
- PODS-2000-Spielmann #relational #transducer #verification
- Verification of Relational Transducers for Electronic Commerce (MS), pp. 92–103.
- CAV-1999-Spielmann #automation #state machine #verification
- Automatic Verification of Abstract State Machines (MS), pp. 431–442.
- FM-v2-1999-GradelS #state machine
- Logspace Reducibility via Abstract State Machines (EG, MS), pp. 1738–1757.