| 2025 | FMCAD | OSTRICH2: Solver for Complex String Constraints. | Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Zhilin Wu |
| 2024 | LATIN | Space-Efficient Conversions from SLPs. | Travis Gagie, Adrin Goga, Artur Jez, Gonzalo Navarro |
| 2023 | CAV | Decision Procedures for Sequence Theories. | Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer |
| 2022 | PODS | Data Path Queries over Embedded Graph Databases. | Diego Figueira, Artur Jez, Anthony W. Lin |
| 2021 | STACS | Solving One Variable Word Equations in the Free Group in Cubic Time. | Robert Ferens, Artur Jez |
| 2020 | CSL | Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk). | Artur Jez |
| 2020 | LATA | Recompression: Technique for Word Equations and Compressed Data. | Artur Jez |
| 2019 | DLT | Deciding Context Unification (with Regular Constraints). | Artur Jez |
| 2019 | FOCS | Balancing Straight-Line Programs. | Moses Ganardi, Artur Jez, Markus Lohrey |
| 2018 | ESA | Edit Distance with Block Operations. | Michal Ganczorz, Pawel Gawrychowski, Artur Jez, Tomasz Kociumaka |
| 2018 | MFCS | Sliding Windows over Context-Free Languages. | Moses Ganardi, Artur Jez, Markus Lohrey |
| 2017 | CPM | Recompression of SLPs. | Artur Jez |
| 2017 | DCC | Improvements on Re-Pair Grammar Compressor. | Michal Ganczorz, Artur Jez |
| 2017 | ICALP | Word Equations in Nondeterministic Linear Space. | Artur Jez |
| 2017 | STACS | Recompression: New Approach to Word Equations and Context Unification (Invited Talk). | Artur Jez |
| 2016 | ICALP | Solutions of Word Equations Over Partially Commutative Structures. | Volker Diekert, Artur Jez, Manfred Kufleitner |
| 2014 | CPM | A really Simple Approximation of Smallest Grammar. | Artur Jez |
| 2014 | CSR | Finding All Solutions of Equations in Free Groups and Monoids with Involution. | Volker Diekert, Artur Jez, Wojciech Plandowski |
| 2014 | ICALP | Context Unification is in PSPACE. | Artur Jez |
| 2014 | STACS | Approximation of smallest linear tree grammar. | Artur Jez, Markus Lohrey |
| 2013 | CPM | Approximation of Grammar-Based Compression via Recompression. | Artur Jez |
| 2013 | DLT | Recompression: Word Equations and Beyond. | Artur Jez |
| 2013 | DLT | Unambiguous Conjunctive Grammars over a One-Letter Alphabet. | Artur Jez, Alexander Okhotin |
| 2013 | ICALP | One-Variable Word Equations in Linear Time. | Artur Jez |
| 2013 | STACS | Recompression: a simple and powerful technique for word equations. | Artur Jez |
| 2012 | ICALP | Faster Fully Compressed Pattern Matching by Recompression. | Artur Jez |
| 2012 | STACS | Compressed Membership for NFA (DFA) with Compressed Labels is in NP (P). | Artur Jez |
| 2011 | MFCS | On Minimising Automata with Errors. | Pawel Gawrychowski, Artur Jez, Andreas Maletti |
| 2010 | CSR | Validating the Knuth-Morris-Pratt Failure Function, Fast and Online. | Pawel Gawrychowski, Artur Jez, Lukasz Jez |
| 2010 | MFCS | Least and Greatest Solutions of Equations over Sets of Integers. | Artur Jez, Alexander Okhotin |
| 2010 | STACS | On Equations over Sets of Integers. | Artur Jez, Alexander Okhotin |
| 2009 | CSR | One-Nonterminal Conjunctive Grammars over a Unary Alphabet. | Artur Jez, Alexander Okhotin |
| 2009 | MFCS | Hyper-minimisation Made Efficient. | Pawel Gawrychowski, Artur Jez |
| 2009 | SODA | Collecting weighted items from a dynamic queue. | Marcin Bienkowski, Marek Chrobak, Christoph Drr, Mathilde Hurand, Artur Jez, Lukasz Jez, Grzegorz Stachowiak |
| 2009 | STACS | Equations over Sets of Natural Numbers with Addition Only. | Artur Jez, Alexander Okhotin |
| 2008 | ICALP | On the Computational Completeness of Equations over Sets of Natural Numbers. | Artur Jez, Alexander Okhotin |
| 2008 | STACS | Complexity of solutions of equations over sets of natural numbers. | Alexander Okhotin, Artur Jez |
| 2007 | CSR | Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth. | Artur Jez, Alexander Okhotin |
| 2007 | DLT | Conjunctive Grammars Can Generate Non-regular Unary Languages. | Artur Jez |