Searching for authors named "Marcin Jurdzinski" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Deciding the Winner in Parity Games Is in UP. . .
- …c # 1998 Elsevier Science B.V. Marcin Jurdzinski, Deciding the Winner in Parity Games Is in UP…
- Add To MetaCart
-
Small Progress Measures for Solving Parity Games
- …-Verlag. Marcin Jurdzinski, Small Progress Measures for Solving Parity Games. In Horst Reichel and Sophie Tison…
- Cited by 46 (4 self) – Add To MetaCart
-
A Discrete Strategy Improvement Algorithm for Solving Parity Games
- … # Marcin Jurdzinski + BRICS # Dept. of Computer Sci. University of Aarhus Denmark Jens Voge Lehrstuhl…
- Cited by 40 (8 self) – Add To MetaCart
-
How Much Memory is Needed to Win Infinite Games?
- …@(email omitted); Marcin Jurdzinski 3;4 mju@(email omitted); Institute of Informatics 5 Warsaw University Igor Walukiewicz…
- Cited by 25 (2 self) – Add To MetaCart
-
Quantitative Stochastic Parity Games
- …Quantitative Stochastic Parity Games Krishnendu Chatterjee y Marcin Jurdzinski z Thomas A…
- Cited by 25 (13 self) – Add To MetaCart
-
Hereditary History Preserving Simulation is Undecidable
- … in subdirectory RS/99/1/ Hereditary History Preserving Simulation Is Undecidable Marcin Jurdzinski Mogens…
- Cited by 5 (0 self) – Add To MetaCart
-
Interface Compatibility Checking for Software Modules
- … , Thomas A. Henzinger , Marcin Jurdzinski , and Freddy Y.C. Mang EECS, University of California…
- Cited by 31 (2 self) – Add To MetaCart
Showing 1 through 7.
