Recursive Abstract State Machines. - Yuri Gurevich; Marc Spielmann (J. Univers. Comput. Sci., 1997)

Automatic Verification of Abstract State Machines. - Marc Spielmann (CAV, 1999)

Logspace Reducibility via Abstract State Machines. - Erich Grädel; Marc Spielmann (World Congress on Formal Methods, 1999)

Reusing OncoDoc, a Guideline-based Decision Support System, Across Institutions: A Successful Experiment in Sharing Medical Knowledge. - Jacques Bouaud; Brigitte Séroussi; Éric-Charles Antoine; Laurent Zelek; Marc Spielmann (AMIA, 2000)

Model Checking Abstract State Machines and Beyond. - Marc Spielmann (Abstract State Machines, 2000)

An Experiment in Sharing and Reusing OncoDoc's Breast Cancer Guideline Knowledge. - Brigitte Séroussi; Jacques Bouaud; Éric-Charles Antoine; Laurent Zelek; Marc Spielmann (EWGLP, 2000)

Abstract state machines: verification problems and complexity. - Marc Spielmann (2000)

Using ONCODOC as a Computer-Based Eligibility Screening System to Improve Accrual onto Breast Cancer Clinical Trials. - Brigitte Séroussi; Jacques Bouaud; Éric-Charles Antoine; Laurent Zelek; Marc Spielmann (AIME, 2001)

A Before-After Study Using OncoDoc, a Guideline-Based Decision Support-System on Breast Cancer Management: Impact upon Physician Prescribing Behaviour. - Jacques Bouaud; Brigitte Séroussi; Éric-Charles Antoine; Laurent Zelek; Marc Spielmann (MedInfo, 2001)

Distributed Computation of Web Queries Using Automata. - Marc Spielmann; Jerzy Tyszkiewicz; Jan Van den Bussche (PODS, 2002)

Verification of relational transducers for electronic commerce. - Marc Spielmann (J. Comput. Syst. Sci., 2003)

The Navigational Power of Web Browsers. - Michal Bielecki; Jan Hidders; Jan Paredaens; Marc Spielmann; Jerzy Tyszkiewicz; Jan Van den Bussche (Theory Comput. Syst., 2012)

Testbeds for IT Systems in Tactical Environments. - Norman Jansen; Daniel Krämer; Marc Spielmann (MILCOM, 2014)

Middleware for coordinating a tactical router with SOA services. - Norman Jansen; Daniel Krämer; Christoph Barz; Julia Niewiejska; Marc Spielmann (ICMCIS, 2015)

Austausch von Trackingdaten in schmalbandigen Funknetzen. - Norman Jansen; Daniel Krämer; Marc Spielmann (AGIT Journal Angew. Geoinformatik, 2015)