Jurdzinski, Marcin

• BRICS Report Series No. 48 (2000): RS-48 A Discrete Stratety Improvement Algorithm for Solving Parity Games - Articles
  A Discrete Stratety Improvement Algorithm for Solving Parity Games
  Abstract  PDF
• BRICS Report Series No. 1 (1999): RS-1 Hereditary History Preserving Simulation is Undecidable - Articles
  Hereditary History Preserving Simulation is Undecidable
  Abstract  PDF
• BRICS Report Series No. 19 (1999): RS-19 Hereditary History Preserving Bisimilarity is Undecidable - Articles
  Hereditary History Preserving Bisimilarity is Undecidable
  Abstract  PDF