| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | J | jnl |
Frontiers Big Data
|
| 2019 | — | ch. |
Automated Reasoning for Systems Biology and Medicine
|
| 2018 | J | jnl |
IEEE Des. Test
|
| 2017 | C | conf |
COORDINATION
|
| 2017 | A | conf |
DATE
|
| 2016 | — | conf |
EMBC
|
| 2016 | — | conf |
FORMATS
|
| 2014 | — | conf |
MCPS
|
| 2014 | J | jnl |
Int. J. Artif. Intell. Tools
|
| 2014 | C | conf |
BIBE
|
| 2013 | — | conf |
EMBC
|
| 2013 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2012 | — | conf |
BIBM Workshops
|
| 2012 | C | conf |
ICCD
|
| 2012 | C | conf |
BIBE
|
| 2012 | — | conf |
EMBC
|
| 2011 | Misc | conf |
CASES
|
| 2009 | C | conf |
ETFA
|
| 2009 | A | conf |
DATE
|
| 2008 | — | conf |
SIES
|