Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Szymon Torunczyk
@inproceedings{DBLP:conf/stacs/Torunczyk24,
author = {Szymon Torunczyk},
editor = {Olaf Beyersdorff and
Mamadou Moustapha Kant{\'{e}} and
Orna Kupferman and
Daniel Lokshtanov},
title = {Structurally Tractable Graph Classes (Invited Talk)},
booktitle = {41st International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2024, March 12-14, 2024, Clermont-Ferrand, France},
series = {LIPIcs},
volume = {289},
pages = {3:1--3:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.STACS.2024.3},
doi = {10.4230/LIPICS.STACS.2024.3},
timestamp = {Mon, 11 Mar 2024 15:43:27 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Torunczyk24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-16230,
author = {Jakub Gajarsk{\'{y}} and
Michal Pilipczuk and
Marek Sokolowski and
Giannos Stamoulis and
Szymon Torunczyk},
title = {Elementary first-order model checking for sparse graphs},
journal = {CoRR},
volume = {abs/2401.16230},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16230},
doi = {10.48550/ARXIV.2401.16230},
eprinttype = {arXiv},
eprint = {2401.16230},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-15201,
author = {Jan Dreier and
Nikolas M{\"{a}}hlmann and
Szymon Torunczyk},
title = {Flip-Breakability: {A} Combinatorial Dichotomy for Monadically Dependent
Graph Classes},
journal = {CoRR},
volume = {abs/2403.15201},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.15201},
doi = {10.48550/ARXIV.2403.15201},
eprinttype = {arXiv},
eprint = {2403.15201},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-15201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Torunczyk23,
author = {Szymon Torunczyk},
title = {Flip-width: Cops and Robber on dense graphs},
booktitle = {64th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
2023, Santa Cruz, CA, USA, November 6-9, 2023},
pages = {663--700},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FOCS57990.2023.00045},
doi = {10.1109/FOCS57990.2023.00045},
timestamp = {Tue, 02 Jan 2024 14:56:14 +0100},
biburl = {https://dblp.org/rec/conf/focs/Torunczyk23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DreierMST23,
author = {Jan Dreier and
Nikolas M{\"{a}}hlmann and
Sebastian Siebertz and
Szymon Torunczyk},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Indiscernibles and Flatness in Monadically Stable and Monadically
{NIP} Classes},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {125:1--125:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.125},
doi = {10.4230/LIPICS.ICALP.2023.125},
timestamp = {Wed, 05 Jul 2023 16:19:52 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DreierMST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GajarskyMMOPPSS23,
author = {Jakub Gajarsk{\'{y}} and
Nikolas M{\"{a}}hlmann and
Rose McCarty and
Pierre Ohlmann and
Michal Pilipczuk and
Wojciech Przybyszewski and
Sebastian Siebertz and
Marek Sokolowski and
Szymon Torunczyk},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Flipper Games for Monadically Stable Graph Classes},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {128:1--128:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.128},
doi = {10.4230/LIPICS.ICALP.2023.128},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GajarskyMMOPPSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/OhlmannPPT23,
author = {Pierre Ohlmann and
Michal Pilipczuk and
Wojciech Przybyszewski and
Szymon Torunczyk},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Canonical Decompositions in Monadically Stable and Bounded Shrubdepth
Graph Classes},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {135:1--135:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.135},
doi = {10.4230/LIPICS.ICALP.2023.135},
timestamp = {Wed, 05 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/OhlmannPPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-13735,
author = {Jakub Gajarsk{\'{y}} and
Nikolas M{\"{a}}hlmann and
Rose McCarty and
Pierre Ohlmann and
Michal Pilipczuk and
Wojciech Przybyszewski and
Sebastian Siebertz and
Marek Sokolowski and
Szymon Torunczyk},
title = {Flipper games for monadically stable graph classes},
journal = {CoRR},
volume = {abs/2301.13735},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.13735},
doi = {10.48550/ARXIV.2301.13735},
eprinttype = {arXiv},
eprint = {2301.13735},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-13735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-00352,
author = {Szymon Torunczyk},
title = {Flip-width: Cops and Robber on dense graphs},
journal = {CoRR},
volume = {abs/2302.00352},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.00352},
doi = {10.48550/ARXIV.2302.00352},
eprinttype = {arXiv},
eprint = {2302.00352},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-00352.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-01473,
author = {Pierre Ohlmann and
Michal Pilipczuk and
Szymon Torunczyk and
Wojciech Przybyszewski},
title = {Canonical decompositions in monadically stable and bounded shrubdepth
graph classes},
journal = {CoRR},
volume = {abs/2303.01473},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.01473},
doi = {10.48550/ARXIV.2303.01473},
eprinttype = {arXiv},
eprint = {2303.01473},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-01473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-18740,
author = {Jan Dreier and
Ioannis Eleftheriadis and
Nikolas M{\"{a}}hlmann and
Rose McCarty and
Michal Pilipczuk and
Szymon Torunczyk},
title = {First-Order Model Checking on Monadically Stable Graph Classes},
journal = {CoRR},
volume = {abs/2311.18740},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.18740},
doi = {10.48550/ARXIV.2311.18740},
eprinttype = {arXiv},
eprint = {2311.18740},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-18740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/TorunczykZ22,
author = {Szymon Torunczyk and
Thomas Zeume},
title = {Register Automata with Extrema Constraints, and an Application to
Two-Variable Logic},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:42)2022},
doi = {10.46298/LMCS-18(1:42)2022},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/TorunczykZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PilipczukSSTV22,
author = {Michal Pilipczuk and
Nicole Schirrmacher and
Sebastian Siebertz and
Szymon Torunczyk and
Alexandre Vigny},
editor = {Mikolaj Bojanczyk and
Emanuela Merelli and
David P. Woodruff},
title = {Algorithms and Data Structures for First-Order Logic with Connectivity
Under Vertex Failures},
booktitle = {49th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2022, July 4-8, 2022, Paris, France},
series = {LIPIcs},
volume = {229},
pages = {102:1--102:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2022.102},
doi = {10.4230/LIPICS.ICALP.2022.102},
timestamp = {Tue, 28 Jun 2022 15:52:51 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PilipczukSSTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GajarskyPPT22,
author = {Jakub Gajarsk{\'{y}} and
Michal Pilipczuk and
Wojciech Przybyszewski and
Szymon Torunczyk},
editor = {Mikolaj Bojanczyk and
Emanuela Merelli and
David P. Woodruff},
title = {Twin-Width and Types},
booktitle = {49th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2022, July 4-8, 2022, Paris, France},
series = {LIPIcs},
volume = {229},
pages = {123:1--123:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2022.123},
doi = {10.4230/LIPICS.ICALP.2022.123},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/GajarskyPPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DreierGKPT22,
author = {Jan Dreier and
Jakub Gajarsk{\'{y}} and
Sandra Kiefer and
Michal Pilipczuk and
Szymon Torunczyk},
editor = {Christel Baier and
Dana Fisman},
title = {Treelike Decompositions for Transductions of Sparse Graphs},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {31:1--31:14},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533349},
doi = {10.1145/3531130.3533349},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DreierGKPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GajarskyPT22,
author = {Jakub Gajarsk{\'{y}} and
Michal Pilipczuk and
Szymon Torunczyk},
editor = {Christel Baier and
Dana Fisman},
title = {Stable graphs of bounded twin-width},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {39:1--39:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533356},
doi = {10.1145/3531130.3533356},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GajarskyPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonnetDGKMST22,
author = {{\'{E}}douard Bonnet and
Jan Dreier and
Jakub Gajarsk{\'{y}} and
Stephan Kreutzer and
Nikolas M{\"{a}}hlmann and
Pierre Simon and
Szymon Torunczyk},
editor = {Christel Baier and
Dana Fisman},
title = {Model Checking on Interpretations of Classes of Bounded Local Cliquewidth},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {54:1--54:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533367},
doi = {10.1145/3531130.3533367},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BonnetDGKMST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BonnetGMSTT22,
author = {{\'{E}}douard Bonnet and
Ugo Giocanti and
Patrice Ossona de Mendez and
Pierre Simon and
St{\'{e}}phan Thomass{\'{e}} and
Szymon Torunczyk},
editor = {Stefano Leonardi and
Anupam Gupta},
title = {Twin-width {IV:} ordered graphs and matrices},
booktitle = {{STOC} '22: 54th Annual {ACM} {SIGACT} Symposium on Theory of Computing,
Rome, Italy, June 20 - 24, 2022},
pages = {924--937},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519935.3520037},
doi = {10.1145/3519935.3520037},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BonnetGMSTT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-11082,
author = {Jan Dreier and
Jakub Gajarsk{\'{y}} and
Sandra Kiefer and
Michal Pilipczuk and
Szymon Torunczyk},
title = {Treelike decompositions for transductions of sparse graphs},
journal = {CoRR},
volume = {abs/2201.11082},
year = {2022},
url = {https://arxiv.org/abs/2201.11082},
eprinttype = {arXiv},
eprint = {2201.11082},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-11082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13014,
author = {{\'{E}}douard Bonnet and
Jan Dreier and
Jakub Gajarsk{\'{y}} and
Stephan Kreutzer and
Nikolas M{\"{a}}hlmann and
Pierre Simon and
Szymon Torunczyk},
title = {Model Checking on Interpretations of Classes of Bounded Local Cliquewidth},
journal = {CoRR},
volume = {abs/2202.13014},
year = {2022},
url = {https://arxiv.org/abs/2202.13014},
eprinttype = {arXiv},
eprint = {2202.13014},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08248,
author = {Jakub Gajarsk{\'{y}} and
Michal Pilipczuk and
Wojciech Przybyszewski and
Szymon Torunczyk},
title = {Twin-width and types},
journal = {CoRR},
volume = {abs/2206.08248},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08248},
doi = {10.48550/ARXIV.2206.08248},
eprinttype = {arXiv},
eprint = {2206.08248},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13765,
author = {Jan Dreier and
Nikolas M{\"{a}}hlmann and
Sebastian Siebertz and
Szymon Torunczyk},
title = {Indiscernibles and Wideness in Monadically Stable and Monadically
{NIP} Classes},
journal = {CoRR},
volume = {abs/2206.13765},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13765},
doi = {10.48550/ARXIV.2206.13765},
eprinttype = {arXiv},
eprint = {2206.13765},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13765.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Klin0T21,
author = {Bartek Klin and
Slawomir Lasota and
Szymon Torunczyk},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Nondeterministic and co-Nondeterministic Implies Deterministic, for
Data Languages},
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 = {365--384},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_19},
doi = {10.1007/978-3-030-71995-1\_19},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Klin0T21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-03866,
author = {Szymon Torunczyk and
Thomas Zeume},
title = {Register Automata with Extrema Constraints, and an Application to
Two-Variable Logic},
journal = {CoRR},
volume = {abs/2101.03866},
year = {2021},
url = {https://arxiv.org/abs/2101.03866},
eprinttype = {arXiv},
eprint = {2101.03866},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-03866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-03117,
author = {{\'{E}}douard Bonnet and
Ugo Giocanti and
Patrice Ossona de Mendez and
Pierre Simon and
St{\'{e}}phan Thomass{\'{e}} and
Szymon Torunczyk},
title = {Twin-width {IV:} ordered graphs and matrices},
journal = {CoRR},
volume = {abs/2102.03117},
year = {2021},
url = {https://arxiv.org/abs/2102.03117},
eprinttype = {arXiv},
eprint = {2102.03117},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-03117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06881,
author = {Pierre Simon and
Szymon Torunczyk},
title = {Ordered graphs of bounded twin-width},
journal = {CoRR},
volume = {abs/2102.06881},
year = {2021},
url = {https://arxiv.org/abs/2102.06881},
eprinttype = {arXiv},
eprint = {2102.06881},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-03711,
author = {Jakub Gajarsk{\'{y}} and
Michal Pilipczuk and
Szymon Torunczyk},
title = {Stable graphs of bounded twin-width},
journal = {CoRR},
volume = {abs/2107.03711},
year = {2021},
url = {https://arxiv.org/abs/2107.03711},
eprinttype = {arXiv},
eprint = {2107.03711},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-03711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-03725,
author = {Michal Pilipczuk and
Nicole Schirrmacher and
Sebastian Siebertz and
Szymon Torunczyk and
Alexandre Vigny},
title = {Algorithms and data structures for first-order logic with connectivity
under vertex failures},
journal = {CoRR},
volume = {abs/2111.03725},
year = {2021},
url = {https://arxiv.org/abs/2111.03725},
eprinttype = {arXiv},
eprint = {2111.03725},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-03725.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GajarskyKNMPST20,
author = {Jakub Gajarsk{\'{y}} and
Stephan Kreutzer and
Jaroslav Nesetril and
Patrice Ossona de Mendez and
Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
title = {First-Order Interpretations of Bounded Expansion Classes},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {4},
pages = {29:1--29:41},
year = {2020},
url = {https://doi.org/10.1145/3382093},
doi = {10.1145/3382093},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GajarskyKNMPST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FabianskiST20,
author = {Grzegorz Fabianski and
Michal Skrzypczak and
Szymon Torunczyk},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Uniformisations of Regular Relations Over Bi-Infinite Words},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {384--396},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394782},
doi = {10.1145/3373718.3394782},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/FabianskiST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/TorunczykZ20,
author = {Szymon Torunczyk and
Thomas Zeume},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Register Automata with Extrema Constraints, and an Application to
Two-Variable Logic},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {873--885},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394748},
doi = {10.1145/3373718.3394748},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/TorunczykZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Torunczyk20,
author = {Szymon Torunczyk},
editor = {Dan Suciu and
Yufei Tao and
Zhewei Wei},
title = {Aggregate Queries on Sparse Databases},
booktitle = {Proceedings of the 39th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2020, Portland, OR, USA, June 14-19, 2020},
pages = {427--443},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3375395.3387660},
doi = {10.1145/3375395.3387660},
timestamp = {Thu, 29 Sep 2022 08:01:46 +0200},
biburl = {https://dblp.org/rec/conf/pods/Torunczyk20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KeshvardoostKLO19,
author = {Khadijeh Keshvardoost and
Bartek Klin and
Slawomir Lasota and
Joanna Ochremiak and
Szymon Torunczyk},
title = {Definable isomorphism problem},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {4},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(4:14)2019},
doi = {10.23638/LMCS-15(4:14)2019},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KeshvardoostKLO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FabianskiPST19,
author = {Grzegorz Fabianski and
Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
editor = {Rolf Niedermeier and
Christophe Paul},
title = {Progressive Algorithms for Domination and Independence},
booktitle = {36th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2019, March 13-16, 2019, Berlin, Germany},
series = {LIPIcs},
volume = {126},
pages = {27:1--27:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.STACS.2019.27},
doi = {10.4230/LIPICS.STACS.2019.27},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/FabianskiPST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-12338,
author = {Szymon Torunczyk},
title = {Aggregate Queries on Sparse Databases},
journal = {CoRR},
volume = {abs/1912.12338},
year = {2019},
url = {http://arxiv.org/abs/1912.12338},
eprinttype = {arXiv},
eprint = {1912.12338},
timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-12338.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GajarskyKNMPST18,
author = {Jakub Gajarsk{\'{y}} and
Stephan Kreutzer and
Jaroslav Nesetril and
Patrice Ossona de Mendez and
Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {First-Order Interpretations of Bounded Expansion Classes},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
pages = {126:1--126:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.126},
doi = {10.4230/LIPICS.ICALP.2018.126},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/GajarskyKNMPST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykT18,
author = {Mikolaj Bojanczyk and
Szymon Torunczyk},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {On computability and tractability for infinite sets},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {145--154},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209190},
doi = {10.1145/3209108.3209190},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BojanczykT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PilipczukST18,
author = {Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Parameterized circuit complexity of model-checking on sparse structures},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {789--798},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209136},
doi = {10.1145/3209108.3209136},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PilipczukST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PilipczukST18a,
author = {Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {On the number of types in sparse graphs},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {799--808},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209178},
doi = {10.1145/3209108.3209178},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PilipczukST18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08500,
author = {Khadijeh Keshvardoost and
Bartek Klin and
Slawomir Lasota and
Joanna Ochremiak and
Szymon Torunczyk},
title = {Definable isomorphism problem},
journal = {CoRR},
volume = {abs/1802.08500},
year = {2018},
url = {http://arxiv.org/abs/1802.08500},
eprinttype = {arXiv},
eprint = {1802.08500},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08500.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-03488,
author = {Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
title = {Parameterized circuit complexity of model checking first-order logic
on sparse structures},
journal = {CoRR},
volume = {abs/1805.03488},
year = {2018},
url = {http://arxiv.org/abs/1805.03488},
eprinttype = {arXiv},
eprint = {1805.03488},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-03488.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-02389,
author = {Jakub Gajarsk{\'{y}} and
Stephan Kreutzer and
Jaroslav Nesetril and
Patrice Ossona de Mendez and
Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
title = {First-order interpretations of bounded expansion classes},
journal = {CoRR},
volume = {abs/1810.02389},
year = {2018},
url = {http://arxiv.org/abs/1810.02389},
eprinttype = {arXiv},
eprint = {1810.02389},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02389.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06799,
author = {Grzegorz Fabianski and
Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
title = {Progressive Algorithms for Domination and Independence},
journal = {CoRR},
volume = {abs/1811.06799},
year = {2018},
url = {http://arxiv.org/abs/1811.06799},
eprinttype = {arXiv},
eprint = {1811.06799},
timestamp = {Sun, 25 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06799.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GogaczT17,
author = {Tomasz Gogacz and
Szymon Torunczyk},
editor = {Michael Benedikt and
Giorgio Orsi},
title = {Entropy Bounds for Conjunctive Queries with Functional Dependencies},
booktitle = {20th International Conference on Database Theory, {ICDT} 2017, March
21-24, 2017, Venice, Italy},
series = {LIPIcs},
volume = {68},
pages = {15:1--15:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2017.15},
doi = {10.4230/LIPICS.ICDT.2017.15},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/GogaczT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KopczynskiT17,
author = {Eryk Kopczynski and
Szymon Torunczyk},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {{LOIS:} syntax and semantics},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {586--598},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009876},
doi = {10.1145/3009837.3009876},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/KopczynskiT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PilipczukST17,
author = {Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
title = {On Wideness and Stability},
journal = {CoRR},
volume = {abs/1705.09336},
year = {2017},
url = {http://arxiv.org/abs/1705.09336},
eprinttype = {arXiv},
eprint = {1705.09336},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PilipczukST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/PilipczukT16,
author = {Michal Pilipczuk and
Szymon Torunczyk},
title = {On Ultralimits of Sparse Graph Classes},
journal = {Electron. J. Comb.},
volume = {23},
number = {2},
pages = {2},
year = {2016},
url = {https://doi.org/10.37236/5519},
doi = {10.37236/5519},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/PilipczukT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KopczynskiT16,
author = {Eryk Kopczynski and
Szymon Torunczyk},
editor = {Tim King and
Ruzica Piskac},
title = {{LOIS:} an Application of {SMT} Solvers},
booktitle = {Proceedings of the 14th International Workshop on Satisfiability Modulo
Theories affiliated with the International Joint Conference on Automated
Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1617},
pages = {51--60},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1617/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/KopczynskiT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ParysT16,
author = {Pawel Parys and
Szymon Torunczyk},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {Models of Lambda-Calculus and the Weak {MSO} Logic},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {11:1--11:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.11},
doi = {10.4230/LIPICS.CSL.2016.11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ParysT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AtseriasT16,
author = {Albert Atserias and
Szymon Torunczyk},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {Non-Homogenizable Classes of Finite Structures},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {16:1--16:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.16},
doi = {10.4230/LIPICS.CSL.2016.16},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AtseriasT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KlinLOT16,
author = {Bartek Klin and
Slawomir Lasota and
Joanna Ochremiak and
Szymon Torunczyk},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Homomorphism Problems for First-Order Definable Structures},
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 = {14:1--14:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.14},
doi = {10.4230/LIPICS.FSTTCS.2016.14},
timestamp = {Tue, 30 Nov 2021 13:29:05 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KlinLOT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BojanczykPT16,
author = {Mikolaj Bojanczyk and
Pawel Parys and
Szymon Torunczyk},
editor = {Nicolas Ollinger and
Heribert Vollmer},
title = {The {MSO+U} Theory of (N, {\textless}) Is Undecidable},
booktitle = {33rd Symposium on Theoretical Aspects of Computer Science, {STACS}
2016, February 17-20, 2016, Orl{\'{e}}ans, France},
series = {LIPIcs},
volume = {47},
pages = {21:1--21:8},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.STACS.2016.21},
doi = {10.4230/LIPICS.STACS.2016.21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BojanczykPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/ColcombetKMT16,
author = {Thomas Colcombet and
Denis Kuperberg and
Amaldev Manuel and
Szymon Torunczyk},
editor = {Nicolas Ollinger and
Heribert Vollmer},
title = {Cost Functions Definable by Min/Max Automata},
booktitle = {33rd Symposium on Theoretical Aspects of Computer Science, {STACS}
2016, February 17-20, 2016, Orl{\'{e}}ans, France},
series = {LIPIcs},
volume = {47},
pages = {29:1--29:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.STACS.2016.29},
doi = {10.4230/LIPICS.STACS.2016.29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/ColcombetKMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AtseriasT16,
author = {Albert Atserias and
Szymon Torunczyk},
title = {Non-Homogenizable Classes of Finite Structures},
journal = {CoRR},
volume = {abs/1605.01199},
year = {2016},
url = {http://arxiv.org/abs/1605.01199},
eprinttype = {arXiv},
eprint = {1605.01199},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AtseriasT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KlinKOT15,
author = {Bartek Klin and
Eryk Kopczynski and
Joanna Ochremiak and
Szymon Torunczyk},
title = {Locally Finite Constraint Satisfaction Problems},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {475--486},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.51},
doi = {10.1109/LICS.2015.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KlinKOT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BojanczykPT15,
author = {Mikolaj Bojanczyk and
Pawel Parys and
Szymon Torunczyk},
title = {The {MSO+U} theory of (N, {\textless}) is undecidable},
journal = {CoRR},
volume = {abs/1502.04578},
year = {2015},
url = {http://arxiv.org/abs/1502.04578},
eprinttype = {arXiv},
eprint = {1502.04578},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BojanczykPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PilipczukT15,
author = {Michal Pilipczuk and
Szymon Torunczyk},
title = {On ultralimits of sparse graph classes},
journal = {CoRR},
volume = {abs/1508.07256},
year = {2015},
url = {http://arxiv.org/abs/1508.07256},
eprinttype = {arXiv},
eprint = {1508.07256},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PilipczukT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GogaczT15,
author = {Tomasz Gogacz and
Szymon Torunczyk},
title = {Entropy bounds for conjunctive queries with functional dependencies},
journal = {CoRR},
volume = {abs/1512.01808},
year = {2015},
url = {http://arxiv.org/abs/1512.01808},
eprinttype = {arXiv},
eprint = {1512.01808},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GogaczT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KlinLOT14,
author = {Bartek Klin and
Slawomir Lasota and
Joanna Ochremiak and
Szymon Torunczyk},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Turing machines with atoms, constraint satisfaction problems, and
descriptive complexity},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {58:1--58:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603135},
doi = {10.1145/2603088.2603135},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KlinLOT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Torunczyk13,
author = {Szymon Torunczyk},
title = {Report on Highlights 2013},
journal = {Bull. {EATCS}},
volume = {111},
year = {2013},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/203},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Torunczyk13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykKLT13,
author = {Mikolaj Bojanczyk and
Bartek Klin and
Slawomir Lasota and
Szymon Torunczyk},
title = {Turing Machines with Atoms},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.24},
doi = {10.1109/LICS.2013.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BojanczykKLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BojanczykST13,
author = {Mikolaj Bojanczyk and
Luc Segoufin and
Szymon Torunczyk},
editor = {Richard Hull and
Wenfei Fan},
title = {Verification of database-driven systems via amalgamation},
booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
June 22 - 27, 2013},
pages = {63--74},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2465228},
doi = {10.1145/2463664.2465228},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/BojanczykST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BojanczykT12,
author = {Mikolaj Bojanczyk and
Szymon Torunczyk},
editor = {Deepak D'Souza and
Telikepalli Kavitha and
Jaikumar Radhakrishnan},
title = {Imperative Programming in Sets with Atoms},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
Hyderabad, India},
series = {LIPIcs},
volume = {18},
pages = {4--15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.4},
doi = {10.4230/LIPICS.FSTTCS.2012.4},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BojanczykT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Torunczyk12,
author = {Szymon Torunczyk},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Languages of Profinite Words and the Limitedness Problem},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7392},
pages = {377--389},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31585-5\_35},
doi = {10.1007/978-3-642-31585-5\_35},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Torunczyk12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BojanczykT12,
author = {Mikolaj Bojanczyk and
Szymon Torunczyk},
editor = {Christoph D{\"{u}}rr and
Thomas Wilke},
title = {Weak {MSO+U} over infinite trees},
booktitle = {29th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2012, February 29th - March 3rd, 2012, Paris, France},
series = {LIPIcs},
volume = {14},
pages = {648--660},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.STACS.2012.648},
doi = {10.4230/LIPICS.STACS.2012.648},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/BojanczykT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SegoufinT11,
author = {Luc Segoufin and
Szymon Torunczyk},
editor = {Thomas Schwentick and
Christoph D{\"{u}}rr},
title = {Automata based verification over linearly ordered data domains},
booktitle = {28th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2011, March 10-12, 2011, Dortmund, Germany},
series = {LIPIcs},
volume = {9},
pages = {81--92},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.STACS.2011.81},
doi = {10.4230/LIPICS.STACS.2011.81},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/SegoufinT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DegorreDGRT10,
author = {Aldric Degorre and
Laurent Doyen and
Raffaella Gentilini and
Jean{-}Fran{\c{c}}ois Raskin and
Szymon Torunczyk},
editor = {Anuj Dawar and
Helmut Veith},
title = {Energy and Mean-Payoff Games with Imperfect Information},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {260--274},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_22},
doi = {10.1007/978-3-642-15205-4\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DegorreDGRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HummelST10,
author = {Szczepan Hummel and
Michal Skrzypczak and
Szymon Torunczyk},
editor = {Petr Hlinen{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {On the Topological Complexity of {MSO+U} and Related Automata Models},
booktitle = {Mathematical Foundations of Computer Science 2010, 35th International
Symposium, {MFCS} 2010, Brno, Czech Republic, August 23-27, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6281},
pages = {429--440},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15155-2\_38},
doi = {10.1007/978-3-642-15155-2\_38},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HummelST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BojanczykT09,
author = {Mikolaj Bojanczyk and
Szymon Torunczyk},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Deterministic Automata and Extensions of Weak {MSO}},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {73--84},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2308},
doi = {10.4230/LIPICS.FSTTCS.2009.2308},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BojanczykT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-12 18:30 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:
