| An ExpTime Upper Bound for ALC with Integers N Labai, M Ortiz, M Šimkus Proceedings of the International Conference on Principles of Knowledge …, 2020 | 11 | 2020 |
| Weighted automata and monadic second order logic N Labai, JA Makowsky arXiv preprint arXiv:1307.4472, 2013 | 11 | 2013 |
| Logics of Finite Hankel Rank N Labai, JA Makowsky Fields of Logic and Computation II, 237-252, 2015 | 4 | 2015 |
| Tropical graph parameters N Labai, J Makowsky 26th International Conference on Formal Power Series and Algebraic …, 2014 | 4 | 2014 |
| Automata-based Reasoning for Decidable Logics with Data Values N Labai Wien, 2021 | 3 | 2021 |
| Finiteness conditions for graph algebras over tropical semirings N Labai, JA Makowsky arXiv preprint arXiv:1405.2547, 2014 | 2 | 2014 |
| On the Exact Learnability of Graph Parameters: The Case of Partition Functions N Labai, JA Makowsky 41st International Symposium on Mathematical Foundations of Computer Science …, 2016 | 1 | 2016 |
| Hankel Matrices for Weighted Visibly Pushdown Automata N Labai, JA Makowsky Language and Automata Theory and Applications, 464-477, 2016 | 1 | 2016 |
| Hankel Matrices: From Words to Graphs JA Makowsky, N Labai Language and Automata Theory and Applications, 47-55, 2015 | 1 | 2015 |
| Definability and hankel matrices N Labai, JA Makowsky Computer Science Department, Technion, 2015 | 1 | 2015 |
| An ExpTime Upper Bound for with Integers (Extended Version) N Labai, M Ortiz, M Šimkus arXiv preprint arXiv:2006.02078, 2020 | | 2020 |
| Pebble-Intervals Automata and FO with Two Orders N Labai, T Kotek, M Ortiz, H Veith International Conference on Language and Automata Theory and Applications …, 2020 | | 2020 |
| Pebble-Intervals Automata and FO2 with Two Orders (Extended Version) N Labai, T Kotek, M Ortiz, H Veith arXiv preprint arXiv:1912.00171, 2019 | | 2019 |
| Constructive Satisfiability Procedure for ALC P (Z)(Preliminary Report) N Labai, M Homola, M Ortiz Description Logics, 2017 | | 2017 |
| Tropical Graph Parameters J Makowsky, N Labai Discrete Mathematics & Theoretical Computer Science, 2014 | | 2014 |
| On the exact learnability of graph parameters N Labai | | |
Johann (Janos) A. MakowskyFaculty of Computer Science, Technion - Israel Institute of Technology, Haifa, IsraelVerified email at cs.technion.ac.il
