Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Marc
    Last name: Spielmann
    DBLP: 94/5191
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 12 of 12  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Norman Jansen, Daniel Krämer, Marc Spielmann.
    Austausch von Trackingdaten in schmalbandigen Funknetzen.
    AGIT Journal 2015, Volume 1 (0) 2015
    Conference paper
    Michal Bielecki, Jan Hidders, Jan Paredaens, Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche.
    The Navigational Power of Web Browsers.
    Theory Comput. Syst. 2012, Volume 50 (0) 2012
    Conference paper
    Marc Spielmann.
    Verification of relational transducers for electronic commerce.
    J. Comput. Syst. Sci. 2003, Volume 66 (0) 2003
    Conference paper
    Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche.
    Distributed Computation of Web Queries Using Automata.
    Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA 2002 (0) 2002
    Conference paper
    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 - Proceedings of the 10th World Congress on Medical Informatics, September 2-5, 2001, London, UK 2001 (0) 2001
    Conference paper
    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.
    Artificial Intelligence Medicine, 8th Conference on AI in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001, Proceedings 2001 (0) 2001
    Conference paper
    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, American Medical Informatics Association Annual Symposium, Los Angeles, CA, USA, November 4-8, 2000 2000 (0) 2000
    Conference paper
    Marc Spielmann.
    Model Checking Abstract State Machines and Beyond.
    Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Marc Spielmann.
    Verification of Relational Transducers for Electronic Commerce.
    Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA 2000 (0) 2000
    Conference paper
    Marc Spielmann.
    Automatic Verification of Abstract State Machines.
    Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings 1999 (0) 1999
    Conference paper
    Erich Grädel, Marc Spielmann.
    Logspace Reducibility via Abstract State Machines.
    FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II 1999 (0) 1999
    Conference paper
    Yuri Gurevich, Marc Spielmann.
    Recursive Abstract State Machines.
    J. UCS 1997, Volume 3 (0) 1997
    Show item 1 to 12 of 12  

    Your query returned 12 matches in the database.