| Zeit |
Referent(en) |
Thema |
| 900
| Kaffee |
| 925
| Begrüßung |
| 930
| Heribert Vollmer |
Eine Beobachtung zur Berechnungsstärke
quasipolynomieller Schaltkreise |
| 955
| Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel |
A Downward Translation in the Polynomial Hierarchy |
| 1020
| Martin Kreidler, Detlef Seese |
Wälder und Monadic NP |
| 1045
| Pause |
| 1100
| Thomas Schwentick |
Algebraic and Logical Characterizations of Deterministic Linear Time Classes |
| 1125
| Klaus-Hilmar Sprenger |
Some Hierarchies of Primitive Recursive
Functions on Term Algebras |
| 1150
| C. Burnikel, R. Fleischer, K. Mehlhorn,S. Schirra |
Eine Separationsschranke für Wurzelausdrücke |
| 1215
| Mittagspause |
| 1330
| Klaus Jansen |
Approximation results for the optimum cost
chromatic partition problem |
| 1355
| S.O. Krumke, H. Noltemeier, K.U. Drangmeister,
M.V. Marathe, S.S. Ravi |
Modifying Edges of a Network to Obtain Short Subgraphs |
| 1420
| Anja Hamacher |
Baumzerlegungen unter Nebenbedingungen |
| 1445
| Pause |
| 1500
| Oliver Karch, H. Noltemeier |
Zum Lokalisationsproblem für Roboter |
| 1525
| Elias Dahlhaus |
Wie man Gauss-Eliminations-Heuristiken mit dem
Minimalen Eliminationsordnungsalgorithmus von Rose, Tarjan und
Lueker mischen kann |
| 1550
| Pause |
| 1605
| Bernd Borchert, Lane A. Hemaspaandra, Jörg Rothe |
Powers-of-Two Acceptance Suffices for Equivalence and
Bounded Ambiguity Problems |
| 1630
| Arfst Nickelsen |
Das Inklusionsproblem für D-Verboseness-Klassen |
| 1655
| Artur Czumaj, Willy-B. Strothmann |
Delta-Spanning Trees |
| 1720
| Alfons Avermiddig, Manfred Kunde, Andre Osterloh |
Efficient Sorting on the Multi-Mesh by Distributing
Information |
| 1745
| Ende des Workshops |
