Marcin Jurdzinski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
13
Active years
1997–2026
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Fast Obligation Translation and Synthesis. | Alexandre Duret-Lutz, Giuseppe De Giacomo, Marcin Jurdzinski, Nir Piterman, Moshe Y. Vardi, Shufang Zhu |
| 2024 | ICALP | Lookahead Games and Efficient Determinisation of History-Deterministic Bchi Automata. | Rohan Acharya, Marcin Jurdzinski, Aditya Prakash |
| 2020 | ICALP | The Strahler Number of a Parity Game. | Laure Daviaud, Marcin Jurdzinski, K. S. Thejaswini |
| 2019 | CONCUR | Alternating Weak Automata from Universal Trees. | Laure Daviaud, Marcin Jurdzinski, Karoliina Lehtinen |
| 2019 | SODA | Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games. | Wojciech Czerwinski, Laure Daviaud, Nathanal Fijalkow, Marcin Jurdzinski, Ranko Lazic, Pawel Parys |
| 2018 | ICALP | When is Containment Decidable for Probabilistic Automata?. | Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Prez, James Worrell |
| 2018 | LICS | A pseudo-quasi-polynomial algorithm for mean-payoff parity games. | Laure Daviaud, Marcin Jurdzinski, Ranko Lazic |
| 2017 | LICS | Perfect half space games. | Thomas Colcombet, Marcin Jurdzinski, Ranko Lazic, Sylvain Schmitz |
| 2017 | LICS | Succinct progress measures for solving parity games. | Marcin Jurdzinski, Ranko Lazic |
| 2015 | ICALP | Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time. | Marcin Jurdzinski, Ranko Lazic, Sylvain Schmitz |
| 2015 | IJCAI | Approximate Nash Equilibria with Near Optimal Social Welfare. | Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski |
| 2014 | SAGT | Approximate Well-Supported Nash Equilibria in Symmetric Bimatrix Games. | Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski |
| 2013 | ICALP | Reachability in Two-Clock Timed Automata Is PSPACE-Complete. | John Fearnley, Marcin Jurdzinski |
| 2010 | SOFSEM | Linear Complementarity Algorithms for Infinite Games. | John Fearnley, Marcin Jurdzinski, Rahul Savani |
| 2009 | CONCUR | Concavely-Priced Probabilistic Timed Automata. | Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
| 2009 | SOFSEM | Algorithms for Solving Infinite Games. | Marcin Jurdzinski |
| 2009 | VMCAI | Average-Price-per-Reward Games on Hybrid Automata with Strong Resets. | Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski |
| 2008 | CiE | A Simple P-Matrix Linear Complementarity Problem for Discounted Games. | Marcin Jurdzinski, Rahul Savani |
| 2007 | ICALP | Reachability-Time Games on Timed Automata. | Marcin Jurdzinski, Ashutosh Trivedi |
| 2007 | LICS | Alternation-free modal mu-calculus for data trees. | Marcin Jurdzinski, Ranko Lazic |
| 2007 | TACAS | Model Checking Probabilistic Timed Automata with One or Two Clocks. | Marcin Jurdzinski, Franois Laroussinie, Jeremy Sproston |
| 2006 | SODA | A deterministic subexponential algorithm for solving parity games. | Marcin Jurdzinski, Mike Paterson, Uri Zwick |
| 2005 | LICS | Mean-Payoff Parity Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski |
| 2004 | CSL | On Nash Equilibria in Stochastic Games. | Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski |
| 2004 | LICS | Games with Secure Equilibria. | Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski |
| 2004 | SODA | Quantitative stochastic parity games. | Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger |
| 2003 | CSL | Simple Stochastic Parity Games. | Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger |
| 2002 | CAV | Interface Compatibility Checking for Software Modules. | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang |
| 2002 | CSL | Trading Probability for Fairness. | Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger |
| 2000 | CAV | A Discrete Strategy Improvement Algorithm for Solving Parity Games. | Jens Vge, Marcin Jurdzinski |
| 2000 | STACS | Small Progress Measures for Solving Parity Games. | Marcin Jurdzinski |
| 2000 | STACS | Hereditary History Preserving Bisimilarity Is Undecidable. | Marcin Jurdzinski, Mogens Nielsen |
| 1997 | LICS | How Much Memory is Needed to Win Infinite Games? | Stefan Dziembowski, Marcin Jurdzinski, Igor Walukiewicz |