| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | A | conf |
A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification.
DATE
|
| 2024 | B | conf |
ENASE
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
J. Log. Algebraic Methods Program.
|
| 2023 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2022 | — | conf |
CBI (1)
|
| 2022 | — | conf |
NCL
|
| 2020 | J | jnl |
Theor. Comput. Sci.
|
| 2020 | C | conf |
TIME
|
| 2020 | — | conf |
CBI (1)
|
| 2019 | — | conf |
CBI (1)
|
| 2019 | C | conf |
TIME
|
| 2018 | — | conf |
EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths.
EC-TEL (Practitioner Proceedings)
|
| 2018 | C | conf |
TIME
|
| 2018 | J | jnl |
FLAP
|
| 2017 | — | conf |
COMPSAC (1)
|
| 2014 | B | conf |
COMPSAC
|
| 2012 | J | jnl |
J. Intell. Syst.
|
| 2011 | — | conf |
SSIRI (Companion)
|
| 2011 | — | conf |
IICAI
|
| 2009 | — | conf |
IICAI
|
| 2009 | — | conf |
SSIRI
|
| 2007 | — | conf |
IICAI
|
| 2007 | C | conf |
TIME
|
| 2007 | — | conf |
CoreGRID Workshop - Making Grids Work
|
| 2006 | J | jnl |
Ann. Math. Artif. Intell.
|
| 2006 | J | jnl |
J. Appl. Log.
|
| 2006 | — | conf |
John Vincent Atanasoff Symposium
|
| 2006 | B | conf |
JELIA
|
| 2005 | J | jnl |
Ann. Pure Appl. Log.
|
| 2005 | — | conf |
IICAI
|
| 2005 | C | conf |
TIME
|
| 2004 | C | conf |
TIME
|
| 2003 | C | conf |
TIME
|
| 2002 | J | jnl |
Artif. Intell.
|
| 2002 | J | jnl |
J. Log. Comput.
|
| 2000 | — | conf |
ARW
|
| 2000 | — | — |
|
| 2000 | C | conf |
TIME
|
| 1999 | J | jnl |
J. Exp. Theor. Artif. Intell.
|
| 1999 | B | conf |
MFCS
|
| 1998 | J | jnl |
Artif. Intell. Medicine
|
| 1997 | C | conf |
TIME
|