Andrew Ryzhikov
Orcid: 0000-0002-2031-2488
According to our database1,
Andrew Ryzhikov
authored at least 23 papers
between 2016 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
6
1
1
2
2
2
2
1
3
2
1
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025
2024
Proceedings of the Reachability Problems - 18th International Conference, 2024
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024
Proceedings of the Foundations of Software Science and Computation Structures, 2024
2023
Traversing automata with current state uncertainty under LTL<sub>f</sub> constraints.
CoRR, 2023
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
Proceedings of the International Conference on Grammatical Inference, 2023
2021
Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021
2020
Synchronizing automata and coding theory. (Automates synchronisant et théorie du codage).
PhD thesis, 2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
2019
Theor. Comput. Sci., 2019
Proceedings of the Language and Automata Theory and Applications, 2019
Proceedings of the Developments in Language Theory - 23rd International Conference, 2019
Proceedings of the Combinatorics on Words - 12th International Conference, 2019
2018
A note on scheduling container storage operations of two non-passing stacking cranes.
Networks, 2018
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
2016