Julian-Steffen Müller

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