×

zbMATH — the first resource for mathematics

Jurdziński, Marcin

Compute Distance To:
Author ID: jurdzinski.marcin Recent zbMATH articles by "Jurdziński, Marcin"
Published as: Jurdzinski, Marcin; Jurdziński, Marcin
Documents Indexed: 40 Publications since 1998, including 2 Books

Publications by Year

Citations contained in zbMATH

36 Publications have been cited 423 times in 256 Documents Cited by Year
Small progress measures for solving parity games. Zbl 0962.68111
Jurdziński, Marcin
69
2000
Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\). Zbl 1338.68109
Jurdziński, Marcin
58
1998
A discrete strategy improvement algorithm for solving parity games. (Extended abstract). Zbl 0974.68527
Vöge, Jens; Jurdziński, Marcin
39
2000
Quantitative stochastic parity games. Zbl 1318.91027
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
34
2004
A deterministic subexponential algorithm for solving parity games. Zbl 1192.91013
Jurdziński, Marcin; Paterson, Mike; Zwick, Uri
24
2006
A deterministic subexponential algorithm for solving parity games. Zbl 1173.91326
Jurdziński, Marcin; Paterson, Mike; Zwick, Uri
23
2008
Simple stochastic parity games. Zbl 1116.68493
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
22
2003
Games with secure equilibria. Zbl 1108.91007
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin
21
2006
On Nash equilibria in stochastic games. Zbl 1095.91001
Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin
19
2004
Undecidability of domino games and hhp-bisimilarity. Zbl 1054.68094
Jurdziński, Marcin; Nielsen, Mogens; Srba, Jiří
10
2003
Fixed-dimensional energy games are in pseudo-polynomial time. Zbl 1440.68122
Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain
9
2015
Model checking probabilistic timed automata with one or two clocks. Zbl 1147.68574
Jurdzinski, Marcin; Sproston, Jeremy; Laroussinie, Francois
9
2008
The covering and boundedness problems for branching vector addition systems. Zbl 1260.68264
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
7
2013
Interface compatibility checking for software modules. Zbl 1010.68505
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Jurdzinski, Marcin; Mang, Freddy Y. C.
7
2002
Reachability in two-clock timed automata is PSPACE-complete. Zbl 1345.68155
Fearnley, John; Jurdziński, Marcin
6
2015
Reachability in two-clock timed automata is PSPACE-complete. Zbl 1327.68118
Fearnley, John; Jurdziński, Marcin
6
2013
Alternating automata on data trees and XPath satisfiability. Zbl 1351.68141
Jurdziński, Marcin; Lazić, Ranko
6
2011
Reachability-time games on timed automata. Zbl 1171.68528
Jurdziński, Marcin; Trivedi, Ashutosh
6
2007
Model checking probabilistic timed automata with one or two clocks. Zbl 1186.68295
Jurdziński, Marcin; Laroussinie, François; Sproston, Jeremy
6
2007
Concavely-priced probabilistic timed automata. Zbl 1254.68136
Jurdziński, Marcin; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
5
2009
A simple P-matrix linear complementarity problem for discounted games. Zbl 1142.91307
Jurdziński, Marcin; Savani, Rahul
5
2008
Approximate well-supported Nash equilibria in symmetric bimatrix games. Zbl 1403.91024
Czumaj, Artur; Fasoulakis, Michail; Jurdziński, Marcin
4
2014
Concavely-priced timed automata. (Extended abstract). Zbl 1171.68529
Jurdziński, Marcin; Trivedi, Ashutosh
4
2008
Trading probability for fairness. Zbl 1020.68060
Jurdzinski, Marcin; Kupferman, Orna; Henzinger, Thomas A.
4
2002
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
3
2014
Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523
Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał
3
2008
Hereditary history preserving bisimilarity is undecidable. Zbl 0962.68122
Jurdziński, Marcin; Nielsen, Mogens
3
2000
Distributed methods for computing approximate equilibria. Zbl 1404.91003
Czumaj, Artur; Deligkas, Argyrios; Fasoulakis, Michail; Fearnley, John; Jurdziński, Marcin; Savani, Rahul
2
2016
Games with secure equilibria. Zbl 1143.68447
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin
2
2005
Universal trees grow inside separating automata: quasi-polynomial lower bounds for parity games. Zbl 1432.68223
Czerwiński, Wojciech; Daviaud, Laure; Fijalkow, Nathanaël; Jurdziński, Marcin; Lazić, Ranko; Parys, Paweł
1
2019
Distributed methods for computing approximate equilibria. Zbl 1422.91052
Czumaj, Artur; Deligkas, Argyrios; Fasoulakis, Michail; Fearnley, John; Jurdziński, Marcin; Savani, Rahul
1
2019
Linear complementarity algorithms for infinite games. Zbl 1274.91101
Fearnley, John; Jurdziński, Marcin; Savani, Rahul
1
2010
The covering and boundedness problems for branching vector addition systems. Zbl 1248.68202
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
1
2009
Average-time games. Zbl 1248.68307
Jurdzinski, Marcin; Trivedi, Ashutosh
1
2008
Calculating probabilities of real-time test cases. Zbl 1183.68178
Jurdziński, Marcin; Peled, Doron; Qu, Hongyang
1
2006
Games for verification: Algorithmic issues. Zbl 0982.68087
Jurdziński, Marcin
1
2000
Universal trees grow inside separating automata: quasi-polynomial lower bounds for parity games. Zbl 1432.68223
Czerwiński, Wojciech; Daviaud, Laure; Fijalkow, Nathanaël; Jurdziński, Marcin; Lazić, Ranko; Parys, Paweł
1
2019
Distributed methods for computing approximate equilibria. Zbl 1422.91052
Czumaj, Artur; Deligkas, Argyrios; Fasoulakis, Michail; Fearnley, John; Jurdziński, Marcin; Savani, Rahul
1
2019
Distributed methods for computing approximate equilibria. Zbl 1404.91003
Czumaj, Artur; Deligkas, Argyrios; Fasoulakis, Michail; Fearnley, John; Jurdziński, Marcin; Savani, Rahul
2
2016
Fixed-dimensional energy games are in pseudo-polynomial time. Zbl 1440.68122
Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain
9
2015
Reachability in two-clock timed automata is PSPACE-complete. Zbl 1345.68155
Fearnley, John; Jurdziński, Marcin
6
2015
Approximate well-supported Nash equilibria in symmetric bimatrix games. Zbl 1403.91024
Czumaj, Artur; Fasoulakis, Michail; Jurdziński, Marcin
4
2014
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
3
2014
The covering and boundedness problems for branching vector addition systems. Zbl 1260.68264
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
7
2013
Reachability in two-clock timed automata is PSPACE-complete. Zbl 1327.68118
Fearnley, John; Jurdziński, Marcin
6
2013
Alternating automata on data trees and XPath satisfiability. Zbl 1351.68141
Jurdziński, Marcin; Lazić, Ranko
6
2011
Linear complementarity algorithms for infinite games. Zbl 1274.91101
Fearnley, John; Jurdziński, Marcin; Savani, Rahul
1
2010
Concavely-priced probabilistic timed automata. Zbl 1254.68136
Jurdziński, Marcin; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
5
2009
The covering and boundedness problems for branching vector addition systems. Zbl 1248.68202
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
1
2009
A deterministic subexponential algorithm for solving parity games. Zbl 1173.91326
Jurdziński, Marcin; Paterson, Mike; Zwick, Uri
23
2008
Model checking probabilistic timed automata with one or two clocks. Zbl 1147.68574
Jurdzinski, Marcin; Sproston, Jeremy; Laroussinie, Francois
9
2008
A simple P-matrix linear complementarity problem for discounted games. Zbl 1142.91307
Jurdziński, Marcin; Savani, Rahul
5
2008
Concavely-priced timed automata. (Extended abstract). Zbl 1171.68529
Jurdziński, Marcin; Trivedi, Ashutosh
4
2008
Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523
Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał
3
2008
Average-time games. Zbl 1248.68307
Jurdzinski, Marcin; Trivedi, Ashutosh
1
2008
Reachability-time games on timed automata. Zbl 1171.68528
Jurdziński, Marcin; Trivedi, Ashutosh
6
2007
Model checking probabilistic timed automata with one or two clocks. Zbl 1186.68295
Jurdziński, Marcin; Laroussinie, François; Sproston, Jeremy
6
2007
A deterministic subexponential algorithm for solving parity games. Zbl 1192.91013
Jurdziński, Marcin; Paterson, Mike; Zwick, Uri
24
2006
Games with secure equilibria. Zbl 1108.91007
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin
21
2006
Calculating probabilities of real-time test cases. Zbl 1183.68178
Jurdziński, Marcin; Peled, Doron; Qu, Hongyang
1
2006
Games with secure equilibria. Zbl 1143.68447
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin
2
2005
Quantitative stochastic parity games. Zbl 1318.91027
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
34
2004
On Nash equilibria in stochastic games. Zbl 1095.91001
Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin
19
2004
Simple stochastic parity games. Zbl 1116.68493
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
22
2003
Undecidability of domino games and hhp-bisimilarity. Zbl 1054.68094
Jurdziński, Marcin; Nielsen, Mogens; Srba, Jiří
10
2003
Interface compatibility checking for software modules. Zbl 1010.68505
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Jurdzinski, Marcin; Mang, Freddy Y. C.
7
2002
Trading probability for fairness. Zbl 1020.68060
Jurdzinski, Marcin; Kupferman, Orna; Henzinger, Thomas A.
4
2002
Small progress measures for solving parity games. Zbl 0962.68111
Jurdziński, Marcin
69
2000
A discrete strategy improvement algorithm for solving parity games. (Extended abstract). Zbl 0974.68527
Vöge, Jens; Jurdziński, Marcin
39
2000
Hereditary history preserving bisimilarity is undecidable. Zbl 0962.68122
Jurdziński, Marcin; Nielsen, Mogens
3
2000
Games for verification: Algorithmic issues. Zbl 0982.68087
Jurdziński, Marcin
1
2000
Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\). Zbl 1338.68109
Jurdziński, Marcin
58
1998
all top 5

