Search Results - Merz, Stephan

Refine Results
  1. 1
    Validating Traces of Distributed Programs against High-Level Specifications: Invited Presentation at the Sixth Workshop on Models for Formal Analysis of Real Systems

    Validating Traces of Distributed Programs against High-Level Specifications: Invited Presentation at the Sixth Workshop on Models for Formal Analysis of Real Systems by Merz, Stephan

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Prophecy Made Simple

    Prophecy Made Simple by Lamport, Leslie, Merz, Stephan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Zur evaluierenden Audiometrie nach Cochlea-Implantat-Versorgung

    Zur evaluierenden Audiometrie nach Cochlea-Implantat-Versorgung by Dziemba, Oliver C., Merz, Stephan, Hocke, Thomas

    Published in HNO
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Evaluative audiometry after cochlear implant provision

    Evaluative audiometry after cochlear implant provision by Dziemba, Oliver C., Merz, Stephan, Hocke, Thomas

    Published in HNO
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Selected Extended Papers of ITP 2016: Preface

    Selected Extended Papers of ITP 2016: Preface by Blanchette, Jasmin Christian, Merz, Stephan

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Synchronization modulo P in dynamic networks

    Synchronization modulo P in dynamic networks by Penet de Monterno, Louis, Charron-Bost, Bernadette, Merz, Stephan

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Encoding TLA+ into unsorted and many-sorted first-order logic

    Encoding TLA+ into unsorted and many-sorted first-order logic by Merz, Stephan, Vanzetto, Hernán

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    A machine-checked correctness proof for Pastry

    A machine-checked correctness proof for Pastry by Azmy, Noran, Merz, Stephan, Weidenbach, Christoph

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Special issue on Automated Verification of Critical Systems (AVoCS'12)

    Special issue on Automated Verification of Critical Systems (AVoCS'12) by Lüttgen, Gerald, Merz, Stephan

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Editorial: Special Issue of Automated Verification of Critical Systems

    Editorial: Special Issue of Automated Verification of Critical Systems by Lüttgen, Gerald, Merz, Stephan

    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Editorial

    Editorial by Merz, Stephan, Pang, Jun

    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Editorial

    Editorial by Merz, Stephan, Pang, Jun

    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Contralateral electrically-evoked suppression of transient evoked otoacoustic emissions in single-sided deaf patients

    Contralateral electrically-evoked suppression of transient evoked otoacoustic emissions in single-sided deaf patients by Dziemba, Oliver Christian, Grafmans, Daniel, Merz, Stephan, Hocke, Thomas

    Published in Hearing research
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Zur evaluierenden Audiometrie nach Cochlea-Implantat-Versorgung

    Zur evaluierenden Audiometrie nach Cochlea-Implantat-Versorgung by Dziemba, Oliver C., Merz, Stephan, Hocke, Thomas

    Published in HNO
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  15. 15
    Editorial

    Editorial by Merz, Stephan, Pang, Jun, Dong, Jin Song

    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Editorial

    Editorial by Merz, Stephan, Pang, Jun, Dong, Jin Song

    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Editorial

    Editorial by Merz, Stephan, Pang, Jun, Dong, Jin Song

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Editorial

    Editorial by Merz, Stephan, Pang, Jun, Dong, Jin Song

    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Evaluative audiometry after cochlear implant provision. German Version

    Evaluative audiometry after cochlear implant provision. German Version by Dziemba, Oliver C, Merz, Stephan, Hocke, Thomas

    Published in HNO
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Editorial

    Editorial by Merz, Stephan, Pang, Jun, Dong, Jin Song

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: