icse: international conference on software engineering (8)
ieee transactions on software engineering (7)
formal aspects of computing (6)
journal of chemical research (5)
cheminform (4)
international journal of electrical & computer engineering (2088-8708) (4)
bioinformatics (3)
bmc bioinformatics (3)
2021 36th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2021 36th ieee/acm international conference on, ase (2)
2021 ieee/acm 43rd international conference on software engineering (icse), software engineering (icse), 2021 ieee/acm 43rd international conference on, icse (2)
2021 ieee/acm 43rd international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2021 ieee/acm 43rd international conference on, icse-companion (2)
fm 2015: formal methods (2)
formal aspects of computing: applicable formal methods (2)
journal of systems & software (2)
10th international conference on information technology (icit 2007), information technology, (icit 2007). 10th international conference on (1)
2008 ieee/acs international conference on computer systems and applications, computer systems and applications, 2008. aiccsa 2008. ieee/acs international conference on (1)
2011 33rd international conference on software engineering (icse) (1)
2011 33rd international conference on software engineering (icse), software engineering (icse), 2011 33rd international conference on (1)
2013 35th international conference on software engineering (icse) (1)
2013 35th international conference on software engineering (icse), software engineering (icse), 2013 35th international conference on (1)
2015 ieee 26th international symposium on software reliability engineering (issre) (1)
2015 ieee 26th international symposium on software reliability engineering (issre), software reliability engineering (issre), 2015 ieee 26th international symposium on (1)
2015 ieee/acm 12th working conference on mining software repositories (1)
2015 ieee/acm 12th working conference on mining software repositories, mining software repositories (msr), 2015 ieee/acm 12th working conference on (1)
2015 ieee/acm 37th ieee international conference on software engineering, software engineering (icse), 2015 ieee/acm 37th ieee international conference on (1)
2016 46th annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2016 46th annual ieee/ifip international conference on (1)
2016 ieee/acm 38th international conference on software engineering (icse), software engineering (icse), 2016 ieee/acm 38th international conference on, icse (1)
2017 ieee international conference on software architecture (icsa), software architecture (icsa), 2017 ieee international conference on, icsa (1)
2017 ieee/acm 39th international conference on software engineering companion (icse-c), software engineering companion (icse-c), 2017 ieee/acm 39th international conference on, icse-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)
2018 ieee international conference on software maintenance and evolution (icsme), software maintenance and evolution (icsme), 2018 ieee international conference on, icsme (1)
2018 ieee/acm 40th international conference on software engineering (icse), software engineering (icse), 2018 ieee/acm 40th international conference on, icse (1)
2020 acm/ieee 11th international conference on cyber-physical systems (iccps), cyber-physical systems (iccps), 2020 acm/ieee 11th international conference on (1)
2020 ieee international conference on software maintenance and evolution (icsme), software maintenance and evolution (icsme), 2020 ieee international conference on, icsme (1)
2020 ieee/acm 42nd international conference on software engineering (icse), software engineering (icse), 2020 ieee/acm 42nd international conference on, icse (1)
2020 ieee/acm 42nd international conference on software engineering: new ideas and emerging results (icse-nier), software engineering: new ideas and emerging results (icse-nier), 2020 ieee/acm 42nd international conference on, icse-nier (1)
2022 52nd annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2022 52nd annual ieee/ifip international conference on, dsn (1)
2023 ieee/acm 11th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2023 ieee/acm 11th international conference on, formalise (1)
2024 ieee/acm 46th international conference on software engineering (icse), software engineering (icse), 2024 ieee/acm 46th international conference on, icse (1)
abstract state machines, alloy, b & z (1)
acm sigplan notices (1)
empirical software engineering: an international journal (1)
fundamental approaches to software engineering (1)
ieee infocom 2019 - ieee conference on computer communications, computer communications (infocom), 2019 ieee conference on (1)
ieee transactions on information forensics and security (1)
international journal of electrical and computer engineering (ijece) (1)
journal of systems and software (1)
physica e (1)
physica e: low-dimensional systems and nanostructures (1)
physica e-low-dimensional systems & nanostructures (1)