Igor Walukiewicz

Publications

2.1K

Citations

H-Index

1995

Active since

Affiliations

Laboratoire Bordelais de Recherche en Informatique(Current)

Université de Bordeaux

University of Warsaw

Centre National de la Recherche Scientifique

Institut Polytechnique de Bordeaux

Igor Walukiewicz is an author at Laboratoire Bordelais de Recherche en Informatique specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationComputational ComplexityGamesBusinessGame Theory

Publications per year

1995–2022

Publications

Games for synthesis of controllers with partial observation

André Arnold, Aymeric Vincent, Igor Walukiewicz · Theoretical Computer Science · 2003 · 206 citations

Game Ai, Engineering, Game Theory +8

Pushdown Processes: Games and Model-Checking

Igor Walukiewicz · Information and Computation · 2001 · 182 citations

Engineering, Runtime Verification, Formal Modeling +12

Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus

Igor Walukiewicz · Information and Computation · 2000 · 160 citations

Engineering, Automated Reasoning, Propositional Logic +4

Guarded fixed point logic

Erich Grädel, Igor Walukiewicz · 2003 · 128 citations

Computational Logic, Engineering, Automated Reasoning +15

Monadic second-order logic on tree-like structures

Igor Walukiewicz · Theoretical Computer Science · 2002 · 121 citations

Tree Language, Engineering, Monadic Second-order Logic +5

Rows per page

1–5 of 45