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. Julian-Steffen Müller

Kontaktinformationen

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

Raum:226
Telefon:+49 511 762 14130 
Fax:+49 511 762 19606
E-Mail:mueller 
(PGP Öffentlicher Schlüssel)

 

"Nichts ist getan, wenn noch etwas zu tun übrig ist" - Carl Friedrich Gauß

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

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

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

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer (2014): Modal Independence Logic , Buchtitel: Advances in Modal Logic Vol. 10. Institut: Leibniz Universität Hannover, University of Helsinki, Christian-Albrechts-Universität zu Kiel. Seite(n): 353-372 Link zur Veröffentlichung
ISBN: 978-1-84890-151-3

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer (2014): A Van Benthem Theorem for Modal Team Semantics , Journal: arXiv:1410.6648. Link zur Veröffentlichung

Julian-Steffen Müller (2014): Satisfiability and Model Checking in Team Based Logics , Herausgeber: Cuvillier. Address: Cuvillier Verlag Göttingen. Schule: Leibniz Universität Hannover. Link zur Veröffentlichung
ISBN: 9,78395E+12

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

Julian-Steffen Müller, Heribert Vollmer (2013): Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice , Buchtitel: Logic, Language, Information, and Computation. Herausgeber: Springer. Address: Berlin Heidelberg. Institut: Leibniz Universität Hannover. Band: 8071. Reihe: 8071. Seite(n): 238-250 Link zur Veröffentlichung
DOI: 10.1007/978-3-642-39992-3_21

Nadia Creignou, Arne Meier, Julian-Steffen Müller, Johannes Schmidt, Heribert Vollmer (2013): Paradigms for Parameterized Enumeration , Buchtitel: Mathematical Foundations of Computer Science 2013. Journal: Mathematical Foundations of Computer Science. Band: 8087. Reihe: 8087. Seite(n): 290-301
DOI: 10.1007/978-3-642-40313-2_27

Nadia Creignou, Raida Ktari, Arne Meier, Julian-Steffen Müller, Frederic Olive, Heribert Vollmer (2013): Parameterized Enumeration with Ordering Link zur Veröffentlichung

Arne Meier, Julian-Steffen Müller, Martin Mundhenk, Heribert Vollmer (2012): Complexity of Model Checking for Logics over Kripke models , Journal: Bulletin of the EATCS. Band: 108. Seite(n): 49-89 Link zur Veröffentlichung

Julian-Steffen Müller (2012): Complexity of Model Checking in Modal Team Logic , Computation in Europe (CiE) Link zur Veröffentlichung