| 2009 |
|---|
| 6 | EE | Olaf Beyersdorff,
Johannes Köbler,
Sebastian Müller:
Nondeterministic Instance Complexity and Proof Systems with Advice.
LATA 2009: 164-175 |
| 2008 |
|---|
| 5 | EE | Olaf Beyersdorff,
Sebastian Müller:
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic.
CSL 2008: 199-214 |
| 4 | EE | 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 | EE | 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 | EE | Sebastian Müller,
Arno Schödl:
A Smart Algorithm for Column Chart Labeling.
Smart Graphics 2005: 127-137 |
| 2001 |
|---|
| 1 | EE | Markus Hannebauer,
Sebastian Müller:
Distributed constraint optimization for medical appointment scheduling.
Agents 2001: 139-140 |
