theoretical computer science (35)
artificial intelligence (30)
physical review a (16)
physics letters a (15)
acta informatica (13)
fuzzy sets and systems (13)
fuzzy sets and systems. an international journal in information science and engineering (13)
journal of computer science and technology (10)
ieee transactions on information theory (9)
international journal of theoretical physics (9)
physical review letters (9)
institute of electrical and electronics engineers. transactions on information theory (8)
journal of computer and system sciences (8)
mathematical logic quarterly (8)
acm transactions on computational logic (7)
information and computation (7)
physics letters. a (7)
chinese science bulletin (6)
ieee transactions on software engineering (5)
journal of computer & system sciences (5)
journal of mathematical physics (5)
quantum information \& computation (5)
theory of computing systems (5)
fundamenta informaticae (4)
journal of computer science & technology (10009000) (4)
national science review (4)
acm transactions on programming languages & systems (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
ieee transactions on systems, man & cybernetics: part b (3)
information processing letters (3)
international journal of mathematics and mathematical sciences (3)
acm / sigplan notices (2)
formal aspects of computing (2)
handbook of quantum logic and quantum structures (2)
international journal of intelligent systems (2)
journal of applied non-classical logics (2)
mathematical foundations of computer science 2013 (2)
science of computer programming (2)
the journal of symbolic logic (2)
2012 joint working ieee/ifip conference on software architecture and european conference on software architecture, software architecture (wicsa) and european conference on software architecture (ecsa), 2012 joint working ieee/ifip conference on (1)
2013 ieee 26th computer security foundations symposium, computer security foundations symposium (csf), 2013 ieee 26th (1)
2017 ieee 30th computer security foundations symposium (csf), computer security foundations symposium (csf), 2017 ieee 30th, csf (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 58th acm/ieee design automation conference (dac), design automation conference (dac), 2021 58th acm/ieee (1)
2022 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad)2022 ieee/acm international conference on (1)
2023 ieee international conference on quantum computing and engineering (qce), quantum computing and engineering (qce), 2023 ieee international conference on, qce (1)
formal aspects of computing: applicable formal methods (1)
ieee transactions on computers, computers, ieee transactions on, ieee trans. comput. (1)
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng. (1)
journal of symbolic logic (1)