The following pages link to Julian Müller (Q2203579):
Displayed 13 items.
- A note on the complexity of manipulating weighted Schulze voting (Q2203580) (← links)
- Paradigms for parameterized enumeration (Q2398214) (← links)
- Parameterized Enumeration for Modification Problems (Q2799203) (← links)
- Extended Modal Dependence Logic $\mathcal{EMDL}$ (Q2849427) (← links)
- Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice (Q2849435) (← links)
- Paradigms for Parameterized Enumeration (Q2849918) (← links)
- A Fragment of Dependence Logic Capturing Polynomial Time (Q2878749) (← links)
- Positional Dominance: Concepts and Algorithms (Q2971635) (← links)
- Modal independence logic: (Q3133166) (← links)
- (Q4584892) (← links)
- (Q4636302) (← links)
- (Q5351963) (← links)
- Computing torsion subgroups of Jacobians of hyperelliptic curves of genus 3 (Q6416347) (← links)