| One-Dimensional Fragment Over Words and Trees | 0 | 0.34 | 2022 |
| Finite Entailment of Local Queries in the Z Family of Description Logics. | 0 | 0.34 | 2022 |
| Completing the Picture: Complexity of Graded Modal Logics with Converse | 0 | 0.34 | 2021 |
| Finite Model Theory of the Triguarded Fragment and Related Logics | 0 | 0.34 | 2021 |
| Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract). | 0 | 0.34 | 2021 |
| Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract). | 0 | 0.34 | 2021 |
| The Triguarded Fragment with Transitivity. | 0 | 0.34 | 2020 |
| Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract). | 0 | 0.34 | 2019 |
| One-dimensional guarded fragments. | 0 | 0.34 | 2019 |
| On the Complexity of Graded Modal Logics with Converse. | 0 | 0.34 | 2019 |
| Finite Satisfiability of Unary Negation Fragment with Transitivity. | 0 | 0.34 | 2018 |
| Two-variable logics with counting and semantic constraints. | 0 | 0.34 | 2018 |
| Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants. | 0 | 0.34 | 2018 |
| Unary negation fragment with equivalence relations has the finite model property. | 0 | 0.34 | 2018 |
| Extending Two-Variable Logic on Trees. | 0 | 0.34 | 2017 |
| One-Dimensional Logic over Trees. | 0 | 0.34 | 2017 |
| Equivalence closure in the two-variable guarded fragment. | 0 | 0.34 | 2017 |
| One-Dimensional Logic over Words. | 0 | 0.34 | 2016 |
| On the Decidability of Elementary Modal Logics | 0 | 0.34 | 2015 |
| Uniform One-Dimensional Fragments with One Equivalence Relation. | 2 | 0.39 | 2015 |
| Decidability of weak logics with deterministic transitive closure | 3 | 0.38 | 2014 |
| Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees | 2 | 0.37 | 2013 |
| Finite Satisfiability of Modal Logic over Horn~Definable Classes of Frames. | 1 | 0.36 | 2012 |
| Small Substructures and Decidability Issues for First-Order Logic with Two Variables | 29 | 1.40 | 2012 |
| Two-Variable First-Order Logic with Equivalence Closure. | 19 | 0.80 | 2012 |
| Two-Variable Universal Logic with Transitive Closure. | 5 | 0.46 | 2012 |
| Decidability Issues for Two-Variable Logics with Several Linear Orders. | 8 | 0.60 | 2011 |
| Modal Logics Definable by Universal Three-Variable Formulas. | 4 | 0.45 | 2011 |
| On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations | 19 | 0.79 | 2009 |
| The two-variable guarded fragment with transitive guards is 2EXPTIME-hard | 15 | 0.89 | 2003 |
| EXPSPACE-Complete Variant of Guarded Fragment with Transitivity | 7 | 0.54 | 2002 |
