acta informatica (5)
information and computation (4)
fuel processing technology (3)
logical methods in computer science (3)
theoretical computer science (3)
apcbee procedia (2)
computer science logic 2018 (2)
information & computation (2)
softwarex (2)
2021 acm/ieee international conference on model driven engineering languages and systems companion (models-c), model driven engineering languages and systems companion (models-c), 2021 acm/ieee international conference on, models-c (1)
2021 ieee international conference on blockchain and cryptocurrency (icbc), blockchain and cryptocurrency (icbc), 2021 ieee international conference on (1)
2022 ieee aerospace conference (aero), aerospace conference (aero), 2022 ieee (1)
2023 ieee aerospace conference, aerospace conference, 2023 ieee (1)
36th iarcs annual conference on foundations of software technology and theoretical computer science (1)
37th iarcs annual conference on foundations of software technology and theoretical computer science (1)
acm international conference proceeding series (1)
acta cybernetica (1)
biomass conversion and biorefinery (1)
biomass conversion and biorefinery: processing of biogenic material for energy and chemistry (1)
bulletin of the european association for theoretical computer science. eatcs (1)
computer science logic 2016 (1)
formal methods in system design (1)
formal methods in system design: an international journal (1)
hscc2020---proceedings of the 23rd international conference on hybrid systems: computation and control (1)
mathematics of operations research (1)
proceedings ninth international symposium on games, automata, logics, and formal verification (1)
proceedings of the seventh international symposium on games, automata, logics and formal verification (1)
proceedings tenth international symposium on games, automata, logics, and formal verification (1)
runtime verification (1)