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

Kontaktinformationen

Institut für Theoretische Informatik
Fakultät für Elektrotechnik und Informatik
Universität Hannover
Appelstraße 4
30167 Hannover

Raum:226
Telefon: +49 511 762 19633
Fax: +49 511 762 19606
E-Mail:lohmann (mein PGP Public Key)

Publications

Suche nach
in in allen Feldern AutorTitelBeschreibung
Kategorie
Jahr
 

2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1990 alle Jahre

Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema (2013): Boolean Dependence Logic and Partially-Ordered Connectives , Buchtitel: Logic, Language, Information, and Computation.

Johannes Ebbing, Peter Lohmann (2012): Complexity of Model Checking for Modal Dependence Logic , Buchtitel: SOFSEM 2012: Theory and Practice of Computer Science. Herausgeber: Springer. Link zur Veröffentlichung

Johannes Ebbing, Peter Lohmann (2011): Complexity of Model Checking for Modal Dependence Logic , Journal: CoRR. Band: 11.041.034. Seite(n): Jan 21 Link zur Veröffentlichung

Johannes Ebbing, Peter Lohmann, Fan Yang (2011): Model Checking for Modal Intuitionistic Dependence Logic , Buchtitel: 9th International Tbilisi Symposium on Logic, Language, and Computation..

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema (2011): Complexity of two-variable Dependence Logic and IF-Logic , Buchtitel: Logic in Computer Science (LICS 2011). Link zur Veröffentlichung

Michael Köster, Peter Lohmann (2011): Abstraction for Model Checking Modular Interpreted Systems over ATL , Buchtitel: 9th International Workshop on Programming Multi-Agent Systems 2011. Link zur Veröffentlichung

Peter Lohmann, Heribert Vollmer (2010): Complexity Results for Modal Dependence Logic , Buchtitel: Proceedings 19th Conference on Computer Science Logic. Herausgeber: Springer Berlin / Heidelberg. Band: 6247. Reihe: 6247. Seite(n): 411--425 Link zur Veröffentlichung

Peter Lohmann (2008): Fragments of Temporal Logic and Formal Languages , Diplomarbeit Link zur Veröffentlichung

Ausgewählte Vorträge

  • August 20, 2010 (European Summer School for Logic, Language and Information 2010, Workshop on Dependence and Independence in Logic, Kopenhagen):
  • Complexity Results for Modal Dependence Logic (slides)
  • June 9, 2010 (Logic Seminar, Helsinki):
  • Complexity Results for Modal Dependence Logic
  • February 10, 2010 (Dagstuhl Seminar 10061 - Circuits, Logic, and Games):
  • Complexity Results for Modal Dependence Logic (slides)
  • February 18, 2009 (56. Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen, Ulm):
  • Fragments of Temporal Logic and Formal Languages (slides)