molecules (16)
ieee transactions on automatic control (10)
agriculture; basel (6)
ieee transactions on neural networks & learning systems (6)
biology (2079-7737) (4)
computer aided verification. part i (4)
ieee transactions on neural networks and learning systems (4)
sustainability (2071-1050) (4)
environmental chemistry letters (3)
ieee transactions on energy conversion (3)
institute of electrical and electronics engineers. transactions on automatic control (3)
isa transactions (3)
animals (2076-2615) (2)
bioengineering (basel) (2)
computer aided verification (2)
discrete event dynamic systems: theory and applications (2)
evolutionary bioinformatics (2)
formal aspects of computing (2)
hscc 2023---proceedings of the 26th international conference on hybrid systems---computation and control (2)
ieee transactions on control of network systems (2)
2014 13th international conference on control automation robotics & vision (icarcv) (1)
2014 13th international conference on control automation robotics & vision (icarcv), control automation robotics & vision (icarcv), 2014 13th international conference on (1)
2016 ieee 55th conference on decision & control (cdc) (1)
2016 ieee 55th conference on decision and control (cdc), decision and control (cdc), 2016 ieee 55th conference on (1)
2016 ieee conference on control applications (cca), control applications (cca), 2016 ieee conference on (1)
2018 annual american control conference (acc), american control conference (acc), 2018 annual (1)
2019 ieee/acm 7th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2019 ieee/acm 7th international conference on (1)
2020 ieee security and privacy workshops (spw), security and privacy workshops (spw), 2020 ieee, spw (1)
2020 ieee workshop on design automation for cps and iot (destion), design automation for cps and iot (destion), 2020 ieee workshop on (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)
acm transactions on embedded computing systems (1)
applied sciences (2076-3417) (1)
computer aided verification. part ii (1)
discrete event dynamic systems (1)
foods (1)
formal aspects of computing: applicable formal methods (1)
formal methods---the next 30 years (1)
hscc'19---proceedings of the 2019 22nd acm international conference on hybrid systems: computation and control (1)
hscc2021---proceedings of the 24th international conference on hybrid systems: computation and control (1)
ifac papersonline (1)
ifac-papersonline (1)
international journal of environmental research & public health (1)
leibniz transactions on embedded systems (1)
plants (2223-7747) (1)
proceedings of the 30th chinese control conference, control conference (ccc), 2011 30th chinese (1)
protist (1)
saudi pharmaceutical journal (1)