interactive computation (18)
international journal on software tools for technology transfer (16)
information and computation (13)
acm computing surveys (10)
introduction to operating system design & implementation (9)
theoretical computer science (9)
electronic notes in theoretical computer science (6)
ieee transactions on software engineering (6)
communications of the acm (4)
journal of systems architecture (4)
acta informatica (3)
bmc bioinformatics (3)
concur '94: concurrency theory (uppsala, 1994) (3)
ieee transactions on parallel & distributed systems (3)
information processing letters (3)
international journal of parallel programming (3)
journal of the acm (3)
runtime verification (3)
advances in physiology education (2)
computer aided verification (2)
formal methods in system design (2)
ieee-acm transactions on computational biology and bioinformatics (2)
information & computation (2)
logical methods in computer science (2)
science of computer programming (2)
theory and practice of logic programming (2)
2006 ieee long island systems, applications and technology conference, systems, applications and technology conference, 2006. lisat 2006. ieee long island (1)
2007 ieee international parallel and distributed processing symposium, parallel and distributed processing symposium, 2007. ipdps 2007. ieee international (1)
2008 11th ieee high assurance systems engineering symposium, high assurance systems engineering symposium, 2008. hase 2008. 11th ieee (1)
2008 2nd international conference on bioinformatics and biomedical engineering, bioinformatics and biomedical engineering, 2008. icbbe 2008. the 2nd international conference on (1)
2008 ieee international symposium on parallel and distributed processing, parallel and distributed processing, 2008. ipdps 2008. ieee international symposium on (1)
2010 ieee 12th international symposium on high assurance systems engineering, high-assurance systems engineering (hase), 2010 ieee 12th international symposium on (1)
2011 ieee 13th international symposium on high-assurance systems engineering, high-assurance systems engineering (hase), 2011 ieee 13th international symposium on (1)
2011 international green computing conference and workshops, green computing conference and workshops (igcc), 2011 international (1)
2014 tenth european dependable computing conference, dependable computing conference (edcc), 2014 tenth european (1)
2016 ieee international conference on bioinformatics and biomedicine (bibm), bioinformatics and biomedicine (bibm), 2016 ieee international conference on (1)
2018 ieee conference on decision and control (cdc), decision and control (cdc), 2018 ieee conference on (1)
2018 ieee workshop on monitoring and testing of cyber-physical systems (mt-cps), monitoring and testing of cyber-physical systems (mt-cps), 2018 ieee workshop on, mt-cps (1)
2019 american control conference (acc), control conference (acc), 2019 american (1)
2020 59th ieee conference on decision and control (cdc), decision and control (cdc), 2020 59th ieee conference on (1)
2020 ieee international conference on autonomic computing and self-organizing systems (acsos), autonomic computing and self-organizing systems (acsos), 2020 ieee international conference on (1)
2021 60th ieee conference on decision and control (cdc), decision and control (cdc), 2021 60th ieee conference on (1)
2021 american control conference (acc), american control conference (acc), 2021 (1)
2023 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2023 ieee international conference on (1)
acm transactions on software engineering and methodology (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)
nonlinear analysis-hybrid systems (1)
proceedings of the aaai conference on artificial intelligence (1)
数理解析研究所講究録 (1)