Follow
Nadia Labai
Nadia Labai
Amazon Web Services
Verified email at amazon.com
Title
Cited by
Cited by
Year
An ExpTime Upper Bound for ALC with Integers
N Labai, M Ortiz, M Šimkus
Proceedings of the International Conference on Principles of Knowledge …, 2020
112020
Weighted automata and monadic second order logic
N Labai, JA Makowsky
arXiv preprint arXiv:1307.4472, 2013
112013
Automata-based Reasoning for Decidable Logics with Data Values
N Labai
Wien, 2021
42021
Logics of Finite Hankel Rank
N Labai, JA Makowsky
Fields of Logic and Computation II, 237-252, 2015
42015
Tropical graph parameters
N Labai, J Makowsky
26th International Conference on Formal Power Series and Algebraic …, 2014
42014
Finiteness conditions for graph algebras over tropical semirings
N Labai, JA Makowsky
arXiv preprint arXiv:1405.2547, 2014
22014
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
12016
Hankel Matrices: From Words to Graphs
JA Makowsky, N Labai
Language and Automata Theory and Applications, 47-55, 2015
12015
Definability and hankel matrices
N Labai, JA Makowsky
Computer Science Department, Technion, 2015
12015
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
Hankel Matrices for Weighted Visibly Pushdown Automata
N Labai, JA Makowsky
Language and Automata Theory and Applications, 464-477, 2016
2016
Tropical Graph Parameters
J Makowsky, N Labai
Discrete Mathematics & Theoretical Computer Science, 2014
2014
On the exact learnability of graph parameters
N Labai
The system can't perform the operation now. Try again later.
Articles 1–16