| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2013 | J | jnl |
Auton. Agents Multi Agent Syst.
|
| 2011 | B | conf |
IVA
|
| 2011 | B | conf |
IVA
|
| 2011 | J | jnl |
Appl. Artif. Intell.
|
| 2010 | — | ch. |
Interactive Collaborative Information Systems
|
| 2010 | B | conf |
IJCNN
|
| 2010 | — | conf |
COST 2102 Training School
|
| 2010 | C | conf |
ICEC
|
| 2009 | J | jnl |
Nat. Lang. Eng.
|
| 2009 | J | jnl |
J. Multimodal User Interfaces
|
| 2009 | J | jnl |
Pers. Ubiquitous Comput.
|
| 2009 | J | jnl |
J. Graphics, GPU, & Game Tools
|
| 2008 | — | conf |
COST 2102 Conference (Prague)
|
| 2007 | J | jnl |
AI Soc.
|
| 2006 | J | jnl |
IEEE Intell. Syst.
|
| 2006 | J | jnl |
Vis. Comput.
|
| 2006 | J | jnl |
IEEE Intell. Syst.
|
| 2006 | B | conf |
IVA
|
| 2005 | — | conf |
INTETAIN
|
| 2005 | — | conf |
INTETAIN
|
| 2005 | — | conf |
MLMI
|
| 2005 | — | conf |
Artificial Intelligence and Applications
|
| 2005 | — | conf |
WHC
|
| 2005 | — | conf |
INTETAIN
|
| 2003 | J | jnl |
Informing Sci. Int. J. an Emerg. Transdiscipl.
|
| 2003 | Misc | conf |
AI
|
| 2003 | — | conf |
Eurographics (Posters)
|
| 2001 | — | book |
Concurrency Verification: Introduction to Compositional and Noncompositional Methods
|
| 2000 | — | conf |
FBT
|
| 1999 | J | jnl |
Distributed Comput.
|
| 1998 | — | conf |
FTRTFT
|
| 1997 | — | conf |
COMPOS
|
| 1996 | — | conf |
FME
|
| 1995 | — | conf |
FSTTCS
|
| 1994 | — | conf |
FTRTFT
|
| 1993 | B | conf |
CONCUR
|
| 1993 | — | conf |
REX School/Symposium
|
| 1993 | — | conf |
PSTV
|
| 1992 | — | conf |
Refine
|
| 1992 | A* | conf |
PODC
|
| 1992 | A* | conf |
CAV
|
| 1992 | — | conf |
FTRTFT
|
| 1992 | B | conf |
COLING
|
| 1991 | B | conf |
Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach.
CONCUR
|
| 1991 | — | conf |
REX Workshop
|
| 1990 | — | conf |
VDM Europe
|
| 1989 | — | book |
|
| 1989 | — | conf |
REX Workshop
|
| 1989 | A* | conf |
PODC
|
| 1987 | — | conf |
Temporal Logic in Specification
|
| 1985 | A* | conf |
ICALP
|
| 1983 | — | conf |
Logic of Programs
|