Stephan Merz (INRIA Lorraine - LORIA)

Identifiers

• name variant Stephan Merz (INRIA Lorraine - LORIA) 0.60 · backfill

Papers (4)

1. A Formalization of the Semantics of Functional-Logic Programming in Isabelle cs.LO · 2009 · author #2
2. A TLA+ Proof System cs.LO · 2008 · author #4
3. Event Systems and Access Control cs.LO · 2006 · author #2
4. Truly On-The-Fly LTL Model Checking cs.LO · 2005 · author #3

Mentions

• 0908.0494 #2 · backfill · confidence 0.70 Stephan Merz (INRIA Lorraine - LORIA)
• 0811.1914 #4 · backfill · confidence 0.70 Stephan Merz (INRIA Lorraine - LORIA)

Frequent Coauthors

• Alexander Knapp (IFI-LMU) 1 shared papers
• Damien Doligez (INRIA Rocquencourt) 1 shared papers
• Dominique M\'ery (INRIA Lorraine - LORIA) 1 shared papers
• Francisco L\'opez Fraguas 1 shared papers
• Juan Rodr\'iguez Hortal\'a 1 shared papers
• Kaustuv C. Chaudhuri (MRI) 1 shared papers
• Leslie Lamport 1 shared papers
• Moritz Hammer (IFI-LMU) 1 shared papers