acta informatica (5)
bmc bioinformatics (3)
ieee/acm transactions on computational biology & bioinformatics (3)
ieee-acm transactions on computational biology and bioinformatics (3)
international journal on software tools for technology transfer (3)
runtime verification (3)
science of computer programming (3)
ecological modelling (2)
frontiers in genetics (2)
hscc 2023---proceedings of the 26th international conference on hybrid systems---computation and control (2)
journal of systems & software (2)
journal of systems and software (2)
procedia computer science (2)
2014 ieee international conference on healthcare informatics (1)
2014 ieee international conference on healthcare informatics, healthcare informatics (ichi), 2014 ieee international conference on (1)
2015 37th annual international conference of the ieee engineering in medicine & biology society (embc) (1)
2015 37th annual international conference of the ieee engineering in medicine and biology society (embc), engineering in medicine and biology society (embc), 2015 37th annual international conference of the ieee (1)
2016 ieee international conference on bioinformatics and biomedicine (bibm), bioinformatics and biomedicine (bibm), 2016 ieee international conference on (1)
2017 ieee international conference on software architecture (icsa), software architecture (icsa), 2017 ieee international conference on, icsa (1)
2019 american control conference (acc), control conference (acc), 2019 american (1)
2021 60th ieee conference on decision and control (cdc), decision and control (cdc), 2021 60th ieee conference on (1)
2021 ieee international conference on fuzzy systems (fuzz-ieee), fuzzy systems (fuzz-ieee), 2021 ieee international conference on (1)
acm transactions on cyber-physical systems (1)
autonomous agents & multi-agent systems (1)
autonomous agents and multi-agent systems (1)
computational methods in systems biology (1)
computational methods in systems biology: 12th international conference, cmsb 2014, manchester, uk, november 17-19, 2014, proceedings (1)
computer aided verification (9783319088662) (1)
computer aided verification. part ii. (1)
from reactive systems to cyber-physical systems---essays dedicated to scott a. smolka on the occasion of his 65th birthday (1)
hscc'16---proceedings of the 19th international conference on hybrid systems: computation and control (1)
hybrid systems biology: fourth international workshop, hsb 2015, madrid, spain, september 4-5, 2015. revised selected papers (1)
ieee access (1)
ieee/acm transactions on computational biology and bioinformatics, computational biology and bioinformatics, ieee/acm transactions on, ieee/acm trans. comput. biol. and bioinf. (1)
leveraging applications of formal methods, verification & validation. specialized techniques & applications: part ii (1)
proceedings of the 19th international conference hybrid systems computation & control (1)
proceedings of the 9th international conference: computational methods in systems biology (1)
proceedings of the european conference on complex systems 2012 (1)
research directions: cyber-physical systems (1)
static analysis: 22nd international symposium, sas 2015, saint-malo, france, september 9-11, 2015, proceedings (1)
tools & algorithms for the construction & analysis of systems (9783662496732) (1)
tools and algorithms for the construction and analysis of systems (1)
transactions on computational systems biology xiv (1)