Julian-Steffen Müller

According to our database, Julian-Steffen Müller authored at least 13 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

C-PO: A Context-Based Application-Placement Optimization for Autonomous Vehicles.

Tobias Kain, Hans Tompits, Timo Frederik Horeis, Johannes Heinrich, Julian-Steffen Müller, Fabian Plinke, Hendrik Decke, Marcel Aguirre Mehlhorn

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles.

Tobias Kain, Philipp Mundhenk, Julian-Steffen Müller, Hans Tompits, Maximilian Wesche, Hendrik Decke

Proceedings of the 2nd International Workshop on Autonomous Systems Design, 2020

2019

Parameterised Enumeration for Modification Problems.

Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer

Algorithms, 2019

2017

Paradigms for Parameterized Enumeration.

Nadia Creignou, Arne Meier, Julian-Steffen Müller, Johannes Schmidt, Heribert Vollmer

Theory Comput. Syst., 2017

Modal independence logic.

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer

J. Log. Comput., 2017

2015

Parameterized Enumeration for Modification Problems.

Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer

Proceedings of the Language and Automata Theory and Applications, 2015

A Van Benthem Theorem for Modal Team Semantics.

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Satisfiability and model checking in team based logics.

Julian-Steffen Müller

PhD thesis, 2014

A Fragment of Dependence Logic Capturing Polynomial Time

Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer

Log. Methods Comput. Sci., 2014

2013

Parameterized Enumeration with Ordering.

Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer

CoRR, 2013

Model Checking for Modal Dependence Logic: An Approach through Post's Lattice.

Julian-Steffen Müller, Heribert Vollmer

Proceedings of the Logic, Language, Information, and Computation, 2013

Extended Modal Dependence Logic.

Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer

Proceedings of the Logic, Language, Information, and Computation, 2013

2012

Complexity of Model Checking for Logics over Kripke models.

Arne Meier, Julian-Steffen Müller, Martin Mundhenk, Heribert Vollmer

Bull. EATCS, 2012