default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Igor Walukiewicz
@article{DBLP:journals/siglog/GaboardiW23,
author = {Marco Gaboardi and
Igor Walukiewicz},
title = {Report on Logic in Computer Science (LICS'23)},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {4},
pages = {44--45},
year = {2023},
url = {https://doi.org/10.1145/3636362.3636370},
doi = {10.1145/3636362.3636370},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/GaboardiW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001KW23,
author = {Bengt Jonsson and
Marta Kwiatkowska and
Igor Walukiewicz},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {{CONCUR} Test-Of-Time Award 2023 (Invited Paper)},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {1:1--1:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.1},
doi = {10.4230/LIPICS.CONCUR.2023.1},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0001KW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MascleMW23,
author = {Corto Mascle and
Anca Muscholl and
Igor Walukiewicz},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {24:1--24:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.24},
doi = {10.4230/LIPICS.CONCUR.2023.24},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MascleMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-04925,
author = {Corto Mascle and
Anca Muscholl and
Igor Walukiewicz},
title = {Model-checking parametric lock-sharing systems against regular constraints},
journal = {CoRR},
volume = {abs/2307.04925},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.04925},
doi = {10.48550/ARXIV.2307.04925},
eprinttype = {arXiv},
eprint = {2307.04925},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-04925.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/Apaza-PerezCWMZ22,
author = {W. Alejandro Apaza{-}Perez and
Christophe Combastel and
Igor Walukiewicz and
Anca Muscholl and
Ali Zolghadri},
title = {Abstraction-based control synthesis using partial information},
journal = {Eur. J. Control},
volume = {63},
pages = {214--222},
year = {2022},
url = {https://doi.org/10.1016/j.ejcon.2021.11.001},
doi = {10.1016/J.EJCON.2021.11.001},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejcon/Apaza-PerezCWMZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HerbreteauSW22,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Checking Timed B{\"{u}}chi Automata Emptiness Using the Local-Time
Semantics},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {12:1--12:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.12},
doi = {10.4230/LIPICS.CONCUR.2022.12},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HerbreteauSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GimbertMMW22,
author = {Hugo Gimbert and
Corto Mascle and
Anca Muscholl and
Igor Walukiewicz},
editor = {Mikolaj Bojanczyk and
Emanuela Merelli and
David P. Woodruff},
title = {Distributed Controller Synthesis for Deadlock Avoidance},
booktitle = {49th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2022, July 4-8, 2022, Paris, France},
series = {LIPIcs},
volume = {229},
pages = {125:1--125:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2022.125},
doi = {10.4230/LIPICS.ICALP.2022.125},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GimbertMMW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MuschollW22,
author = {Anca Muscholl and
Igor Walukiewicz},
editor = {Christel Baier and
Dana Fisman},
title = {Active learning for sound negotiations{\unicode{10033}}},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {21:1--21:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533342},
doi = {10.1145/3531130.3533342},
timestamp = {Tue, 09 Aug 2022 12:30:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/MuschollW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/0001HSW22,
author = {R. Govind and
Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
editor = {Christel Baier and
Dana Fisman},
title = {Abstractions for the local-time semantics of timed automata: a foundation
for partial-order methods},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {24:1--24:14},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533343},
doi = {10.1145/3531130.3533343},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/0001HSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-12409,
author = {Hugo Gimbert and
Corto Mascle and
Anca Muscholl and
Igor Walukiewicz},
title = {Distributed controller synthesis for deadlock avoidance},
journal = {CoRR},
volume = {abs/2204.12409},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.12409},
doi = {10.48550/ARXIV.2204.12409},
eprinttype = {arXiv},
eprint = {2204.12409},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-12409.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DixonLMW21,
author = {Alex Dixon and
Ranko Lazic and
Andrzej S. Murawski and
Igor Walukiewicz},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Leafy automata for higher-order concurrency},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {184--204},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_10},
doi = {10.1007/978-3-030-71995-1\_10},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DixonLMW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DixonLMW21,
author = {Alex Dixon and
Ranko Lazic and
Andrzej S. Murawski and
Igor Walukiewicz},
title = {Verifying higher-order concurrency with data automata},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470691},
doi = {10.1109/LICS52264.2021.9470691},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DixonLMW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ems/21/Walukiewicz21,
author = {Igor Walukiewicz},
editor = {Jean{-}{\'{E}}ric Pin},
title = {Synthesis with finite automata},
booktitle = {Handbook of Automata Theory},
pages = {1217--1260},
publisher = {European Mathematical Society Publishing House, Z{\"{u}}rich,
Switzerland},
year = {2021},
url = {https://doi.org/10.4171/Automata-2/11},
doi = {10.4171/AUTOMATA-2/11},
timestamp = {Mon, 11 Apr 2022 14:12:30 +0200},
biburl = {https://dblp.org/rec/books/ems/21/Walukiewicz21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-08720,
author = {Alex Dixon and
Ranko Lazic and
Andrzej S. Murawski and
Igor Walukiewicz},
title = {Leafy Automata for Higher-Order Concurrency},
journal = {CoRR},
volume = {abs/2101.08720},
year = {2021},
url = {https://arxiv.org/abs/2101.08720},
eprinttype = {arXiv},
eprint = {2101.08720},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-08720.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-02783,
author = {Anca Muscholl and
Igor Walukiewicz},
title = {Active Learning for Sound Negotiations},
journal = {CoRR},
volume = {abs/2110.02783},
year = {2021},
url = {https://arxiv.org/abs/2110.02783},
eprinttype = {arXiv},
eprint = {2110.02783},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-02783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HerbreteauSTW20,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Thanh{-}Tung Tran and
Igor Walukiewicz},
title = {Why Liveness for Timed Automata Is Hard, and What We Can Do About
It},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {3},
pages = {17:1--17:28},
year = {2020},
url = {https://doi.org/10.1145/3372310},
doi = {10.1145/3372310},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/HerbreteauSTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Balasubramanian20,
author = {A. R. Balasubramanian and
Igor Walukiewicz},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Characterizing Consensus in the Heard-Of Model},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {9:1--9:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.9},
doi = {10.4230/LIPICS.CONCUR.2020.9},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Balasubramanian20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-09621,
author = {A. R. Balasubramanian and
Igor Walukiewicz},
title = {Characterizing consensus in the Heard-Of model},
journal = {CoRR},
volume = {abs/2004.09621},
year = {2020},
url = {https://arxiv.org/abs/2004.09621},
eprinttype = {arXiv},
eprint = {2004.09621},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-09621.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GovindHSW19,
author = {R. Govind and
Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Revisiting Local Time Semantics for Networks of Timed Automata},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {16:1--16:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.16},
doi = {10.4230/LIPICS.CONCUR.2019.16},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GovindHSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Walukiewicz19,
author = {Igor Walukiewicz},
title = {Lambda Y-Calculus With Priorities},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785674},
doi = {10.1109/LICS.2019.8785674},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/Walukiewicz19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-02296,
author = {R. Govind and
Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
title = {Revisiting local time semantics for networks of timed automata},
journal = {CoRR},
volume = {abs/1907.02296},
year = {2019},
url = {http://arxiv.org/abs/1907.02296},
eprinttype = {arXiv},
eprint = {1907.02296},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-02296.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/EsparzaKMW18,
author = {Javier Esparza and
Denis Kuperberg and
Anca Muscholl and
Igor Walukiewicz},
title = {Soundness in negotiations},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:4)2018},
doi = {10.23638/LMCS-14(1:4)2018},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/EsparzaKMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/BradfieldW18,
author = {Julian C. Bradfield and
Igor Walukiewicz},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {The mu-calculus and Model Checking},
booktitle = {Handbook of Model Checking},
pages = {871--919},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_26},
doi = {10.1007/978-3-319-10575-8\_26},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/BradfieldW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SalvatiW16,
author = {Sylvain Salvati and
Igor Walukiewicz},
title = {Typing weak {MSOL} properties},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:14)2017},
doi = {10.23638/LMCS-13(1:14)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SalvatiW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BaeldeCMW17a,
author = {David Baelde and
Arnaud Carayol and
Ralph Matthes and
Igor Walukiewicz},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {150},
number = {3-4},
pages = {i--ii},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1468},
doi = {10.3233/FI-2017-1468},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BaeldeCMW17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FortinMW17,
author = {Marie Fortin and
Anca Muscholl and
Igor Walukiewicz},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Model-Checking Linear-Time Properties of Parametrized Asynchronous
Shared-Memory Pushdown Systems},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {155--175},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_9},
doi = {10.1007/978-3-319-63390-9\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/FortinMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EsparzaMW17,
author = {Javier Esparza and
Anca Muscholl and
Igor Walukiewicz},
title = {Static analysis of deterministic negotiations},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005144},
doi = {10.1109/LICS.2017.8005144},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EsparzaMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Walukiewicz17,
author = {Igor Walukiewicz},
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {Verifying Parametric Thread Creation},
booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {11--14},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0\_2},
doi = {10.1007/978-3-319-51963-0\_2},
timestamp = {Sun, 02 Oct 2022 16:15:51 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Walukiewicz17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MuschollSW17,
author = {Anca Muscholl and
Helmut Seidl and
Igor Walukiewicz},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Reachability for Dynamic Parametric Processes},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {424--441},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_23},
doi = {10.1007/978-3-319-52234-0\_23},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/MuschollSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaKMW17,
author = {Javier Esparza and
Denis Kuperberg and
Anca Muscholl and
Igor Walukiewicz},
title = {Soundness in negotiations},
journal = {CoRR},
volume = {abs/1703.05137},
year = {2017},
url = {http://arxiv.org/abs/1703.05137},
eprinttype = {arXiv},
eprint = {1703.05137},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaKMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsparzaMW17,
author = {Javier Esparza and
Anca Muscholl and
Igor Walukiewicz},
title = {Static Analysis of Deterministic Negotiations},
journal = {CoRR},
volume = {abs/1704.04190},
year = {2017},
url = {http://arxiv.org/abs/1704.04190},
eprinttype = {arXiv},
eprint = {1704.04190},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HerbreteauSW16,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
title = {Better abstractions for timed automata},
journal = {Inf. Comput.},
volume = {251},
pages = {67--90},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2016.07.004},
doi = {10.1016/J.IC.2016.07.004},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HerbreteauSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SalvatiW16,
author = {Sylvain Salvati and
Igor Walukiewicz},
title = {Simply typed fixpoint calculus and collapsible pushdown automata},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {7},
pages = {1304--1350},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000590},
doi = {10.1017/S0960129514000590},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SalvatiW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Walukiewicz16,
author = {Igor Walukiewicz},
title = {Automata theory and higher-order model-checking},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {4},
pages = {13--31},
year = {2016},
url = {https://doi.org/10.1145/3026744.3026745},
doi = {10.1145/3026744.3026745},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Walukiewicz16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaKMW16,
author = {Javier Esparza and
Denis Kuperberg and
Anca Muscholl and
Igor Walukiewicz},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Soundness in Negotiations},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {12:1--12:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.12},
doi = {10.4230/LIPICS.CONCUR.2016.12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaKMW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HerbreteauSTW16,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Thanh{-}Tung Tran and
Igor Walukiewicz},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Why Liveness for Timed Automata Is Hard, and What We Can Do About
It},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {48:1--48:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.48},
doi = {10.4230/LIPICS.FSTTCS.2016.48},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/HerbreteauSTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SkrzypczakW16,
author = {Michal Skrzypczak and
Igor Walukiewicz},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {Deciding the Topological Complexity of B{\"{u}}chi Languages},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {99:1--99:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.99},
doi = {10.4230/LIPICS.ICALP.2016.99},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/SkrzypczakW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ClementePSW16,
author = {Lorenzo Clemente and
Pawel Parys and
Sylvain Salvati and
Igor Walukiewicz},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {The Diagonal Problem for Higher-Order Recursion Schemes is Decidable},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {96--105},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934527},
doi = {10.1145/2933575.2934527},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ClementePSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ClementePSW16,
author = {Lorenzo Clemente and
Pawel Parys and
Sylvain Salvati and
Igor Walukiewicz},
title = {The Diagonal Problem for Higher-Order Recursion Schemes is Decidable},
journal = {CoRR},
volume = {abs/1605.00371},
year = {2016},
url = {http://arxiv.org/abs/1605.00371},
eprinttype = {arXiv},
eprint = {1605.00371},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ClementePSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FortinMW16,
author = {Marie Fortin and
Anca Muscholl and
Igor Walukiewicz},
title = {On parametrized verification of asynchronous, shared-memory pushdown
systems},
journal = {CoRR},
volume = {abs/1606.08707},
year = {2016},
url = {http://arxiv.org/abs/1606.08707},
eprinttype = {arXiv},
eprint = {1606.08707},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FortinMW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MuschollSW16,
author = {Anca Muscholl and
Helmut Seidl and
Igor Walukiewicz},
title = {Reachability for dynamic parametric processes},
journal = {CoRR},
volume = {abs/1609.05385},
year = {2016},
url = {http://arxiv.org/abs/1609.05385},
eprinttype = {arXiv},
eprint = {1609.05385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MuschollSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KobayashiOW16,
author = {Naoki Kobayashi and
Luke Ong and
Igor Walukiewicz},
title = {Higher-Order Model Checking {(NII} Shonan Meeting 2016-4)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/078/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KobayashiOW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SalvatiW15,
author = {Sylvain Salvati and
Igor Walukiewicz},
title = {Using models to model-check recursive schemes},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {2},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(2:7)2015},
doi = {10.2168/LMCS-11(2:7)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SalvatiW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/TorreMW15,
author = {Salvatore La Torre and
Anca Muscholl and
Igor Walukiewicz},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Safety of Parametrized Asynchronous Shared-Memory Systems is Almost
Always Decidable},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {72--84},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.72},
doi = {10.4230/LIPICS.CONCUR.2015.72},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/TorreMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SalvatiW15,
author = {Sylvain Salvati and
Igor Walukiewicz},
editor = {Stephan Kreutzer},
title = {A Model for Behavioural Properties of Higher-order Programs},
booktitle = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
September 7-10, 2015, Berlin, Germany},
series = {LIPIcs},
volume = {41},
pages = {229--243},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CSL.2015.229},
doi = {10.4230/LIPICS.CSL.2015.229},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/SalvatiW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SalvatiW15,
author = {Sylvain Salvati and
Igor Walukiewicz},
editor = {Andrew M. Pitts},
title = {Typing Weak {MSOL} Properties},
booktitle = {Foundations of Software Science and Computation Structures - 18th
International Conference, FoSSaCS 2015, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9034},
pages = {343--357},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46678-0\_22},
doi = {10.1007/978-3-662-46678-0\_22},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/SalvatiW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ClementePSW15,
author = {Lorenzo Clemente and
Pawel Parys and
Sylvain Salvati and
Igor Walukiewicz},
editor = {Prahladh Harsha and
G. Ramalingam},
title = {Ordered Tree-Pushdown Systems},
booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
Bangalore, India},
series = {LIPIcs},
volume = {45},
pages = {163--177},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.163},
doi = {10.4230/LIPICS.FSTTCS.2015.163},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ClementePSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DiekertMW15,
author = {Volker Diekert and
Anca Muscholl and
Igor Walukiewicz},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {A Note on Monitors and B{\"{u}}chi Automata},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {39--57},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_3},
doi = {10.1007/978-3-319-25150-9\_3},
timestamp = {Sat, 19 Oct 2019 20:17:56 +0200},
biburl = {https://dblp.org/rec/conf/ictac/DiekertMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/2015,
editor = {Adrian Kosowski and
Igor Walukiewicz},
title = {Fundamentals of Computation Theory - 20th International Symposium,
{FCT} 2015, Gda{\'{n}}sk, Poland, August 17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9210},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22177-9},
doi = {10.1007/978-3-319-22177-9},
isbn = {978-3-319-22176-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DiekertMW15a,
author = {Volker Diekert and
Anca Muscholl and
Igor Walukiewicz},
title = {A Note on Monitors and B{\"{u}}chi automata},
journal = {CoRR},
volume = {abs/1507.01020},
year = {2015},
url = {http://arxiv.org/abs/1507.01020},
eprinttype = {arXiv},
eprint = {1507.01020},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DiekertMW15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ClementePSW15,
author = {Lorenzo Clemente and
Pawel Parys and
Sylvain Salvati and
Igor Walukiewicz},
title = {Ordered Tree-Pushdown Systems},
journal = {CoRR},
volume = {abs/1510.03278},
year = {2015},
url = {http://arxiv.org/abs/1510.03278},
eprinttype = {arXiv},
eprint = {1510.03278},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ClementePSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SalvatiW14,
author = {Sylvain Salvati and
Igor Walukiewicz},
title = {Krivine machines and higher-order schemes},
journal = {Inf. Comput.},
volume = {239},
pages = {340--355},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.07.012},
doi = {10.1016/J.IC.2014.07.012},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/SalvatiW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MuschollW14,
author = {Anca Muscholl and
Igor Walukiewicz},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Distributed Synthesis for Acyclic Architectures},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {639--651},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.639},
doi = {10.4230/LIPICS.FSTTCS.2014.639},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/MuschollW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MuschollW14,
author = {Anca Muscholl and
Igor Walukiewicz},
title = {Distributed synthesis for acyclic architectures},
journal = {CoRR},
volume = {abs/1402.3314},
year = {2014},
url = {http://arxiv.org/abs/1402.3314},
eprinttype = {arXiv},
eprint = {1402.3314},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MuschollW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DeshpandeHSTW14,
author = {Aakash Deshpande and
Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Thanh{-}Tung Tran and
Igor Walukiewicz},
title = {Fast detection of cycles in timed automata},
journal = {CoRR},
volume = {abs/1410.4509},
year = {2014},
url = {http://arxiv.org/abs/1410.4509},
eprinttype = {arXiv},
eprint = {1410.4509},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DeshpandeHSTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HerbreteauSW13,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Lazy Abstractions for Timed Automata},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {990--1005},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_71},
doi = {10.1007/978-3-642-39799-8\_71},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/HerbreteauSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SalvatiW13,
author = {Sylvain Salvati and
Igor Walukiewicz},
editor = {Anil Seth and
Nisheeth K. Vishnoi},
title = {Evaluation is MSOL-compatible},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2013, December 12-14, 2013,
Guwahati, India},
series = {LIPIcs},
volume = {24},
pages = {103--114},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.103},
doi = {10.4230/LIPICS.FSTTCS.2013.103},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SalvatiW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GenestGMW13,
author = {Blaise Genest and
Hugo Gimbert and
Anca Muscholl and
Igor Walukiewicz},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Asynchronous Games over Tree Architectures},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {275--286},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_26},
doi = {10.1007/978-3-642-39212-2\_26},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GenestGMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/SalvatiW13,
author = {Sylvain Salvati and
Igor Walukiewicz},
editor = {Masahito Hasegawa},
title = {Using Models to Model-Check Recursive Schemes},
booktitle = {Typed Lambda Calculi and Applications, 11th International Conference,
{TLCA} 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7941},
pages = {189--204},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38946-7\_15},
doi = {10.1007/978-3-642-38946-7\_15},
timestamp = {Sun, 02 Oct 2022 16:16:31 +0200},
biburl = {https://dblp.org/rec/conf/tlca/SalvatiW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-3127,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
title = {Lazy abstractions for timed automata},
journal = {CoRR},
volume = {abs/1301.3127},
year = {2013},
url = {http://arxiv.org/abs/1301.3127},
eprinttype = {arXiv},
eprint = {1301.3127},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-3127.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-5909,
author = {Pawel Parys and
Igor Walukiewicz},
title = {Weak Alternating Timed Automata},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:18)2012},
doi = {10.2168/LMCS-8(3:18)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-5909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-6172,
author = {Mikolaj Bojanczyk and
Howard Straubing and
Igor Walukiewicz},
title = {Wreath Products of Forest Algebras, with Applications to Tree Logics},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:19)2012},
doi = {10.2168/LMCS-8(3:19)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-6172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HerbreteauSW12,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
title = {Efficient emptiness check for timed B{\"{u}}chi automata},
journal = {Formal Methods Syst. Des.},
volume = {40},
number = {2},
pages = {122--146},
year = {2012},
url = {https://doi.org/10.1007/s10703-011-0133-1},
doi = {10.1007/S10703-011-0133-1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/HerbreteauSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/SrivathsanW12,
author = {B. Srivathsan and
Igor Walukiewicz},
title = {An alternate proof of Statman's finite completeness theorem},
journal = {Inf. Process. Lett.},
volume = {112},
number = {14-15},
pages = {612--616},
year = {2012},
url = {https://doi.org/10.1016/j.ipl.2012.04.014},
doi = {10.1016/J.IPL.2012.04.014},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/SrivathsanW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HerbreteauSW12,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
title = {Better Abstractions for Timed Automata},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {375--384},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.48},
doi = {10.1109/LICS.2012.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HerbreteauSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Walukiewicz12,
author = {Igor Walukiewicz},
editor = {Branislav Rovan and
Vladimiro Sassone and
Peter Widmayer},
title = {Simple Models for Recursive Schemes},
booktitle = {Mathematical Foundations of Computer Science 2012 - 37th International
Symposium, {MFCS} 2012, Bratislava, Slovakia, August 27-31, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7464},
pages = {49--60},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32589-2\_6},
doi = {10.1007/978-3-642-32589-2\_6},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Walukiewicz12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SalvatiW12,
author = {Sylvain Salvati and
Igor Walukiewicz},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {6--20},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_2},
doi = {10.1007/978-3-642-33512-9\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/SalvatiW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-0077,
author = {Blaise Genest and
Hugo Gimbert and
Anca Muscholl and
Igor Walukiewicz},
title = {Asynchronous Games over Tree Architectures},
journal = {CoRR},
volume = {abs/1204.0077},
year = {2012},
url = {http://arxiv.org/abs/1204.0077},
eprinttype = {arXiv},
eprint = {1204.0077},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-0077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HerbreteauKSW11,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
Dileep Kini and
B. Srivathsan and
Igor Walukiewicz},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Using non-convex approximations for efficient analysis of timed automata},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {78--89},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.78},
doi = {10.4230/LIPICS.FSTTCS.2011.78},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HerbreteauKSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SalvatiW11,
author = {Sylvain Salvati and
Igor Walukiewicz},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Krivine Machines and Higher-Order Schemes},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {162--173},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_12},
doi = {10.1007/978-3-642-22012-8\_12},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SalvatiW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-1540,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
title = {Efficient Emptiness Check for Timed B{\"{u}}chi Automata (Extended
version)},
journal = {CoRR},
volume = {abs/1104.1540},
year = {2011},
url = {http://arxiv.org/abs/1104.1540},
eprinttype = {arXiv},
eprint = {1104.1540},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-1540.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-3704,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
Dileep Kini and
B. Srivathsan and
Igor Walukiewicz},
title = {Using non-convex approximations for efficient analysis of timed automata},
journal = {CoRR},
volume = {abs/1110.3704},
year = {2011},
url = {http://arxiv.org/abs/1110.3704},
eprinttype = {arXiv},
eprint = {1110.3704},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-3704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-3705,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
title = {Better abstractions for timed automata},
journal = {CoRR},
volume = {abs/1110.3705},
year = {2011},
url = {http://arxiv.org/abs/1110.3705},
eprinttype = {arXiv},
eprint = {1110.3705},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-3705.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Walukiewicz10,
author = {Igor Walukiewicz},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Synthesis: Words and Traces},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {18--21},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_3},
doi = {10.1007/978-3-642-15643-4\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Walukiewicz10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HerbreteauSW10,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan and
Igor Walukiewicz},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Efficient Emptiness Check for Timed B{\"{u}}chi Automata},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {148--161},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_15},
doi = {10.1007/978-3-642-14295-6\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/HerbreteauSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GenestGMW10,
author = {Blaise Genest and
Hugo Gimbert and
Anca Muscholl and
Igor Walukiewicz},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {52--63},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_5},
doi = {10.1007/978-3-642-14162-1\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GenestGMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10252,
editor = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Andrzej S. Murawski and
Andrea Schalk and
Igor Walukiewicz},
title = {Game Semantics and Program Verification, 20.06. - 25.06.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10252},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/portals/10252/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2010P10252.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MelliesMSW10,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Andrzej S. Murawski and
Andrea Schalk and
Igor Walukiewicz},
editor = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Andrzej S. Murawski and
Andrea Schalk and
Igor Walukiewicz},
title = {10252 Abstracts Collection - Game Semantics and Program Verification},
booktitle = {Game Semantics and Program Verification, 20.06. - 25.06.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10252},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2794/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MelliesMSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MelliesMSW10a,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Andrzej S. Murawski and
Andrea Schalk and
Igor Walukiewicz},
editor = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Andrzej S. Murawski and
Andrea Schalk and
Igor Walukiewicz},
title = {10252 Executive Summary - Game Semantics and Program Verification},
booktitle = {Game Semantics and Program Verification, 20.06. - 25.06.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10252},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2793/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MelliesMSW10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ParysW09,
author = {Pawel Parys and
Igor Walukiewicz},
editor = {Susanne Albers and
Alberto Marchetti{-}Spaccamela and
Yossi Matias and
Sotiris E. Nikoletseas and
Wolfgang Thomas},
title = {Weak Alternating Timed Automata},
booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
{ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5556},
pages = {273--284},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02930-1\_23},
doi = {10.1007/978-3-642-02930-1\_23},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ParysW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykSW09,
author = {Mikolaj Bojanczyk and
Howard Straubing and
Igor Walukiewicz},
title = {Wreath Products of Forest Algebras, with Applications to Tree Logics},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {255--263},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.40},
doi = {10.1109/LICS.2009.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BojanczykSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MuschollW08,
author = {Anca Muscholl and
Igor Walukiewicz},
title = {A Lower Bound on Web Services Composition},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {2},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(2:5)2008},
doi = {10.2168/LMCS-4(2:5)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/MuschollW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MurawskiW08,
author = {Andrzej S. Murawski and
Igor Walukiewicz},
title = {Third-order Idealized Algol with iteration is decidable},
journal = {Theor. Comput. Sci.},
volume = {390},
number = {2-3},
pages = {214--229},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.09.022},
doi = {10.1016/J.TCS.2007.09.022},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MurawskiW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LasotaW08,
author = {Slawomir Lasota and
Igor Walukiewicz},
title = {Alternating timed automata},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {2},
pages = {10:1--10:27},
year = {2008},
url = {https://doi.org/10.1145/1342991.1342994},
doi = {10.1145/1342991.1342994},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/LasotaW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ArnoldW08,
author = {Andr{\'{e}} Arnold and
Igor Walukiewicz},
editor = {J{\"{o}}rg Flum and
Erich Gr{\"{a}}del and
Thomas Wilke},
title = {Nondeterministic controllers of nondeterministic processes},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
Thomas]},
series = {Texts in Logic and Games},
volume = {2},
pages = {29--52},
publisher = {Amsterdam University Press},
year = {2008},
timestamp = {Wed, 15 Dec 2010 22:14:40 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ArnoldW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BojanczykW08,
author = {Mikolaj Bojanczyk and
Igor Walukiewicz},
editor = {J{\"{o}}rg Flum and
Erich Gr{\"{a}}del and
Thomas Wilke},
title = {Forest algebras},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
Thomas]},
series = {Texts in Logic and Games},
volume = {2},
pages = {107--132},
publisher = {Amsterdam University Press},
year = {2008},
timestamp = {Wed, 15 Dec 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BojanczykW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Walukiewicz08,
author = {Igor Walukiewicz},
editor = {Roberto M. Amadio},
title = {Finding Your Way in a Forest: On Different Types of Trees and Their
Properties},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {1--4},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_1},
doi = {10.1007/978-3-540-78499-9\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Walukiewicz08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2008-1,
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {5125},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70575-8},
doi = {10.1007/978-3-540-70575-8},
isbn = {978-3-540-70574-1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2008-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2008-2,
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {5126},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3},
doi = {10.1007/978-3-540-70583-3},
isbn = {978-3-540-70582-6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2008-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-3105,
author = {Anca Muscholl and
Igor Walukiewicz},
title = {A lower bound on web services composition},
journal = {CoRR},
volume = {abs/0804.3105},
year = {2008},
url = {http://arxiv.org/abs/0804.3105},
eprinttype = {arXiv},
eprint = {0804.3105},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-3105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MuschollW07,
author = {Anca Muscholl and
Igor Walukiewicz},
editor = {Helmut Seidl},
title = {A Lower Bound on Web Services Composition},
booktitle = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {274--286},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_20},
doi = {10.1007/978-3-540-71389-0\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MuschollW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChervetW07,
author = {Patrick Chervet and
Igor Walukiewicz},
editor = {Ludek Kucera and
Anton{\'{\i}}n Kucera},
title = {Minimizing Variants of Visibly Pushdown Automata},
booktitle = {Mathematical Foundations of Computer Science 2007, 32nd International
Symposium, {MFCS} 2007, Cesk{\'{y}} Krumlov, Czech Republic,
August 26-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4708},
pages = {135--146},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74456-6\_14},
doi = {10.1007/978-3-540-74456-6\_14},
timestamp = {Fri, 30 Aug 2019 10:02:28 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ChervetW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0705-0262,
author = {Thierry Cachat and
Igor Walukiewicz},
title = {The Complexity of Games on Higher Order Pushdown Automata},
journal = {CoRR},
volume = {abs/0705.0262},
year = {2007},
url = {http://arxiv.org/abs/0705.0262},
eprinttype = {arXiv},
eprint = {0705.0262},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0705-0262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GradelW06,
author = {Erich Gr{\"{a}}del and
Igor Walukiewicz},
title = {Positional Determinacy of Games with Infinitely Many Priorities},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {4},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(4:6)2006},
doi = {10.2168/LMCS-2(4:6)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GradelW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BojanczykW06,
author = {Mikolaj Bojanczyk and
Igor Walukiewicz},
title = {Characterizing {EF} and {EX} tree logics},
journal = {Theor. Comput. Sci.},
volume = {358},
number = {2-3},
pages = {255--272},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.01.018},
doi = {10.1016/J.TCS.2006.01.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BojanczykW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0610035,
author = {Erich Gr{\"{a}}del and
Igor Walukiewicz},
title = {Positional Determinacy of Games with Infinitely Many Priorities},
journal = {CoRR},
volume = {abs/cs/0610035},
year = {2006},
url = {http://arxiv.org/abs/cs/0610035},
eprinttype = {arXiv},
eprint = {cs/0610035},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0610035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Walukiewicz05,
author = {Igor Walukiewicz},
title = {Difficult Configurations-On the Complexity of \emph{LTrL}},
journal = {Formal Methods Syst. Des.},
volume = {26},
number = {1},
pages = {27--43},
year = {2005},
url = {https://doi.org/10.1007/s10703-005-4593-z},
doi = {10.1007/S10703-005-4593-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Walukiewicz05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MuschollW05,
author = {Anca Muscholl and
Igor Walukiewicz},
title = {An NP-complete fragment of {LTL}},
journal = {Int. J. Found. Comput. Sci.},
volume = {16},
number = {4},
pages = {743--753},
year = {2005},
url = {https://doi.org/10.1142/S0129054105003261},
doi = {10.1142/S0129054105003261},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/MuschollW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Walukiewicz05,
author = {Igor Walukiewicz},
title = {Preface},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {39},
number = {3},
pages = {421--422},
year = {2005},
url = {https://doi.org/10.1051/ita:2005031},
doi = {10.1051/ITA:2005031},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Walukiewicz05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MurawskiW05,
author = {Andrzej S. Murawski and
Igor Walukiewicz},
editor = {Vladimiro Sassone},
title = {Third-Order Idealized Algol with Iteration Is Decidable},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {202--218},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_13},
doi = {10.1007/978-3-540-31982-5\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MurawskiW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LasotaW05,
author = {Slawomir Lasota and
Igor Walukiewicz},
editor = {Vladimiro Sassone},
title = {Alternating Timed Automata},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {250--265},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_16},
doi = {10.1007/978-3-540-31982-5\_16},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/LasotaW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Walukiewicz05,
author = {Igor Walukiewicz},
editor = {Ramaswamy Ramanujam and
Sandeep Sen},
title = {From Logic to Games},
booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
Computer Science, 25th International Conference, Hyderabad, India,
December 15-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3821},
pages = {79--91},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590156\_5},
doi = {10.1007/11590156\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Walukiewicz05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MurawskiOW05,
author = {Andrzej S. Murawski and
C.{-}H. Luke Ong and
Igor Walukiewicz},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Idealized Algol with Ground Recursion, and {DPDA} Equivalence},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {917--929},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_74},
doi = {10.1007/11523468\_74},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MurawskiOW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KnapikNUW05,
author = {Teodor Knapik and
Damian Niwinski and
Pawel Urzyczyn and
Igor Walukiewicz},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Unsafe Grammars and Panic Automata},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {1450--1461},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_117},
doi = {10.1007/11523468\_117},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KnapikNUW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0512031,
author = {Slawomir Lasota and
Igor Walukiewicz},
title = {Alternating Timed Automata},
journal = {CoRR},
volume = {abs/cs/0512031},
year = {2005},
url = {http://arxiv.org/abs/cs/0512031},
eprinttype = {arXiv},
eprint = {cs/0512031},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0512031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/EsikWE04,
author = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {Foreword},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {38},
number = {4},
pages = {275--276},
year = {2004},
url = {https://doi.org/10.1051/ita:2004019},
doi = {10.1051/ITA:2004019},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/EsikWE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BojanczykW04,
author = {Mikolaj Bojanczyk and
Igor Walukiewicz},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Characterizing {EF} and {EX} Tree Logics},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {131--145},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_9},
doi = {10.1007/978-3-540-28644-8\_9},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/BojanczykW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/MuschollW04,
author = {Anca Muscholl and
Igor Walukiewicz},
editor = {Cristian Calude and
Elena Calude and
Michael J. Dinneen},
title = {An NP-Complete Fragment of {LTL}},
booktitle = {Developments in Language Theory, 8th International Conference, {DLT}
2004, Auckland, New Zealand, December 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3340},
pages = {334--344},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30550-7\_28},
doi = {10.1007/978-3-540-30550-7\_28},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/MuschollW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Walukiewicz04,
author = {Igor Walukiewicz},
title = {A Landscape with Games in the Backgroun},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {356--366},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319630},
doi = {10.1109/LICS.2004.1319630},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Walukiewicz04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Walukiewicz04,
author = {Igor Walukiewicz},
editor = {Franz Baader and
Andrei Voronkov},
title = {How to Fix It: Using Fixpoints in Different Contexts},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {184--193},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_13},
doi = {10.1007/978-3-540-32275-7\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Walukiewicz04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NiwinskiW05,
author = {Damian Niwinski and
Igor Walukiewicz},
editor = {Ruy J. G. B. de Queiroz and
Patrick C{\'{e}}gielski},
title = {Deciding Nondeterministic Hierarchy of Deterministic Tree Automata},
booktitle = {Proceedings of the 11th Workshop on Logic, Language, Information and
Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {123},
pages = {195--208},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.015},
doi = {10.1016/J.ENTCS.2004.05.015},
timestamp = {Mon, 05 Dec 2022 16:29:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NiwinskiW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2004,
editor = {Igor Walukiewicz},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {2987},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b95995},
doi = {10.1007/B95995},
isbn = {3-540-21298-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ArnoldVW03,
author = {Andr{\'{e}} Arnold and
Aymeric Vincent and
Igor Walukiewicz},
title = {Games for synthesis of controllers with partial observation},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {7--34},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00442-5},
doi = {10.1016/S0304-3975(02)00442-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ArnoldVW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NiwiskiW03,
author = {Damian Niwinski and
Igor Walukiewicz},
title = {A gap property of deterministic tree languages},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {215--231},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00452-8},
doi = {10.1016/S0304-3975(02)00452-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NiwiskiW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Walukiewicz03,
author = {Igor Walukiewicz},
editor = {Matthias Baaz and
Johann A. Makowsky},
title = {Winning Strategies and Synthesis of Controllers (Tutorial)},
booktitle = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
{KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2803},
pages = {574},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45220-1\_47},
doi = {10.1007/978-3-540-45220-1\_47},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Walukiewicz03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BouquetSW03,
author = {Alexis{-}Julien Bouquet and
Olivier Serre and
Igor Walukiewicz},
editor = {Paritosh K. Pandya and
Jaikumar Radhakrishnan},
title = {Pushdown Games with Unboundedness and Regular Conditions},
booktitle = {{FST} {TCS} 2003: Foundations of Software Technology and Theoretical
Computer Science, 23rd Conference, Mumbai, India, December 15-17,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2914},
pages = {88--99},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24597-1\_8},
doi = {10.1007/978-3-540-24597-1\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BouquetSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MohalikW03,
author = {Swarup Mohalik and
Igor Walukiewicz},
editor = {Paritosh K. Pandya and
Jaikumar Radhakrishnan},
title = {Distributed Games},
booktitle = {{FST} {TCS} 2003: Foundations of Software Technology and Theoretical
Computer Science, 23rd Conference, Mumbai, India, December 15-17,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2914},
pages = {338--351},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24597-1\_29},
doi = {10.1007/978-3-540-24597-1\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MohalikW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fics/2003,
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ThiagarajanW02,
author = {P. S. Thiagarajan and
Igor Walukiewicz},
title = {An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz
Traces},
journal = {Inf. Comput.},
volume = {179},
number = {2},
pages = {230--249},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.2956},
doi = {10.1006/INCO.2001.2956},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ThiagarajanW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/NeumannSW02,
author = {Jakub Neumann and
Andrzej Szepietowski and
Igor Walukiewicz},
title = {Complexity of weak acceptance conditions in tree automata},
journal = {Inf. Process. Lett.},
volume = {84},
number = {4},
pages = {181--187},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(02)00285-5},
doi = {10.1016/S0020-0190(02)00285-5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/NeumannSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BernetJW02,
author = {Julien Bernet and
David Janin and
Igor Walukiewicz},
title = {Permissive strategies: from parity games to safety games},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {36},
number = {3},
pages = {261--275},
year = {2002},
url = {https://doi.org/10.1051/ita:2002013},
doi = {10.1051/ITA:2002013},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BernetJW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/Walukiewicz02,
author = {Igor Walukiewicz},
title = {Local Logics for Traces},
journal = {J. Autom. Lang. Comb.},
volume = {7},
number = {2},
pages = {259--290},
year = {2002},
url = {https://doi.org/10.25596/jalc-2002-259},
doi = {10.25596/JALC-2002-259},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/Walukiewicz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Walukiewicz02,
author = {Igor Walukiewicz},
title = {Monadic second-order logic on tree-like structures},
journal = {Theor. Comput. Sci.},
volume = {275},
number = {1-2},
pages = {311--346},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00185-2},
doi = {10.1016/S0304-3975(01)00185-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Walukiewicz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Walukiewicz02,
author = {Igor Walukiewicz},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Automata and Games for Synthesis},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {15--20},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_2},
doi = {10.1007/3-540-45719-4\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Walukiewicz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Walukiewicz02a,
author = {Igor Walukiewicz},
editor = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {Deciding low levels of tree-automata hierarchy},
booktitle = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {67},
pages = {61--75},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80541-3},
doi = {10.1016/S1571-0661(04)80541-3},
timestamp = {Mon, 05 Dec 2022 16:07:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Walukiewicz02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Walukiewicz02,
author = {Igor Walukiewicz},
editor = {Uwe Nestmann and
Prakash Panangaden},
title = {Describing properties of concurrent systems (Logic for Traces) (invited
talk)},
booktitle = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {2},
pages = {69},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80364-0},
doi = {10.1016/S1571-0661(05)80364-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Walukiewicz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Walukiewicz01,
author = {Igor Walukiewicz},
title = {Pushdown Processes: Games and Model-Checking},
journal = {Inf. Comput.},
volume = {164},
number = {2},
pages = {234--263},
year = {2001},
url = {https://doi.org/10.1006/inco.2000.2894},
doi = {10.1006/INCO.2000.2894},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Walukiewicz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Walukiewicz00,
author = {Igor Walukiewicz},
title = {Completeness of Kozen's Axiomatisation of the Propositional {\(\mathrm{\mu}\)}-Calculus},
journal = {Inf. Comput.},
volume = {157},
number = {1-2},
pages = {142--182},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2836},
doi = {10.1006/INCO.1999.2836},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Walukiewicz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Walukiewicz00,
author = {Igor Walukiewicz},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Model Checking {CTL} Properties of Pushdown Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {127--138},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_10},
doi = {10.1007/3-540-44450-5\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Walukiewicz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GradelW99,
author = {Erich Gr{\"{a}}del and
Igor Walukiewicz},
title = {Guarded Fixed Point Logic},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {45--54},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782585},
doi = {10.1109/LICS.1999.782585},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GradelW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CourcelleW98,
author = {Bruno Courcelle and
Igor Walukiewicz},
title = {Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition
Systems},
journal = {Ann. Pure Appl. Log.},
volume = {92},
number = {1},
pages = {35--62},
year = {1998},
url = {https://doi.org/10.1016/S0168-0072(97)00048-1},
doi = {10.1016/S0168-0072(97)00048-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CourcelleW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Walukiewicz98,
author = {Igor Walukiewicz},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Difficult Configurations - On the Complexity of LTrL},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {140--151},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055048},
doi = {10.1007/BFB0055048},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Walukiewicz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CharatonikMNPW98,
author = {Witold Charatonik and
David A. McAllester and
Damian Niwinski and
Andreas Podelski and
Igor Walukiewicz},
title = {The Horn Mu-calculus},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {58--69},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705643},
doi = {10.1109/LICS.1998.705643},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CharatonikMNPW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/NiwinskiW98,
author = {Damian Niwinski and
Igor Walukiewicz},
editor = {Michel Morvan and
Christoph Meinel and
Daniel Krob},
title = {Relating Hierarchies of Word and Tree Automata},
booktitle = {{STACS} 98, 15th Annual Symposium on Theoretical Aspects of Computer
Science, Paris, France, February 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1373},
pages = {320--331},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028571},
doi = {10.1007/BFB0028571},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/NiwinskiW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DziembowskiJW97,
author = {Stefan Dziembowski and
Marcin Jurdzinski and
Igor Walukiewicz},
title = {How Much Memory is Needed to Win Infinite Games?},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {99--110},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614939},
doi = {10.1109/LICS.1997.614939},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DziembowskiJW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ThiagarajanW97,
author = {P. S. Thiagarajan and
Igor Walukiewicz},
title = {An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz
Traces},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {183--194},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614946},
doi = {10.1109/LICS.1997.614946},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ThiagarajanW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Walukiewicz96,
author = {Igor Walukiewicz},
title = {A note on the completeness of Kozen's axiomatisation of the propositional
mu-calculus},
journal = {Bull. Symb. Log.},
volume = {2},
number = {3},
pages = {349--366},
year = {1996},
url = {https://doi.org/10.2307/420995},
doi = {10.2307/420995},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Walukiewicz96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NiwinskiW96,
author = {Damian Niwinski and
Igor Walukiewicz},
title = {Games for the mu-Calculus},
journal = {Theor. Comput. Sci.},
volume = {163},
number = {1{\&}2},
pages = {99--116},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00136-0},
doi = {10.1016/0304-3975(95)00136-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NiwinskiW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Walukiewicz96,
author = {Igor Walukiewicz},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Pushdown Processes: Games and Model Checking},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {62--74},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_58},
doi = {10.1007/3-540-61474-5\_58},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Walukiewicz96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JaninW96,
author = {David Janin and
Igor Walukiewicz},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {On the Expressive Completeness of the Propositional mu-Calculus with
Respect to Monadic Second Order Logic},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {263--277},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_60},
doi = {10.1007/3-540-61604-7\_60},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/JaninW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Walukiewicz96,
author = {Igor Walukiewicz},
editor = {Claude Puech and
R{\"{u}}diger Reischuk},
title = {Monadic Second Order Logic on Tree-Like Structures},
booktitle = {{STACS} 96, 13th Annual Symposium on Theoretical Aspects of Computer
Science, Grenoble, France, February 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1046},
pages = {401--413},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60922-9\_33},
doi = {10.1007/3-540-60922-9\_33},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Walukiewicz96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Walukiewicz95,
author = {Igor Walukiewicz},
title = {Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {14--24},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523240},
doi = {10.1109/LICS.1995.523240},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Walukiewicz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JaninW95,
author = {David Janin and
Igor Walukiewicz},
editor = {Jir{\'{\i}} Wiedermann and
Petr H{\'{a}}jek},
title = {Automata for the Modal mu-Calculus and related Results},
booktitle = {Mathematical Foundations of Computer Science 1995, 20th International
Symposium, MFCS'95, Prague, Czech Republic, August 28 - September
1, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {969},
pages = {552--562},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60246-1\_160},
doi = {10.1007/3-540-60246-1\_160},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/JaninW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Walukiewicz93,
author = {Igor Walukiewicz},
title = {Gentzen-Type Axiomatization for {PAL}},
journal = {Theor. Comput. Sci.},
volume = {118},
number = {1},
pages = {67--79},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90363-X},
doi = {10.1016/0304-3975(93)90363-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Walukiewicz93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Walukiewicz93,
author = {Igor Walukiewicz},
title = {On Completeness of the mu-calculus},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {136--146},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287593},
doi = {10.1109/LICS.1993.287593},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Walukiewicz93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Walukiewicz90,
author = {Igor Walukiewicz},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Decision Procedure for Checking Validity of {PAL} Formulas},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {288--298},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_52},
doi = {10.1007/3-540-53414-8\_52},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Walukiewicz90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Walukiewicz90,
author = {Igor Walukiewicz},
editor = {Branislav Rovan},
title = {Gentzen Type Axiomatizations for {PAL}},
booktitle = {Mathematical Foundations of Computer Science 1990, MFCS'90, Bansk{\'{a}}
Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {452},
pages = {499--507},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0029648},
doi = {10.1007/BFB0029648},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Walukiewicz90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 22:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
