Search Results - Gutsfeld, Christoph

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Calculation of universal amplitude ratios in three-loop order

    Calculation of universal amplitude ratios in three-loop order by Gutsfeld, Christoph, Küster, Jens, Münster, Gernot

    Published in Nuclear physics. B
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Calculation of Universal Amplitude Ratios in three-loop order

    Calculation of Universal Amplitude Ratios in three-loop order by Gutsfeld, Christoph, Kuester, Jens, Muenster, Gernot

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Attitudes about tuberculosis prevention in the elimination phase: a survey among physicians in Germany

    Attitudes about tuberculosis prevention in the elimination phase: a survey among physicians in Germany by Gutsfeld, Christian, Olaru, Ioana D, Vollrath, Oliver, Lange, Christoph

    Published in PloS one
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Automata and fixpoints for asynchronous hyperproperties

    Automata and fixpoints for asynchronous hyperproperties by Gutsfeld, Jens Oliver, Müller-Olm, Markus, Ohrem, Christoph

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Deciding Asynchronous Hyperproperties for Recursive Programs

    Deciding Asynchronous Hyperproperties for Recursive Programs by Gutsfeld, Jens Oliver, Müller-Olm, Markus, Ohrem, Christoph

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Attitudes about Tuberculosis Prevention in the Elimination Phase: A Survey among Physicians in Germany: e112681

    Attitudes about Tuberculosis Prevention in the Elimination Phase: A Survey among Physicians in Germany: e112681 by Gutsfeld, Christian, Olaru, Ioana D, Vollrath, Oliver, Lange, Christoph

    Published in PloS one
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Temporal Team Semantics Revisited

    Temporal Team Semantics Revisited by Jens Oliver Gutsfeld, Meier, Arne, Ohrem, Christoph, Virtema, Jonni

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    A Navigation Logic for Recursive Programs with Dynamic Thread Creation

    A Navigation Logic for Recursive Programs with Dynamic Thread Creation by Lakenbrink, Roman, Müller-Olm, Markus, Ohrem, Christoph, Gutsfeld, Jens

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Deciding Asynchronous Hyperproperties for Recursive Programs

    Deciding Asynchronous Hyperproperties for Recursive Programs by Jens Oliver Gutsfeld, Müller-Olm, Markus, Ohrem, Christoph

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Automata and Fixpoints for Asynchronous Hyperproperties

    Automata and Fixpoints for Asynchronous Hyperproperties by Jens Oliver Gutsfeld, Müller-Olm, Markus, Ohrem, Christoph

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Propositional Dynamic Logic for Hyperproperties

    Propositional Dynamic Logic for Hyperproperties by Jens Oliver Gutsfeld, Müller-Olm, Markus, Ohrem, Christoph

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: