LogiCS | Nadia Labai

Project Assistant, MSc
TU Wien
Institut für Informationssysteme 184/4
Favoritenstraße 9–11
1040 Wien
Austria

Room: HA 03 07
Phone: +43 (1) 58801 - 740051
Email: labai [at] dbai.tuwien.ac.at

Research Interests

Description Logics, Decidable Fragments of First Order Logic, Finite Model Theory

Current Position

I am a PhD student in the Doctoral College Logical Methods in Computer Science at TU Wien, with full funding. I started my PhD studies in June 2015 under the supervision of Prof. Helmut Veith. My current supervisor is Assistant Prof. Magdalena Ortiz.

Education

MSc in Computer Science (Technion, IIT), master thesis (supervised by Johann Makowsky): Definability and Hankel Matrices, 2015
BSc in Computer Science (Technion, IIT)

Publications

N. Labai, M. Homola, and M. Ortiz, Constructive Satisfiability Procedure for ALC^P(Z) (Preliminary Report) [pdf][bibtex], in: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.
N. Labai and J.A. Makowsky, On the exact learnability of graph parameters: The case of partition functions [pdf][bibtex], in: Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, Krakow, Poland, August 22-26, 2016, pages 63:1–63:13.
N. Labai and J.A. Makowsky, Hankel matrices for weighted visibly pushdown automata [pdf][bibtex], in: Proceeding of Language and Automata Theory and Applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, pages 464–477.
N. Labai and J.A. Makowsky, Logics of finite Hankel rank [pdf][bibtex], in: Fields of Logic and Computation II, pages 237–252. Springer International Publishing, 2015.
J.A. Makowsky and N. Labai, Hankel matrices: From words to graphs [pdf][bibtex], in: Proceeding of Language and Automata Theory and Applications: 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, pages 47–55.
N. Labai and J.A. Makowsky, Tropical graph parameters [pdf][bibtex], in: DMTCS Proceedings, 26th International Conference on Formal Power Series and Algebraic Combinatorics, FPSAC 2014, Chicago, Illinois, pages 357–368.
N. Labai and J.A. Makowsky, Weighted automata and monadic second order logic [pdf][bibtex], in: EPTCS 119, Proceedings of the 4th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29-31, 2013, pages 122–135.