=ADD=
=author=
Delzanno; Giorgio + Podelski; Andreas
=title=
Model checking infinite-state systems in CLP
=year=
1998
=institution=
Max-Planck-Institut fuer Informatik
=number=
MPI-I-98-2-012
=month=
07
=reftype=
11
=source=
3

=ADD=
=author=
Degtyarev; Anatoli + Voronkov; Andrei
=title=
Equality reasoning in sequent-based calculi
=year=
1998
=institution=
Max-Planck-Institut fuer Informatik
=number=
MPI-I-98-2-011
=month=
07
=reftype=
11
=source=
3

=ADD=
=author=
Krysta; Piotr + Lorys; Krzysztof
=title=
New approximation algorithms for the achromatic number
=year=
1998
=institution=
Max-Planck-Institut fuer Informatik
=number=
MPI-I-98-1-016
=month=
07
=reftype=
11
=source=
3

=ADD=
=author=
Crauser; Andreas + Ferragina; Paolo + Melhorn; Kurt + Meyer; Ulrich + Ramos; Edgar
=title=
Randomized external-memory algorithms for some geometric problems
=year=
1998
=institution=
Max-Planck-Institut fuer Informatik
=number=
MPI-I-98-1-017
=month=
07
=reftype=
11
=source=
3

=ADD=
=author=
Dubhashi; Devdatt + Ranjan; Desh
=title=
On positive influence and negative dependence
=year=
1998
=institution=
Max-Planck-Institut fuer Informatik
=number=
MPI-I-98-1-018
=month=
07
=reftype=
11
=source=
3

=ADD=
=author=
Melhorn; Kurt
=title=
WAE'98: Proceedings of the 2nd Workshop on Algorithm Engineering
=year=
1998
=institution=
Max-Planck-Institut fuer Informatik
=number=
MPI-I-98-1-019
=month=
08
=reftype=
11
=source=
3

=ADD=
=author=
Albers; Susanne + Schmidt; Guenter
=title=
Scehduling with unexpected machine breakdowns
=year=
1998
=institution=
Max-Planck-Institut fuer Informatik
=number=
MPI-I-98-1-021
=month=
09
=reftype=
11
=source=
3

=ADD=
=author=
Henzinger; Monika R. + Leonardi; Stefano
=title=
Scheduling multicasts on unit-capacity trees and meshes
=year=
1998
=institution=
Max-Planck-Institut fuer Informatik
=number=
MPI-I-98-1-015
=month=
05
=reftype=
11
=source=
3

=ADD=
=author=
Rueb; Christine
=title=
On Wallace's method for the generation of normal varieties
=year=
1998
=institution=
Max-Planck-Institut fuer Informatik
=number=
MPI-I-98-1-020
=month=
07
=reftype=
11
=source=
3