ask others

Igor Walukiewicz

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lmcs/EsparzaKMW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lmcs/EsparzaKMW18
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz:
Soundness in negotiations. Logical Methods in Computer Science 14(1) (2018)
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - reference/mc/BradfieldW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/reference/mc/BradfieldW18
Julian C. Bradfield, Igor Walukiewicz:
The mu-calculus and Model Checking. Handbook of Model Checking 2018: 871-919
2017
[j36]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/SalvatiW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/SalvatiW16
Sylvain Salvati, Igor Walukiewicz:
Typing weak MSOL properties. Logical Methods in Computer Science 13(1) (2017)
[j35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/BaeldeCMW17a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/BaeldeCMW17a
David Baelde, Arnaud Carayol, Ralph Matthes, Igor Walukiewicz:
Preface. Fundam. Inform. 150(3-4): i-ii (2017)
[c61]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/FortinMW17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/FortinMW17
Marie Fortin, Anca Muscholl, Igor Walukiewicz:
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems. CAV (2) 2017: 155-175
[c60]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/EsparzaMW17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/EsparzaMW17
Javier Esparza, Anca Muscholl, Igor Walukiewicz:
Static analysis of deterministic negotiations. LICS 2017: 1-12
[c59]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/Walukiewicz17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/Walukiewicz17
Igor Walukiewicz:
Verifying Parametric Thread Creation. SOFSEM 2017: 11-14
[c58]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/MuschollSW17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/MuschollSW17
Anca Muscholl, Helmut Seidl, Igor Walukiewicz:
Reachability for Dynamic Parametric Processes. VMCAI 2017: 424-441
[i21]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/EsparzaKMW17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/EsparzaKMW17
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz:
Soundness in negotiations. CoRR abs/1703.05137 (2017)
[i20]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/EsparzaMW17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/EsparzaMW17
Javier Esparza, Anca Muscholl, Igor Walukiewicz:
Static Analysis of Deterministic Negotiations. CoRR abs/1704.04190 (2017)
2016
[j34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/HerbreteauSW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/HerbreteauSW16
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
Better abstractions for timed automata. Inf. Comput. 251: 67-90 (2016)
[j33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/SalvatiW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/SalvatiW16
Sylvain Salvati, Igor Walukiewicz:
Simply typed fixpoint calculus and collapsible pushdown automata. Mathematical Structures in Computer Science 26(7): 1304-1350 (2016)
[j32]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/siglog/Walukiewicz16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/siglog/Walukiewicz16
Igor Walukiewicz:
Automata theory and higher-order model-checking. SIGLOG News 3(4): 13-31 (2016)
[c57]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/EsparzaKMW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/EsparzaKMW16
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz:
Soundness in Negotiations. CONCUR 2016: 12:1-12:13
[c56]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/HerbreteauSTW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/HerbreteauSTW16
Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz:
Why Liveness for Timed Automata Is Hard, and What We Can Do About It. FSTTCS 2016: 48:1-48:14
[c55]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/SkrzypczakW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/SkrzypczakW16
Michal Skrzypczak, Igor Walukiewicz:
Deciding the Topological Complexity of Büchi Languages. ICALP 2016: 99:1-99:13
[c54]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/lics/ClementePSW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/ClementePSW16
Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz:
The Diagonal Problem for Higher-Order Recursion Schemes is Decidable. LICS 2016: 96-105
[i19]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ClementePSW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/ClementePSW16
Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz:
The Diagonal Problem for Higher-Order Recursion Schemes is Decidable. CoRR abs/1605.00371 (2016)
[i18]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FortinMW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/FortinMW16
Marie Fortin, Anca Muscholl, Igor Walukiewicz:
On parametrized verification of asynchronous, shared-memory pushdown systems. CoRR abs/1606.08707 (2016)
[i17]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/MuschollSW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/MuschollSW16
Anca Muscholl, Helmut Seidl, Igor Walukiewicz:
Reachability for dynamic parametric processes. CoRR abs/1609.05385 (2016)
[i16]
- view
  - electronic edition @ nii.ac.jp
- export record
  dblp key:
  - journals/shonan-reports/KobayashiOW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/shonan-reports/KobayashiOW16
Naoki Kobayashi, Luke Ong, Igor Walukiewicz:
Higher-Order Model Checking (NII Shonan Meeting 2016-4). NII Shonan Meet. Rep. 2016 (2016)
2015
[j31]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/SalvatiW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/SalvatiW15
Sylvain Salvati, Igor Walukiewicz:
Using models to model-check recursive schemes. Logical Methods in Computer Science 11(2) (2015)
[c53]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/TorreMW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/TorreMW15
Salvatore La Torre, Anca Muscholl, Igor Walukiewicz:
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. CONCUR 2015: 72-84
[c52]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/SalvatiW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/SalvatiW15
Sylvain Salvati, Igor Walukiewicz:
A Model for Behavioural Properties of Higher-order Programs. CSL 2015: 229-243
[c51]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/SalvatiW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/SalvatiW15
Sylvain Salvati, Igor Walukiewicz:
Typing Weak MSOL Properties. FoSSaCS 2015: 343-357
[c50]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/ClementePSW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/ClementePSW15
Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz:
Ordered Tree-Pushdown Systems. FSTTCS 2015: 163-177
[c49]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/DiekertMW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictac/DiekertMW15
Volker Diekert, Anca Muscholl, Igor Walukiewicz:
A Note on Monitors and Büchi Automata. ICTAC 2015: 39-57
[e5]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/2015
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/2015
Adrian Kosowski, Igor Walukiewicz:
Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings. Lecture Notes in Computer Science 9210, Springer 2015, ISBN 978-3-319-22176-2 [contents]
[i15]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DiekertMW15a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DiekertMW15a
Volker Diekert, Anca Muscholl, Igor Walukiewicz:
A Note on Monitors and Büchi automata. CoRR abs/1507.01020 (2015)
[i14]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ClementePSW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/ClementePSW15
Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz:
Ordered Tree-Pushdown Systems. CoRR abs/1510.03278 (2015)
2014
[j30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/SalvatiW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/SalvatiW14
Sylvain Salvati, Igor Walukiewicz:
Krivine machines and higher-order schemes. Inf. Comput. 239: 340-355 (2014)
[c48]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/MuschollW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/MuschollW14
Anca Muscholl, Igor Walukiewicz:
Distributed Synthesis for Acyclic Architectures. FSTTCS 2014: 639-651
[i13]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/MuschollW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/MuschollW14
Anca Muscholl, Igor Walukiewicz:
Distributed synthesis for acyclic architectures. CoRR abs/1402.3314 (2014)
[i12]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DeshpandeHSTW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DeshpandeHSTW14
Aakash Deshpande, Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz:
Fast detection of cycles in timed automata. CoRR abs/1410.4509 (2014)
2013
[c47]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/HerbreteauSW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/HerbreteauSW13
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
Lazy Abstractions for Timed Automata. CAV 2013: 990-1005
[c46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/SalvatiW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/SalvatiW13
Sylvain Salvati, Igor Walukiewicz:
Evaluation is MSOL-compatible. FSTTCS 2013: 103-114
[c45]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/GenestGMW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/GenestGMW13
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz:
Asynchronous Games over Tree Architectures. ICALP (2) 2013: 275-286
[c44]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tlca/SalvatiW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tlca/SalvatiW13
Sylvain Salvati, Igor Walukiewicz:
Using Models to Model-Check Recursive Schemes. TLCA 2013: 189-204
[i11]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1301-3127
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1301-3127
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
Lazy abstractions for timed automata. CoRR abs/1301.3127 (2013)
2012
[j29]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1208-5909
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1208-5909
Pawel Parys, Igor Walukiewicz:
Weak Alternating Timed Automata. Logical Methods in Computer Science 8(3) (2012)
[j28]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1208-6172
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1208-6172
Mikolaj Bojanczyk, Howard Straubing, Igor Walukiewicz:
Wreath Products of Forest Algebras, with Applications to Tree Logics. Logical Methods in Computer Science 8(3) (2012)
[j27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/HerbreteauSW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/HerbreteauSW12
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
Efficient emptiness check for timed Büchi automata. Formal Methods in System Design 40(2): 122-146 (2012)
[j26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/SrivathsanW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ipl/SrivathsanW12
B. Srivathsan, Igor Walukiewicz:
An alternate proof of Statman's finite completeness theorem. Inf. Process. Lett. 112(14-15): 612-616 (2012)
[c43]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lics/HerbreteauSW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/HerbreteauSW12
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
Better Abstractions for Timed Automata. LICS 2012: 375-384
[c42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Walukiewicz12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Walukiewicz12
Igor Walukiewicz:
Simple Models for Recursive Schemes. MFCS 2012: 49-60
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rp/SalvatiW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rp/SalvatiW12
Sylvain Salvati, Igor Walukiewicz:
Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata. RP 2012: 6-20
[i10]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1204-0077
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1204-0077
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz:
Asynchronous Games over Tree Architectures. CoRR abs/1204.0077 (2012)
2011
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/HerbreteauKSW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/HerbreteauKSW11
Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz:
Using non-convex approximations for efficient analysis of timed automata. FSTTCS 2011: 78-89
[c39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/SalvatiW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/SalvatiW11
Sylvain Salvati, Igor Walukiewicz:
Krivine Machines and Higher-Order Schemes. ICALP (2) 2011: 162-173
[i9]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1104-1540
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1104-1540
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
Efficient Emptiness Check for Timed Büchi Automata (Extended version). CoRR abs/1104.1540 (2011)
[i8]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1110-3704
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1110-3704
Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz:
Using non-convex approximations for efficient analysis of timed automata. CoRR abs/1110.3704 (2011)
[i7]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1110-3705
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1110-3705
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
Better abstractions for timed automata. CoRR abs/1110.3705 (2011)
2010
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/Walukiewicz10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/Walukiewicz10
Igor Walukiewicz:
Synthesis: Words and Traces. ATVA 2010: 18-21
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/HerbreteauSW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/HerbreteauSW10
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
Efficient Emptiness Check for Timed Büchi Automata. CAV 2010: 148-161
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/GenestGMW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/GenestGMW10
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz:
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. ICALP (2) 2010: 52-63
[e4]
- view
  - table of contents in dblp
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/dagstuhl/2010P10252
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dagstuhl/2010P10252
Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz:
Game Semantics and Program Verification, 20.06. - 25.06.2010. Dagstuhl Seminar Proceedings 10252, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents]
[i6]
- view
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/dagstuhl/MelliesMSW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dagstuhl/MelliesMSW10
Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz:
10252 Abstracts Collection - Game Semantics and Program Verification. Game Semantics and Program Verification 2010
[i5]
- view
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/dagstuhl/MelliesMSW10a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dagstuhl/MelliesMSW10a
Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz:
10252 Executive Summary - Game Semantics and Program Verification. Game Semantics and Program Verification 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/ParysW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/ParysW09
Pawel Parys, Igor Walukiewicz:
Weak Alternating Timed Automata. ICALP (2) 2009: 273-284
[c34]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/BojanczykSW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/BojanczykSW09
Mikolaj Bojanczyk, Howard Straubing, Igor Walukiewicz:
Wreath Products of Forest Algebras, with Applications to Tree Logics. LICS 2009: 255-263
2008
[j25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lmcs/MuschollW08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lmcs/MuschollW08
Anca Muscholl, Igor Walukiewicz:
A Lower Bound on Web Services Composition. Logical Methods in Computer Science 4(2) (2008)
[j24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/MurawskiW08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/MurawskiW08
Andrzej S. Murawski, Igor Walukiewicz:
Third-order Idealized Algol with iteration is decidable. Theor. Comput. Sci. 390(2-3): 214-229 (2008)
[j23]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/tocl/LasotaW08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tocl/LasotaW08
Slawomir Lasota, Igor Walukiewicz:
Alternating timed automata. ACM Trans. Comput. Log. 9(2): 10:1-10:27 (2008)
[c33]
- no documents available
- export record
  dblp key:
  - conf/birthday/ArnoldW08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/ArnoldW08
André Arnold, Igor Walukiewicz:
Nondeterministic controllers of nondeterministic processes. Logic and Automata 2008: 29-52
[c32]
- no documents available
- export record
  dblp key:
  - conf/birthday/BojanczykW08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/BojanczykW08
Mikolaj Bojanczyk, Igor Walukiewicz:
Forest algebras. Logic and Automata 2008: 107-132
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Walukiewicz08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Walukiewicz08
Igor Walukiewicz:
Finding Your Way in a Forest: On Different Types of Trees and Their Properties. FoSSaCS 2008: 1-4
[e3]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/2008-1
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/2008-1
Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz:
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. Lecture Notes in Computer Science 5125, Springer 2008, ISBN 978-3-540-70574-1 [contents]
[e2]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/2008-2
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/2008-2
Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz:
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. Lecture Notes in Computer Science 5126, Springer 2008, ISBN 978-3-540-70582-6 [contents]
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-0804-3105
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-0804-3105
Anca Muscholl, Igor Walukiewicz:
A lower bound on web services composition. CoRR abs/0804.3105 (2008)
2007
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/MuschollW07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/MuschollW07
Anca Muscholl, Igor Walukiewicz:
A Lower Bound on Web Services Composition. FoSSaCS 2007: 274-286
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/ChervetW07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/ChervetW07
Patrick Chervet, Igor Walukiewicz:
Minimizing Variants of Visibly Pushdown Automata. MFCS 2007: 135-146
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-0705-0262
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-0705-0262
Thierry Cachat, Igor Walukiewicz:
The Complexity of Games on Higher Order Pushdown Automata. CoRR abs/0705.0262 (2007)
2006
[j22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lmcs/GradelW06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lmcs/GradelW06
Erich Grädel, Igor Walukiewicz:
Positional Determinacy of Games with Infinitely Many Priorities. Logical Methods in Computer Science 2(4) (2006)
[j21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BojanczykW06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BojanczykW06
Mikolaj Bojanczyk, Igor Walukiewicz:
Characterizing EF and EX tree logics. Theor. Comput. Sci. 358(2-3): 255-272 (2006)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0610035
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0610035
Erich Grädel, Igor Walukiewicz:
Positional Determinacy of Games with Infinitely Many Priorities. CoRR abs/cs/0610035 (2006)
2005
[j20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/NiwinskiW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/NiwinskiW05
Damian Niwinski, Igor Walukiewicz:
Deciding Nondeterministic Hierarchy of Deterministic Tree Automata. Electr. Notes Theor. Comput. Sci. 123: 195-208 (2005)
[j19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/Walukiewicz05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/Walukiewicz05
Igor Walukiewicz:
Difficult Configurations-On the Complexity of LTrL. Formal Methods in System Design 26(1): 27-43 (2005)
[j18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijfcs/MuschollW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijfcs/MuschollW05
Anca Muscholl, Igor Walukiewicz:
An NP-complete fragment of LTL. Int. J. Found. Comput. Sci. 16(4): 743-753 (2005)
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ita/Walukiewicz05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Walukiewicz05
Igor Walukiewicz:
Preface. ITA 39(3): 421-422 (2005)
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/MurawskiW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/MurawskiW05
Andrzej S. Murawski, Igor Walukiewicz:
Third-Order Idealized Algol with Iteration Is Decidable. FoSSaCS 2005: 202-218
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/LasotaW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/LasotaW05
Slawomir Lasota, Igor Walukiewicz:
Alternating Timed Automata. FoSSaCS 2005: 250-265
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Walukiewicz05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Walukiewicz05
Igor Walukiewicz:
From Logic to Games. FSTTCS 2005: 79-91
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/MurawskiOW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/MurawskiOW05
Andrzej S. Murawski, C.-H. Luke Ong, Igor Walukiewicz:
Idealized Algol with Ground Recursion, and DPDA Equivalence. ICALP 2005: 917-929
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/KnapikNUW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/KnapikNUW05
Teodor Knapik, Damian Niwinski, Pawel Urzyczyn, Igor Walukiewicz:
Unsafe Grammars and Panic Automata. ICALP 2005: 1450-1461
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0512031
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0512031
Slawomir Lasota, Igor Walukiewicz:
Alternating Timed Automata. CoRR abs/cs/0512031 (2005)
2004
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ita/EsikWE04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/EsikWE04
Zoltán Ésik, Igor Walukiewicz:
Foreword. ITA 38(4): 275-276 (2004)
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/BojanczykW04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/BojanczykW04
Mikolaj Bojanczyk, Igor Walukiewicz:
Characterizing EF and EX Tree Logics. CONCUR 2004: 131-145
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dlt/MuschollW04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlt/MuschollW04
Anca Muscholl, Igor Walukiewicz:
An NP-Complete Fragment of LTL. Developments in Language Theory 2004: 334-344
[c21]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Walukiewicz04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Walukiewicz04
Igor Walukiewicz:
A Landscape with Games in the Backgroun. LICS 2004: 356-366
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/Walukiewicz04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/Walukiewicz04
Igor Walukiewicz:
How to Fix It: Using Fixpoints in Different Contexts. LPAR 2004: 184-193
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/2004
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/2004
Igor Walukiewicz:
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. Lecture Notes in Computer Science 2987, Springer 2004, ISBN 3-540-21298-1 [contents]
2003
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/ArnoldVW03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/ArnoldVW03
André Arnold, Aymeric Vincent, Igor Walukiewicz:
Games for synthesis of controllers with partial observation. Theor. Comput. Sci. 1(303): 7-34 (2003)
[j14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/NiwiskiW03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/NiwiskiW03
Damian Niwinski, Igor Walukiewicz:
A gap property of deterministic tree languages. Theor. Comput. Sci. 1(303): 215-231 (2003)
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Walukiewicz03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Walukiewicz03
Igor Walukiewicz:
Winning Strategies and Synthesis of Controllers (Tutorial). CSL 2003: 574
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/BouquetSW03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/BouquetSW03
Alexis-Julien Bouquet, Olivier Serre, Igor Walukiewicz:
Pushdown Games with Unboundedness and Regular Conditions. FSTTCS 2003: 88-99
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/MohalikW03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/MohalikW03
Swarup Mohalik, Igor Walukiewicz:
Distributed Games. FSTTCS 2003: 338-351
2002
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Walukiewicz02a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Walukiewicz02a
Igor Walukiewicz:
Deciding low levels of tree-automata hierarchy. Electr. Notes Theor. Comput. Sci. 67: 61-75 (2002)
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Walukiewicz02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Walukiewicz02
Igor Walukiewicz:
Describing properties of concurrent systems (Logic for Traces) (invited talk). Electr. Notes Theor. Comput. Sci. 68(2): 69 (2002)
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/ThiagarajanW02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/ThiagarajanW02
P. S. Thiagarajan, Igor Walukiewicz:
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. Inf. Comput. 179(2): 230-249 (2002)
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/NeumannSW02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ipl/NeumannSW02
Jakub Neumann, Andrzej Szepietowski, Igor Walukiewicz:
Complexity of weak acceptance conditions in tree automata. Inf. Process. Lett. 84(4): 181-187 (2002)
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ita/BernetJW02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/BernetJW02
Julien Bernet, David Janin, Igor Walukiewicz:
Permissive strategies: from parity games to safety games. ITA 36(3): 261-275 (2002)
[j8]
- no documents available
- export record
  dblp key:
  - journals/jalc/Walukiewicz02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jalc/Walukiewicz02
Igor Walukiewicz:
Local Logics for Traces. Journal of Automata, Languages and Combinatorics 7(2): 259-290 (2002)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Walukiewicz02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Walukiewicz02
Igor Walukiewicz:
Monadic second-order logic on tree-like structures. Theor. Comput. Sci. 275(1-2): 311-346 (2002)
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Walukiewicz02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Walukiewicz02
Igor Walukiewicz:
Automata and Games for Synthesis. AMAST 2002: 15-20
2001
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/Walukiewicz01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/Walukiewicz01
Igor Walukiewicz:
Pushdown Processes: Games and Model-Checking. Inf. Comput. 164(2): 234-263 (2001)
2000
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/Walukiewicz00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/Walukiewicz00
Igor Walukiewicz:
Completeness of Kozen's Axiomatisation of the Propositional µ-Calculus. Inf. Comput. 157(1-2): 142-182 (2000)
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Walukiewicz00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Walukiewicz00
Igor Walukiewicz:
Model Checking CTL Properties of Pushdown Systems. FSTTCS 2000: 127-138

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c14]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/GradelW99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/GradelW99
Erich Grädel, Igor Walukiewicz:
Guarded Fixed Point Logic. LICS 1999: 45-54
1998
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/CourcelleW98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/apal/CourcelleW98
Bruno Courcelle, Igor Walukiewicz:
Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems. Ann. Pure Appl. Logic 92(1): 35-62 (1998)
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/Walukiewicz98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/Walukiewicz98
Igor Walukiewicz:
Difficult Configurations - On the Complexity of LTrL. ICALP 1998: 140-151
[c12]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/CharatonikMNPW98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/CharatonikMNPW98
Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz:
The Horn Mu-calculus. LICS 1998: 58-69
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stacs/NiwinskiW98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stacs/NiwinskiW98
Damian Niwinski, Igor Walukiewicz:
Relating Hierarchies of Word and Tree Automata. STACS 1998: 320-331
1997
[c10]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/DziembowskiJW97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/DziembowskiJW97
Stefan Dziembowski, Marcin Jurdzinski, Igor Walukiewicz:
How Much Memory is Needed to Win Infinite Games? LICS 1997: 99-110
[c9]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/ThiagarajanW97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/ThiagarajanW97
P. S. Thiagarajan, Igor Walukiewicz:
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. LICS 1997: 183-194
1996
[j3]
- view
  - electronic edition @ ucla.edu
- export record
  dblp key:
  - journals/bsl/Walukiewicz96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/bsl/Walukiewicz96
Igor Walukiewicz:
A note on the completeness of Kozen's axiomatisation of the propositional mu-calculus. Bulletin of Symbolic Logic 2(3): 349-366 (1996)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/NiwinskiW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/NiwinskiW96
Damian Niwinski, Igor Walukiewicz:
Games for the mu-Calculus. Theor. Comput. Sci. 163(1&2): 99-116 (1996)
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/Walukiewicz96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/Walukiewicz96
Igor Walukiewicz:
Pushdown Processes: Games and Model Checking. CAV 1996: 62-74
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/JaninW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/JaninW96
David Janin, Igor Walukiewicz:
On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic. CONCUR 1996: 263-277
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stacs/Walukiewicz96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stacs/Walukiewicz96
Igor Walukiewicz:
Monadic Second Order Logic on Tree-Like Structures. STACS 1996: 401-413
1995
[c5]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Walukiewicz95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Walukiewicz95
Igor Walukiewicz:
Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus. LICS 1995: 14-24
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/JaninW95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/JaninW95
David Janin, Igor Walukiewicz:
Automata for the Modal mu-Calculus and related Results. MFCS 1995: 552-562
1993
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Walukiewicz93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Walukiewicz93
Igor Walukiewicz:
Gentzen-Type Axiomatization for PAL. Theor. Comput. Sci. 118(1): 67-79 (1993)
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lics/Walukiewicz93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Walukiewicz93
Igor Walukiewicz:
On Completeness of the mu-calculus. LICS 1993: 136-146
1990
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/imycs/Walukiewicz90
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/imycs/Walukiewicz90
Igor Walukiewicz:
Decision Procedure for Checking Validity of PAL Formulas. IMYCS 1990: 288-298
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Walukiewicz90
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Walukiewicz90
Igor Walukiewicz:
Gentzen Type Axiomatizations for PAL. MFCS 1990: 499-507

Coauthor Index

see FAQ

maintained by