Marc Spielmann

According to our database, Marc Spielmann authored at least 15 papers between 1997 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Austausch von Trackingdaten in schmalbandigen Funknetzen.

Norman Jansen, Daniel Krämer, Marc Spielmann

AGIT Journal Angew. Geoinformatik, 2015

Middleware for coordinating a tactical router with SOA services.

Norman Jansen, Daniel Krämer, Christoph Barz, Julia Niewiejska, Marc Spielmann

Proceedings of the International Conference on Military Communications and Information Systems, 2015

2014

Testbeds for IT Systems in Tactical Environments.

Norman Jansen, Daniel Krämer, Marc Spielmann

Proceedings of the 2014 IEEE Military Communications Conference, 2014

2012

The Navigational Power of Web Browsers.

Michal Bielecki, Jan Hidders, Jan Paredaens, Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche

Theory Comput. Syst., 2012

2003

Verification of relational transducers for electronic commerce.

Marc Spielmann

J. Comput. Syst. Sci., 2003

2002

Distributed Computation of Web Queries Using Automata.

Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

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

Proceedings of the MEDINFO 2001, 2001

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

Proceedings of the Artificial Intelligence Medicine, 2001

2000

Abstract state machines: verification problems and complexity.

Marc Spielmann

PhD thesis, 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

Proceedings of the Computer-Based Support for Clinical Guidelines and Protocols, 2000

Model Checking Abstract State Machines and Beyond.

Marc Spielmann

Proceedings of the Abstract State Machines, 2000

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

Proceedings of the AMIA 2000, 2000

1999

Logspace Reducibility via Abstract State Machines.

Erich Grädel, Marc Spielmann

Proceedings of the FM'99 - Formal Methods, 1999

Automatic Verification of Abstract State Machines.

Marc Spielmann

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1997

Recursive Abstract State Machines.

Yuri Gurevich, Marc Spielmann

J. Univers. Comput. Sci., 1997