Stephan Merz (INRIA Nancy - Grand Est / LORIA)

Identifiers

• name variant Stephan Merz (INRIA Nancy - Grand Est / LORIA) 0.60 · backfill

Papers (2)

1. Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations cs.PL · 2014 · author #3
2. Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics cs.LO · 2014 · author #5

Mentions

• 1412.0961 #3 · backfill · confidence 0.70 Stephan Merz (INRIA Nancy - Grand Est / LORIA)
• 1409.3819 #5 · backfill · confidence 0.70 Stephan Merz (INRIA Nancy - Grand Est / LORIA)

Frequent Coauthors

• Damien Doligez (INRIA Paris-Rocquencourt) 1 shared papers
• Jael Kriener (MSR - INRIA) 1 shared papers
• Jingshu Chen (INRIA Nancy - Grand Est / LORIA) 1 shared papers
• Leslie Lamport 1 shared papers
• Marie Duflot (INRIA Nancy - Grand Est / LORIA) 1 shared papers
• Tomer Libal (MSR - INRIA) 1 shared papers