ieee transactions on automatic control (8)
bioorganic & medicinal chemistry letters (6)
computer aided verification. part i (6)
acm transactions on embedded computing systems (5)
analytical biochemistry (4)
cancer research (4)
formal aspects of computing (4)
theoretical computer science (4)
acm international conference proceeding series (3)
communications of the acm (3)
current developments in nutrition (3)
design automation for embedded systems (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
ieee transactions on control of network systems (3)
ifac papersonline (3)
ifac-papersonline (3)
institute of electrical and electronics engineers. transactions on automatic control (3)
journal of cell science (3)
plos genetics (3)
plos one (3)
2011 ieee/acm second international conference on cyber-physical systems, cyber-physical systems (iccps), 2011 ieee/acm international conference on (2)
2016 ieee 55th conference on decision & control (cdc) (2)
2021 ieee security and privacy workshops (spw), security and privacy workshops (spw), 2021 ieee, spw (2)
abstracts of papers of the american chemical society (2)
computer (00189162) (2)
desalination & water treatment (2)
electronic notes in theoretical computer science (2)
entcs: electronic notes in theoretical computer science (2)
european journal of preventive cardiology (2)
expert opinion on drug discovery (2)
fm 2012: formal methods (2)
fm 2014: formal methods (2)
formal methods in system design (2)
ieee design & test (2)
ieee security & privacy (2)
international journal of cancer (2)
jama network open (2)
journal of immunoassay & immunochemistry (2)
medinfo (2)
nonlinear analysis: hybrid systems (2)
nutrition & healthy aging (2)
proceedings of the 14th international conference: hybrid systems: computation & control (2)
proceedings of the 15th acm international conference hybrid systems computation & control (2)
studies in health technology & informatics (2)
2009 ieee international conference on automation science and engineering, automation science and engineering, 2009. case 2009. ieee international conference on (1)
2010 16th ieee real-time and embedded technology and applications symposium, real-time and embedded technology and applications symposium (rtas), 2010 16th ieee (1)
2010 ieee 30th international conference on distributed computing systems, distributed computing systems (icdcs), 2010 ieee 30th international conference on (1)
design automation for embedded systems: an international journal (1)
formal aspects of computing: applicable formal methods (1)
formal methods in system design: an international journal (1)