journal of logical and algebraic methods in programming (7)
international journal of parallel programming (5)
science of computer programming (5)
automated software engineering (3)
empirical software engineering (3)
international journal of advanced robotic systems (3)
mathematics of program construction (3)
2023 38th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2023 38th ieee/acm international conference on, ase (2)
autonomous agents and multi-agent systems (2)
biochemical journal (2)
blockchain: research and applications (2)
cells (2073-4409) (2)
europace (2)
ieee sensors journal (2)
international journal on software tools for technology transfer (2)
mathematics of program construction (9783642133206) (2)
2009 39th ieee frontiers in education conference, frontiers in education conference, 2009. fie '09. 39th ieee (1)
2012 35th annual ieee software engineering workshop (1)
2012 35th annual ieee software engineering workshop, software engineering workshop (sew), 2012 35th annual ieee (1)
2012 sixth international symposium on theoretical aspects of software engineering (1)
2012 sixth international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2012 sixth international symposium on (1)
2016 24th euromicro international conference on parallel, distributed & network-based processing (pdp) (1)
2016 24th euromicro international conference on parallel, distributed, and network-based processing (pdp), parallel, distributed, and network-based processing (pdp), 2016 24th euromicro international conference on (1)
2016 38th annual international conference of the ieee engineering in medicine and biology society (embc), engineering in medicine and biology society (embc), 2016 ieee 38th annual international conference of the (1)
2017 ieee 25th international requirements engineering conference workshops (rew), requirements engineering conference workshops (rew), 2017 ieee 25th international, rew (1)
2019 ieee/sice international symposium on system integration (sii), system integration (sii), 2019 ieee/sice international symposium on (1)
2020 35th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2020 35th ieee/acm international conference on, ase (1)
2020 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew),2020 ieee international symposium on, issrew (1)
2020 ieee/acm 42nd international conference on software engineering (icse), software engineering (icse), 2020 ieee/acm 42nd international conference on, icse (1)
2021 36th ieee/acm international conference on automated software engineering workshops (asew), automated software engineering workshops (asew), 2021 36th ieee/acm international conference on, asew (1)
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 (1)
2022 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2022 ieee international conference on, icstw (1)
2022 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew), 2022 ieee international symposium on, issrew (1)
2022 ieee/acm 9th international conference on mobile software engineering and systems (mobilesoft), mobile software engineering and systems (mobilesoft), 2022 ieee/acm 9th international conference on, mobilesoft (1)
2022 ieee/sice international symposium on system integration (sii), system integration (sii), 2022 ieee/sice international symposium on (1)
automated software engineering: an international journal (1)
autonomous agents & multi-agent systems (1)
empirical software engineering: an international journal (1)
ep: europace (1)
formal methods & software engineering: 15th international conference on formal engineering methods, icfem 2013, queenstown, new zealand, october 29 - november 1, 2013, proceedings (1)
frontiers in cell & developmental biology (1)
icse: international conference on software engineering (1)
international conference on interactive tabletops & surfaces (1)
logic programming & nonmonotonic reasoning (9783642405631) (1)
proceedings of the 15th acm asia conference on computer and communications security (1)
proceedings of the 2014 conference on innovation & technology in computer science education (1)
proceedings of the 35th ieee/acm international conference on automated software engineering (1)
proceedings of the acm/ieee 42nd international conference on software engineering (1)
proceedings of the knowledge capture conference (1)
proceedings of the ninth acm international conference on interactive tabletops and surfaces (1)