CYCLOPS : CYCLe route Options Planning Service. In Farnoush Banaei-Kashani, Erik Hoel, Ralf Hartmut Guting, Roberto Tamassia, and Li Xiong (Eds.), Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 576-579, ACM, New York, NY, 2018. [PUMA: unibibliografie ubs_40106 ubs_10005 ubs_30080 ubs_20008 wos]
Sublinear Search Spaces for Shortest Path Planning in Grid and Road Networks. 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence, 6119-6126, AAAI Press, Palo Alto, California, 2018. [PUMA: unibibliografie ubs_40106 ubs_10005 ubs_30080 ubs_20008 wos]
Sublinear search spaces for shortest path planning in grid and road networks. Journal of combinatorial optimization, (42)2:231-257, Springer, 2021. [PUMA: unibibliografie ubs_40106 ubs_10005 ubs_30080 ubs_20008 wos]
Regular languages are church-rosser congruential. Journal of the ACM, (62)5:39:1-39:20, Association for Computing Machinery, 2015. [PUMA: unibibliografie ubs_40107 ubs_40106 ubs_10005 hp ubs_30080 ubs_20008 mult]
Asymptotic approximation for the quotient complexities of atoms. Acta cybernetica, (22)2:349-357, Universitas Szegediensis, 2015. [PUMA: unibibliografie ubs_40107 ubs_40106 ubs_10005 hp ubs_30080 ubs_20008 mult]
Green's Relations in Deterministic Finite Automata. Computer Science Symposium in Russia, 63, 4:666-687, Springer, New York, NY, 2019. [PUMA: unibibliografie ubs_40106 ubs_10005 ubs_30080 ubs_20008 wos]
Map Simplification with Topology Constraints : Exactly and in Practice. In Sándor Fekete, and Vijaya Ramachandran (Eds.), Proceedings of the Ninteenth Workshop on Algorithm Engineering and Experiments, (ALENEX) 2017, 185-196, SIAM, Philadelphia, 2017. [PUMA: ubs_20013 unibibliografie ubs_30123 ubs_10008 ubs_40191 liste ubs_40106 ubs_10005 ubs_30080 ubs_20008 mult]
On k-Path Covers and their applications. In H. V. Jagadish, and Aoying Zhou (Eds.), Special Issue: Best papers of VLDB 2014, 25, 1:103-123, Springer, 2016. [PUMA: unibibliografie ubs_40106 ubs_10005 ubs_30080 ubs_20008 wos]
Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words. International journal of foundations of computer science, 02n03:183-224, World Scientific Publishing, 2023. [PUMA: unibibliografie ubs_40106 ubs_10005 ubs_30080 ubs_20008 wos]
One quantifier alternation in first-order logic with modular predicates. RAIRO. Theoretical informatics and applications, (49)1:1-22, EDP Sciences, 2015. [PUMA: unibibliografie ubs_40107 ubs_40106 ubs_10005 hp ubs_30080 ubs_20008 mult]