Marc Spielmann

Publication Activity (10 Years)

Years Active: 1997-2015
Publications (10 Years): 0

Top Venues

MILCOM

AGIT Journal Angew. Geoinformatik

ICMCIS

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Norman Jansen, Daniel Krämer, Marc Spielmann
Austausch von Trackingdaten in schmalbandigen Funknetzen. AGIT Journal Angew. Geoinformatik 1 (2015)
Norman Jansen, Daniel Krämer, Christoph Barz, Julia Niewiejska, Marc Spielmann
Middleware for coordinating a tactical router with SOA services. ICMCIS (2015)
Norman Jansen, Daniel Krämer, Marc Spielmann
Testbeds for IT Systems in Tactical Environments. MILCOM (2014)
Michal Bielecki, Jan Hidders, Jan Paredaens, Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche
The Navigational Power of Web Browsers. Theory Comput. Syst. 50 (2) (2012)
Marc Spielmann
Verification of relational transducers for electronic commerce. J. Comput. Syst. Sci. 66 (1) (2003)
Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche
Distributed Computation of Web Queries Using Automata. PODS (2002)
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)
Jacques Bouaud, Brigitte Séroussi, Éric-Charles Antoine, Laurent Zelek, Marc Spielmann
A Before-After Study Using OncoDoc, a Guideline-Based Decision Support-System on Breast Cancer Management: Impact upon Physician Prescribing Behaviour. MedInfo (2001)
Marc Spielmann
Model Checking Abstract State Machines and Beyond. Abstract State Machines (2000)
Brigitte Séroussi, Jacques Bouaud, Éric-Charles Antoine, Laurent Zelek, Marc Spielmann
An Experiment in Sharing and Reusing OncoDoc's Breast Cancer Guideline Knowledge. EWGLP (2000)
Jacques Bouaud, Brigitte Séroussi, Éric-Charles Antoine, Laurent Zelek, Marc Spielmann
Reusing OncoDoc, a Guideline-based Decision Support System, Across Institutions: A Successful Experiment in Sharing Medical Knowledge. AMIA (2000)
Marc Spielmann
Verification of Relational Transducers for Electronic Commerce. PODS (2000)
Marc Spielmann
Automatic Verification of Abstract State Machines. CAV (1999)
Erich Grädel, Marc Spielmann
Logspace Reducibility via Abstract State Machines. World Congress on Formal Methods (1999)
Yuri Gurevich, Marc Spielmann
Recursive Abstract State Machines. J. Univers. Comput. Sci. 3 (4) (1997)

Marc Spielmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marc Spielmann