Julian-Steffen Müller

zbMATH OpenMaRDI QIDQ2203579FDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Information Processing Letters	2020-10-07	Paper
Complexity of model checking for logics over Kripke models	2018-09-04	Paper
Modal indepence logic	2018-04-23	Paper
Modal independence logic Journal Of Logic And Computation	2018-02-13	Paper
A Van Benthem Theorem for Modal Team Semantics	2017-08-31	Paper
Paradigms for parameterized enumeration Theory of Computing Systems	2017-08-15	Paper
Positional dominance: concepts and algorithms Algorithms and Discrete Applied Mathematics	2017-04-07	Paper
Parameterized enumeration for modification problems Language and Automata Theory and Applications	2016-04-08	Paper
A fragment of dependence logic capturing polynomial time Logical Methods in Computer Science	2014-09-05	Paper
Paradigms for parameterized enumeration Mathematical Foundations of Computer Science 2013	2013-09-20	Paper
Extended modal dependence logic \(\mathcal{EMDL}\) Logic, Language, Information, and Computation	2013-09-17	Paper
Model checking for modal dependence logic: an approach through Post's lattice Logic, Language, Information, and Computation	2013-09-17	Paper

Research outcomes over time

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