Marcin Jurdzinski

Identifiers

• name variant Marcin Jurdzinski 0.60 · backfill

Papers (3)

1. Fast Obligation Translation and Synthesis cs.FL · 2026 · author #3
2. Model Checking Probabilistic Timed Automata with One or Two Clocks cs.LO · 2008 · author #1
3. Alternating Automata on Data Trees and XPath Satisfiability cs.LO · 2008 · author #1

Mentions

• 0809.0060 #1 · backfill · confidence 0.70 Marcin Jurdzinski
• 0805.0330 #1 · backfill · confidence 0.70 Marcin Jurdzinski

Frequent Coauthors

• Alexandre Duret-Lutz 1 shared papers
• Francois Laroussinie 1 shared papers
• Giuseppe De Giacomo 1 shared papers
• Jeremy Sproston 1 shared papers
• Moshe Y. Vardi 1 shared papers
• Nir Piterman 1 shared papers
• Ranko Lazic 1 shared papers
• Shufang Zhu 1 shared papers