 | 2009 |
|---|
| 7 |       | Olaf Beyersdorff,
Johannes Köbler,
Sebastian Müller:
Nondeterministic Instance Complexity and Proof Systems with Advice.
LATA 2009: 164-175 |
| 6 | | Olaf Beyersdorff,
Sebastian Müller:
Does Advice Help to Prove Propositional Tautologies?
SAT 2009: 65-72 |
| 2008 |
|---|
| 5 | | Olaf Beyersdorff,
Sebastian Müller:
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic.
CSL 2008: 199-214 |
| 4 | | Olaf Beyersdorff,
Johannes Köbler,
Sebastian Müller:
Nondeterministic Instance Complexity and Proof Systems with Advice.
Electronic Colloquium on Computational Complexity (ECCC) 15(075): (2008) |
| 3 | | Michael Gläser,
Sebastian Müller,
Axel Rennoch,
Peter Schmitting:
Standardized TTCN-3 specifications for SIP-ISUP/ISDN interworking testing.
STTT 10(4): 353-358 (2008) |
| 2005 |
|---|
| 2 | | Sebastian Müller,
Arno Schödl:
A Smart Algorithm for Column Chart Labeling.
Smart Graphics 2005: 127-137 |
| 2001 |
|---|
| 1 | | Markus Hannebauer,
Sebastian Müller:
Distributed constraint optimization for medical appointment scheduling.
Agents 2001: 139-140 |
