information processing letters (9)
theoretical computer science (7)
ieee transactions on software engineering (6)
information and computation (6)
logical methods in computer science (5)
entcs: electronic notes in theoretical computer science (4)
international journal of approximate reasoning (4)
international journal of software engineering & knowledge engineering (4)
journal of nanjing university. natural sciences (4)
journal of systems & software (4)
acm transactions on software engineering & methodology (3)
discrete applied mathematics (3)
electronic notes in theoretical computer science (3)
frontiers of computer science (3)
iet software (wiley-blackwell) (3)
journal of systems architecture (3)
proceedings of spie (3)
science china information sciences (3)
2017 ieee/acm 39th international conference on software engineering (icse), software engineering (icse), 2017 ieee/acm 39th international conference on, icse (2)
2021 ieee 21st international conference on software quality, reliability and security (qrs), software quality, reliability and security (qrs), 2021 ieee 21st international conference on, qrs (2)
acm transactions on computational logic (2)
computer aided verification. part i (2)
computers & mathematics with applications (2)
ecological informatics (2)
empirical software engineering (2)
formal aspects of computing (2)
formal methods in system design (2)
fourth international conference on fuzzy systems and knowledge discovery (fskd 2007), fuzzy systems and knowledge discovery, 2007. fskd 2007. fourth international conference on (2)
iet biometrics (wiley-blackwell) (2)
information & computation (2)
journal of computer science and technology (2)
journal of wuhan university. natural science edition. wuhan daxue xuebao. lixue ban (2)
mathematical foundations of computer science 2012 (2)
mathematical foundations of computer science 2013 (2)
science of computer programming (2)
studia logica (2)
studia logica: an international journal for symbolic logic (2)
2008 23rd annual ieee symposium on logic in computer science, logic in computer science, 2008. lics '08. 23rd annual ieee symposium on (1)
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)
2008 fifth international conference on fuzzy systems and knowledge discovery, fuzzy systems and knowledge discovery, 2008. fskd '08. fifth international conference on (1)
2009 24th annual ieee symposium on logic in computer science, logic in computer science, 2009. lics '09. 24th annual ieee symposium on (1)
2011 50th ieee conference on decision and control and european control conference, decision and control and european control conference (cdc-ecc), 2011 50th ieee conference on (1)
2012 ieee 33rd real-time systems symposium, real-time systems symposium (rtss), 2012 ieee 33rd (1)
2013 international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2013 international symposium on (1)
2017 ieee european symposium on security and privacy workshops (euros&pw), security and privacy workshops (euros&pw), 2017 ieee european symposium on, euros-pw (1)
2019 ieee/acm 41st international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2019 ieee/acm 41st international conference on (1)
empirical software engineering: an international journal (1)
formal aspects of computing: applicable formal methods (1)
formal methods in system design: an international journal (1)
synthese: an international journal for epistemology, methodology and philosophy of science (1)