% csauthors.net - beta - BibTeX bibliography of Igor Potapov
@inproceedings{conf/pvm/PagourtzisPR01,
title = {PVM Computation of the Transitive Closure: The Dependency Graph Approach.},
year = {2001},
booktitle = {PVM/MPI},
author = {{Aris Pagourtzis} and {Igor Potapov} and {Wojciech Rytter}},
publisher = {Springer},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface, 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001, Proceedings}
}
@inproceedings{conf/esa/GasieniecPP02,
title = {Deterministic Communication in Radio Networks with Large Labels.},
year = {2002},
booktitle = {ESA},
author = {{Leszek Gasieniec} and {Aris Pagourtzis} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings}
}
@inproceedings{conf/ifipTCS/GasieniecP02,
title = {Gossiping with Unit Messages in Known Radio Networks.},
year = {2002},
booktitle = {IFIP TCS},
author = {{Leszek Gasieniec} and {Igor Potapov}},
publisher = {Kluwer},
booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montréal, Québec, Canada}
}
@inproceedings{conf/pvm/PagourtzisPR02,
title = {Observations on Parallel Computation of Transitive and Max-Closure Problems.},
year = {2002},
booktitle = {PVM/MPI},
author = {{Aris Pagourtzis} and {Igor Potapov} and {Wojciech Rytter}},
publisher = {Springer},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface, 9th European PVM/MPI Users' Group Meeting, Linz, Austria, September 29 - October 2, 2002, Proceedings}
}
@article{journals/cj/GibbonsPPR03,
title = {Coarse-Grained Parallel Transitive Closure Algorithm: Path Decomposition Technique.},
year = {2003},
journal = {Comput. J.},
author = {{Alan Gibbons} and {Aris Pagourtzis} and {Igor Potapov} and {Wojciech Rytter}}
}
@article{journals/fuin/GasieniecP03,
title = {Time/Space Efficient Compressed Pattern Matching.},
year = {2003},
journal = {Fundam. Informaticae},
author = {{Leszek Gasieniec} and {Igor Potapov}}
}
@inproceedings{conf/dlt/KurganskyyP04,
title = {On the Computation Power of Finite Automata in Two-dimensional Environments.},
year = {2004},
booktitle = {Developments in Language Theory},
author = {{Oleksiy Kurganskyy} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings}
}
@inproceedings{conf/dlt/Potapov04,
title = {From Post Systems to the Reachability Problems for Matrix Semigroups and Multicounter Automata.},
year = {2004},
booktitle = {Developments in Language Theory},
author = {{Igor Potapov}},
publisher = {Springer},
booktitle = {Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings}
}
@inproceedings{conf/mfcs/LisitsaP04,
title = {Membership and Reachability Problems for Row-Monomial Transformations.},
year = {2004},
booktitle = {MFCS},
author = {{Alexei Lisitsa 001} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings}
}
@inproceedings{conf/sirocco/GasieniecPX04,
title = {Time Efficient Gossiping in Known Radio Networks.},
year = {2004},
booktitle = {SIROCCO},
author = {{Leszek Gasieniec} and {Igor Potapov} and {Qin Xin 001}},
publisher = {Springer},
booktitle = {Structural Information and Communication Complexity, 11th International Colloquium , SIROCCO 2004, Smolenice Castle, Slovakia, June 21-23, 2004, Proceedings}
}
@article{journals/corr/cs-LO-0410072,
title = {Temporal logic with predicate abstraction},
year = {2004},
journal = {CoRR},
author = {{Alexei Lisitsa 001} and {Igor Potapov}}
}
@inproceedings{conf/dcc/GasieniecKPS05,
title = {Real-Time Traversal in Grammar-Based Compressed Files.},
year = {2005},
booktitle = {DCC},
author = {{Leszek Gasieniec} and {Roman M. Kolpakov} and {Igor Potapov} and {Paul Sant}},
publisher = {IEEE Computer Society},
booktitle = {2005 Data Compression Conference (DCC 2005), 29-31 March 2005, Snowbird, UT, USA}
}
@inproceedings{conf/dlt/BellP05,
title = {On the Membership of Invertible Diagonal Matrices.},
year = {2005},
booktitle = {Developments in Language Theory},
author = {{Paul Bell} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Developments in Language Theory, 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings}
}
@inproceedings{conf/mfcs/GrunskyKP05,
title = {Languages Representable by Vertex-Labeled Graphs.},
year = {2005},
booktitle = {MFCS},
author = {{Igor Grunsky} and {Oleksiy Kurganskyy} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings}
}
@inproceedings{conf/time/LisitsaP05,
title = {Temporal Logic with Predicate lambda-Abstraction.},
year = {2005},
booktitle = {TIME},
author = {{Alexei Lisitsa 001} and {Igor Potapov}},
publisher = {IEEE Computer Society},
booktitle = {12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA}
}
@inproceedings{conf/uc/KurganskyyP05,
title = {Computation in One-Dimensional Piecewise Maps and Planar Pseudo-Billiard Systems.},
year = {2005},
booktitle = {UC},
author = {{Oleksiy Kurganskyy} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Unconventional Computation, 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, 2005, Proceedings}
}
@article{journals/tcs/GasieniecKP05,
title = {Space efficient search for maximal repetitions.},
year = {2005},
journal = {Theor. Comput. Sci.},
author = {{Leszek Gasieniec} and {Roman M. Kolpakov} and {Igor Potapov}}
}
@inproceedings{conf/csr/GrunskyKP06,
title = {On a Maximal NFA Without Mergible States.},
year = {2006},
booktitle = {CSR},
author = {{Igor Grunsky} and {Oleksiy Kurganskyy} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings}
}
@inproceedings{conf/dlt/BellP06,
title = {Lowering Undecidability Bounds for Decision Questions in Matrices.},
year = {2006},
booktitle = {Developments in Language Theory},
author = {{Paul Bell} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings}
}
@inproceedings{conf/time/LisitsaP06,
title = {In time alone: on the computational power of querying the history.},
year = {2006},
booktitle = {TIME},
author = {{Alexei Lisitsa 001} and {Igor Potapov}},
publisher = {IEEE Computer Society},
booktitle = {13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary}
}
@inproceedings{conf/hybrid/KurganskyyPC07,
title = {Computation in One-Dimensional Piecewise Maps.},
year = {2007},
booktitle = {HSCC},
author = {{Oleksiy Kurganskyy} and {Igor Potapov} and {Fernando Sancho-Caparrini}},
publisher = {Springer},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings}
}
@article{journals/algorithmica/GasieniecPPR07,
title = {Deterministic Communication in Radio Networks with Large Labels.},
year = {2007},
journal = {Algorithmica},
author = {{Leszek Gasieniec} and {Aris Pagourtzis} and {Igor Potapov} and {Tomasz Radzik}}
}
@article{journals/tcs/BellP07,
title = {On the membership of invertible diagonal and scalar matrices.},
year = {2007},
journal = {Theor. Comput. Sci.},
author = {{Paul Bell} and {Igor Potapov}}
}
@article{journals/tcs/GasieniecPX07,
title = {Time efficient centralized gossiping in radio networks.},
year = {2007},
journal = {Theor. Comput. Sci.},
author = {{Leszek Gasieniec} and {Igor Potapov} and {Qin Xin 001}}
}
@inproceedings{conf/sofsem/BellP08,
title = {Periodic and Infinite Traces in Matrix Semigroups.},
year = {2008},
booktitle = {SOFSEM},
author = {{Paul Bell} and {Igor Potapov}},
publisher = {Springer},
booktitle = {SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings}
}
@inproceedings{journals/entcs/HalavaP08,
title = {Preface.},
year = {2008},
booktitle = {RP},
author = {{Vesa Halava} and {Igor Potapov}},
publisher = {Elsevier},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008}
}
@article{journals/iandc/BellP08,
title = {Reachability problems in quaternion matrix and rotation semigroups.},
year = {2008},
journal = {Inf. Comput.},
author = {{Paul Bell} and {Igor Potapov}}
}
@article{journals/ijac/BellHHKP08,
title = {Matrix Equations and Hilbert's Tenth Problem.},
year = {2008},
journal = {Int. J. Algebra Comput.},
author = {{Paul Bell} and {Vesa Halava} and {Tero Harju} and {Juhani Karhumäki} and {Igor Potapov}}
}
@article{journals/ijfcs/KurganskyyPC08,
title = {Reachability Problems in Low-Dimensional Iterative Maps.},
year = {2008},
journal = {Int. J. Found. Comput. Sci.},
author = {{Oleksiy Kurganskyy} and {Igor Potapov} and {Fernando Sancho-Caparrini}}
}
@article{journals/tcs/BellP08,
title = {On undecidability bounds for matrix decision problems.},
year = {2008},
journal = {Theor. Comput. Sci.},
author = {{Paul Bell} and {Igor Potapov}}
}
@inproceedings{conf/isaac/BellP09,
title = {The Identity Correspondence Problem and Its Applications.},
year = {2009},
booktitle = {ISAAC},
author = {{Paul Bell} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings}
}
@inproceedings{conf/lata/LisitsaPS09,
title = {Automata on Gauss Words.},
year = {2009},
booktitle = {LATA},
author = {{Alexei Lisitsa 001} and {Igor Potapov} and {Rafiq Saleh}},
publisher = {Springer},
booktitle = {Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings}
}
@article{journals/corr/abs-0907-4180,
title = {On Descriptional Complexity of the Planarity Problem for Gauss Words},
year = {2009},
journal = {CoRR},
author = {{Vitaliy Kurlin} and {Alexei Lisitsa 001} and {Igor Potapov} and {Rafiq Saleh}}
}
@article{journals/fuin/LisitsaP09,
title = {On the Computational Power of Querying the History.},
year = {2009},
journal = {Fundam. Informaticae},
author = {{Alexei Lisitsa 001} and {Igor Potapov}}
}
@article{journals/corr/abs-1007-2353,
title = {A measure of state transition of collective of stateless automata in discrete environment},
year = {2010},
journal = {CoRR},
author = {{Oleksiy Kurganskyy} and {Igor Potapov}}
}
@article{journals/ijfcs/BellP10,
title = {On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups.},
year = {2010},
journal = {Int. J. Found. Comput. Sci.},
author = {{Paul C. Bell} and {Igor Potapov}}
}
@article{journals/tcs/IbarraPY10,
title = {On decision problems for parameterized machines.},
year = {2010},
journal = {Theor. Comput. Sci.},
author = {{Oscar H. Ibarra} and {Igor Potapov} and {Hsu-Chun Yen}}
}
@inproceedings{conf/lata/LisitsaPS11,
title = {Planarity of Knots, Register Automata and LogSpace Computability.},
year = {2011},
booktitle = {LATA},
author = {{Alexei Lisitsa 001} and {Igor Potapov} and {Rafiq Saleh}},
publisher = {Springer},
booktitle = {Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings}
}
@inproceedings{conf/uc/MartinNP11,
title = {Geometric Computations by Broadcasting Automata on the Integer Grid.},
year = {2011},
booktitle = {UC},
author = {{Russell Martin} and {Thomas Nickson} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Unconventional Computation - 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings}
}
@article{journals/ijfcs/BournezP11,
title = {Preface.},
year = {2011},
journal = {Int. J. Found. Comput. Sci.},
author = {{Olivier Bournez} and {Igor Potapov}}
}
@inproceedings{conf/mfcs/BellHP12,
title = {Mortality for 2×2 Matrices Is NP-Hard.},
year = {2012},
booktitle = {MFCS},
author = {{Paul C. Bell} and {Mika Hirvensalo} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings}
}
@inproceedings{conf/uc/NicksonP12,
title = {Discrete Discs and Broadcasting Sequences.},
year = {2012},
booktitle = {UCNC},
author = {{Thomas Nickson} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Unconventional Computation and Natural Computation - 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings}
}
@article{journals/fuin/BellP12,
title = {On the Computational Complexity of Matrix Semigroup Problems.},
year = {2012},
journal = {Fundam. Informaticae},
author = {{Paul C. Bell} and {Igor Potapov}}
}
@article{journals/nc/MartinNP12,
title = {Geometric computations by broadcasting automata.},
year = {2012},
journal = {Nat. Comput.},
author = {{Russell Martin} and {Thomas Nickson} and {Igor Potapov}}
}
@article{journals/tcs/GrunskyPP12,
title = {On algebra of languages representable by vertex-labeled graphs.},
year = {2012},
journal = {Theor. Comput. Sci.},
author = {{Igor Grunsky} and {Igor Potapov} and {Elena Pryanichnikova}}
}
@inproceedings{conf/fsttcs/Potapov13,
title = {Composition Problems for Braids.},
year = {2013},
booktitle = {FSTTCS},
author = {{Igor Potapov}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India}
}
@article{journals/fuin/CiabattoniFKPS13,
title = {Preface.},
year = {2013},
journal = {Fundam. Informaticae},
author = {{Agata Ciabattoni} and {Rusins Freivalds} and {Antonín Kucera 001} and {Igor Potapov} and {Stefan Szeider}}
}
@article{journals/ijfcs/DelzannoP13,
title = {Preface.},
year = {2013},
journal = {Int. J. Found. Comput. Sci.},
author = {{Giorgio Delzanno} and {Igor Potapov}}
}
@article{journals/corr/HalavaNP14,
title = {On Undecidability of Counter Reachability Games in Dimension One.},
year = {2014},
journal = {CoRR},
author = {{Vesa Halava} and {Reino Niskanen} and {Igor Potapov}}
}
@article{journals/corr/NicksonP14,
title = {Broadcasting Automata and Patterns on Z^2.},
year = {2014},
journal = {CoRR},
author = {{Thomas Nickson} and {Igor Potapov}}
}
@inproceedings{conf/lata/HalavaNP15,
title = {On Robot Games of Degree Two.},
year = {2015},
booktitle = {LATA},
author = {{Vesa Halava} and {Reino Niskanen} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings}
}
@inproceedings{conf/mfcs/NiskanenPR16,
title = {Undecidability of Two-dimensional Robot Games.},
year = {2016},
booktitle = {MFCS},
author = {{Reino Niskanen} and {Igor Potapov} and {Julien Reichert}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland}
}
@inproceedings{conf/mfcs/PotapovS16,
title = {Vector Reachability Problem in SL(2, Z).},
year = {2016},
booktitle = {MFCS},
author = {{Igor Potapov} and {Pavel Semukhin}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland}
}
@inproceedings{conf/ncma/Potapov16,
title = {Pattern formations with broadcasting automata model.},
year = {2016},
booktitle = {NCMA},
author = {{Igor Potapov}},
publisher = {Österreichische Computer Gesellschaft},
booktitle = {Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings}
}
@inproceedings{conf/rp/PotapovPV16,
title = {Insertion-Deletion Systems over Relational Words.},
year = {2016},
booktitle = {RP},
author = {{Igor Potapov} and {Olena Prianychnykova} and {Sergey Verlan}},
publisher = {Springer},
booktitle = {Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings}
}
@inproceedings{conf/sofsem/KurganskyyP16,
title = {Reachability Problems for PAMs.},
year = {2016},
booktitle = {SOFSEM},
author = {{Oleksiy Kurganskyy} and {Igor Potapov}},
publisher = {Springer},
booktitle = {SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings}
}
@article{journals/corr/KoP16,
title = {Matrix Semigroup Freeness Problems in SL(2,Z).},
year = {2016},
journal = {CoRR},
author = {{Sang-Ki Ko} and {Igor Potapov}}
}
@article{journals/fuin/AbdullaDFLP16,
title = {Preface.},
year = {2016},
journal = {Fundam. Informaticae},
author = {{Parosh Aziz Abdulla} and {Stéphane Demri} and {Alain Finkel} and {Jérôme Leroux} and {Igor Potapov}}
}
@inproceedings{conf/mfcs/PotapovS17,
title = {Membership Problem in GL(2, Z) Extended by Singular Matrices.},
year = {2017},
booktitle = {MFCS},
author = {{Igor Potapov} and {Pavel Semukhin}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark}
}
@inproceedings{conf/soda/BellHP17,
title = {The Identity Problem for Matrix Semigroups in SL2(ℤ) is NP-complete.},
year = {2017},
booktitle = {SODA},
author = {{Paul C. Bell} and {Mika Hirvensalo} and {Igor Potapov}},
publisher = {SIAM},
booktitle = {Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19}
}
@inproceedings{conf/soda/PotapovS17,
title = {Decidability of the Membership Problem for 2 × 2 integer matrices.},
year = {2017},
booktitle = {SODA},
author = {{Igor Potapov} and {Pavel Semukhin}},
publisher = {SIAM},
booktitle = {Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19}
}
@inproceedings{conf/sofsem/KoP17,
title = {Matrix Semigroup Freeness Problems in SL (2, \\mathbb Z).},
year = {2017},
booktitle = {SOFSEM},
author = {{Sang-Ki Ko} and {Igor Potapov}},
publisher = {Springer},
booktitle = {SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings}
}
@article{journals/corr/KoP17,
title = {Composition problems for braids: Membership, Identity and Freeness.},
year = {2017},
journal = {CoRR},
author = {{Sang-Ki Ko} and {Igor Potapov}}
}
@article{journals/iandc/HalavaHNP17,
title = {Weighted automata on infinite words in the context of Attacker-Defender games.},
year = {2017},
journal = {Inf. Comput.},
author = {{Vesa Halava} and {Tero Harju} and {Reino Niskanen} and {Igor Potapov}}
}
@inproceedings{conf/dlt/KoNP18,
title = {Reachability Problems in Nondeterministic Polynomial Maps on the Integers.},
year = {2018},
booktitle = {DLT},
author = {{Sang-Ki Ko} and {Reino Niskanen} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings}
}
@inproceedings{conf/icalp/KoNP18,
title = {On the Identity Problem for the Special Linear Group and the Heisenberg Group.},
year = {2018},
booktitle = {ICALP},
author = {{Sang-Ki Ko} and {Reino Niskanen} and {Igor Potapov}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic}
}
@article{journals/corr/abs-1811-02254,
title = {De Bruijn graphs and powers of 3/2.},
year = {2018},
journal = {CoRR},
author = {{Oleksiy Kurganskyy} and {Igor Potapov}}
}
@article{journals/fuin/KoP18,
title = {Vector Ambiguity and Freeness Problems in SL(2, ℤ).},
year = {2018},
journal = {Fundam. Informaticae},
author = {{Sang-Ki Ko} and {Igor Potapov}}
}
@article{journals/ijfcs/BournezKP18,
title = {Reachability Problems for One-Dimensional Piecewise Affine Maps.},
year = {2018},
journal = {Int. J. Found. Comput. Sci.},
author = {{Olivier Bournez} and {Oleksiy Kurganskyy} and {Igor Potapov}}
}
@article{journals/ijfcs/PotapovS18,
title = {Preface.},
year = {2018},
journal = {Int. J. Found. Comput. Sci.},
author = {{Igor Potapov} and {Pavel Semukhin}}
}
@article{journals/tcs/LarsenPS18,
title = {Reachability problems: Special issue.},
year = {2018},
journal = {Theor. Comput. Sci.},
author = {{Kim G. Larsen} and {Igor Potapov} and {Jirí Srba}}
}
@article{journals/tcs/OuakninePW18,
title = {Reachability Problems 2014: Special issue.},
year = {2018},
journal = {Theor. Comput. Sci.},
author = {{Joël Ouaknine} and {Igor Potapov} and {James Worrell 001}}
}
@inproceedings{conf/dgci/SongP19,
title = {Polygon Approximations of the Euclidean Circles on the Square Grid by Broadcasting Sequences.},
year = {2019},
booktitle = {DGCI},
author = {{Haomin Song} and {Igor Potapov}},
publisher = {Springer},
booktitle = {Discrete Geometry for Computer Imagery - 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26-28, 2019, Proceedings}
}
@article{journals/corr/abs-1902-10188,
title = {Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond.},
year = {2019},
journal = {CoRR},
author = {{Paul C. Bell} and {Igor Potapov} and {Pavel Semukhin}}
}
@article{journals/jcss/PotapovS19,
title = {Vector and scalar reachability problems in SL(2, Z).},
year = {2019},
journal = {J. Comput. Syst. Sci.},
author = {{Igor Potapov} and {Pavel Semukhin}}
}
@inproceedings{conf/issac/DiekertPS20,
title = {Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices.},
year = {2020},
booktitle = {ISSAC},
author = {{Volker Diekert} and {Igor Potapov} and {Pavel Semukhin}},
publisher = {ACM},
booktitle = {ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020}
}
@article{journals/corr/abs-2005-10095,
title = {The K-Centre Problem for Necklaces.},
year = {2020},
journal = {CoRR},
author = {{Duncan Adamson} and {Argyrios Deligkas} and {Vladimir V. Gusev} and {Igor Potapov}}
}
@article{journals/jcss/NiskanenPR20,
title = {On decidability and complexity of low-dimensional robot games.},
year = {2020},
journal = {J. Comput. Syst. Sci.},
author = {{Reino Niskanen} and {Igor Potapov} and {Julien Reichert}}
}
@article{journals/tcs/AlmethenMP20,
title = {Pushing lines helps: Efficient universal centralised transformations for programmable matter.},
year = {2020},
journal = {Theor. Comput. Sci.},
author = {{Abdullah Almethen} and {Othon Michail} and {Igor Potapov}}
}
@inproceedings{conf/cpm/AdamsonGPD21,
title = {Ranking Bracelets in Polynomial Time.},
year = {2021},
booktitle = {CPM},
author = {{Duncan Adamson} and {Vladimir V. Gusev} and {Igor Potapov} and {Argyrios Deligkas}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {32nd Annual Symposium on Combinatorial Pattern Matching, CPM 2021, July 5-7, 2021, Wrocław, Poland.}
}
@article{journals/corr/abs-2108-01990,
title = {The k-Centre Selection Problem for Multidimensional Necklaces.},
year = {2021},
journal = {CoRR},
author = {{Duncan Adamson} and {Argyrios Deligkas} and {Vladimir V. Gusev} and {Igor Potapov}}
}
@article{journals/fuin/AdamsonDGP21,
title = {On the Hardness of Energy Minimisation for Crystal Structure Prediction.},
year = {2021},
journal = {Fundam. Informaticae},
author = {{Duncan Adamson} and {Argyrios Deligkas} and {Vladimir V. Gusev} and {Igor Potapov}}
}
@article{journals/fuin/HagueP21,
title = {Preface.},
year = {2021},
journal = {Fundam. Informaticae},
author = {{Matthew Hague} and {Igor Potapov}}
}
@article{journals/iandc/BellPS21,
title = {On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond.},
year = {2021},
journal = {Inf. Comput.},
author = {{Paul C. Bell} and {Igor Potapov} and {Pavel Semukhin}}
}
@article{journals/iandc/BojanczykBHLOP21,
title = {Preface.},
year = {2021},
journal = {Inf. Comput.},
author = {{Mikolaj Bojanczyk} and {Thomas Brihaye} and {Christoph Haase} and {Slawomir Lasota 001} and {Joël Ouaknine} and {Igor Potapov}}
}
@article{journals/iandc/KoNP21,
title = {Reachability problems in low-dimensional nondeterministic polynomial maps over integers.},
year = {2021},
journal = {Inf. Comput.},
author = {{Sang-Ki Ko} and {Reino Niskanen} and {Igor Potapov}}
}
@inproceedings{conf/fusion/TriommatisPRR22,
title = {A Geometric Approach to Passive Localisation.},
year = {2022},
booktitle = {FUSION},
author = {{Theofilos Triommatis} and {Igor Potapov} and {Gareth Rees} and {Jason F. Ralph}},
publisher = {IEEE},
booktitle = {25th International Conference on Information Fusion, FUSION 2022, Linköping, Sweden, July 4-7, 2022}
}
@inproceedings{conf/mfcs/AdamsonDGP22,
title = {The Complexity of Periodic Energy Minimisation.},
year = {2022},
booktitle = {MFCS},
author = {{Duncan Adamson} and {Argyrios Deligkas} and {Vladimir V. Gusev} and {Igor Potapov}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria.}
}
@article{journals/dcg/BellP22,
title = {Towards Uniform Online Spherical Tessellations.},
year = {2022},
journal = {Discret. Comput. Geom.},
author = {{Paul C. Bell} and {Igor Potapov}}
}
@article{journals/fuin/BellPST22,
title = {Preface.},
year = {2022},
journal = {Fundam. Informaticae},
author = {{Paul C. Bell} and {Igor Potapov} and {Sylvain Schmitz} and {Patrick Totzke}}
}
@article{journals/iandc/DeligkasP22,
title = {Optimizing reachability sets in temporal graphs by delaying.},
year = {2022},
journal = {Inf. Comput.},
author = {{Argyrios Deligkas} and {Igor Potapov}}
}
@article{journals/tcs/AlmethenMP22,
title = {On efficient connectivity-preserving transformations in a grid.},
year = {2022},
journal = {Theor. Comput. Sci.},
author = {{Abdullah Almethen} and {Othon Michail} and {Igor Potapov}}
}
@article{journals/tcs/ConnorMP22,
title = {Centralised connectivity-preserving transformations for programmable matter: A minimal seed approach.},
year = {2022},
journal = {Theor. Comput. Sci.},
author = {{Matthew Connor} and {Othon Michail} and {Igor Potapov}}
}
@inproceedings{conf/rp/BellNPS23,
title = {On the Identity and Group Problems for Complex Heisenberg Matrices.},
year = {2023},
booktitle = {RP},
author = {{Paul C. Bell} and {Reino Niskanen} and {Igor Potapov} and {Pavel Semukhin}},
publisher = {Springer},
booktitle = {Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings}
}
@inproceedings{conf/sofsem/AdamsonDGP23,
title = {The k-Centre Problem for Classes of Cyclic Words.},
year = {2023},
booktitle = {SOFSEM},
author = {{Duncan Adamson} and {Argyrios Deligkas} and {Vladimir V. Gusev} and {Igor Potapov}},
publisher = {Springer},
booktitle = {SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings}
}
@article{journals/corr/abs-2309-15573,
title = {The Maximum Cover with Rotating Field of View.},
year = {2023},
journal = {CoRR},
author = {{Igor Potapov} and {Jason F. Ralph} and {Theofilos Triommatis}}
}
@article{journals/ijfcs/HalavaHNP23,
title = {Integer Weighted Automata on Infinite Words.},
year = {2023},
journal = {Int. J. Found. Comput. Sci.},
author = {{Vesa Halava} and {Tero Harju} and {Reino Niskanen} and {Igor Potapov}}
}
@article{journals/nature/GusevADACKPDDSR23,
title = {Optimality guarantees for crystal structure prediction.},
year = {2023},
journal = {Nat.},
author = {{Vladimir V. Gusev} and {Duncan Adamson} and {Argyrios Deligkas} and {Dmytro Antypov} and {Christopher M. Collins 003} and {Piotr Krysta} and {Igor Potapov} and {George R. Darling} and {Matthew S. Dyer} and {Paul G. Spirakis} and {Matthew J. Rosseinsky}}
}
@article{journals/tcs/AlmethenMP23,
title = {Distributed transformations of Hamiltonian shapes based on line moves.},
year = {2023},
journal = {Theor. Comput. Sci.},
author = {{Abdullah Almethen} and {Othon Michail} and {Igor Potapov}}
}
@inproceedings{conf/latin/AdamsonFPS24,
title = {Structural and Combinatorial Properties of 2-Swap Word Permutation Graphs.},
year = {2024},
booktitle = {LATIN (2)},
author = {{Duncan Adamson} and {Nathan Flaherty} and {Igor Potapov} and {Paul G. Spirakis}},
publisher = {Springer},
booktitle = {LATIN 2024: Theoretical Informatics - 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II}
}
@article{journals/corr/abs-2402-12019,
title = {Collision-Free Robot Scheduling.},
year = {2024},
journal = {CoRR},
author = {{Duncan Adamson} and {Nathan Flaherty} and {Igor Potapov} and {Paul G. Spirakis}}
}
@article{journals/iandc/BellHP24,
title = {The membership problem for subsemigroups of GL2(Z) is NP-complete.},
year = {2024},
month = {January},
journal = {Inf. Comput.},
author = {{Paul C. Bell} and {Mika Hirvensalo} and {Igor Potapov}}
}