Cited by 401 Authors

29 Chatterjee, Krishnendu
15 Henzinger, Thomas A.
10 Kupferman, Orna
9 Raskin, Jean-François
8 Fearnley, John
8 Lange, Martin
7 Avni, Guy
7 Bouyer, Patricia
7 Brihaye, Thomas
7 Doyen, Laurent
7 Markey, Nicolas
7 Savani, Rahul
7 Schewe, Sven
6 Deligkas, Argyrios
6 Friedmann, Oliver
6 Kwiatkowska, Marta Z.
5 Bruyère, Véronique
5 Piterman, Nir
5 Randour, Mickael
5 Rauch Henzinger, Monika
4 Boros, Endre
4 Elbassioni, Khaled M.
4 Fröschle, Sibylle B.
4 Grädel, Erich
4 Gurvich, Vladimir A.
4 Ibsen-Jensen, Rasmus
4 Jurdziński, Marcin
4 Norman, Gethin
4 Pauly, Arno M.
4 Perelli, Giuseppe
4 Trivedi, Ashutosh
4 Vorobyov, Sergei
4 Zimmermann, Martín G.
3 Benerecetti, Massimo
3 Bertrand, Nathalie
3 Björklund, Henrik
3 Dell’Erba, Daniele
3 Forejt, Vojtěch
3 Gaubert, Stéphane
3 Gimbert, Hugo
3 Jobstmann, Barbara
3 Kiefer, Stefan
3 Laroussinie, François
3 Larsen, Kim Guldstrand
3 Lasota, Sławomir
3 Makino, Kazuhisa
3 Mogavero, Fabio
3 Murano, Aniello
3 Neogy, Samir Kumar
3 Pérez, Guillermo A.
3 Rabinovich, Roman
3 Schmitz, Sylvain
3 Serre, Olivier
3 Sproston, Jeremy
3 Vardi, Moshe Y.
3 Walukiewicz, Igor
3 Willemse, Tim A. C.
2 Abriola, Sergio
2 Akian, Marianne
2 Baldan, Paolo
2 Bérard, Béatrice
2 Berwanger, Dietmar
2 Bloem, Roderick
2 Bozzelli, Laura
2 Bradfield, Julian Charles
2 Brázdil, Tomáš
2 Brenguier, Romain
2 Bro Miltersen, Peter
2 Brožek, Václav
2 Carlier, Pierre
2 Comin, Carlo
2 Czerwiński, Wojciech
2 Czumaj, Artur
2 D’Agostino, Giovanna
2 de Alfaro, Luca
2 Dewaskar, Miheer
2 Dingel, Juergen
2 Emerson, Ernest Allen
2 Fahrenberg, Uli
2 Fasoulakis, Michail
2 Figueira, Santiago
2 Fijalkow, Nathanaël
2 Filiot, Emmanuel
2 Gawlitza, Thomas Martin
2 Genest, Blaise
2 Gentilini, Raffaella
2 Ghorui, Debasish
2 Guha, Shibashis
2 Gupta, Abhijit Kar
2 Gupta, Anshul
2 Gutierrez, Julian
2 Hansen, Kristoffer Arnsfelt
2 Hochart, Antoine
2 Horn, Florian
2 Hunter, Paul
2 Huth, Michael R. A.
2 Joglekar, Manas R.
2 Kaiser, Lukasz
2 Kehagias, Ath.
2 Krinninger, Sebastian
...and 301 more Authors
all top 5

