Walukiewicz, Igor

• BRICS Report Series No. 6 (1995): RS-06 A Complete Deductive System for the mu-Calculus - Articles
  A Complete Deductive System for the mu-Calculus
  Abstract  PDF
• BRICS Report Series No. 54 (1996): RS-54 Pushdown Processes: Games and Model Checking - Articles
  Pushdown Processes: Games and Model Checking
  Abstract  PDF
• BRICS Report Series No. 2 (2000): RS-2 Local Logics for Traces - Articles
  Local Logics for Traces
  Abstract  PDF
• BRICS Report Series No. 44 (1995): RS-44 Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems - Articles
  Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems
  Abstract  PDF
• BRICS Report Series No. 27 (1995): RS-27 Automata for the mu-calculus and Related Results - Articles
  Automata for the mu-calculus and Related Results
  Abstract  PDF
• BRICS Report Series No. 62 (1996): RS-62: An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces - Articles
  An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
  Abstract  PDF