Julian-Steffen Müller

Available identifiers

zbMath Open muller.julian-steffenMaRDI QIDQ2203579

List of research outcomes

Publication	Date of Publication	Type
Computing torsion subgroups of Jacobians of hyperelliptic curves of genus 3	2022-11-07	Paper
A note on the complexity of manipulating weighted Schulze voting	2020-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4584892	2018-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4636302	2018-04-23	Paper
Modal independence logic:	2018-02-13	Paper
A Van Benthem Theorem for Modal Team Semantics	2017-08-31	Paper
Paradigms for parameterized enumeration	2017-08-15	Paper
Positional Dominance: Concepts and Algorithms	2017-04-07	Paper
Parameterized Enumeration for Modification Problems	2016-04-08	Paper
A fragment of dependence logic capturing polynomial time	2014-09-05	Paper
Paradigms for Parameterized Enumeration	2013-09-20	Paper
Extended Modal Dependence Logic $\mathcal{EMDL}$	2013-09-17	Paper
Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice	2013-09-17	Paper

Research outcomes over time

This page was built for person: Julian-Steffen Müller