Marc Spielmann

16 papers A* 3B 1Misc 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2015 J jnl
Austausch von Trackingdaten in schmalbandigen Funknetzen.
AGIT Journal Angew. Geoinformatik
Norman Jansen, Daniel Krämer, Marc Spielmann
2015 — conf
Middleware for coordinating a tactical router with SOA services.
ICMCIS
Norman Jansen, Daniel Krämer, Christoph Barz, Julia Niewiejska, Marc Spielmann
2014 — conf
Testbeds for IT Systems in Tactical Environments.
MILCOM
Norman Jansen, Daniel Krämer, Marc Spielmann
2012 J jnl
The Navigational Power of Web Browsers.
Theory Comput. Syst.
Michal Bielecki, Jan Hidders, Jan Paredaens, Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche
2003 J jnl
Verification of relational transducers for electronic commerce.
J. Comput. Syst. Sci.
Marc Spielmann
2002 A* conf
Distributed Computation of Web Queries Using Automata.
PODS
Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche
2001 — conf
A Before-After Study Using OncoDoc, a Guideline-Based Decision Support-System on Breast Cancer Management: Impact upon Physician Prescribing Behaviour.
MedInfo
Jacques Bouaud, Brigitte Séroussi, Éric-Charles Antoine, Laurent Zelek, Marc Spielmann
2001 B conf
Using ONCODOC as a Computer-Based Eligibility Screening System to Improve Accrual onto Breast Cancer Clinical Trials.
AIME
Brigitte Séroussi, Jacques Bouaud, Éric-Charles Antoine, Laurent Zelek, Marc Spielmann
2000 — —
Abstract state machines: verification problems and complexity.
Marc Spielmann
2000 — conf
An Experiment in Sharing and Reusing OncoDoc's Breast Cancer Guideline Knowledge.
EWGLP
Brigitte Séroussi, Jacques Bouaud, Éric-Charles Antoine, Laurent Zelek, Marc Spielmann
2000 — conf
Model Checking Abstract State Machines and Beyond.
Abstract State Machines
Marc Spielmann
2000 Misc conf
Reusing OncoDoc, a Guideline-based Decision Support System, Across Institutions: A Successful Experiment in Sharing Medical Knowledge.
AMIA
Jacques Bouaud, Brigitte Séroussi, Éric-Charles Antoine, Laurent Zelek, Marc Spielmann
2000 A* conf
Verification of Relational Transducers for Electronic Commerce.
PODS
Marc Spielmann
1999 A* conf
Automatic Verification of Abstract State Machines.
CAV
Marc Spielmann
1999 — conf
Logspace Reducibility via Abstract State Machines.
World Congress on Formal Methods
Erich Grädel, Marc Spielmann
1997 J jnl
Recursive Abstract State Machines.
J. Univers. Comput. Sci.
Yuri Gurevich, Marc Spielmann