Julian-Steffen Müller

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 5

Top Venues

CoRR

WoLLIC

ASD@DATE

Theory Comput. Syst.

University of Hanover (PHD)

Education History

University of Hanover

PHD

Publications

Tobias Kain, Hans Tompits, Timo Frederik Horeis, Johannes Heinrich, Julian-Steffen Müller, Fabian Plinke, Hendrik Decke, Marcel Aguirre Mehlhorn
C-PO: A Context-Based Application-Placement Optimization for Autonomous Vehicles. DATE (2021)
Tobias Kain, Philipp Mundhenk, Julian-Steffen Müller, Hans Tompits, Maximilian Wesche, Hendrik Decke
Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles. ASD@DATE (2020)
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
Parameterised Enumeration for Modification Problems. Algorithms 12 (9) (2019)
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
Modal independence logic. J. Log. Comput. 27 (5) (2017)
Nadia Creignou, Arne Meier, Julian-Steffen Müller, Johannes Schmidt, Heribert Vollmer
Paradigms for Parameterized Enumeration. Theory Comput. Syst. 60 (4) (2017)
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
Parameterized Enumeration for Modification Problems. LATA (2015)
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
A Van Benthem Theorem for Modal Team Semantics. CSL (2015)
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
A Van Benthem Theorem for Modal Team Semantics. CoRR (2014)
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
Modal Independence Logic. CoRR (2014)
Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer
A Fragment of Dependence Logic Capturing Polynomial Time Log. Methods Comput. Sci. 10 (3) (2014)
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
Modal Independence Logic. Advances in Modal Logic (2014)
Julian-Steffen Müller, Heribert Vollmer
Model Checking for Modal Dependence Logic: An Approach through Post's Lattice. WoLLIC (2013)
Nadia Creignou, Arne Meier, Julian-Steffen Müller, Johannes Schmidt, Heribert Vollmer
Paradigms for Parameterized Enumeration. MFCS (2013)
Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer
Extended Modal Dependence Logic. WoLLIC (2013)
Julian-Steffen Müller, Heribert Vollmer
Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice CoRR (2013)
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
Parameterized Enumeration with Ordering. CoRR (2013)
Nadia Creignou, Arne Meier, Julian-Steffen Müller, Johannes Schmidt, Heribert Vollmer
Paradigms for Parameterized Enumeration. CoRR (2013)
Arne Meier, Julian-Steffen Müller, Martin Mundhenk, Heribert Vollmer
Complexity of Model Checking for Logics over Kripke models. Bull. EATCS 108 (2012)

Julian-Steffen Müller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Julian-Steffen Müller