| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
CODS
|
| 2023 | Misc | conf |
SAC
|
| 2023 | — | conf |
ICDH
|
| 2022 | Misc | conf |
SAC
|
| 2021 | A | conf |
ICSOC
|
| 2021 | A | conf |
ICWSM
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
EMNLP (Findings)
|
| 2021 | J | jnl |
SN Comput. Sci.
|
| 2020 | — | conf |
COMAD/CODS
|
| 2020 | A | conf |
ICSOC
|
| 2018 | — | conf |
CAiSE Forum
|
| 2018 | — | conf |
OTM Conferences (2)
|
| 2018 | — | conf |
SCC
|
| 2017 | — | conf |
OTM Conferences (1)
|
| 2017 | A | conf |
ICWS
|
| 2017 | A | conf |
ER
|
| 2017 | — | conf |
CODS
|
| 2016 | J | jnl |
Trans. Petri Nets Other Model. Concurr.
|
| 2016 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2016 | — | conf |
SCC
|
| 2016 | A | conf |
ER
|
| 2016 | A | conf |
ICSOC
|
| 2016 | J | jnl |
Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey.
Proc. IEEE
|
| 2016 | — | conf |
SCC
|
| 2015 | Misc | conf |
ICISS
|
| 2015 | — | conf |
ICSOC Workshops
|
| 2014 | J | jnl |
J. Appl. Non Class. Logics
|
| 2014 | J | jnl |
IEEE Trans. Serv. Comput.
|
| 2014 | — | conf |
ICSE Companion
|
| 2014 | B | conf |
FM
|
| 2014 | — | conf |
ISEC
|
| 2013 | — | conf |
COMPUTE
|
| 2012 | C | conf |
APSEC
|
| 2012 | C | conf |
ICTAC
|
| 2012 | — | conf |
COMPUTE
|
| 2012 | — | conf |
OWLED
|
| 2012 | — | conf |
ISEC
|
| 2011 | C | conf |
APSEC
|
| 2011 | — | conf |
ISEC
|
| 2010 | J | jnl |
CoRR
|
| 2010 | J | jnl |
CoRR
|
| 2010 | J | jnl |
J. Appl. Non Class. Logics
|
| 2010 | Misc | conf |
COMSNETS
|
| 2010 | — | conf |
CISIM
|
| 2009 | — | conf |
ISEC
|
| 2009 | — | conf |
Bangalore Compute Conf.
|
| 2009 | J | jnl |
CoRR
|
| 2007 | — | conf |
ICCTA
|
| 2007 | — | conf |
COMSWARE
|
| 2007 | B | conf |
SEFM
|
| 2007 | C | conf |
TIME
|
| 2007 | B | conf |
ATVA
|
| 2006 | — | conf |
FMICS/PDMC
|
| 2006 | C | conf |
CIAA
|
| 2006 | — | conf |
COMSWARE
|
| 2005 | Misc | conf |
ICDCIT
|
| 2005 | Misc | conf |
SAC
|
| 2004 | B | conf |
SEFM
|
| 2000 | J | jnl |
J. Log. Comput.
|
| 1999 | A | conf |
STACS
|
| 1998 | J | jnl |
Constraints An Int. J.
|
| 1996 | — | conf |
ASIAN
|