| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2020 | — | conf |
VPT/HCVS@ETAPS
|
| 2018 | — | conf |
ISoLA (1)
|
| 2017 | C | conf |
PEPM
|
| 2014 | — | conf |
Ershov Memorial Conference
|
| 2013 | — | conf |
Festschrift for Dave Schmidt
|
| 2012 | C | conf |
PEPM
|
| 2012 | J | jnl |
Bull. Symb. Log.
|
| 2012 | C | conf |
PEPM
|
| 2011 | — | conf |
Formal Modeling: Actors, Open Systems, Biological Systems
|
| 2011 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2011 | J | jnl |
Sci. Ann. Comput. Sci.
|
| 2011 | — | conf |
Ershov Memorial Conference
|
| 2010 | — | conf |
CS2Bio
|
| 2010 | B | conf |
SAS
|
| 2009 | J | jnl |
ACM Trans. Comput. Log.
|
| 2009 | B | ed. |
VMCAI
|
| 2008 | B | conf |
VMCAI
|
| 2008 | J | jnl |
Log. Methods Comput. Sci.
|
| 2008 | J | jnl |
CoRR
|
| 2008 | C | conf |
CiE
|
| 2007 | J | jnl |
Theor. Comput. Sci.
|
| 2007 | B | conf |
APLAS
|
| 2006 | J | jnl |
Nord. J. Comput.
|
| 2006 | J | jnl |
Fundam. Informaticae
|
| 2005 | B | conf |
APLAS
|
| 2005 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2005 | C | conf |
CiE
|
| 2004 | J | jnl |
High. Order Symb. Comput.
|
| 2004 | A* | ed. |
POPL
|
| 2004 | — | conf |
RTA
|
| 2004 | J | jnl |
Sci. Comput. Program.
|
| 2002 | C | conf |
PPDP
|
| 2002 | B | conf |
GPCE
|
| 2002 | A | conf |
ICFP
|
| 2002 | A* | conf |
POPL
|
| 2001 | — | conf |
PADO
|
| 2001 | A | conf |
IJCAR
|
| 2001 | J | jnl |
J. Funct. Program.
|
| 2001 | A* | conf |
POPL
|
| 2000 | J | jnl |
Acta Informatica
|
| 1999 | J | jnl |
Fundam. Informaticae
|
| 1999 | J | jnl |
ACM SIGPLAN Notices
|
| 1999 | J | jnl |
Theor. Comput. Sci.
|
| 1999 | — | conf |
Ershov Memorial Conference
|
| 1998 | — | conf |
Partial Evaluation
|
| 1997 | B | conf |
SAS
|
| 1997 | — | book |
Computability and complexity - from a programming perspective.
|
| 1997 | A* | ed. |
POPL
|
| 1997 | J | jnl |
J. Funct. Log. Program.
|
| 1996 | J | jnl |
J. Funct. Program.
|
| 1996 | J | jnl |
ACM Comput. Surv.
|
| 1996 | — | conf |
Ershov Memorial Conference
|
| 1996 | — | conf |
Dagstuhl Seminar on Partial Evaluation
|
| 1995 | B | conf |
MFPS
|
| 1995 | C | ed. |
PEPM
|
| 1995 | C | conf |
PEPM
|
| 1994 | — | conf |
ILPS
|
| 1994 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1994 | — | conf |
Results and Trends in Theoretical Computer Science
|
| 1994 | — | conf |
ALP
|
| 1994 | — | ed. |
Logic, Language and Computation
|
| 1994 | — | conf |
IFIP Congress (1)
|
| 1994 | — | conf |
Logic, Language and Computation
|
| 1994 | A | conf |
ESOP
|
| 1993 | A* | conf |
STOC
|
| 1993 | — | book |
Partial evaluation and automatic program generation.
|
| 1991 | J | jnl |
J. Funct. Program.
|
| 1991 | J | jnl |
Struct. Program.
|
| 1991 | — | conf |
AMAST
|
| 1991 | J | jnl |
Sci. Comput. Program.
|
| 1991 | J | jnl |
Theor. Comput. Sci.
|
| 1990 | — | conf |
ICCL
|
| 1990 | A | ed. |
ESOP
|
| 1990 | A* | conf |
ICALP
|
| 1989 | — | conf |
IFIP Congress
|
| 1989 | — | conf |
Logic at Botik
|
| 1989 | J | jnl |
LISP Symb. Comput.
|
| 1988 | J | jnl |
New Gener. Comput.
|
| 1988 | J | jnl |
New Gener. Comput.
|
| 1987 | B | conf |
MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract).
MFPS
|
| 1986 | A* | conf |
POPL
|
| 1986 | — | ed. |
Programs as Data Objects
|
| 1985 | — | conf |
Programs as Data Objects
|
| 1985 | — | conf |
RTA
|
| 1985 | J | jnl |
ACM SIGPLAN Notices
|
| 1984 | J | jnl |
Pattern Recognit. Lett.
|
| 1984 | — | conf |
SLP
|
| 1982 | — | conf |
Symposium on LISP and Functional Programming
|
| 1982 | A* | conf |
POPL
|
| 1982 | — | conf |
Formal Description of Programming Concepts
|
| 1981 | J | jnl |
SIAM J. Comput.
|
| 1981 | A* | conf |
ICALP
|
| 1981 | — | book |
Program flow analysis - theory and applications.
|
| 1980 | — | conf |
Semantics-Directed Compiler Generation
|
| 1980 | — | conf |
Semantics-Directed Compiler Generation
|
| 1980 | A* | conf |
FOCS
|
| 1980 | — | ed. |
Semantics-Directed Compiler Generation
|
| 1979 | J | jnl |
Math. Syst. Theory
|
| 1979 | A* | conf |
POPL
|
| 1978 | J | jnl |
Math. Syst. Theory
|
| 1978 | J | jnl |
Int. J. Parallel Program.
|
| 1978 | — | book |
|
| 1978 | J | jnl |
J. ACM
|
| 1977 | J | jnl |
Inf. Process. Lett.
|
| 1977 | A* | conf |
ICALP
|
| 1977 | J | jnl |
Theor. Comput. Sci.
|
| 1977 | J | jnl |
J. Comput. Syst. Sci.
|
| 1977 | J | jnl |
J. ACM
|
| 1977 | J | jnl |
Inf. Control.
|
| 1976 | A* | conf |
POPL
|
| 1976 | J | jnl |
Theor. Comput. Sci.
|
| 1976 | J | jnl |
Math. Syst. Theory
|
| 1975 | A* | conf |
POPL
|
| 1975 | J | jnl |
J. Comput. Syst. Sci.
|
| 1974 | A* | conf |
STOC
|
| 1974 | J | jnl |
J. Symb. Log.
|
| 1973 | A | conf |
SIGCSE
|
| 1972 | A* | conf |
STOC
|
| 1971 | J | jnl |
ACM SIGCSE Bull.
|
| 1971 | — | conf |
SWAT
|
| 1970 | J | jnl |
Inf. Control.
|
| 1969 | J | jnl |
Math. Syst. Theory
|
| 1968 | J | jnl |
Inf. Control.
|
| 1967 | — | conf |
SWAT
|