Marc Spielmann

	2003
8		Marc Spielmann: Verification of relational transducers for electronic commerce. J. Comput. Syst. Sci. 66(1): 40-65 (2003)
	2002
7		Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche: Distributed Computation of Web Queries Using Automata. PODS 2002: 97-108
	2001
6		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		Marc Spielmann: Model Checking Abstract State Machines and Beyond. Abstract State Machines 2000: 323-340
4		Marc Spielmann: Verification of Relational Transducers for Electronic Commerce. PODS 2000: 92-103
	1999
3		Marc Spielmann: Automatic Verification of Abstract State Machines. CAV 1999: 431-442
2		Erich Grädel, Marc Spielmann: Logspace Reducibility via Abstract State Machines. World Congress on Formal Methods 1999: 1738-1757
	1997
1		Yuri Gurevich, Marc Spielmann: Recursive Abstract State Machines. J. UCS 3(4): 233-246 (1997)

Coauthor Index

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]

Colors in the list of coauthors