Julian-Steffen Mller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2013–2021
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DATE | C-PO: A Context-Based Application-Placement Optimization for Autonomous Vehicles. | Tobias Kain, Hans Tompits, Timo Frederik Horeis, Johannes Heinrich, Julian-Steffen Mller, Fabian Plinke, Hendrik Decke, Marcel Aguirre Mehlhorn |
| 2020 | DATE | Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles. | Tobias Kain, Philipp Mundhenk, Julian-Steffen Mller, Hans Tompits, Maximilian Wesche, Hendrik Decke |
| 2015 | CSL | A Van Benthem Theorem for Modal Team Semantics. | Juha Kontinen, Julian-Steffen Mller, Henning Schnoor, Heribert Vollmer |
| 2015 | LATA | Parameterized Enumeration for Modification Problems. | Nadia Creignou, Rada Ktari, Arne Meier, Julian-Steffen Mller, Frdric Olive, Heribert Vollmer |
| 2014 | AiML | Modal Independence Logic. | Juha Kontinen, Julian-Steffen Mller, Henning Schnoor, Heribert Vollmer |
| 2013 | MFCS | Paradigms for Parameterized Enumeration. | Nadia Creignou, Arne Meier, Julian-Steffen Mller, Johannes Schmidt, Heribert Vollmer |
| 2013 | WoLLIC | Extended Modal Dependence Logic. | Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Mller, Jonni Virtema, Heribert Vollmer |
| 2013 | WoLLIC | Model Checking for Modal Dependence Logic: An Approach through Post's Lattice. | Julian-Steffen Mller, Heribert Vollmer |