СТ |
The Reliable Algorithmic Software Challenge RASC |
2003 |
Mehlhorn K. |
|
|
|
Lecture Notes in Computer Science |
14.03.2003 |
СТ |
From Algorithm to Program to Software Library |
2001 |
Mehlhorn K. |
|
|
|
Lecture Notes in Computer Science |
04.04.2001 |
СТ |
From Algorithms to Working Programs: On the Use of Program Checking in LEDA |
1998 |
Mehlhorn K., Naher S. |
|
|
|
Lecture Notes in Computer Science |
02.09.1998 |
СТ |
Data Structures |
1994 |
Mehlhorn K., Tsakalidis A. |
|
|
|
Handbook of Theoretical Computer Science. Algorithms and Complexity. Volume A |
31.01.1998 |
СТ |
LEDA: A Platform for Combinatorial and Geometric Computing |
1995 |
Mehlhorn K., Naher S. |
|
|
|
Communications of the ACM |
13.04.1995 |
СТ |
Dynamic Interpolation Search |
1993 |
Mehlhorn K., Tsakalidis A. |
|
|
|
J. of the ACM |
13.09.1993 |