Concepedia

Julian-Steffen Müller

JM

Statistics

Publications

5

Citations

107

H-Index

5

Active since

2014

Affiliations

Leibniz University Hannover(Current)

Christian-Albrechts-Universität zu Kiel

University of Helsinki

Centre National de la Recherche Scientifique

Aix-Marseille Université

Julian-Steffen Müller is an author at Leibniz University Hannover specializing in mathematics, computer science, and modal logic.

Publications per year

2014–2019

5

Publications

5

Paradigms for Parameterized Enumeration

Nadia Creignou, Arne Meier, Julian-Steffen Müller et al. · Theory of Computing Systems · 2016 · 29 citations · Full text

, , +8

A Van Benthem Theorem for Modal Team Semantics

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 25 citations · Full text

, , +12

Modal independence logic:

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor et al. · Journal of Logic and Computation · 2016 · 22 citations · Full text

, , +10

Modal Independence Logic

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor et al. · arXiv (Cornell University) · 2014 · 18 citations · Full text

, , +10

Parameterised Enumeration for Modification Problems

Nadia Creignou, Raïda Ktari, Arne Meier et al. · Algorithms · 2019 · 13 citations · Full text

, , +12

1–5 of 5