| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz |
Asynchronous Games over Tree Architectures  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
Efficient emptiness check for timed Büchi automata. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
Efficient Emptiness Check for Timed Büchi Automata (Extended version) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz |
Using non-convex approximations for efficient analysis of timed automata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
Better abstractions for timed automata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sylvain Salvati, Igor Walukiewicz |
Krivine Machines and Higher-Order Schemes. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz |
Using non-convex approximations for efficient analysis of timed automata. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz |
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Synthesis: Words and Traces. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
Efficient Emptiness Check for Timed Büchi Automata. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Parys, Igor Walukiewicz |
Weak Alternating Timed Automata. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Howard Straubing, Igor Walukiewicz |
Wreath Products of Forest Algebras, with Applications to Tree Logics. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, Igor Walukiewicz |
Third-order Idealized Algol with iteration is decidable. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Igor Walukiewicz |
A Lower Bound on Web Services Composition. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Igor Walukiewicz |
A lower bound on web services composition |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Slawomir Lasota, Igor Walukiewicz |
Alternating timed automata. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
emptyness problem, timed automata, Alternation |
| 1 | Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.) |
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games |
ICALP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.) |
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations |
ICALP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Igor Walukiewicz |
Forest algebras. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | André Arnold, Igor Walukiewicz |
Nondeterministic controllers of nondeterministic processes. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Finding Your Way in a Forest: On Different Types of Trees and Their Properties. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Cachat, Igor Walukiewicz |
The Complexity of Games on Higher Order Pushdown Automata |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Patrick Chervet, Igor Walukiewicz |
Minimizing Variants of Visibly Pushdown Automata. |
MFCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Igor Walukiewicz |
A Lower Bound on Web Services Composition. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
Automata simulation, complexity, web services composition |
| 1 | Mikolaj Bojanczyk, Igor Walukiewicz |
Characterizing EF and EX tree logics. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich Grädel, Igor Walukiewicz |
Positional Determinacy of Games with Infinitely Many Priorities. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich Grädel, Igor Walukiewicz |
Postinal Determinacy of Games with Infinitely Many Priorities |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Erich Grädel, Igor Walukiewicz |
Positional Determinacy of Games with Infinitely Many Priorities |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Preface. |
ITA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Igor Walukiewicz |
An NP-complete fragment of LTL. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Niwinski, Igor Walukiewicz |
Deciding Nondeterministic Hierarchy of Deterministic Tree Automata. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota, Igor Walukiewicz |
Alternating Timed Automata |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Difficult Configurations-On the Complexity of LTrL. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
verification, temporal logics, trace theory |
| 1 | Andrzej S. Murawski, C.-H. Luke Ong, Igor Walukiewicz |
Idealized Algol with Ground Recursion, and DPDA Equivalence. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Teodor Knapik, Damian Niwinski, Pawel Urzyczyn, Igor Walukiewicz |
Unsafe Grammars and Panic Automata. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota, Igor Walukiewicz |
Alternating Timed Automata. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, Igor Walukiewicz |
Third-Order Idealized Algol with Iteration Is Decidable. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
From Logic to Games. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Igor Walukiewicz |
Foreword. |
ITA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Igor Walukiewicz |
Characterizing EF and EX Tree Logics. |
CONCUR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Igor Walukiewicz |
How to Fix It: Using Fixpoints in Different Contexts. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Igor Walukiewicz |
An NP-Complete Fragment of LTL. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
A Landscape with Games in the Backgroun. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz (eds.) |
Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings |
FoSSaCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | André Arnold, Aymeric Vincent, Igor Walukiewicz |
Games for synthesis of controllers with partial observation. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Niwinski, Igor Walukiewicz |
A gap property of deterministic tree languages. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Winning Strategies and Synthesis of Controllers (Tutorial). |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis-Julien Bouquet, Olivier Serre, Igor Walukiewicz |
Pushdown Games with Unboundedness and Regular Conditions. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarup Mohalik, Igor Walukiewicz |
Distributed Games. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Neumann, Andrzej Szepietowski, Igor Walukiewicz |
Complexity of weak acceptance conditions in tree automata. |
Inf. Process. Lett. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Monadic second-order logic on tree-like structures. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Bernet, David Janin, Igor Walukiewicz |
Permissive strategies: from parity games to safety games. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | P. S. Thiagarajan, Igor Walukiewicz |
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Deciding low levels of tree-automata hierarchy. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Describing properties of concurrent systems (Logic for Traces) (invited talk). |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Local Logics for Traces. |
Journal of Automata, Languages and Combinatorics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Automata and Games for Synthesis. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Pushdown Processes: Games and Model-Checking. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Completeness of Kozen's Axiomatisation of the Propositional µ-Calculus. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Model Checking CTL Properties of Pushdown Systems. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich Grädel, Igor Walukiewicz |
Guarded Fixed Point Logic. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Courcelle, Igor Walukiewicz |
Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Difficult Configurations - On the Complexity of LTrL. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Niwinski, Igor Walukiewicz |
Relating Hierarchies of Word and Tree Automata. |
STACS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz |
The Horn Mu-calculus. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Dziembowski, Marcin Jurdzinski, Igor Walukiewicz |
How Much Memory is Needed to Win Infinite Games? |
LICS |
1997 |
DBLP DOI BibTeX RDF |
finitely coloured graphs, size of memory, latest appearance record, winning strategies, polynomial-size blowup, data structure, graph colouring, reactive programs, I/O automata, infinite games, two-player games, upper and lower bounds |
| 1 | P. S. Thiagarajan, Igor Walukiewicz |
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Niwinski, Igor Walukiewicz |
Games for the mu-Calculus. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
A note on the completeness of Kozen's axiomatisation of the propositional mu-calculus. |
Bulletin of Symbolic Logic |
1996 |
DBLP BibTeX RDF |
|
| 1 | David Janin, Igor Walukiewicz |
On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Monadic Second Order Logic on Tree-Like Structures. |
STACS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Pushdown Processes: Games and Model Checking. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Janin, Igor Walukiewicz |
Automata for the Modal mu-Calculus and related Results. |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Gentzen-Type Axiomatization for PAL. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
On Completeness of the mu-calculus |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Gentzen Type Axiomatizations for PAL. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Walukiewicz |
Decision Procedure for Checking Validity of PAL Formulas. |
IMYCS |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")