| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2003 | J | jnl |
EMISA Forum
|
| 2001 | — | conf |
GI Jahrestagung (2)
|
| 1998 | — | ch. |
Sozialgeschichte der Informatik
|
| 1998 | — | ch. |
Sozialgeschichte der Informatik
|
| 1998 | — | book |
|
| 1997 | — | conf |
Foundations of Computer Science: Potential - Theory - Cognition
|
| 1996 | J | jnl |
Inform. Spektrum
|
| 1994 | — | conf |
FIFF Jahrestagung
|
| 1993 | — | book |
Formale Methoden und kleine Systeme - lernen, leben und arbeiten in formalen Umgebungen.
|
| 1993 | J | jnl |
Inf. Comput.
|
| 1992 | — | conf |
Informatik cui bono?
|
| 1992 | — | book |
Formalisieren und Beweisen - Logik für Informatiker (2. Aufl.).
|
| 1991 | J | jnl |
Theor. Comput. Sci.
|
| 1990 | — | book |
Formalisieren und Beweisen - Logik für Informatiker.
|
| 1990 | B | conf |
MFCS
|
| 1990 | — | conf |
GI Jahrestagung (1)
|
| 1989 | B | conf |
MFCS
|
| 1987 | — | conf |
Computation Theory and Logic
|
| 1983 | J | jnl |
Math. Log. Q.
|
| 1981 | — | conf |
GI Jahrestagung
|
| 1977 | B | conf |
FCT
|
| 1975 | — | ed. |
GI Jahrestagung
|
| 1975 | J | jnl |
Arch. Math. Log.
|