Julian-Steffen Müller
From MaRDI portal
Person:2203579
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 (available as arXiv preprint) | 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 (available as arXiv preprint) | 2018-04-23 | Paper |
| Modal independence logic Journal Of Logic And Computation | 2018-02-13 | Paper |
| A Van Benthem Theorem for Modal Team Semantics (available as arXiv preprint) | 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
