Institut für Theoretische Informatik

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

Aktuelle Veröffentlichungen


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

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

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

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

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)

Andreas Krebs, Arne Meier, Jonni Virtema (2015): A Team Based Variant of CTL , TIME 2015, Accepted.

Andreas Krebs, Arne Meier, Martin Mundhenk (2015): The model checking fingerprints of CTL operators , TIME 2015, Accepted.

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

Martin Lück and Arne Meier (2015): LTL Fragments are Hard for Standard Parameterisations , TIME 2015, Accepted.

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

Letzte Änderung: 29.06.2015
 
Verantwortlich Webmaster