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

Dr. rer. nat. Johannes Ebbing

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:ebbing 

Veröffentlichungen

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, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer (2014): A Fragment of Dependence Logic Capturing Polynomial Time , Journal: Logical Methods in Computer Science. Institut: Leibniz Universität Hannover, University of Helsinki. Band: 10(3:3)2014. Seite(n): Jan 13 Link zur Veröffentlichung
DOI: 10.2168/LMCS-10(3:3)2014

Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer (2013): Extended Modal Dependence Logic EMDL , Buchtitel: Logic, Language, Information, and Computation. Herausgeber: Springer. Address: Berlin Heidelberg. Band: 8071. Reihe: 8071. Seite(n): 126-137 Link zur Veröffentlichung
DOI: 10.1007/978-3-642-39992-3_13

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

Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer (2011): Dependence logic with a majority quantifier , Buchtitel: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). Editor: Supratik Chakraborty and Amit Kumar. 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..

Vorträge

18.03.2014 Nordic Complexity Workshop, Jena

05.02.2014 Disputationsvortrag "Complexity and Expressivity in Dependence Logic Extensions

08.11.2013 GI Jahrestagung, Bremen

23.01.2012 (SOFSEM 2012, Špindlerův Mlýn, Tschechien)

Complexity of Model Checking in Modal Dependence Logic

14.12.2011 (FSTTCS 2011, Mumbai)

Dependence logic with a majority quantifier 

30.08.2010 11:00h:

Complexity in Dependence Logic 

Diplomarbeit