Igor Walukiewicz

Igor Walukiewicz publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Igor Walukiewicz sits on this spectrum.

Igor Walukiewicz D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Igor Walukiewicz sits on this spectrum.

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