Igor Walukiewicz
Author
Alternate names Walukiewicz Igor, I. Walukiewicz, Igor Walukiewicz
Institutions Université de Bordeaux, Laboratoire Bordelais de Recherche en Informatique, Institut Polytechnique de Bordeaux, Centre National de la Recherche Scientifique
Past institutions Université de Bordeaux, Laboratoire Bordelais de Recherche en Informatique, Institut Polytechnique de Bordeaux, Centre National de la Recherche Scientifique, Institut national de recherche en informatique et en automatique +5 more
H-index: 32
I10-index: 79
Works count: 193
Citations count: 3,926
On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
1996 · David Janin, Igor Walukiewicz · Lecture notes in computer science
Games for synthesis of controllers with partial observation
2003 · André Arnold, Aymeric Vincent, et al. · Theoretical Computer Science
Pushdown Processes: Games and Model-Checking
2001 · Igor Walukiewicz · Information and Computation