ieee transactions on computer-aided design of integrated circuits & systems (6)
ieee transactions on reliability (4)
static analysis (4)
chinese science bulletin (3)
evidence-based complementary & alternative medicine (ecam) (3)
frontiers in pharmacology (3)
journal of ethnopharmacology (3)
psychiatry research (3)
science china information sciences (3)
science of computer programming (3)
2012 ieee international conference on information science & technology (2)
2012 ieee international conference on information science and technology, information science and technology (icist), 2012 international conference on (2)
bmj open (2)
cell transplantation (2)
febs journal (2)
formal aspects of computing (2)
journal of applied mathematics (2)
verification, model checking, and abstract interpretation (2)
2012 12th international conference on quality software (1)
2012 12th international conference on quality software, quality software (qsic), 2012 12th international conference on (1)
2012 19th asia-pacific software engineering conference (1)
2012 19th asia-pacific software engineering conference, software engineering conference (apsec), 2012 19th asia-pacific (1)
2012 ieee sixth international conference on software security & reliability companion (1)
2012 ieee sixth international conference on software security and reliability companion, software security and reliability companion (sere-c), 2012 ieee sixth international conference on (1)
2012 second international conference on intelligent system design & engineering application (1)
2012 second international conference on intelligent system design and engineering application, intelligent system design and engineering application (isdea), 2012 second international conference on (1)
2013 20th working conference on reverse engineering (wcre) (1)
2013 20th working conference on reverse engineering (wcre), reverse engineering (wcre), 2013 20th working conference on (1)
2013 ieee international symposium on software reliability engineering workshops (issrew) (1)
2013 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew), 2013 ieee international symposium on (1)
2013 ieee seventh international conference on software security & reliability companion (1)
2013 ieee seventh international conference on software security and reliability companion, software security and reliability-companion (sere-c), 2013 ieee 7th international conference on (1)
2015 international conference on embedded software (emsoft) (1)
2016 ieee 40th annual computer software and applications conference (compsac), computer software and applications conference (compsac), 2016 ieee 40th annual (1)
2016 ieee international conference on software quality, reliability and security companion (qrs-c), software quality, reliability and security companion (qrs-c), 2016 ieee international conference on (1)
2017 24th asia-pacific software engineering conference (apsec), asia-pacific software engineering conference (apsec), 2017 24th, apsec (1)
2017 ieee international conference on software maintenance and evolution (icsme), software maintenance and evolution (icsme), 2017 ieee international conference on, icsme (1)
2018 ieee 42nd annual computer software and applications conference (compsac), computer software and applications conference (compsac), 2018 ieee 42nd annual, compsac (1)
2019 acm/ieee international symposium on empirical software engineering and measurement (esem), empirical software engineering and measurement (esem), 2019 acm/ieee international symposium on (1)
2020 ieee 31st international symposium on software reliability engineering (issre), software reliability engineering (issre), 2020 ieee 31st international symposium on, issre (1)
2021 28th asia-pacific software engineering conference (apsec), software engineering conference (apsec), 2021 28th asia-pacific, apsec (1)
2021 ieee 32nd international symposium on software reliability engineering (issre), software reliability engineering (issre), 2021 ieee 32nd international symposium on, issre (1)
computational and structural biotechnology journal (1)
entcs: electronic notes in theoretical computer science (1)
formal aspects of computing: applicable formal methods (1)
integration (1)
journal of biological chemistry (1)
journal of thoracic and cardiovascular surgery (1)
technology & health care (1)
the journal of thoracic and cardiovascular surgery (1)