mathematics in computer science (9)
european journal of control (6)
acm transactions on computational logic (5)
mathematics of computation (5)
reliable computing (5)
ieee transactions on automatic control (4)
international journal of foundations of computer science (4)
journal of automated reasoning (4)
acm transactions on embedded computing systems (3)
ifac proceedings volumes (3)
journal of symbolic computation (3)
formal methods in system design (2)
journal of global optimization (2)
reliable computing. an international journal devoted to reliable mathematical computations based on finite representations and guaranteed accuracy (2)
reliable computing: an international journal devoted to reliable mathematical computations based on finite representations and guaranteed accuracy (2)
siam journal on control and optimization (2)
tests and proofs (2)
verification, model checking, and abstract interpretation (2)
2016 international workshop on symbolic & numerical methods for reachability analysis (snr) (1)
2022 international conference on robotics and automation (icra), robotics and automation (icra), 2022 ieee international conference on (1)
48th international symposium on mathematical foundations of computer science (1)
acm transactions on computational logic (tocl) (1)
acm transactions on embedded computing systems (tecs) (1)
advances in control, communication networks, and transportation systems (1)
analysis and design of hybrid systems 2006 (1)
artificial intelligence & symbolic computation (9783540397281) (1)
artificial intelligence, automated reasoning, and symbolic computation (1)
automated technology for verification & analysis (1)
bit. numerical mathematics (1)
computer aided verification (1)
computer aided verification (9783642142949) (1)
formal methods (1)
formal methods in system design: an international journal (1)
formal modeling & analysis of timed systems: 12th international conference, formats 2014, florence, italy, september 8-10, 2014. proceedings (1)
hybrid systems: computation & control (1)
ifac-papersonline (1)
institute of electrical and electronics engineers. transactions on automatic control (1)
international journal of adaptive control and signal processing (1)
j.ucs. the journal of universal computer science (1)
journal of computer and system sciences (1)
journal of global optimization. an international journal dealing with theoretical and computational aspects of seeking global optima and their applications in science, management and engineering (1)
journal of global optimization: an international journal dealing with theoretical and computational aspects of seeking global optima and their applications in science, management, and engineer (1)
journal on satisfiability, boolean modeling and computation (1)
mathematical foundations of computer science 2011 (1)
nordic journal of computing (1)
optimization & engineering (1)
optimization and engineering (1)
optimization and engineering. international multidisciplinary journal to promote optimization theory \& applications in engineering sciences (1)
optimization and engineering: international multidisciplinary journal to promote optimization theory & applications in engineering sciences (1)
proceedings of the 2009 conference on symbolic numeric computation (1)