theory of computing systems (6)
communications of the acm (5)
proceedings of the acm on programming languages (5)
acm sigplan notices (4)
acm / sigplan notices (3)
computer aided verification (3)
proceedings of the vldb endowment (3)
acm transactions on storage (2)
computer aided verification (9783642397981) (2)
computer aided verification. part i (2)
proceedings of the 2018 26th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering (2)
static analysis (2)
verification, model checking, and abstract interpretation (2)
2019 14th acm/ieee international conference on human-robot interaction (hri), human-robot interaction (hri), 2019 14th acm/ieee international conference on (1)
2021 ieee symposium on security and privacy (sp), security and privacy (sp), 2021 ieee symposium on, sp (1)
2022 26th international conference on pattern recognition (icpr), pattern recognition (icpr), 2022 26th international conference on (1)
2022 55th ieee/acm international symposium on microarchitecture (micro), microarchitecture (micro), 2022 55th ieee/acm international symposium on, micro (1)
21st international conference on database theory (1)
acm transactions on storage (tos) - special issue on fast 2018 and regular papers (1)
acm/ieee international conference on human-robot interaction (1)
companion of the 2023 acm/ieee international conference on human-robot interaction (1)
computer aided verification (9783642142949) (1)
computer aided verification (9783642314230) (1)
computer aided verification. part i. (1)
computer aided verification. part ii (1)
computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part ii (1)
formal methods in system design (1)
formal methods in system design: an international journal (1)
foundations & trends in programming languages (1)
proceedings of the 14th acm/ieee international conference on human-robot interaction (1)
proceedings of the 2017 11th joint meeting on foundations of software engineering (1)
proceedings of the 2020 chi conference on human factors in computing systems (1)
proceedings of the 2021 chi conference on human factors in computing systems (1)
proceedings of the 2023 acm/ieee international conference on human-robot interaction (1)
proceedings of the 31st annual acm symposium on user interface software and technology (1)
proceedings of the 32nd annual acm symposium on user interface software and technology (1)
proceedings of the 33rd acm sigplan conference on programming language design and implementation (1)
proceedings of the 33rd acm sigplan conference programming language design & implementation (1)
proceedings of the 37th acm sigplan conference on programming language design and implementation (1)
proceedings of the 41st acm sigplan conference on programming language design and implementation (1)
proceedings of the 41st acm sigplan-sigact symposium on principles of programming languages (1)
proceedings of the 41st acm sigplan-sigact symposium principles of programming languages (1)
proceedings of the 43rd annual acm sigplan-sigact symposium on principles of programming languages (1)
proceedings of the conference on fairness, accountability, and transparency (1)
proceedings of the third international workshop on exploiting artificial intelligence techniques for data management (1)
static analysis (9783642331244) (1)
tools & algorithms for the construction & analysis of systems (9783642287558) (1)
tools & algorithms for the construction & analysis of systems (9783642367410) (1)
verification, model checking & abstract interpretation (9783642279393) (1)