Nadia Labai

13 papers A* 1B 1C 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Neurosymbolic Approach to Natural Language Formalization and Verification.
CoRR
Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao
2020 J jnl
An ExpTime Upper Bound for ALC with Integers (Extended Version).
CoRR
Nadia Labai, Magdalena Ortiz, Mantas Simkus
2020 A* conf
An ExpTime Upper Bound for ALC with Integers.
KR
Nadia Labai, Magdalena Ortiz, Mantas Simkus
2020 C conf
Pebble-Intervals Automata and FO
LATA
Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
2019 J jnl
Pebble-Intervals Automata and FO2 with Two Orders (Extended Version).
CoRR
Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
2017 — conf
Constructive Satisfiability Procedure for ALC
Description Logics
Nadia Labai, Martin Homola, Magdalena Ortiz
2016 C conf
Hankel Matrices for Weighted Visibly Pushdown Automata.
LATA
Nadia Labai, Johann A. Makowsky
2016 B conf
On the Exact Learnability of Graph Parameters: The Case of Partition Functions.
MFCS
Nadia Labai, Johann A. Makowsky
2016 J jnl
On the exact learnability of graph parameters: The case of partition functions.
CoRR
Nadia Labai, Johann A. Makowsky
2015 J jnl
Hankel Matrices for Weighted Visibly Pushdown Automata.
CoRR
Nadia Labai, Johann A. Makowsky
2015 C conf
Hankel Matrices: From Words to Graphs (Extended Abstract).
LATA
Johann A. Makowsky, Nadia Labai
2015 — conf
Logics of Finite Hankel Rank.
Fields of Logic and Computation II
Nadia Labai, Johann A. Makowsky
2013 — conf
Weighted Automata and Monadic Second Order Logic.
GandALF
Nadia Labai, Johann A. Makowsky