Marc Spielmann

Distributed computation of web queries using automata

Jan Van den Bussche, Jerzy Tyszkiewicz, Marc Spielmann, 2002, PODS.

Testbeds for IT Systems in Tactical Environments

Norman Jansen, Daniel Kramer, Marc Spielmann, 2014, 2014 IEEE Military Communications Conference.

Abstract State Machines: Verication Problems and Complexity Dissertation

Marc Spielmann, Marc Spielmann, 2000 .

Abstract state machines: verification problems and complexity

Marc Spielmann, Marc Spielmann, 2000 .

Verification of relational transducers for electronic commerce

Marc Spielmann, Marc Spielmann, 2003, J. Comput. Syst. Sci..

Recursive Abstract State Machines

Yuri Gurevich, Marc Spielmann, Y. Gurevich, 2017, J. Univers. Comput. Sci..