Complexity of Model Checking for Logics over Kripke models. - Arne Meier; Julian-Steffen Müller; Martin Mundhenk; Heribert Vollmer (Bull. EATCS, 2012)

Extended Modal Dependence Logic. - Johannes Ebbing; Lauri Hella; Arne Meier; Julian-Steffen Müller; Jonni Virtema; Heribert Vollmer (WoLLIC, 2013)

Model Checking for Modal Dependence Logic: An Approach through Post's Lattice. - Julian-Steffen Müller; Heribert Vollmer (WoLLIC, 2013)

Parameterized Enumeration with Ordering. - Nadia Creignou; Raïda Ktari; Arne Meier; Julian-Steffen Müller; Frédéric Olive; Heribert Vollmer (CoRR, 2013)

A Fragment of Dependence Logic Capturing Polynomial Time - Johannes Ebbing; Juha Kontinen; Julian-Steffen Müller; Heribert Vollmer (Log. Methods Comput. Sci., 2014)

Satisfiability and model checking in team based logics. - Julian-Steffen Müller (Cuvillier, 2014)

A Van Benthem Theorem for Modal Team Semantics. - Juha Kontinen; Julian-Steffen Müller; Henning Schnoor; Heribert Vollmer (CSL, 2015)

Parameterized Enumeration for Modification Problems. - Nadia Creignou; Raïda Ktari; Arne Meier; Julian-Steffen Müller; Frédéric Olive; Heribert Vollmer (LATA, 2015)

Modal independence logic. - Juha Kontinen; Julian-Steffen Müller; Henning Schnoor; Heribert Vollmer (J. Log. Comput., 2017)

Paradigms for Parameterized Enumeration. - Nadia Creignou; Arne Meier; Julian-Steffen Müller; Johannes Schmidt 001; Heribert Vollmer (Theory Comput. Syst., 2017)

Parameterised Enumeration for Modification Problems. - Nadia Creignou; Raïda Ktari; Arne Meier; Julian-Steffen Müller; Frédéric Olive; Heribert Vollmer (Algorithms, 2019)

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 (ASD@DATE, 2020)

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 (DATE, 2021)