frontiers of computer science (10)
medicine (10)
ieee transactions on reliability (4)
information processing letters (3)
information sciences (3)
journal of applied mathematics (3)
journal of gastroenterology and hepatology (3)
journal of systems architecture (3)
computer (00189162) (2)
frontiers of computer science in china (2)
frontiers of information technology & electronic engineering (2)
ieee transactions on software engineering (2)
journal of cellular physiology (2)
journal of software. ruanjian xuebao (2)
science china information sciences (2)
science china-information sciences (2)
2008 2nd ifip/ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering, 2008. tase '08. 2nd ifip/ieee international symposium on (1)
2010 4th ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2010 4th ieee international symposium on (1)
2011 fifth international conference on secure software integration and reliability improvement - companion, secure software integration & reliability improvement companion (ssiri-c), 2011 5th international conference on (1)
2014 21st asia-pacific software engineering conference (1)
2014 21st asia-pacific software engineering conference, software engineering conference (apsec), 2014 21st asia-pacific (1)
2014 theoretical aspects of software engineering conference (1)
2014 theoretical aspects of software engineering conference, theoretical aspects of software engineering conference (tase), 2014 (1)
2017 ieee international conference on software quality, reliability and security companion (qrs-c), software quality, reliability and security companion (qrs-c), 2017 ieee international conference on, qrs-c (1)
2018 33rd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2018 33rd ieee/acm international conference on (1)
2019 ieee/acm 41st international conference on software engineering (icse), software engineering (icse), 2019 ieee/acm 41st international conference on, icse (1)
2020 27th asia-pacific software engineering conference (apsec), software engineering conference (apsec), 2020 27th asia-pacific, apsec (1)
2020 ieee international conference on systems, man, and cybernetics (smc), systems, man, and cybernetics (smc), 2020 ieee international conference on (1)
2021 2nd international conference on artificial intelligence and computer engineering (icaice), artificial intelligence and computer engineering (icaice), 2021 2nd international conference on, icaice (1)
2021 ieee frontiers in education conference (fie), frontiers in education conference (fie), 2021 ieee (1)
2023 ieee international conference on multimedia and expo (icme), multimedia and expo (icme), 2023 ieee international conference on, icme (1)
computer (1)
computer aided verification. part i (1)
computer science and information systems (1)
dependable software engineering: theories, tools & applications (9783319476766) (1)
electronics (2079-9292) (1)
frontiers of computer science in china: selected publications from chinese universities (1)
ieee transactions on automatic control (1)
ieee transactions on knowledge and data engineering (1)
institute of electrical and electronics engineers. transactions on automatic control (1)
international journal of molecular medicine (1)
molecular medicine reports (1)
pathology - research & practice (1)
science of computer programming (1)
theoretical aspects of computing - ictac 2013 (1)
theoretical aspects of computing---ictac 2013 (1)
theoretical aspects of computing---ictac 2022 (1)
tsinghua science and technology (1)