ieee transactions on computer-aided design of integrated circuits & systems (6)
journal of chemical physics (3)
leveraging applications of formal methods, verification & validation. specialized techniques & applications: part ii (3)
2023 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2023 ieee international conference on (2)
2024 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2024 ieee international conference on (2)
computer (00189162) (2)
computer aided verification. part ii (2)
formal methods in system design (2)
ieee transactions on computer-aided design of integrated circuits and systems (2)
ieee transactions on robotics (2)
ieee transactions on smart grid (2)
18th acm international conference on hybrid systems: computation and control---hscc'15 (1)
2012 27th annual ieee symposium on logic in computer science (1)
2012 27th annual ieee symposium on logic in computer science, logic in computer science (lics), 2012 27th annual ieee symposium on (1)
2013 formal methods in computer-aided design, formal methods in computer-aided design (fmcad), 2013 (1)
2014 16th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2014 16th international symposium on (1)
2015 54th ieee conference on decision and control (cdc), decision and control (cdc), 2015 ieee 54th annual conference on (1)
2016 ieee international conference on bioinformatics and biomedicine (bibm), bioinformatics and biomedicine (bibm), 2016 ieee international conference on (1)
2017 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2017 (1)
2018 55th acm/esda/ieee design automation conference (dac), design automation conference (dac), 2018 55th acm/esda/ieee (1)
2018 ieee conference on decision and control (cdc), decision and control (cdc), 2018 ieee conference on (1)
2020 25th asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2020 25th asia and south pacific (1)
2020 ieee security and privacy workshops (spw), security and privacy workshops (spw), 2020 ieee, spw (1)
2021 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2021 ieee international conference on (1)
2022 acm/ieee 13th international conference on cyber-physical systems (iccps), cyber-physical systems (iccps), 2022 acm/ieee 13th international conference on, iccps (1)
2022 ieee/rsj international conference on intelligent robots and systems (iros), intelligent robots and systems (iros), 2022 ieee/rsj international conference on (1)
2023 ieee/cvf conference on computer vision and pattern recognition workshops (cvprw), computer vision and pattern recognition workshops (cvprw), 2023 ieee/cvf conference on, cvprw (1)
algebraic informatics (1)
automated deduction---cade-24 (1)
automated reasoning (1)
computational methods in systems biology (1)
computer (1)
formal methods in computer aided design, formal methods in computer-aided design (fmcad), 2010 (1)
formal methods in system design: an international journal (1)
hscc'16---proceedings of the 19th international conference on hybrid systems: computation and control (1)
proceedings of the 18th international conference on hybrid systems: computation and control (1)
proceedings of the 19th international conference on hybrid systems: computation and control (1)
proceedings of the 1st international workshop on safe control of connected and autonomous vehicles (1)
proceedings of the 1st international workshop on verification of autonomous & robotic systems (1)
proceedings of the 2010 conference on formal methods in computer-aided design (1)
proceedings of the 2012 27th annual acm/ieee symposium on logic in computer science (1)
proceedings of the 2012 27th annual ieee/acm symposium on logic in computer science (1)
proceedings of the 2019 acm sigsac conference on computer and communications security (1)
proceedings of the 2019 international symposium on physical design (1)
proceedings of the 2021 aaai/acm conference on ai, ethics, and society (1)
proceedings of the 20th international conference on hybrid systems: computation and control (1)
proceedings of the 21st international conference on hybrid systems: computation and control (part of cps week) (1)
proceedings of the 55th annual design automation conference (1)
theory and applications of satisfiability testing---sat 2010 (1)
tools and algorithms for the construction and analysis of systems (1)