Nathalie Sznajder

Identifiers

• name variant Nathalie Sznajder 0.60 · backfill

Papers (4)

1. Model checking with temporal graphs and their derivative cs.DS · 2026 · author #4
2. Real-Time Synthesis is Hard! cs.LO · 2016 · author #6
3. Probabilistic Opacity for Markov Decision Processes cs.CR · 2014 · author #3
4. Event-Clock Automata: From Theory to Practice cs.LO · 2011 · author #3

Mentions

• 1107.4138 #3 · backfill · confidence 0.70 Nathalie Sznajder

Frequent Coauthors

• Gilles Geeraerts 2 shared papers
• B\'eatrice B\'erard 1 shared papers
• Benjamin Monmege 1 shared papers
• Binh-Minh Bui-Xuan 1 shared papers
• Bruno Monasson 1 shared papers
• Florent Krasnopol 1 shared papers
• Hsi-Ming Ho 1 shared papers
• Jean-Fran\c{c}ois Raskin 1 shared papers
• Krishnendu Chatterjee 1 shared papers
• Morgane Esti\'evenart 1 shared papers
• Thomas Brihaye 1 shared papers