default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Artur Jez
@article{DBLP:journals/pacmpl/HagueJL24,
author = {Matthew Hague and
Artur Jez and
Anthony W. Lin},
title = {Parikh's Theorem Made Symbolic},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {1945--1977},
year = {2024},
url = {https://doi.org/10.1145/3632907},
doi = {10.1145/3632907},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HagueJL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/GagieGJN24,
author = {Travis Gagie and
Adri{\'{a}}n Goga and
Artur Jez and
Gonzalo Navarro},
editor = {Jos{\'{e}} A. Soto and
Andreas Wiese},
title = {Space-Efficient Conversions from SLPs},
booktitle = {{LATIN} 2024: Theoretical Informatics - 16th Latin American Symposium,
Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14578},
pages = {146--161},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-55598-5\_10},
doi = {10.1007/978-3-031-55598-5\_10},
timestamp = {Wed, 13 Mar 2024 19:10:54 +0100},
biburl = {https://dblp.org/rec/conf/latin/GagieGJN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JezLMR23,
author = {Artur Jez and
Anthony W. Lin and
Oliver Markgraf and
Philipp R{\"{u}}mmer},
editor = {Constantin Enea and
Akash Lal},
title = {Decision Procedures for Sequence Theories},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
pages = {18--40},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7\_2},
doi = {10.1007/978-3-031-37703-7\_2},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/JezLMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-00175,
author = {Artur Jez and
Anthony W. Lin and
Oliver Markgraf and
Philipp R{\"{u}}mmer},
title = {Decision Procedures for Sequence Theories (Technical Report)},
journal = {CoRR},
volume = {abs/2308.00175},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.00175},
doi = {10.48550/ARXIV.2308.00175},
eprinttype = {arXiv},
eprint = {2308.00175},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-00175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-03901,
author = {Matthew Hague and
Artur Jez and
Anthony W. Lin},
title = {Parikh's Theorem Made Symbolic},
journal = {CoRR},
volume = {abs/2311.03901},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.03901},
doi = {10.48550/ARXIV.2311.03901},
eprinttype = {arXiv},
eprint = {2311.03901},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-03901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Jez22,
author = {Artur Jez},
title = {Word equations in non-deterministic linear space},
journal = {J. Comput. Syst. Sci.},
volume = {123},
pages = {122--142},
year = {2022},
url = {https://doi.org/10.1016/j.jcss.2021.08.001},
doi = {10.1016/J.JCSS.2021.08.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/Jez22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FigueiraJL22,
author = {Diego Figueira and
Artur Jez and
Anthony W. Lin},
editor = {Leonid Libkin and
Pablo Barcel{\'{o}}},
title = {Data Path Queries over Embedded Graph Databases},
booktitle = {{PODS} '22: International Conference on Management of Data, Philadelphia,
PA, USA, June 12 - 17, 2022},
pages = {189--201},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517804.3524159},
doi = {10.1145/3517804.3524159},
timestamp = {Wed, 15 Jun 2022 08:52:54 +0200},
biburl = {https://dblp.org/rec/conf/pods/FigueiraJL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-02327,
author = {Travis Gagie and
Artur Jez and
Gonzalo Navarro},
title = {Space-efficient conversions from SLPs},
journal = {CoRR},
volume = {abs/2212.02327},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.02327},
doi = {10.48550/ARXIV.2212.02327},
eprinttype = {arXiv},
eprint = {2212.02327},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-02327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GanardiJL21,
author = {Moses Ganardi and
Artur Jez and
Markus Lohrey},
title = {Balancing Straight-line Programs},
journal = {J. {ACM}},
volume = {68},
number = {4},
pages = {27:1--27:40},
year = {2021},
url = {https://doi.org/10.1145/3457389},
doi = {10.1145/3457389},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/GanardiJL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/BannaiHHIJLR21,
author = {Hideo Bannai and
Momoko Hirayama and
Danny Hucke and
Shunsuke Inenaga and
Artur Jez and
Markus Lohrey and
Carl Philipp Reh},
title = {The Smallest Grammar Problem Revisited},
journal = {{IEEE} Trans. Inf. Theory},
volume = {67},
number = {1},
pages = {317--328},
year = {2021},
url = {https://doi.org/10.1109/TIT.2020.3038147},
doi = {10.1109/TIT.2020.3038147},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/BannaiHHIJLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FerensJ21,
author = {Robert Ferens and
Artur Jez},
editor = {Markus Bl{\"{a}}ser and
Benjamin Monmege},
title = {Solving One Variable Word Equations in the Free Group in Cubic Time},
booktitle = {38th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2021, March 16-19, 2021, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {187},
pages = {30:1--30:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.STACS.2021.30},
doi = {10.4230/LIPICS.STACS.2021.30},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/FerensJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06201,
author = {Robert Ferens and
Artur Jez},
title = {Solving one variable word equations in the free group in cubic time},
journal = {CoRR},
volume = {abs/2101.06201},
year = {2021},
url = {https://arxiv.org/abs/2101.06201},
eprinttype = {arXiv},
eprint = {2101.06201},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-06201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Jez20,
author = {Artur Jez},
editor = {Maribel Fern{\'{a}}ndez and
Anca Muscholl},
title = {Solving Word Equations (And Other Unification Problems) by Recompression
(Invited Talk)},
booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
January 13-16, 2020, Barcelona, Spain},
series = {LIPIcs},
volume = {152},
pages = {3:1--3:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CSL.2020.3},
doi = {10.4230/LIPICS.CSL.2020.3},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Jez20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Jez20,
author = {Artur Jez},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {Recompression: Technique for Word Equations and Compressed Data},
booktitle = {Language and Automata Theory and Applications - 14th International
Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12038},
pages = {44--67},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-40608-0\_4},
doi = {10.1007/978-3-030-40608-0\_4},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/Jez20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Jez19,
author = {Artur Jez},
title = {Deciding Context Unification},
journal = {J. {ACM}},
volume = {66},
number = {6},
pages = {39:1--39:45},
year = {2019},
url = {https://doi.org/10.1145/3356904},
doi = {10.1145/3356904},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Jez19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Jez19,
author = {Artur Jez},
editor = {Piotrek Hofman and
Michal Skrzypczak},
title = {Deciding Context Unification (with Regular Constraints)},
booktitle = {Developments in Language Theory - 23rd International Conference, {DLT}
2019, Warsaw, Poland, August 5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11647},
pages = {18--40},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24886-4\_2},
doi = {10.1007/978-3-030-24886-4\_2},
timestamp = {Fri, 27 Mar 2020 08:49:52 +0100},
biburl = {https://dblp.org/rec/conf/dlt/Jez19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GanardiJL19,
author = {Moses Ganardi and
Artur Jez and
Markus Lohrey},
editor = {David Zuckerman},
title = {Balancing Straight-Line Programs},
booktitle = {60th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
2019, Baltimore, Maryland, USA, November 9-12, 2019},
pages = {1169--1183},
publisher = {{IEEE} Computer Society},
year = {2019},
url = {https://doi.org/10.1109/FOCS.2019.00073},
doi = {10.1109/FOCS.2019.00073},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GanardiJL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03568,
author = {Moses Ganardi and
Artur Jez and
Markus Lohrey},
title = {Balancing Straight-Line Programs},
journal = {CoRR},
volume = {abs/1902.03568},
year = {2019},
url = {http://arxiv.org/abs/1902.03568},
eprinttype = {arXiv},
eprint = {1902.03568},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03568.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-06428,
author = {Hideo Bannai and
Momoko Hirayama and
Danny Hucke and
Shunsuke Inenaga and
Artur Jez and
Markus Lohrey and
Carl Philipp Reh},
title = {The smallest grammar problem revisited},
journal = {CoRR},
volume = {abs/1908.06428},
year = {2019},
url = {http://arxiv.org/abs/1908.06428},
eprinttype = {arXiv},
eprint = {1908.06428},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-06428.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JezO18,
author = {Artur Jez and
Alexander Okhotin},
title = {On the Number of Nonterminal Symbols in Unambiguous Conjunctive Grammars},
journal = {Fundam. Informaticae},
volume = {162},
number = {1},
pages = {43--72},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1713},
doi = {10.3233/FI-2018-1713},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JezO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/GanczorzGJK18,
author = {Michal Ganczorz and
Pawel Gawrychowski and
Artur Jez and
Tomasz Kociumaka},
editor = {Yossi Azar and
Hannah Bast and
Grzegorz Herman},
title = {Edit Distance with Block Operations},
booktitle = {26th Annual European Symposium on Algorithms, {ESA} 2018, August 20-22,
2018, Helsinki, Finland},
series = {LIPIcs},
volume = {112},
pages = {33:1--33:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ESA.2018.33},
doi = {10.4230/LIPICS.ESA.2018.33},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esa/GanczorzGJK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GanardiJL18,
author = {Moses Ganardi and
Artur Jez and
Markus Lohrey},
editor = {Igor Potapov and
Paul G. Spirakis and
James Worrell},
title = {Sliding Windows over Context-Free Languages},
booktitle = {43rd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
series = {LIPIcs},
volume = {117},
pages = {15:1--15:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.15},
doi = {10.4230/LIPICS.MFCS.2018.15},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/GanardiJL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GanardiHJLN17,
author = {Moses Ganardi and
Danny Hucke and
Artur Jez and
Markus Lohrey and
Eric Noeth},
title = {Constructing small tree grammars and small circuits for formulas},
journal = {J. Comput. Syst. Sci.},
volume = {86},
pages = {136--158},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2016.12.007},
doi = {10.1016/J.JCSS.2016.12.007},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/GanardiHJLN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JezO17,
author = {Artur Jez and
Alexander Okhotin},
title = {Unambiguous conjunctive grammars over a one-symbol alphabet},
journal = {Theor. Comput. Sci.},
volume = {665},
pages = {13--39},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2016.12.009},
doi = {10.1016/J.TCS.2016.12.009},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/JezO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpm/Jez17,
author = {Artur Jez},
editor = {Juha K{\"{a}}rkk{\"{a}}inen and
Jakub Radoszewski and
Wojciech Rytter},
title = {Recompression of SLPs},
booktitle = {28th Annual Symposium on Combinatorial Pattern Matching, {CPM} 2017,
July 4-6, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {78},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CPM.2017.2},
doi = {10.4230/LIPICS.CPM.2017.2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpm/Jez17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/GanczorzJ17,
author = {Michal Ganczorz and
Artur Jez},
editor = {Ali Bilgin and
Michael W. Marcellin and
Joan Serra{-}Sagrist{\`{a}} and
James A. Storer},
title = {Improvements on Re-Pair Grammar Compressor},
booktitle = {2017 Data Compression Conference, {DCC} 2017, Snowbird, UT, USA, April
4-7, 2017},
pages = {181--190},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/DCC.2017.52},
doi = {10.1109/DCC.2017.52},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcc/GanczorzJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jez17,
author = {Artur Jez},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {Word Equations in Nondeterministic Linear Space},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {95:1--95:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.95},
doi = {10.4230/LIPICS.ICALP.2017.95},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Jez17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Jez17,
author = {Artur Jez},
editor = {Heribert Vollmer and
Brigitte Vall{\'{e}}e},
title = {Recompression: New Approach to Word Equations and Context Unification
(Invited Talk)},
booktitle = {34th Symposium on Theoretical Aspects of Computer Science, {STACS}
2017, March 8-11, 2017, Hannover, Germany},
series = {LIPIcs},
volume = {66},
pages = {2:1--2:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.STACS.2017.2},
doi = {10.4230/LIPICS.STACS.2017.2},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Jez17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jez17,
author = {Artur Jez},
title = {Word equations in linear space},
journal = {CoRR},
volume = {abs/1702.00736},
year = {2017},
url = {http://arxiv.org/abs/1702.00736},
eprinttype = {arXiv},
eprint = {1702.00736},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jez17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HuckeJL17,
author = {Danny Hucke and
Artur Jez and
Markus Lohrey},
title = {Approximation ratio of RePair},
journal = {CoRR},
volume = {abs/1703.06061},
year = {2017},
url = {http://arxiv.org/abs/1703.06061},
eprinttype = {arXiv},
eprint = {1703.06061},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HuckeJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/Jez16,
author = {Artur Jez},
title = {One-Variable Word Equations in Linear Time},
journal = {Algorithmica},
volume = {74},
number = {1},
pages = {1--48},
year = {2016},
url = {https://doi.org/10.1007/s00453-014-9931-3},
doi = {10.1007/S00453-014-9931-3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/Jez16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JezL16,
author = {Artur Jez and
Markus Lohrey},
title = {Approximation of smallest linear tree grammar},
journal = {Inf. Comput.},
volume = {251},
pages = {215--251},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2016.09.007},
doi = {10.1016/J.IC.2016.09.007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JezL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DiekertJP16,
author = {Volker Diekert and
Artur Jez and
Wojciech Plandowski},
title = {Finding all solutions of equations in free groups and monoids with
involution},
journal = {Inf. Comput.},
volume = {251},
pages = {263--286},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2016.09.009},
doi = {10.1016/J.IC.2016.09.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DiekertJP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Jez16,
author = {Artur Jez},
title = {Recompression: {A} Simple and Powerful Technique for Word Equations},
journal = {J. {ACM}},
volume = {63},
number = {1},
pages = {4:1--4:51},
year = {2016},
url = {https://doi.org/10.1145/2743014},
doi = {10.1145/2743014},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/Jez16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JezO16,
author = {Artur Jez and
Alexander Okhotin},
title = {Equations over sets of integers with addition only},
journal = {J. Comput. Syst. Sci.},
volume = {82},
number = {6},
pages = {1007--1019},
year = {2016},
url = {https://doi.org/10.1016/j.jcss.2016.02.003},
doi = {10.1016/J.JCSS.2016.02.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/JezO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Jez16,
author = {Artur Jez},
title = {A really simple approximation of smallest grammar},
journal = {Theor. Comput. Sci.},
volume = {616},
pages = {141--150},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.12.032},
doi = {10.1016/J.TCS.2015.12.032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Jez16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JezO16,
author = {Artur Jez and
Alexander Okhotin},
title = {Least and greatest solutions of equations over sets of integers},
journal = {Theor. Comput. Sci.},
volume = {619},
pages = {68--86},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.01.013},
doi = {10.1016/J.TCS.2016.01.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JezO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GawrychowskiJ16,
author = {Pawel Gawrychowski and
Artur Jez},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {{LZ77} Factorisation of Trees},
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 = {35:1--35:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.35},
doi = {10.4230/LIPICS.FSTTCS.2016.35},
timestamp = {Tue, 30 Nov 2021 13:29:05 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GawrychowskiJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DiekertW16,
author = {Volker Diekert and
Artur Jez and
Manfred Kufleitner},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {Solutions of Word Equations Over Partially Commutative Structures},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {127:1--127:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.127},
doi = {10.4230/LIPICS.ICALP.2016.127},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/DiekertW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DiekertJK16,
author = {Volker Diekert and
Artur Jez and
Manfred Kufleitner},
title = {Solutions of Word Equations over Partially Commutative Structures},
journal = {CoRR},
volume = {abs/1603.02966},
year = {2016},
url = {http://arxiv.org/abs/1603.02966},
eprinttype = {arXiv},
eprint = {1603.02966},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DiekertJK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talg/Jez15,
author = {Artur Jez},
title = {Faster Fully Compressed Pattern Matching by Recompression},
journal = {{ACM} Trans. Algorithms},
volume = {11},
number = {3},
pages = {20:1--20:43},
year = {2015},
url = {https://doi.org/10.1145/2631920},
doi = {10.1145/2631920},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/talg/Jez15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Jez15,
author = {Artur Jez},
title = {Approximation of grammar-based compression via recompression},
journal = {Theor. Comput. Sci.},
volume = {592},
pages = {115--134},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.05.027},
doi = {10.1016/J.TCS.2015.05.027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Jez15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JezO14,
author = {Artur Jez and
Alexander Okhotin},
title = {Computational completeness of equations over sets of natural numbers},
journal = {Inf. Comput.},
volume = {237},
pages = {56--94},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.05.001},
doi = {10.1016/J.IC.2014.05.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JezO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GawrychowskiJJ14,
author = {Pawel Gawrychowski and
Artur Jez and
Lukasz Jez},
title = {Validating the Knuth-Morris-Pratt Failure Function, Fast and Online},
journal = {Theory Comput. Syst.},
volume = {54},
number = {2},
pages = {337--372},
year = {2014},
url = {https://doi.org/10.1007/s00224-013-9522-8},
doi = {10.1007/S00224-013-9522-8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/GawrychowskiJJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Jez14,
author = {Artur Jez},
title = {The Complexity of Compressed Membership Problems for Finite Automata},
journal = {Theory Comput. Syst.},
volume = {55},
number = {4},
pages = {685--718},
year = {2014},
url = {https://doi.org/10.1007/s00224-013-9443-6},
doi = {10.1007/S00224-013-9443-6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Jez14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpm/Jez14,
author = {Artur Jez},
editor = {Alexander S. Kulikov and
Sergei O. Kuznetsov and
Pavel A. Pevzner},
title = {A really Simple Approximation of Smallest Grammar},
booktitle = {Combinatorial Pattern Matching - 25th Annual Symposium, {CPM} 2014,
Moscow, Russia, June 16-18, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8486},
pages = {182--191},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07566-2\_19},
doi = {10.1007/978-3-319-07566-2\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpm/Jez14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/DiekertJP14,
author = {Volker Diekert and
Artur Jez and
Wojciech Plandowski},
editor = {Edward A. Hirsch and
Sergei O. Kuznetsov and
Jean{-}{\'{E}}ric Pin and
Nikolay K. Vereshchagin},
title = {Finding All Solutions of Equations in Free Groups and Monoids with
Involution},
booktitle = {Computer Science - Theory and Applications - 9th International Computer
Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8476},
pages = {1--15},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06686-8\_1},
doi = {10.1007/978-3-319-06686-8\_1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr/DiekertJP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jez14,
author = {Artur Jez},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Context Unification is in {PSPACE}},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {244--255},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_21},
doi = {10.1007/978-3-662-43951-7\_21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Jez14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/JezL14,
author = {Artur Jez and
Markus Lohrey},
editor = {Ernst W. Mayr and
Natacha Portier},
title = {Approximation of smallest linear tree grammar},
booktitle = {31st International Symposium on Theoretical Aspects of Computer Science
{(STACS} 2014), {STACS} 2014, March 5-8, 2014, Lyon, France},
series = {LIPIcs},
volume = {25},
pages = {445--457},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.STACS.2014.445},
doi = {10.4230/LIPICS.STACS.2014.445},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/JezL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jez14,
author = {Artur Jez},
title = {A really simple approximation of smallest grammar},
journal = {CoRR},
volume = {abs/1403.4445},
year = {2014},
url = {http://arxiv.org/abs/1403.4445},
eprinttype = {arXiv},
eprint = {1403.4445},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jez14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DiekertJP14,
author = {Volker Diekert and
Artur Jez and
Wojciech Plandowski},
title = {Finding All Solutions of Equations in Free Groups and Monoids with
Involution},
journal = {CoRR},
volume = {abs/1405.5133},
year = {2014},
url = {http://arxiv.org/abs/1405.5133},
eprinttype = {arXiv},
eprint = {1405.5133},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DiekertJP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/BienkowskiCDHJJS13,
author = {Marcin Bienkowski and
Marek Chrobak and
Christoph D{\"{u}}rr and
Mathilde Hurand and
Artur Jez and
Lukasz Jez and
Grzegorz Stachowiak},
title = {Collecting Weighted Items from a Dynamic Queue},
journal = {Algorithmica},
volume = {65},
number = {1},
pages = {60--94},
year = {2013},
url = {https://doi.org/10.1007/s00453-011-9574-6},
doi = {10.1007/S00453-011-9574-6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithmica/BienkowskiCDHJJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/JezM13,
author = {Artur Jez and
Andreas Maletti},
title = {Hyper-Minimization for Deterministic Tree Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {6},
pages = {815--830},
year = {2013},
url = {https://doi.org/10.1142/S0129054113400200},
doi = {10.1142/S0129054113400200},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/JezM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BienkowskiCDHJJS13,
author = {Marcin Bienkowski and
Marek Chrobak and
Christoph D{\"{u}}rr and
Mathilde Hurand and
Artur Jez and
Lukasz Jez and
Grzegorz Stachowiak},
title = {A \emph{{\(\phi\)}}-competitive algorithm for collecting items with
increasing weights from a dynamic queue},
journal = {Theor. Comput. Sci.},
volume = {475},
pages = {92--102},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.12.046},
doi = {10.1016/J.TCS.2012.12.046},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BienkowskiCDHJJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpm/Jez13,
author = {Artur Jez},
editor = {Johannes Fischer and
Peter Sanders},
title = {Approximation of Grammar-Based Compression via Recompression},
booktitle = {Combinatorial Pattern Matching, 24th Annual Symposium, {CPM} 2013,
Bad Herrenalb, Germany, June 17-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7922},
pages = {165--176},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38905-4\_17},
doi = {10.1007/978-3-642-38905-4\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpm/Jez13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Jez13,
author = {Artur Jez},
editor = {Marie{-}Pierre B{\'{e}}al and
Olivier Carton},
title = {Recompression: Word Equations and Beyond},
booktitle = {Developments in Language Theory - 17th International Conference, {DLT}
2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7907},
pages = {12--26},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38771-5\_2},
doi = {10.1007/978-3-642-38771-5\_2},
timestamp = {Sat, 19 Oct 2019 20:07:57 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Jez13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/JezO13,
author = {Artur Jez and
Alexander Okhotin},
editor = {Marie{-}Pierre B{\'{e}}al and
Olivier Carton},
title = {Unambiguous Conjunctive Grammars over a One-Letter Alphabet},
booktitle = {Developments in Language Theory - 17th International Conference, {DLT}
2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7907},
pages = {277--288},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38771-5\_25},
doi = {10.1007/978-3-642-38771-5\_25},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/JezO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jez13,
author = {Artur Jez},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {One-Variable Word Equations in Linear Time},
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 = {324--335},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_30},
doi = {10.1007/978-3-642-39212-2\_30},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Jez13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Jez13,
author = {Artur Jez},
editor = {Natacha Portier and
Thomas Wilke},
title = {Recompression: a simple and powerful technique for word equations},
booktitle = {30th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2013, February 27 - March 2, 2013, Kiel, Germany},
series = {LIPIcs},
volume = {20},
pages = {233--244},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.STACS.2013.233},
doi = {10.4230/LIPICS.STACS.2013.233},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Jez13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-5842,
author = {Artur Jez},
title = {Approximation of grammar-based compression via recompression},
journal = {CoRR},
volume = {abs/1301.5842},
year = {2013},
url = {http://arxiv.org/abs/1301.5842},
eprinttype = {arXiv},
eprint = {1301.5842},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5842.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-3481,
author = {Artur Jez},
title = {One-variable word equations in linear time},
journal = {CoRR},
volume = {abs/1302.3481},
year = {2013},
url = {http://arxiv.org/abs/1302.3481},
eprinttype = {arXiv},
eprint = {1302.3481},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-3481.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JezL13,
author = {Artur Jez and
Markus Lohrey},
title = {Approximation of smallest linear tree grammar},
journal = {CoRR},
volume = {abs/1309.4958},
year = {2013},
url = {http://arxiv.org/abs/1309.4958},
eprinttype = {arXiv},
eprint = {1309.4958},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JezL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jez13,
author = {Artur Jez},
title = {Context unification is in {PSPACE}},
journal = {CoRR},
volume = {abs/1310.4367},
year = {2013},
url = {http://arxiv.org/abs/1310.4367},
eprinttype = {arXiv},
eprint = {1310.4367},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jez13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/JezO12,
author = {Artur Jez and
Alexander Okhotin},
title = {Representing Hyper-arithmetical Sets by Equations over Sets of Integers},
journal = {Theory Comput. Syst.},
volume = {51},
number = {2},
pages = {196--228},
year = {2012},
url = {https://doi.org/10.1007/s00224-011-9352-5},
doi = {10.1007/S00224-011-9352-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/JezO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/JezO12,
author = {Artur Jez and
Alexander Okhotin},
editor = {Martin Kutrib and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On the Number of Nonterminal Symbols in Unambiguous Conjunctive Grammars},
booktitle = {Descriptional Complexity of Formal Systems - 14th International Workshop,
{DCFS} 2012, Braga, Portugal, July 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7386},
pages = {183--195},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31623-4\_14},
doi = {10.1007/978-3-642-31623-4\_14},
timestamp = {Sun, 25 Oct 2020 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/JezO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jez12,
author = {Artur Jez},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Faster Fully Compressed Pattern Matching by Recompression},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7391},
pages = {533--544},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31594-7\_45},
doi = {10.1007/978-3-642-31594-7\_45},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Jez12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Jez12,
author = {Artur Jez},
editor = {Christoph D{\"{u}}rr and
Thomas Wilke},
title = {Compressed Membership for {NFA} {(DFA)} with Compressed Labels is
in {NP} {(P)}},
booktitle = {29th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2012, February 29th - March 3rd, 2012, Paris, France},
series = {LIPIcs},
volume = {14},
pages = {136--147},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.STACS.2012.136},
doi = {10.4230/LIPICS.STACS.2012.136},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Jez12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/JezM12,
author = {Artur Jez and
Andreas Maletti},
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Hyper-minimization for Deterministic Tree Automata},
booktitle = {Implementation and Application of Automata - 17th International Conference,
{CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7381},
pages = {217--228},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31606-7\_19},
doi = {10.1007/978-3-642-31606-7\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/JezM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-3705,
author = {Artur Jez},
title = {Recompression: a simple and powerful technique for word equations},
journal = {CoRR},
volume = {abs/1203.3705},
year = {2012},
url = {http://arxiv.org/abs/1203.3705},
eprinttype = {arXiv},
eprint = {1203.3705},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-3705.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/JezJ11,
author = {Artur Jez and
Tomasz Jurdzinski},
title = {Length-reducing Automata (almost) without Auxiliary Symbols},
journal = {J. Autom. Lang. Comb.},
volume = {16},
number = {2-4},
pages = {141--164},
year = {2011},
url = {https://doi.org/10.25596/jalc-2011-141},
doi = {10.25596/JALC-2011-141},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/JezJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/JezO11,
author = {Artur Jez and
Alexander Okhotin},
title = {Complexity of Equations over Sets of Natural Numbers},
journal = {Theory Comput. Syst.},
volume = {48},
number = {2},
pages = {319--342},
year = {2011},
url = {https://doi.org/10.1007/s00224-009-9246-y},
doi = {10.1007/S00224-009-9246-Y},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/JezO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/JezO11a,
author = {Artur Jez and
Alexander Okhotin},
title = {One-Nonterminal Conjunctive Grammars over a Unary Alphabet},
journal = {Theory Comput. Syst.},
volume = {49},
number = {2},
pages = {319--342},
year = {2011},
url = {https://doi.org/10.1007/s00224-011-9319-6},
doi = {10.1007/S00224-011-9319-6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/JezO11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GawrychowskiJM11,
author = {Pawel Gawrychowski and
Artur Jez and
Andreas Maletti},
editor = {Filip Murlak and
Piotr Sankowski},
title = {On Minimising Automata with Errors},
booktitle = {Mathematical Foundations of Computer Science 2011 - 36th International
Symposium, {MFCS} 2011, Warsaw, Poland, August 22-26, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6907},
pages = {327--338},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22993-0\_31},
doi = {10.1007/978-3-642-22993-0\_31},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GawrychowskiJM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/JezM11,
author = {Artur Jez and
Andreas Maletti},
editor = {B{\'{e}}atrice Bouchou{-}Markhoff and
Pascal Caron and
Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Computing All {\(\mathscr{l}\)}-Cover Automata Fast},
booktitle = {Implementation and Application of Automata - 16th International Conference,
{CIAA} 2011, Blois, France, July 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6807},
pages = {203--214},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22256-6\_19},
doi = {10.1007/978-3-642-22256-6\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/JezM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-5682,
author = {Pawel Gawrychowski and
Artur Jez and
Andreas Maletti},
title = {On minimising automata with errors},
journal = {CoRR},
volume = {abs/1102.5682},
year = {2011},
url = {http://arxiv.org/abs/1102.5682},
eprinttype = {arXiv},
eprint = {1102.5682},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-5682.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-2318,
author = {Artur Jez},
title = {Compressed Membership for {NFA} {(DFA)} with Compressed Labels is
in {NP} {(P)}},
journal = {CoRR},
volume = {abs/1110.2318},
year = {2011},
url = {http://arxiv.org/abs/1110.2318},
eprinttype = {arXiv},
eprint = {1110.2318},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-2318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-3244,
author = {Artur Jez},
title = {Faster fully compressed pattern matching by recompression},
journal = {CoRR},
volume = {abs/1111.3244},
year = {2011},
url = {http://arxiv.org/abs/1111.3244},
eprinttype = {arXiv},
eprint = {1111.3244},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-3244.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JezO10,
author = {Artur Jez and
Alexander Okhotin},
title = {Univariate Equations Over Sets of Natural Numbers},
journal = {Fundam. Informaticae},
volume = {104},
number = {4},
pages = {329--348},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-352},
doi = {10.3233/FI-2010-352},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JezO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/JezO10,
author = {Artur Jez and
Alexander Okhotin},
title = {Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded
Growth},
journal = {Theory Comput. Syst.},
volume = {46},
number = {1},
pages = {27--58},
year = {2010},
url = {https://doi.org/10.1007/s00224-008-9139-5},
doi = {10.1007/S00224-008-9139-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/JezO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/GawrychowskiJJ10,
author = {Pawel Gawrychowski and
Artur Jez and
Lukasz Jez},
editor = {Farid M. Ablayev and
Ernst W. Mayr},
title = {Validating the Knuth-Morris-Pratt Failure Function, Fast and Online},
booktitle = {Computer Science - Theory and Applications, 5th International Computer
Science Symposium in Russia, {CSR} 2010, Kazan, Russia, June 16-20,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6072},
pages = {132--143},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13182-0\_13},
doi = {10.1007/978-3-642-13182-0\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr/GawrychowskiJJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JezO10,
author = {Artur Jez and
Alexander Okhotin},
editor = {Petr Hlinen{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Least and Greatest Solutions of Equations over Sets of Integers},
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 = {441--452},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15155-2\_39},
doi = {10.1007/978-3-642-15155-2\_39},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/JezO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/JezO10,
author = {Artur Jez and
Alexander Okhotin},
editor = {Jean{-}Yves Marion and
Thomas Schwentick},
title = {On Equations over Sets of Integers},
booktitle = {27th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2010, March 4-6, 2010, Nancy, France},
series = {LIPIcs},
volume = {5},
pages = {477--488},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.STACS.2010.2478},
doi = {10.4230/LIPICS.STACS.2010.2478},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/JezO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-2932,
author = {Artur Jez and
Alexander Okhotin},
title = {On equations over sets of integers},
journal = {CoRR},
volume = {abs/1001.2932},
year = {2010},
url = {http://arxiv.org/abs/1001.2932},
eprinttype = {arXiv},
eprint = {1001.2932},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-2932.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/JezL09,
author = {Artur Jez and
Jakub Lopuszanski},
title = {On the two-dimensional cow search problem},
journal = {Inf. Process. Lett.},
volume = {109},
number = {11},
pages = {543--547},
year = {2009},
url = {https://doi.org/10.1016/j.ipl.2009.01.020},
doi = {10.1016/J.IPL.2009.01.020},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/JezL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/JezO09,
author = {Artur Jez and
Alexander Okhotin},
editor = {Anna E. Frid and
Andrey Morozov and
Andrey Rybalchenko and
Klaus W. Wagner},
title = {One-Nonterminal Conjunctive Grammars over a Unary Alphabet},
booktitle = {Computer Science - Theory and Applications, Fourth International Computer
Science Symposium in Russia, {CSR} 2009, Novosibirsk, Russia, August
18-23, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5675},
pages = {191--202},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03351-3\_19},
doi = {10.1007/978-3-642-03351-3\_19},
timestamp = {Mon, 01 Mar 2021 13:46:21 +0100},
biburl = {https://dblp.org/rec/conf/csr/JezO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GawrychowskiJ09,
author = {Pawel Gawrychowski and
Artur Jez},
editor = {Rastislav Kr{\'{a}}lovic and
Damian Niwinski},
title = {Hyper-minimisation Made Efficient},
booktitle = {Mathematical Foundations of Computer Science 2009, 34th International
Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
24-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5734},
pages = {356--368},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03816-7\_31},
doi = {10.1007/978-3-642-03816-7\_31},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GawrychowskiJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/BienkowskiCDHJJS09,
author = {Marcin Bienkowski and
Marek Chrobak and
Christoph D{\"{u}}rr and
Mathilde Hurand and
Artur Jez and
Lukasz Jez and
Grzegorz Stachowiak},
editor = {Claire Mathieu},
title = {Collecting weighted items from a dynamic queue},
booktitle = {Proceedings of the Twentieth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2009, New York, NY, USA, January 4-6, 2009},
pages = {1126--1135},
publisher = {{SIAM}},
year = {2009},
url = {https://doi.org/10.1137/1.9781611973068.122},
doi = {10.1137/1.9781611973068.122},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soda/BienkowskiCDHJJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/JezO09,
author = {Artur Jez and
Alexander Okhotin},
editor = {Susanne Albers and
Jean{-}Yves Marion},
title = {Equations over Sets of Natural Numbers with Addition Only},
booktitle = {26th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings},
series = {LIPIcs},
volume = {3},
pages = {577--588},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.STACS.2009.1806},
doi = {10.4230/LIPICS.STACS.2009.1806},
timestamp = {Tue, 22 Jun 2021 15:43:57 +0200},
biburl = {https://dblp.org/rec/conf/stacs/JezO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-2897,
author = {Pawel Gawrychowski and
Artur Jez and
Lukasz Jez},
title = {Optimal, online validation of the pi and pi' failure functions},
journal = {CoRR},
volume = {abs/0901.2897},
year = {2009},
url = {http://arxiv.org/abs/0901.2897},
eprinttype = {arXiv},
eprint = {0901.2897},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-2897.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/GrechJK08,
author = {Mariusz Grech and
Artur Jez and
Andrzej Kisielewicz},
title = {Graphical complexity of products of permutation groups},
journal = {Discret. Math.},
volume = {308},
number = {7},
pages = {1142--1152},
year = {2008},
url = {https://doi.org/10.1016/j.disc.2007.04.004},
doi = {10.1016/J.DISC.2007.04.004},
timestamp = {Fri, 16 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dm/GrechJK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Jez08,
author = {Artur Jez},
title = {Conjunctive Grammars Generate Non-Regular Unary Languages},
journal = {Int. J. Found. Comput. Sci.},
volume = {19},
number = {3},
pages = {597--615},
year = {2008},
url = {https://doi.org/10.1142/S012905410800584X},
doi = {10.1142/S012905410800584X},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Jez08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JezO08,
author = {Artur Jez and
Alexander Okhotin},
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 = {On the Computational Completeness of Equations over Sets of Natural
Numbers},
booktitle = {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},
pages = {63--74},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_6},
doi = {10.1007/978-3-540-70583-3\_6},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/JezO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/OkhotinJ08,
author = {Alexander Okhotin and
Artur Jez},
editor = {Susanne Albers and
Pascal Weil},
title = {Complexity of solutions of equations over sets of natural numbers},
booktitle = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 21-23, 2008, Proceedings},
series = {LIPIcs},
volume = {1},
pages = {373--384},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.STACS.2008.1319},
doi = {10.4230/LIPICS.STACS.2008.1319},
timestamp = {Tue, 22 Jun 2021 15:44:08 +0200},
biburl = {https://dblp.org/rec/conf/stacs/OkhotinJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-1685,
author = {Marcin Bienkowski and
Marek Chrobak and
Christoph D{\"{u}}rr and
Mathilde Hurand and
Artur Jez and
Lukasz Jez and
Jakub Lopuszanski and
Grzegorz Stachowiak},
title = {Generalized Whac-a-Mole},
journal = {CoRR},
volume = {abs/0802.1685},
year = {2008},
url = {http://arxiv.org/abs/0802.1685},
eprinttype = {arXiv},
eprint = {0802.1685},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-1685.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/JezO07,
author = {Artur Jez and
Alexander Okhotin},
editor = {Volker Diekert and
Mikhail V. Volkov and
Andrei Voronkov},
title = {Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded
Growth},
booktitle = {Computer Science - Theory and Applications, Second International Symposium
on Computer Science in Russia, {CSR} 2007, Ekaterinburg, Russia, September
3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4649},
pages = {168--181},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74510-5\_19},
doi = {10.1007/978-3-540-74510-5\_19},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/csr/JezO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Jez07,
author = {Artur Jez},
editor = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}}},
title = {Conjunctive Grammars Can Generate Non-regular Unary Languages},
booktitle = {Developments in Language Theory, 11th International Conference, {DLT}
2007, Turku, Finland, July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4588},
pages = {242--253},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73208-2\_24},
doi = {10.1007/978-3-540-73208-2\_24},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Jez07.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-06-04 21:33 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:
