Nadia Labai

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 11

Top Topics

Monadic Second Order Logic

Singular Value Decomposition

Finite Automata

Top Venues

Description Logics

Publications

Nadia Labai, Magdalena Ortiz, Mantas Simkus
An ExpTime Upper Bound for ALC with Integers (Extended Version). CoRR (2020)
Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
with Two Orders. LATA (2020)
Nadia Labai, Magdalena Ortiz, Mantas Simkus
An ExpTime Upper Bound for ALC with Integers. KR (2020)
Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
Pebble-Intervals Automata and FO2 with Two Orders (Extended Version). CoRR (2019)
Nadia Labai, Martin Homola, Magdalena Ortiz
(Z) (Preliminary Report). Description Logics (2017)
Nadia Labai, Johann A. Makowsky
On the exact learnability of graph parameters: The case of partition functions. CoRR (2016)
Nadia Labai, Johann A. Makowsky
On the Exact Learnability of Graph Parameters: The Case of Partition Functions. MFCS (2016)
Nadia Labai, Johann A. Makowsky
Hankel Matrices for Weighted Visibly Pushdown Automata. LATA (2016)
Johann A. Makowsky, Nadia Labai
Hankel Matrices: From Words to Graphs (Extended Abstract). LATA (2015)
Nadia Labai, Johann A. Makowsky
Hankel Matrices for Weighted Visibly Pushdown Automata. CoRR (2015)
Nadia Labai, Johann A. Makowsky
Logics of Finite Hankel Rank. Fields of Logic and Computation II (2015)
Nadia Labai, Johann A. Makowsky
Weighted Automata and Monadic Second Order Logic. GandALF (2013)