| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2007 | — | conf |
ACM Southeast Regional Conference
|
| 2007 | — | conf |
Conf. Computing Frontiers
|
| 2006 | J | jnl |
Math. Struct. Comput. Sci.
|
| 2006 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 2006 | — | conf |
QPL
|
| 2005 | — | conf |
DCM@ICALP
|
| 2004 | J | jnl |
CoRR
|
| 2004 | — | conf |
UPP
|
| 2004 | — | conf |
Conf. Computing Frontiers
|
| 2003 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 1993 | — | conf |
Formal Methods in Programming and Their Applications
|
| 1991 | — | ed. |
FAIR
|
| 1990 | — | conf |
Dagstuhl Seminar on Parallelization in Inference Systems
|
| 1990 | Misc | ed. |
AIMSA
|
| 1987 | Misc | ed. |
AIMSA
|
| 1987 | — | conf |
PARLE (1)
|
| 1987 | — | conf |
Advanced Topics in Artificial Intelligence
|
| 1986 | — | ed. |
Advanced Course: Fundamentals of Artificial Intelligence
|
| 1985 | — | conf |
Advanced Course: Fundamentals of Artificial Intelligence
|
| 1985 | — | conf |
European Conference on Computer Algebra (2)
|
| 1984 | Misc | conf |
AIMSA
|
| 1977 | — | conf |
International Computing Symposium
|
| 1975 | — | — |
|
| 1971 | — | conf |
International Symposium on Extensible Languages
|
| 1970 | — | conf |
AFIPS Fall Joint Computing Conference
|
| 1969 | J | jnl |
ACM SIGPLAN Notices
|