new generation computing (12)
ieee transactions on computer-aided design of integrated circuits & systems (9)
theoretical computer science (8)
journal of logical and algebraic methods in programming (6)
logical methods in computer science (6)
ieee transactions on computer-aided design of integrated circuits and systems (5)
computer aided verification. part i (4)
computer aided verification. part ii (4)
entcs: electronic notes in theoretical computer science (4)
information and computation (4)
journal of functional programming (4)
mathematical structures in computer science (4)
proceedings of the joint meeting of the twenty-third eacsl annual conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics) (4)
acm sigplan notices (3)
algebra and coalgebra in computer science (3)
coalgebraic methods in computer science (3)
journal of computer security (3)
logic journal of the igpl (3)
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 (2)
acm / sigplan notices (2)
acm transactions on modeling and computer simulation (2)
acm transactions on software engineering and methodology (2)
annals of pure and applied logic (2)
communications of the acm (2)
electronic notes in theoretical computer science (2)
hscc'19---proceedings of the 2019 22nd acm international conference on hybrid systems: computation and control (2)
ieee transactions on intelligent vehicles (2)
ieee transactions on software engineering (2)
ifac papersonline (2)
ifac-papersonline (2)
journal of logic and computation (2)
latin 2006: theoretical informatics (2)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (2)
proceedings of the 22nd acm international conference on hybrid systems: computation and control (2)
proceedings of the 43rd annual acm sigplan-sigact symposium on principles of programming languages (2)
proceedings of the joint meeting of the twenty-third eacsl annual conference computer science logic (2)
workshop on formal methods in security engineering (2)
2011 ieee 26th annual symposium on logic in computer science, logic in computer science (lics), 2011 26th annual ieee symposium on (1)
2016 31st annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2016 31st annual acm/ieee symposium on (1)
2017 32nd annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2017 32nd annual acm/ieee symposium on (1)
2018 23rd international conference on engineering of complex computer systems (iceccs), engineering of complex computer systems (iceccs), 2018 23rd international conference on, iceccs (1)
2019 34th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2019 34th annual acm/ieee symposium on (1)
2021 36th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2021 36th annual acm/ieee symposium on (1)
2021 international joint conference on neural networks (ijcnn), neural networks (ijcnn), 2021 international joint conference on (1)
2023 ieee 26th international conference on intelligent transportation systems (itsc), intelligent transportation systems (itsc), 2023 ieee 26th international conference on (1)
2023 ieee intelligent vehicles symposium (iv), intelligent vehicles symposium (iv), 2023 ieee (1)
acm transactions on modeling and computer simulation (tomacs) - special issue on qest 2019 (1)
acm transactions on programming languages and systems (toplas) (1)
proceedings of the 13th international workshop on variability modelling of software-intensive systems (1)
proceedings of the 2005 acm workshop on formal methods in security engineering (1)