| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2018 | J | jnl |
BioData Min.
|
| 2016 | — | ch. |
From Action Systems to Distributed Systems
|
| 2016 | J | jnl |
J. Intell. Transp. Syst.
|
| 2016 | J | jnl |
Earth Sci. Informatics
|
| 2016 | — | ch. |
From Action Systems to Distributed Systems
|
| 2015 | — | conf |
ISESS
|
| 2015 | J | jnl |
Future Gener. Comput. Syst.
|
| 2015 | — | conf |
SSN-TC/OrdRing@ISWC
|
| 2015 | — | conf |
ISESS
|
| 2015 | — | conf |
ISESS
|
| 2014 | — | conf |
NASA Formal Methods
|
| 2014 | J | jnl |
Environ. Model. Softw.
|
| 2014 | J | jnl |
IEEE Trans. Intell. Transp. Syst.
|
| 2013 | — | conf |
ISESS
|
| 2013 | — | conf |
ISESS
|
| 2013 | — | conf |
ISESS
|
| 2013 | — | conf |
ISESS
|
| 2012 | — | conf |
AIAI (2)
|
| 2011 | — | conf |
ISESS
|
| 2011 | J | jnl |
Simul. Model. Pract. Theory
|
| 2009 | — | conf |
CSIE (5)
|
| 2009 | — | conf |
IMCSIT
|
| 2008 | J | jnl |
Simul. Model. Pract. Theory
|
| 2008 | — | conf |
ITNG
|
| 2007 | J | jnl |
Artif. Life
|
| 2007 | Misc | conf |
CISIS
|
| 2007 | C | conf |
ICSEA
|
| 2007 | — | conf |
GRAPP (AS/IE)
|
| 2007 | — | conf |
IAT
|
| 2004 | — | conf |
ICINCO (2)
|
| 2003 | J | jnl |
Theor. Comput. Sci.
|
| 2001 | J | jnl |
Nord. J. Comput.
|
| 1999 | — | conf |
HSCC
|
| 1997 | — | conf |
Hybrid Systems
|