| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2020 | — | conf |
ICSC
|
| 2020 | C | conf |
WEBIST
|
| 2019 | — | conf |
WEBIST (Revised Selected Papers)
|
| 2019 | C | conf |
WEBIST
|
| 2018 | — | conf |
Semdeep/NLIWoD@ISWC
|
| 2014 | — | conf |
ESWC (Satellite Events)
|
| 2014 | — | conf |
EDBT/ICDT Workshops
|
| 2014 | — | conf |
CSEDU (1)
|
| 2013 | B | conf |
ASONAM
|
| 2013 | — | conf |
ICSC
|
| 2012 | J | jnl |
IEEE Commun. Surv. Tutorials
|
| 2011 | — | conf |
MICAI (1)
|
| 2010 | C | conf |
PADL
|
| 2008 | A | conf |
ASSETS
|
| 2008 | C | conf |
PADL
|
| 2007 | A* | conf |
WWW
|
| 2007 | — | conf |
ICSC
|
| 2007 | C | conf |
NLDB
|
| 2007 | — | conf |
IWPT
|
| 2007 | — | conf |
Canadian AI
|
| 2006 | J | jnl |
ACM SIGPLAN Notices
|
| 2006 | J | jnl |
ACM Comput. Surv.
|
| 2005 | — | conf |
Canadian AI
|
| 2005 | — | conf |
Canadian AI
|
| 2005 | J | jnl |
Commun. ACM
|
| 2004 | — | conf |
Canadian AI
|
| 2004 | — | conf |
Canadian AI
|
| 2004 | — | conf |
CNSR
|
| 2004 | — | conf |
Canadian AI
|
| 2003 | Misc | conf |
AI
|
| 2002 | Misc | conf |
AI
|
| 2002 | — | conf |
AAAI/IAAI
|
| 2002 | — | conf |
HCC
|
| 2001 | Misc | conf |
AI
|
| 1999 | — | conf |
AAAI/IAAI
|
| 1999 | — | conf |
WECWIS
|
| 1996 | J | jnl |
Sci. Comput. Program.
|
| 1994 | J | jnl |
ACM SIGPLAN Notices
|
| 1993 | J | jnl |
Softw. Pract. Exp.
|
| 1993 | — | conf |
Functional Programming, Concurrency, Simulation and Automated Reasoning
|
| 1992 | J | jnl |
Comput. J.
|
| 1992 | J | jnl |
ACM SIGPLAN Notices
|
| 1990 | J | jnl |
Int. J. Man Mach. Stud.
|
| 1990 | — | conf |
Formal Methods in Software Development
|
| 1989 | J | jnl |
ACM SIGPLAN Notices
|
| 1989 | — | conf |
TAI
|
| 1986 | — | conf |
BNCOD
|
| 1986 | — | book |
Introduction to Knowledge Base Systems
|
| 1985 | — | — |
|
| 1985 | J | jnl |
Comput. J.
|
| 1983 | J | jnl |
Comput. J.
|
| 1983 | J | jnl |
Comput. J.
|
| 1982 | J | jnl |
Softw. Pract. Exp.
|
| 1982 | J | jnl |
Comput. J.
|