Igor Walukiewicz

Best Publications

• On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic

  David Janin;Igor Walukiewicz

  424
  Citations

• Pushdown Processes: Games and Model Checking

  Igor Walukiewicz;Igor Walukiewicz

  388
  Citations

• Automata for the Modal mu-Calculus and related Results

  David Janin;Igor Walukiewicz

  293
  Citations

• Games for synthesis of controllers with partial observation

  A. Arnold;A. Vincent;I. Walukiewicz

  289
  Citations

• Monadic second-order logic on tree-like structures

  Igor Walukiewicz

  274
  Citations

• Regular ArticlePushdown Processes: Games and Model-Checking☆

  Igor Walukiewicz

  254
  Citations

• Completeness of Kozen's axiomatisation of the propositional m-calculus

  Igor Walukiewicz

  238
  Citations

• Guarded fixed point logic

  E. Gradel;I. Walukiewicz

  223
  Citations

• How much memory is needed to win infinite games

  S. Dziembowski;M. Jurdzinski;I. Walukiewicz

  176
  Citations

• Alternating timed automata

  Slawomir Lasota;Igor Walukiewicz

  165
  Citations

• Pushdown Processes: Games and Model Checking

  Igor Walukiewicz;Igor Walukiewicz

  147
  Citations

• Permissive strategies: from parity games to safety games

  Julien Bernet;David Janin;Igor Walukiewicz

  130
  Citations

• Games for the m-calculus

  Damian Niwiński;Igor Walukiewicz

  129
  Citations

• Model Checking CTL Properties of Pushdown Systems

  Igor Walukiewicz

  121
  Citations

• On completeness of the mu -calculus

  I. Walukiewicz

  107
  Citations

• A lower bound on web services composition

  Anca Muscholl;Igor Walukiewicz

  101
  Citations

• Monadic Second Order Logic on Tree-Like Structures

  Igor Walukiewicz

  101
  Citations

• Monadic second-order logic, graph coverings and unfoldings of transition systems

  Bruno Courcelle;Igor Walukiewicz

  99
  Citations

• An expressively complete linear time temporal logic for Mazurkiewicz traces

  P.S. Thiagarajan;I. Walukiewicz

  84
  Citations

• Completeness of Kozen's axiomatisation of the propositional /spl mu/-calculus

  I. Walukiewicz

  80
  Citations