BibTeX records: Andrew Ryzhikov

download as .bib file

@inproceedings{DBLP:conf/fossacs/DraghiciHR24,
  author       = {Andrei Draghici and
                  Christoph Haase and
                  Andrew Ryzhikov},
  editor       = {Naoki Kobayashi and
                  James Worrell},
  title        = {Reachability in Fixed {VASS:} Expressiveness and Lower Bounds},
  booktitle    = {Foundations of Software Science and Computation Structures - 27th
                  International Conference, FoSSaCS 2024, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
                  Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14575},
  pages        = {185--205},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57231-9\_9},
  doi          = {10.1007/978-3-031-57231-9\_9},
  timestamp    = {Sun, 14 Apr 2024 18:32:17 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/DraghiciHR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/El-NaggarRDMW23,
  author       = {Nadine El{-}Naggar and
                  Andrew Ryzhikov and
                  Laure Daviaud and
                  Pranava Madhyastha and
                  Tillman Weyde},
  editor       = {Fran{\c{c}}ois Coste and
                  Faissal Ouardi and
                  Guillaume Rabusseau},
  title        = {Formal and Empirical Studies of Counting Behaviour in ReLU RNNs},
  booktitle    = {International Conference on Grammatical Inference, {ICGI} 2023, 10-13
                  July 2023, Rabat, Morocco},
  series       = {Proceedings of Machine Learning Research},
  volume       = {217},
  pages        = {199--222},
  publisher    = {{PMLR}},
  year         = {2023},
  url          = {https://proceedings.mlr.press/v217/el-naggar23a.html},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icgi/El-NaggarRDMW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DaviaudR23,
  author       = {Laure Daviaud and
                  Andrew Ryzhikov},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Sylvain Lombardy and
                  David Peleg},
  title        = {Universality and Forall-Exactness of Cost Register Automata with Few
                  Registers},
  booktitle    = {48th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
  series       = {LIPIcs},
  volume       = {272},
  pages        = {40:1--40:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2023.40},
  doi          = {10.4230/LIPICS.MFCS.2023.40},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/DaviaudR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-16740,
  author       = {Andrei Draghici and
                  Christoph Haase and
                  Andrew Ryzhikov},
  title        = {Reachability in Fixed {VASS:} Expressiveness and Lower Bounds},
  journal      = {CoRR},
  volume       = {abs/2310.16740},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.16740},
  doi          = {10.48550/ARXIV.2310.16740},
  eprinttype    = {arXiv},
  eprint       = {2310.16740},
  timestamp    = {Tue, 31 Oct 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-16740.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-17849,
  author       = {Andrew Ryzhikov and
                  Petra Wolf},
  title        = {Traversing automata with current state uncertainty under LTL\({}_{\mbox{f}}\)
                  constraints},
  journal      = {CoRR},
  volume       = {abs/2311.17849},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.17849},
  doi          = {10.48550/ARXIV.2311.17849},
  eprinttype    = {arXiv},
  eprint       = {2311.17849},
  timestamp    = {Fri, 15 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-17849.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/networks/FridmanKPR21,
  author       = {Ilia Fridman and
                  Mikhail Y. Kovalyov and
                  Erwin Pesch and
                  Andrew Ryzhikov},
  title        = {Fixed interval scheduling with third-party machines},
  journal      = {Networks},
  volume       = {77},
  number       = {3},
  pages        = {361--371},
  year         = {2021},
  url          = {https://doi.org/10.1002/net.21973},
  doi          = {10.1002/NET.21973},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/networks/FridmanKPR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BerlinkovFRS21,
  author       = {Mikhail V. Berlinkov and
                  Robert Ferens and
                  Andrew Ryzhikov and
                  Marek Szykula},
  editor       = {Markus Bl{\"{a}}ser and
                  Benjamin Monmege},
  title        = {Synchronizing Strongly Connected Partial DFAs},
  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        = {12:1--12:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2021.12},
  doi          = {10.4230/LIPICS.STACS.2021.12},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/BerlinkovFRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-05057,
  author       = {Mikhail V. Berlinkov and
                  Robert Ferens and
                  Andrew Ryzhikov and
                  Marek Szykula},
  title        = {Synchronizing Strongly Connected Partial DFAs},
  journal      = {CoRR},
  volume       = {abs/2101.05057},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.05057},
  eprinttype    = {arXiv},
  eprint       = {2101.05057},
  timestamp    = {Fri, 22 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-05057.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-14471,
  author       = {Dominique Perrin and
                  Andrew Ryzhikov},
  title        = {Finitely generated submonoids},
  journal      = {CoRR},
  volume       = {abs/2106.14471},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.14471},
  eprinttype    = {arXiv},
  eprint       = {2106.14471},
  timestamp    = {Wed, 30 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-14471.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Ryzhikov20,
  author       = {Andrew Ryzhikov},
  title        = {Synchronizing automata and coding theory. (Automates synchronisant
                  et th{\'{e}}orie du codage)},
  school       = {University of Paris-Est, France},
  year         = {2020},
  url          = {https://tel.archives-ouvertes.fr/tel-03157297},
  timestamp    = {Thu, 01 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Ryzhikov20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PerrinR20,
  author       = {Dominique Perrin and
                  Andrew Ryzhikov},
  editor       = {Nitin Saxena and
                  Sunil Simon},
  title        = {The Degree of a Finite Set of Words},
  booktitle    = {40th {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020,
                  {BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {182},
  pages        = {54:1--54:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.54},
  doi          = {10.4230/LIPICS.FSTTCS.2020.54},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/PerrinR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ryzhikov19,
  author       = {Andrew Ryzhikov},
  title        = {On automata recognizing birecurrent sets},
  journal      = {Theor. Comput. Sci.},
  volume       = {753},
  pages        = {76--79},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2018.06.043},
  doi          = {10.1016/J.TCS.2018.06.043},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ryzhikov19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ryzhikov19a,
  author       = {Andrew Ryzhikov},
  title        = {Synchronization problems in automata without non-trivial cycles},
  journal      = {Theor. Comput. Sci.},
  volume       = {787},
  pages        = {77--88},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2018.12.026},
  doi          = {10.1016/J.TCS.2018.12.026},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ryzhikov19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cwords/Ryzhikov19,
  author       = {Andrew Ryzhikov},
  editor       = {Robert Mercas and
                  Daniel Reidenbach},
  title        = {Mortality and Synchronization of Unambiguous Finite Automata},
  booktitle    = {Combinatorics on Words - 12th International Conference, {WORDS} 2019,
                  Loughborough, UK, September 9-13, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11682},
  pages        = {299--311},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-28796-2\_24},
  doi          = {10.1007/978-3-030-28796-2\_24},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cwords/Ryzhikov19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KariRV19,
  author       = {Jarkko Kari and
                  Andrew Ryzhikov and
                  Anton Varonka},
  editor       = {Piotrek Hofman and
                  Michal Skrzypczak},
  title        = {Words of Minimum Rank in Deterministic Finite Automata},
  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        = {74--87},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24886-4\_5},
  doi          = {10.1007/978-3-030-24886-4\_5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/KariRV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/MullnerR19,
  author       = {Clemens M{\"{u}}llner and
                  Andrew Ryzhikov},
  editor       = {Carlos Mart{\'{\i}}n{-}Vide and
                  Alexander Okhotin and
                  Dana Shapira},
  title        = {Palindromic Subsequences in Finite Words},
  booktitle    = {Language and Automata Theory and Applications - 13th International
                  Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11417},
  pages        = {460--468},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-13435-8\_34},
  doi          = {10.1007/978-3-030-13435-8\_34},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/MullnerR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-07502,
  author       = {Clemens M{\"{u}}llner and
                  Andrew Ryzhikov},
  title        = {Palindromic Subsequences in Finite Words},
  journal      = {CoRR},
  volume       = {abs/1901.07502},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.07502},
  eprinttype    = {arXiv},
  eprint       = {1901.07502},
  timestamp    = {Sat, 02 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-07502.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/KartynnikR18,
  author       = {Yury Kartynnik and
                  Andrew Ryzhikov},
  title        = {On Minimum Maximal Distance-k Matchings},
  journal      = {Discret. Math. Theor. Comput. Sci.},
  volume       = {20},
  number       = {1},
  year         = {2018},
  url          = {https://doi.org/10.23638/DMTCS-20-1-3},
  doi          = {10.23638/DMTCS-20-1-3},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dmtcs/KartynnikR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RyzhikovS18,
  author       = {Andrew Ryzhikov and
                  Anton Shemyakov},
  title        = {Subset Synchronization in Monotonic Automata},
  journal      = {Fundam. Informaticae},
  volume       = {162},
  number       = {2-3},
  pages        = {205--221},
  year         = {2018},
  url          = {https://doi.org/10.3233/FI-2018-1721},
  doi          = {10.3233/FI-2018-1721},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/RyzhikovS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/networks/KovalyovPR18,
  author       = {Mikhail Y. Kovalyov and
                  Erwin Pesch and
                  Andrew Ryzhikov},
  title        = {A note on scheduling container storage operations of two non-passing
                  stacking cranes},
  journal      = {Networks},
  volume       = {71},
  number       = {3},
  pages        = {271--280},
  year         = {2018},
  url          = {https://doi.org/10.1002/net.21803},
  doi          = {10.1002/NET.21803},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/networks/KovalyovPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RyzhikovS18,
  author       = {Andrew Ryzhikov and
                  Marek Szykula},
  editor       = {Igor Potapov and
                  Paul G. Spirakis and
                  James Worrell},
  title        = {Finding Short Synchronizing Words for Prefix Codes},
  booktitle    = {43rd International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
  series       = {LIPIcs},
  volume       = {117},
  pages        = {21:1--21:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2018.21},
  doi          = {10.4230/LIPICS.MFCS.2018.21},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/RyzhikovS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-06299,
  author       = {Andrew Ryzhikov and
                  Marek Szykula},
  title        = {Finding Short Synchronizing Words for Prefix Codes},
  journal      = {CoRR},
  volume       = {abs/1806.06299},
  year         = {2018},
  url          = {http://arxiv.org/abs/1806.06299},
  eprinttype    = {arXiv},
  eprint       = {1806.06299},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-06299.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Ryzhikov17,
  author       = {Andrew Ryzhikov},
  editor       = {Arnaud Carayol and
                  Cyril Nicaud},
  title        = {Synchronization Problems in Automata Without Non-trivial Cycles},
  booktitle    = {Implementation and Application of Automata - 22nd International Conference,
                  {CIAA} 2017, Marne-la-Vall{\'{e}}e, France, June 27-30, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10329},
  pages        = {188--200},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60134-2\_16},
  doi          = {10.1007/978-3-319-60134-2\_16},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Ryzhikov17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Ryzhikov17,
  author       = {Andrew Ryzhikov},
  title        = {Synchronization Problems in Automata without Non-trivial Cycles},
  journal      = {CoRR},
  volume       = {abs/1702.08144},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.08144},
  eprinttype    = {arXiv},
  eprint       = {1702.08144},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Ryzhikov17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RyzhikovS17,
  author       = {Andrew Ryzhikov and
                  Anton Shemyakov},
  title        = {Subset Synchronization in Monotonic Automata},
  journal      = {CoRR},
  volume       = {abs/1703.06356},
  year         = {2017},
  url          = {http://arxiv.org/abs/1703.06356},
  eprinttype    = {arXiv},
  eprint       = {1703.06356},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/RyzhikovS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-01061,
  author       = {Andrew Ryzhikov},
  title        = {On Automata Recognizing Birecurrent Sets},
  journal      = {CoRR},
  volume       = {abs/1711.01061},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.01061},
  eprinttype    = {arXiv},
  eprint       = {1711.01061},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-01061.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KartynnikR16,
  author       = {Yury Kartynnik and
                  Andrew Ryzhikov},
  title        = {On Minimum Maximal Distance-k Matchings},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {56},
  pages        = {71--76},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.endm.2016.11.011},
  doi          = {10.1016/J.ENDM.2016.11.011},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/KartynnikR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KartynnikR16,
  author       = {Yury Kartynnik and
                  Andrew Ryzhikov},
  title        = {On Minimum Maximal Distance-k Matchings},
  journal      = {CoRR},
  volume       = {abs/1602.04581},
  year         = {2016},
  url          = {http://arxiv.org/abs/1602.04581},
  eprinttype    = {arXiv},
  eprint       = {1602.04581},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KartynnikR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Ryzhikov16,
  author       = {Andrew Ryzhikov},
  title        = {Approximating the Maximum Number of Synchronizing States in Automata},
  journal      = {CoRR},
  volume       = {abs/1608.00889},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.00889},
  eprinttype    = {arXiv},
  eprint       = {1608.00889},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Ryzhikov16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics