Marcin Jurdzinski Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fearnley, Marcin Jurdzinski, Rahul Savani: Linear Complementarity Algorithms for Infinite Games. SOFSEM 2010: 382-393
2009
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Concavely-Priced Probabilistic Timed Automata. CONCUR 2009: 415-430
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Demri, Marcin Jurdzinski, Oded Lachish, Ranko Lazic: The Covering and Boundedness Problems for Branching Vector Addition Systems. FSTTCS 2009: 181-192
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski: Algorithms for Solving Infinite Games. SOFSEM 2009: 46-48
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Ranko Lazic, Michal Rutkowski: Average-Price-per-Reward Games on Hybrid Automata with Strong Resets. VMCAI 2009: 167-181
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Ashutosh Trivedi: Reachability-time games on timed automata CoRR abs/0907.3414: (2009)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fearnley, Marcin Jurdzinski, Rahul Savani: Linear Complementarity Algorithms for Infinite Games CoRR abs/0909.5653: (2009)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Ashutosh Trivedi: Average-Time Games on Timed Automata CoRR abs/0910.2891: (2009)
2008
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. Jean-Jacques Herings, Marcin Jurdzinski, Peter Bro Miltersen, Éva Tardos, Bernhard von Stengel: Equilibrium Computation, 18.11. - 23.11.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Rahul Savani: A Simple P-Matrix Linear Complementarity Problem for Discounted Games. CiE 2008: 283-293
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Ashutosh Trivedi: Concavely-Priced Timed Automata. FORMATS 2008: 48-62
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski: Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. FORMATS 2008: 63-77
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Ashutosh Trivedi: Average-Time Games. FSTTCS 2008: 340-351
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Ranko Lazic: Alternating Automata on Data Trees and XPath Satisfiability CoRR abs/0805.0330: (2008)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, François Laroussinie, Jeremy Sproston: Model Checking Probabilistic Timed Automata with One or Two Clocks CoRR abs/0809.0060: (2008)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Jeremy Sproston, François Laroussinie: Model Checking Probabilistic Timed Automata with One or Two Clocks. Logical Methods in Computer Science 4(3): (2008)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Mike Paterson, Uri Zwick: A Deterministic Subexponential Algorithm for Solving Parity Games. SIAM J. Comput. 38(4): 1519-1532 (2008)
2007
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. Jean-Jacques Herings, Marcin Jurdzinski, Peter Bro Miltersen, Éva Tardos, Bernhard von Stengel: 07471 Abstracts Collection - Equilibrium Computation. Equilibrium Computation 2007
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Ashutosh Trivedi: Reachability-Time Games on Timed Automata. ICALP 2007: 838-849
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Ranko Lazic: Alternation-free modal mu-calculus for data trees. LICS 2007: 131-140
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, François Laroussinie, Jeremy Sproston: Model Checking Probabilistic Timed Automata with One or Two Clocks. TACAS 2007: 170-184
2006
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Mike Paterson, Uri Zwick: A deterministic subexponential algorithm for solving parity games. SODA 2006: 117-123
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with secure equilibria. Theor. Comput. Sci. 365(1-2): 67-82 (2006)
2005
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Doron Peled, Hongyang Qu: Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Mean-Payoff Parity Games. LICS 2005: 178-187
2004
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski: On Nash Equilibria in Stochastic Games. CSL 2004: 26-40
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with Secure Equilibria. FMCO 2004: 141-161
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with Secure Equilibria. LICS 2004: 160-169
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger: Quantitative stochastic parity games. SODA 2004: 121-130
2003
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger: Simple Stochastic Parity Games. CSL 2003: 100-113
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Mogens Nielsen, Jirí Srba: Undecidability of domino games and hhp-bisimilarity. Inf. Comput. 184(2): 343-368 (2003)
2002
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang: Interface Compatibility Checking for Software Modules. CAV 2002: 428-441
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger: Trading Probability for Fairness. CSL 2002: 292-305
2000
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Vöge, Marcin Jurdzinski: A Discrete Strategy Improvement Algorithm for Solving Parity Games. CAV 2000: 202-215
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski: Small Progress Measures for Solving Parity Games. STACS 2000: 290-301
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski, Mogens Nielsen: Hereditary History Preserving Bisimilarity Is Undecidable. STACS 2000: 358-369
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Jurdzinski: Deciding the Winner in Parity Games is in UP \cap co-Up. Inf. Process. Lett. 68(3): 119-124 (1998)
1997
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Dziembowski, Marcin Jurdzinski, Igor Walukiewicz: How Much Memory is Needed to Win Infinite Games? LICS 1997: 99-110

Coauthor Index

1Luca de Alfaro [7]
2Patricia Bouyer [27]
3Thomas Brihaye [27]
4Arindam Chakrabarti [7]
5Krishnendu Chatterjee [9] [10] [11] [12] [13] [14] [16]
6Stéphane Demri [36]
7Stefan Dziembowski [1]
8John Fearnley [32] [38]
9Thomas A. Henzinger [6] [7] [9] [10] [11] [12] [14] [16]
10P. Jean-Jacques Herings [21] [30]
11Orna Kupferman [6]
12Marta Z. Kwiatkowska [37]
13Oded Lachish [36]
14François Laroussinie [18] [23] [24]
15Ranko Lazic (R. S. Lazic) [19] [25] [27] [34] [36]
16Rupak Majumdar [13]
17Freddy Y. C. Mang [7]
18Peter Bro Miltersen [21] [30]
19Mogens Nielsen [3] [8]
20Gethin Norman [37]
21Mike Paterson [17] [22]
22Doron Peled [15]
23Hongyang Qu [15]
24Michal Rutkowski [27] [34]
25Rahul Savani [29] [32] [38]
26Jeremy Sproston [18] [23] [24]
27Jirí Srba [8]
28Bernhard von Stengel [21] [30]
29Éva Tardos [21] [30]
30Ashutosh Trivedi [20] [26] [28] [31] [33] [37]
31Jens Vöge [5]
32Igor Walukiewicz [1]
33Uri Zwick [17] [22]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)