Igor Walukiewicz - Concepedia

Author

Igor Walukiewicz

Laboratoire Bordelais de Recherche en Informatique

Also Known As

I. Walukiewicz, IGOR WALUKIEWICZ, Igor Walukiewicz, Igor Walukiewicz B, Straubing, Howard, Terzopoulos, Demetri, WALUKIEWICZ, Igor, Walukiewicz Igor, Walukiewicz, Igor

177

Publications

3.6K

Citations

H-Index

Concepts

All Affiliations

Laboratoire Bordelais de Recherche en Informatique Université de Bordeaux University of Warsaw Centre National de la Recherche Scientifique Institut Polytechnique de Bordeaux

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	21	39	1.9K
2	Business	8	8	833
3	Language Studies	2	2	32
4	Computer Engineering	2	2	35
5	Communication	1	1	102

Igor Walukiewicz

Publications

2.1K

Citations

H-Index

Page 1

	Year	Citations
Games for synthesis of controllers with partial observation André Arnold, Aymeric Vincent, Igor Walukiewicz Theoretical Computer Science Game AiEngineeringGame TheoryPartial ObservationBusiness	2003	206
Pushdown Processes: Games and Model-Checking Igor Walukiewicz Information and Computation EngineeringRuntime VerificationFormal ModelingAutomated ReasoningGame Theory	2001	182
Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus Igor Walukiewicz Information and Computation EngineeringAutomated ReasoningPropositional LogicPropositional μ-CalculusClassical Logic	2000	160
Guarded fixed point logic Erich Grädel, Igor Walukiewicz Computational LogicEngineeringAutomated ReasoningGuarded FragmentsProof Complexity	2003	128
Monadic second-order logic on tree-like structures Igor Walukiewicz Theoretical Computer Science Tree LanguageEngineeringMonadic Second-order LogicAutomated ReasoningFormal Methods	2002	121
How much memory is needed to win infinite games? Stefan Dziembowski, Marcin Jurdziński, Igor Walukiewicz EngineeringCombinatorial GameGame TheoryComputer ArchitectureComputational Complexity	2002	117
Permissive strategies: from parity games to safety games Julien Bernet, David Janin, Igor Walukiewicz RAIRO - Theoretical Informatics and Applications Parity GameEngineeringInformation SecurityCombinatorial GameGame Theory	2002	102
Pushdown Processes: Games and Model Checking Igor Walukiewicz BRICS Report Series EngineeringGame TheoryVerificationGame SemanticsPushdown Automaton	1996	93
Games for the μ-calculus Damian Niwiński, Igor Walukiewicz Theoretical Computer Science Differential GameCombinatorial GameGame TheoryBusinessComputational Game Theory	1996	92
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces P. S. Thiagarajan, Igor Walukiewicz Information and Computation Computational LogicEngineeringAutomated ReasoningVerificationFormal Methods	2002	88

Page 1