2024
Simulating, Visualizing and Playing with de Sitter and Anti de Sitter Spacetime.
Proceedings of the Computational Science - ICCS 2024, 2024
Numerical Aspects of Hyperbolic Geometry.
Proceedings of the Computational Science - ICCS 2024, 2024
Modelling Brain Connectomes Networks: Solv is a Worthy Competitor to Hyperbolic Geometry!
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
2023
Coordination Sequences of Periodic Structures are Rational via Automata Theory.
CoRR, 2023
2022
Real-Time Visualization in Anisotropic Geometries.
Exp. Math., 2022
Generating Regular Hyperbolic Honeycombs.
CoRR, 2022
Discrete Hyperbolic Random Graph Model.
Proceedings of the 20th International Symposium on Experimental Algorithms, 2022
Non-Euclidean Self-Organizing Maps.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
2021
Generating Tree Structures for Hyperbolic Tessellations.
CoRR, 2021
Dynamic Distances in Hyperbolic Graphs.
CoRR, 2021
Navigating Higher Dimensional Spaces using Hyperbolic Geometry.
CoRR, 2021
Hyperbolic Minesweeper Is in P.
Proceedings of the 10th International Conference on Fun with Algorithms, 2021
2020
Axiomatizing Rectangular Grids with no Extra Non-unary Relations.
Fundam. Informaticae, 2020
Real-Time Visualization in Non-Isotropic Geometries.
CoRR, 2020
2019
Logical properties of random graphs from small addable classes.
Log. Methods Comput. Sci., 2019
2018
A note on first-order spectra with binary relations.
Log. Methods Comput. Sci., 2018
2017
Bounded degree and planar spectra.
Log. Methods Comput. Sci., 2017
Computational Complexity on the Blackboard.
Fundam. Informaticae, 2017
Hyperbolic grids and discrete random graphs.
CoRR, 2017
LOIS: syntax and semantics.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
On the Computational Complexity of Gossip Protocols.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Programming Languages in GitHub: A Visualization in Hyperbolic Plane.
Proceedings of the Eleventh International Conference on Web and Social Media, 2017
2016
Invisible Pushdown Languages.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
LOIS: an Application of SMT Solvers.
Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016
2015
On the Variable Hierarchy of First-Order Spectra.
ACM Trans. Comput. Log., 2015
Regular Graphs and the Spectra of Two-Variable Logic with Counting.
SIAM J. Comput., 2015
Non-dominating Sequences of Vectors Using only Resets and Increments.
Fundam. Informaticae, 2015
Complexity of Problems of Commutative Grammars.
Log. Methods Comput. Sci., 2015
Locally Finite Constraint Satisfaction Problems.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
2014
A note on the variable hierarchy of first-order spectra.
CoRR, 2014
A simple indeterminate infinite game.
Proceedings of the Logic, Computation, Hierarchies, 2014
2013
Definability of linear equation systems over groups and rings
Log. Methods Comput. Sci., 2013
2012
Acute triangulations of polyhedra and ℝ N.
Comb., 2012
On Tractable Parameterizations of Graph Isomorphism.
Proceedings of the Parameterized and Exact Computation - 7th International Symposium, 2012
2011
Trees in Trees: Is the Incomplete Information about a Tree Consistent?.
Proceedings of the Computer Science Logic, 2011
2010
Parikh Images of Grammars: Complexity and Applications.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Acute triangulations of polyhedra and the Euclidean space.
Proceedings of the 26th ACM Symposium on Computational Geometry, 2010
2007
Omega-Regular Half-Positional Winning Conditions.
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
2006
Half-Positional Determinacy of Infinite Games.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006