Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
  • Zielgruppen
  • Suche
 

Herzlich Willkommen am Institut für Theoretische Informatik

Wir vertreten die Theoretische Informatik in Forschung und Lehre, insbesondere die Gebiete Komplexitätstheorie, Effiziente Algorithmen, Formale Sprachen und Logik in der Informatik.

Aktuelles

  • Die Prüfungstermine für Logik und Komplexität und Effiziente Algorithmen, sowie Komplexitätstheorie und Berechenbarkeit und Logik sind in unserem Anmeldesystem eingetragen. Die Anmeldung für die einzelnen Termine erfolgt auschließlich über das Anmeldesystem.
  • Die Prüfungstermine für Advanced Topics in Computational Complexity sind in unserem Anmeldesystem eingetragen. Die Prüfungen finden ausschließlich am 4. und 5. Februar statt!
  • Repititorium zu Grundlagen der theoretischen Informatik: Dienstag, 23.02.16 von 14:00 bis 15:30 Uhr im Multimediahörsaal
  • Sind Sie auf der Suche nach einem Thema für eine Abschlussarbeit? Es gibt einige neue und interessante Themen!

Aktuelle Veröffentlichungen


Andreas Krebs, Arne Meier, Jonni Virtema (2015): A Team Based Variant of CTL , 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2015, pp. 140-149
DOI: 10.1109/TIME.2015.11

Andreas Krebs, Arne Meier, Martin Mundhenk (2015): The model checking fingerprints of CTL operators , 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2015, pp. 101-110
DOI: 10.1109/TIME.2015.13

Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema (2015): Approximation and Dependence via Multiteam Semantics
arXiv: 1510.09040

Arne Meier, Heribert Vollmer (2015): Komplexität von Algorithmen , Lehmanns Link zur Veröffentlichung
ISBN: 365417612

Arne Meier, Irina Schindler, Johannes Schmidt, Michael Thomas, Heribert Vollmer (2015): On the parameterized complexity of non-monotonic logics , Archive for Mathematical Logic, Springer Science + Business Media
DOI: 10.1007/s00153-015-0435-x

Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer (2015): Modal Inclusion Logic: Being Lax is Simpler than Being Strict
arXiv: 1504.06409

Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer (2015): Modal Inclusion Logic: Being Lax is Simpler than Being Strict , Buchtitle: 40th International Symposium on Mathematical Foundations of Computer Science (MFCS)

Martin Lück and Arne Meier (2015): LTL Fragments are Hard for Standard Parameterisations , 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2015, pp. 59-68
DOI: 10.1109/TIME.2015.9

Martin Lück, Arne Meier (2015): LTL Fragments are Hard for Standard Parameterisations
arXiv: 1504.06187

Martin Lück, Arne Meier, Irina Schindler (2015): Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem , Buchtitel: Proc. 9th International Conference on Language and Automata Theory and Applications LATA 2015.
DOI: 10.1007/978-3-319-15579-1_43

Maurice Chandoo (2015): Deciding Circular-Arc Graph Isomorphism in Parameterized Logspace
arXiv: 1507.03348

Nadia Creignou, Raida Ktari, Arne Meier, Julian-Steffen Müller, Frederic Olive, Heribert Vollmer (2015): Parameterized Enumeration for Modification Problems , Buchtitel: Proc. 9th International Conference on Language and Automata Theory and Applications LATA 2015.
DOI: 10.1007/978-3-319-15579-1_41