Marc Spielmann - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2015

Middleware for coordinating a tactical router with SOA servicesNorman Jansen, Daniel Krämer, Christoph Barz, Julia Niewiejska, Marc Spielmann. icmcis 2015: 1-7 [doi]

Austausch von Trackingdaten in schmalbandigen FunknetzenNorman Jansen, Daniel Krämer, Marc Spielmann. agit, 1:240-245, 2015. [doi]

2014

Testbeds for IT Systems in Tactical EnvironmentsNorman Jansen, Daniel Krämer, Marc Spielmann. milcom 2014: 1293-1298 [doi]

2012

The Navigational Power of Web BrowsersMichal Bielecki, Jan Hidders, Jan Paredaens, Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche. mst, 50(2):213-240, 2012. [doi]

2003

Verification of relational transducers for electronic commerceMarc Spielmann. jcss, 66(1):40-65, 2003. [doi]

2002

Distributed Computation of Web Queries Using AutomataMarc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche. PODS 2002: 97-108 [doi]

2001

A Before-After Study Using OncoDoc, a Guideline-Based Decision Support-System on Breast Cancer Management: Impact upon Physician Prescribing BehaviourJacques Bouaud, Brigitte Séroussi, Éric-Charles Antoine, Laurent Zelek, Marc Spielmann. medinfo 2001: 420-424 [doi]

Using ONCODOC as a Computer-Based Eligibility Screening System to Improve Accrual onto Breast Cancer Clinical TrialsBrigitte Séroussi, Jacques Bouaud, Éric-Charles Antoine, Laurent Zelek, Marc Spielmann. aime 2001: 421-430 [doi]

2000

1999

Logspace Reducibility via Abstract State MachinesErich Grädel, Marc Spielmann. FM 1999: 1738-1757 [doi]

Automatic Verification of Abstract State MachinesMarc Spielmann. cav 1999: 431-442 [doi]

1997

Recursive Abstract State MachinesYuri Gurevich, Marc Spielmann. jucs, 3(4):233-246, 1997. [doi]

Sign in or sign up to see more results.

runs on WebDSL