Nadia Labai

According to our database, Nadia Labai authored at least 11 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

A Neurosymbolic Approach to Natural Language Formalization and Verification.

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

CoRR, November, 2025

2020

An ExpTime Upper Bound for ALC with Integers (Extended Version).

Nadia Labai, Magdalena Ortiz, Mantas Simkus

CoRR, 2020

Pebble-Intervals Automata and FO² with Two Orders.

Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith

Proceedings of the Language and Automata Theory and Applications, 2020

An ExpTime Upper Bound for ALC with Integers.

Nadia Labai, Magdalena Ortiz, Mantas Simkus

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019

Pebble-Intervals Automata and FO2 with Two Orders (Extended Version).

Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith

CoRR, 2019

2017

Constructive Satisfiability Procedure for ALC^P(Z) (Preliminary Report).

Nadia Labai, Martin Homola, Magdalena Ortiz

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

On the Exact Learnability of Graph Parameters: The Case of Partition Functions.

Nadia Labai, Johann A. Makowsky

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

Hankel Matrices for Weighted Visibly Pushdown Automata.

Nadia Labai, Johann A. Makowsky

Proceedings of the Language and Automata Theory and Applications, 2016

2015

Hankel Matrices: From Words to Graphs (Extended Abstract).

Johann A. Makowsky, Nadia Labai

Proceedings of the Language and Automata Theory and Applications, 2015

Logics of Finite Hankel Rank.

Nadia Labai, Johann A. Makowsky

Proceedings of the Fields of Logic and Computation II, 2015

2013

Weighted Automata and Monadic Second Order Logic.

Nadia Labai, Johann A. Makowsky

Proceedings of the Proceedings Fourth International Symposium on Games, 2013