Leibniz Universität Hannover Fakultät Fakultät für Elektrotechnik und Informatik
Kontakt
Institut für Theoretische Informatik
 
Institut für Theoretische Informatik Institut Personenverzeichnis
Arne Meier

Temporärer Umzug

Changed visitor address due to construction work: Room A522, Building 3403, (Appelstr. 11A 30167 Hanover)
Location

Prof. Dr. rer. nat. Arne Meier

Arne Meier Arne Meier © PicturePeople
Prof. Dr. rer. nat. Arne Meier
Arne Meier Arne Meier © PicturePeople
Prof. Dr. rer. nat. Arne Meier
My area of expertise is complexity theory. Currently, I focus on the parameterised complexity of problems in non-classical logics with applications to AI. Furthermore, I study enumeration algorithms. I also enjoy typography and the text typesetting system LaTeX.

Interests

  • (Parameterised) Complexity Theory
  • Logic in Computer Science (particularly, non-classical logics)
  • Foundations of Artificial Intelligence
  • (Parameterised) Enumeration Algorithms
  • LaTeX (see my personal GitHub-Webside for a timeline LaTeX/TikZ package.
Bild Bild Bild © TCS4F

Publications

  • Journal contributions
    Oops, an error occurred! Code: 20260415082940992631cf
  • Conference contributions
    Oops, an error occurred! Code: 20260415082940ed90f19c
  • Technical reports
    First 1

    2025

    Barlag, T, Fröhlich, N, Hankala, T, Hannula, M, Hirvonen, M, Holzapfel, V, Kontinen, J, Meier, A & Strieker, L 2025 'Logic and Computation Through the Lens of Semirings'. https://doi.org/10.48550/arXiv.2502.12939

    2018

    Meier, A 2018 'Enumeration in Incremental FPT-Time'. <https://arxiv.org/abs/1804.07799>

    2016

    Hella, L, Kuusisto, A, Meier, A & Virtema, J 2016 'Model Checking and Validity in Propositional and Modal Inclusion Logics' CoRR. <http://arxiv.org/abs/1609.06951>

    2015

    Krebs, A, Meier, A & Virtema, J 2015 'Parallel Computational Tree Logic.' CoRR. <https://dblp.org/db/journals/corr/corr1505.html#KrebsMV15>

    2013

    Creignou, N, Meier, A, Müller, J-S, Schmidt, J & Vollmer, H 2013 'Paradigms for Parameterized Enumeration' CoRR. <http://arxiv.org/abs/1306.2171>
    Creignou, N, Ktari, R, Meier, A, Müller, J-S, Olive, F & Vollmer, H 2013 'Parameterized Enumeration with Ordering.'. <https://dblp.org/rec/journals/corr/CreignouKMMOV13>

    2012

    Meier, A 2012 'Generalized Complexity of ALC Subsumption' CoRR. <https://dblp.org/db/journals/corr/corr1205.html#abs-1205-0722>

    2010

    Creignou, N, Meier, A, Thomas, M & Vollmer, H 2010 'The Complexity of Reasoning for Fragments of Autoepistemic Logic' Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. <http://drops.dagstuhl.de/opus/volltexte/2010/2523/>

  • Theses
    First 1

    2020

    Meier, A 2020, 'Parametrised enumeration', Doctor habilitatus (Dr. habil.), Gottfried Wilhelm Leibniz Universität Hannover, Hannover. https://doi.org/10.15488/9427

    2011

    Meier, A 2011, 'On the Complexity of Modal Logic Variants and their Fragments'. <https://dblp.org/rec/books/daglib/0030205>

Letzte Änderung: 28.10.25 Druckversion

So erreichen Sie uns
Kontakt