Julian 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
https://portal.mardi4nfdi.de/entity/Q5351963	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Julian Müller