| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
ARTECH
|
| 2025 | — | conf |
SBLP
|
| 2019 | J | jnl |
Int. J. Softw. Eng. Knowl. Eng.
|
| 2019 | J | jnl |
Sci. Comput. Program.
|
| 2018 | — | conf |
SBLP
|
| 2018 | J | jnl |
CoRR
|
| 2018 | B | conf |
FoSSaCS
|
| 2016 | — | conf |
SBLP
|
| 2016 | — | ed. |
WEIT
|
| 2015 | — | conf |
SBLP
|
| 2015 | — | conf |
WEIT
|
| 2015 | — | conf |
WEIT
|
| 2015 | J | jnl |
RITA
|
| 2015 | J | jnl |
Formal Aspects Comput.
|
| 2013 | — | conf |
SBLP
|
| 2013 | — | conf |
WEIT
|
| 2013 | — | conf |
WEIT
|
| 2009 | J | jnl |
Braz. J. Inf. Syst.
|
| 2009 | — | conf |
SBMF
|
| 2009 | C | conf |
WoLLIC
|
| 2008 | — | conf |
QPL/DCM@ICALP
|
| 2006 | — | — |
|
| 2006 | — | conf |
QPL
|
| 2006 | J | jnl |
Math. Struct. Comput. Sci.
|
| 2005 | — | conf |
QPL
|
| 2005 | J | jnl |
CoRR
|