theoretical computer science (13)
journal of medical systems (9)
journal of computer security (6)
journal of logical and algebraic methods in programming (6)
sn computer science (6)
entcs: electronic notes in theoretical computer science (5)
journal of automated reasoning (4)
logical methods in computer science (4)
mathematical structures in computer science (4)
automated reasoning (3)
computer languages, systems & structures (3)
computer networks (3)
information and computation (3)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (3)
physiological measurement (3)
rewriting logic and its applications (3)
2019 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew), 2019 ieee international symposium on (2)
ada user journal (2)
computer languages systems & structures (2)
design automation for embedded systems (2)
formal methods for the quantitative evaluation of collective adaptive systems (2)
hr strategy & planning excellence (2)
indian chemical engineer (2)
journal of ambient intelligence and humanized computing (2)
journal of logic and computation (2)
science of computer programming (2)
theory and practice of logic programming (2)
2004 ieee electro/information technology conference, electro/information technology conference, 2004. eit 2004. ieee (1)
2006 international conference of the ieee engineering in medicine and biology society, engineering in medicine and biology society, 2006. embs '06. 28th annual international conference of the ieee (1)
2012 27th annual ieee symposium on logic in computer science (1)
2012 27th annual ieee symposium on logic in computer science, logic in computer science (lics), 2012 27th annual ieee symposium on (1)
2014 ieee joint intelligence & security informatics conference (1)
2014 ieee joint intelligence and security informatics conference, intelligence and security informatics conference (jisic), 2014 ieee joint (1)
2019 24th ieee international conference on emerging technologies and factory automation (etfa), emerging technologies and factory automation (etfa), 2019 24th ieee international conference on (1)
2019 ieee 32nd computer security foundations symposium (csf), computer security foundations symposium (csf), 2019 ieee 32nd, csf (1)
2019 ieee 8th international conference on cloud networking (cloudnet), cloud networking (cloudnet), 2019 ieee 8th international conference on (1)
2019 ix brazilian symposium on computing systems engineering (sbesc), computing systems engineering (sbesc), 2019 ix brazilian symposium on (1)
2020 ieee vehicular networking conference (vnc), vehicular networking conference (vnc), 2020 ieee (1)
2023 ieee 20th international conference on software architecture companion (icsa-c), software architecture companion (icsa-c), 2023 ieee 20th international conference on, icsa-c (1)
acm / sigplan notices (1)
acm sigplan notices (1)
automated reasoning: 7th international joint conference, ijcar 2014, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 19-22, 2014. proceedings (1)
computer science logic (9783540749141) (1)
computer security - esorics 2013 (1)
computer security - esorics 2016: 21st european symposium on research in computer security, heraklion, greece, september 26-30, 2016, proceedings, part ii (1)
concur 2013 - concurrency theory (1)
current trends in database technology - edbt 2006 (1)
design automation for embedded systems: an international journal (1)
journal of systems & software (1)
the journal of systems & software (1)