| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2009 | — | conf |
GI Jahrestagung
|
| 2009 | B | conf |
SOFSEM
|
| 2009 | C | conf |
AICCSA
|
| 2008 | — | conf |
ICONS
|
| 2008 | C | ed. |
SERA
|
| 2008 | — | conf |
ITNG
|
| 2008 | Misc | conf |
CATA
|
| 2007 | Misc | conf |
CATA
|
| 2007 | C | conf |
SERA
|
| 2007 | — | conf |
IMECS
|
| 2007 | C | conf |
AICCSA
|
| 2007 | C | conf |
ICSEA
|
| 2007 | — | conf |
ITNG
|
| 2007 | — | conf |
ITNG
|
| 2007 | — | conf |
IMECS
|
| 2007 | Misc | conf |
CATA
|
| 2006 | — | ed. |
SEDE
|
| 2006 | — | conf |
Ershov Memorial Conference
|
| 2006 | Misc | conf |
CATA
|
| 2006 | C | conf |
SERA
|
| 2006 | — | conf |
ICN/ICONS/MCL
|
| 2006 | C | conf |
SNPD
|
| 2006 | — | conf |
ACIS-ICIS
|
| 2006 | — | conf |
ITNG
|
| 2006 | J | jnl |
J. Comput. Methods Sci. Eng.
|
| 2005 | C | conf |
APSEC
|
| 2005 | C | conf |
SERA
|
| 2005 | J | jnl |
J. Comput. Methods Sci. Eng.
|
| 2005 | Misc | conf |
CATA
|
| 2005 | — | conf |
IASSE
|
| 2005 | — | conf |
IASSE
|
| 2005 | — | conf |
ACIS-ICIS
|
| 2005 | C | ed. |
SERA
|
| 2005 | — | conf |
FInCo@ETAPS
|
| 2005 | C | conf |
APSEC
|
| 2004 | Misc | conf |
CATA
|
| 2004 | — | conf |
Software Engineering Research and Practice
|
| 2004 | — | conf |
Software Engineering Research and Practice
|
| 2004 | C | conf |
SERA
|
| 2003 | C | conf |
SERA
|
| 2003 | Misc | conf |
CATA
|
| 2003 | C | ed. |
SNPD
|
| 2003 | C | conf |
Modelling and Simulation
|
| 2001 | J | jnl |
Nord. J. Comput.
|
| 2001 | — | conf |
PDCS
|
| 2001 | — | conf |
WADT
|
| 2000 | Misc | conf |
CATA
|
| 2000 | Misc | conf |
CATA
|
| 1999 | Misc | conf |
PDPTA
|
| 1999 | — | conf |
Scottish Functional Programming Workshop
|
| 1998 | Misc | conf |
CATA
|
| 1997 | Misc | conf |
PDPTA
|
| 1996 | — | conf |
Ershov Memorial Conference
|
| 1996 | — | conf |
Implementation of Functional Languages
|
| 1995 | — | conf |
GULP-PRODE
|
| 1993 | J | jnl |
Theor. Comput. Sci.
|
| 1992 | — | conf |
ISTCS
|
| 1991 | — | conf |
Methods of Programming
|
| 1991 | C | conf |
ISI
|
| 1987 | — | — |
|
| 1985 | — | book |
|
| 1984 | — | conf |
LISP and Functional Programming
|
| 1984 | — | conf |
ADT
|
| 1984 | — | conf |
INFOS
|
| 1983 | — | conf |
GI Jahrestagung
|
| 1983 | J | jnl |
Acta Informatica
|
| 1982 | J | jnl |
Inform. Spektrum
|
| 1982 | A* | conf |
VLDB
|
| 1981 | — | conf |
GI Jahrestagung
|
| 1981 | J | jnl |
Sci. Comput. Program.
|
| 1980 | — | conf |
GI Jahrestagung
|
| 1979 | A* | conf |
ICALP
|