Cited in 57 Serials

34 Theoretical Computer Science
29 Information and Computation
11 Logical Methods in Computer Science
9 Information Processing Letters
9 Formal Methods in System Design
6 Journal of Computer and System Sciences
6 Algorithmica
6 Theory of Computing Systems
5 Acta Informatica
5 Discrete Applied Mathematics
3 MSCS. Mathematical Structures in Computer Science
3 International Journal of Foundations of Computer Science
3 Journal of the ACM
3 RAIRO. Theoretical Informatics and Applications
3 The Journal of Logic and Algebraic Programming
2 The Journal of Symbolic Logic
2 Journal of Symbolic Computation
2 Formal Aspects of Computing
2 Discrete Event Dynamic Systems
2 ACM Transactions on Computational Logic
2 Optimization Letters
2 RAIRO. Theoretical Informatics and Applications
2 Games
2 Dynamic Games and Applications
2 Frontiers of Computer Science
2 Computer Science Review
2 Journal of Logical and Algebraic Methods in Programming
1 ACM Computing Surveys
1 Artificial Intelligence
1 Applied Mathematics and Computation
1 Applied Mathematics and Optimization
1 SIAM Journal on Computing
1 Synthese
1 Science of Computer Programming
1 Journal of Automated Reasoning
1 Asia-Pacific Journal of Operational Research
1 International Journal of Algebra and Computation
1 Computational Mathematics and Mathematical Physics
1 Mathematical Programming. Series A. Series B
1 Journal of Logic, Language and Information
1 Journal of Applied Non-Classical Logics
1 Annals of Mathematics and Artificial Intelligence
1 Discrete and Continuous Dynamical Systems
1 Constraints
1 European Journal of Control
1 Optimization Methods & Software
1 Lobachevskii Journal of Mathematics
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Journal of Discrete Algorithms
1 Journal of Applied Logic
1 Discrete Optimization
1 Nonlinear Analysis. Hybrid Systems
1 Vestnik Yuzhno-Ural’skogo Gosudarstvennogo Universiteta. Seriya Matematicheskoe Modelirovanie i Programmirovanie
1 Science China. Technological Sciences
1 Journal of Dynamics and Games
1 ACM Transactions on Computation Theory
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year