Weighted Automata and Monadic Second Order Logic. - Nadia Labai; Johann A. Makowsky (GandALF, 2013)

Logics of Finite Hankel Rank. - Nadia Labai; Johann A. Makowsky (Fields of Logic and Computation II, 2015)

Hankel Matrices: From Words to Graphs (Extended Abstract). - Johann A. Makowsky; Nadia Labai (LATA, 2015)

Hankel Matrices for Weighted Visibly Pushdown Automata. - Nadia Labai; Johann A. Makowsky (LATA, 2016)

On the Exact Learnability of Graph Parameters: The Case of Partition Functions. - Nadia Labai; Johann A. Makowsky (MFCS, 2016)

Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report). - Nadia Labai; Martin Homola; Magdalena Ortiz 001 (Description Logics, 2017)

Pebble-Intervals Automata and FO2 with Two Orders (Extended Version). - Nadia Labai; Tomer Kotek; Magdalena Ortiz 001; Helmut Veith (CoRR, 2019)

An ExpTime Upper Bound for ALC with Integers. - Nadia Labai; Magdalena Ortiz 001; Mantas Simkus (KR, 2020)

Pebble-Intervals Automata and FO2 with Two Orders. - Nadia Labai; Tomer Kotek; Magdalena Ortiz 001; Helmut Veith (LATA, 2020)

An ExpTime Upper Bound for ALC with Integers (Extended Version). - Nadia Labai; Magdalena Ortiz 001; Mantas Simkus (CoRR, 2020)