| Discrete Hyperbolic Random Graph Model. | 0 | 0.34 | 2022 |
| Axiomatizing Rectangular Grids With No Extra Non-Unary Relations | 0 | 0.34 | 2020 |
| A note on first-order spectra with binary relations. | 0 | 0.34 | 2018 |
| LOIS: syntax and semantics. | 2 | 0.38 | 2017 |
| Computational Complexity on the Blackboard. | 0 | 0.34 | 2017 |
| Hyperbolic grids and discrete random graphs. | 0 | 0.34 | 2017 |
| Logical properties of random graphs from small addable classes. | 0 | 0.34 | 2017 |
| Programming Languages in GitHub: A Visualization in Hyperbolic Plane. | 1 | 0.35 | 2017 |
| Bounded degree and planar spectra. | 0 | 0.34 | 2017 |
| On the Computational Complexity of Gossip Protocols. | 3 | 0.42 | 2017 |
| LOIS: an Application of SMT Solvers. | 0 | 0.34 | 2016 |
| On the Variable Hierarchy of First-Order Spectra | 0 | 0.34 | 2015 |
| Non-dominating Sequences of Vectors Using only Resets and Increments. | 0 | 0.34 | 2015 |
| Regular Graphs and the Spectra of Two-Variable Logic with Counting. | 5 | 0.47 | 2015 |
| Locally Finite Constraint Satisfaction Problems | 3 | 0.43 | 2015 |
| Invisible pushdown languages | 0 | 0.34 | 2015 |
| A note on the variable hierarchy of first-order spectra. | 0 | 0.34 | 2014 |
| Definability of linear equation systems over groups and rings | 0 | 0.34 | 2013 |
| On tractable parameterizations of graph isomorphism | 7 | 0.52 | 2012 |
| Acute triangulations of polyhedra and ℝ<Superscript><Emphasis Type="Italic">N</Emphasis></Superscript> | 3 | 0.41 | 2012 |
| Trees in Trees: Is the Incomplete Information about a Tree Consistent?. | 1 | 0.37 | 2011 |
| COMPLEXITY OF PROBLEMS OF COMMUTATIVE GRAMMARS | 0 | 0.34 | 2010 |
| Parikh Images of Grammars: Complexity and Applications | 39 | 1.27 | 2010 |
| Acute triangulations of polyhedra and the Euclidean space | 0 | 0.34 | 2010 |
