Igor Walukiewicz

Identifiers

• name variant Igor Walukiewicz 0.60 · backfill

Papers (16)

1. Infinite lexicographic products of positional objectives cs.GT · 2025 · author #4
2. Revisiting local time semantics for networks of timed automata cs.LO · 2019 · author #4
3. Static Analysis of Deterministic Negotiations cs.LO · 2017 · author #3
4. Reachability for dynamic parametric processes cs.LO · 2016 · author #3
5. Typing weak MSOL properties cs.LO · 2016 · author #2
6. On parametrized verification of asynchronous, shared-memory pushdown systems cs.FL · 2016 · author #3
7. The Diagonal Problem for Higher-Order Recursion Schemes is Decidable cs.FL · 2016 · author #4
8. Ordered Tree-Pushdown Systems cs.FL · 2015 · author #4
9. A Note on Monitors and B\"uchi automata cs.FL · 2015 · author #3
10. Fast detection of cycles in timed automata cs.LO · 2014 · author #5
11. Better abstractions for timed automata cs.LO · 2011 · author #3
12. Using non-convex approximations for efficient analysis of timed automata cs.LO · 2011 · author #4
13. A lower bound on web services composition cs.LO · 2008 · author #2
14. Positional Determinacy of Games with Infinitely Many Priorities cs.LO · 2006 · author #2
15. Postinal Determinacy of Games with Infinitely Many Priorities cs.LO · 2006 · author #2
16. Alternating Timed Automata cs.LO · 2005 · author #2

Mentions

• 1507.01020 #3 · backfill · confidence 0.70 Igor Walukiewicz
• 1410.4509 #5 · backfill · confidence 0.70 Igor Walukiewicz
• 1110.3705 #3 · backfill · confidence 0.70 Igor Walukiewicz
• 1110.3704 #4 · backfill · confidence 0.70 Igor Walukiewicz
• 0804.3105 #2 · backfill · confidence 0.70 Igor Walukiewicz

Frequent Coauthors

• Anca Muscholl 5 shared papers
• B. Srivathsan 4 shared papers
• Fr\'ed\'eric Herbreteau 4 shared papers
• Sylvain Salvati 3 shared papers
• Erich Graedel 2 shared papers
• Lorenzo Clemente 2 shared papers
• Pawe{\l} Parys 2 shared papers
• Aakash Deshpande 1 shared papers
• Antonio Casares 1 shared papers
• Dileep Kini 1 shared papers
• Helmut Seidl 1 shared papers
• Javier Esparza 1 shared papers
• Marie Fortin 1 shared papers
• Micha{\l} Skrzypczak 1 shared papers
• Pierre Ohlmann 1 shared papers
• R. Govind 1 shared papers
• Slawomir Lasota 1 shared papers
• Thanh-Tung Tran 1 shared papers
• Volker Diekert 1 shared papers