journal of logical and algebraic methods in programming (11)
physical review letters (7)
cell reports (5)
plos one (5)
acm transactions on computational logic (4)
business process management journal (4)
clinical oral implants research (4)
new england journal of medicine (4)
acm transactions on programming languages & systems (3)
bmj open (3)
journal of animal science (3)
journal of medical internet research (3)
procedia computer science (3)
science (3)
science of computer programming (3)
2009 ieee international conference on e-business engineering (2)
2021 43rd annual international conference of the ieee engineering in medicine & biology society (embc), engineering in medicine & biology society (embc), 2021 43rd annual international conference of the ieee (2)
electronic proceedings in theoretical computer science (2)
formal methods for multicore programming (2)
ieee access (2)
journal of logic and algebraic programming (2)
journal of proteomics (2)
the journal of logic and algebraic programming (2)
언어정보 (2)
인도철학 (2)
2008 ieee/wic/acm international conference on web intelligence & intelligent agent technology (1)
2008 ieee/wic/acm international conference on web intelligence and intelligent agent technology (1)
2008 ieee/wic/acm international conference on web intelligence and intelligent agent technology, web intelligence and intelligent agent technology, 2008. wi-iat '08. ieee/wic/acm international conference on (1)
2009 ieee international conference on e-business engineering, e-business engineering, 2009. icebe '09. ieee international conference on (1)
2014 theoretical aspects of software engineering conference (1)
2014 theoretical aspects of software engineering conference, theoretical aspects of software engineering conference (tase), 2014 (1)
2017 25th international conference on software, telecommunications and computer networks (softcom) (1)
2017 25th international conference on software, telecommunications and computer networks (softcom), software, telecommunications and computer networks (softcom), 2017 25th international conference on (1)
eye: the scientific journal of the royal college of ophthalmologists (1)
forensic science international (1)
formal aspects of component software: 12th international conference, facs 2015, niteroi, brazil, october 14-16, 2015, revised selected papers (1)
fundamentals of software engineering (9783642402128) (1)
ieee transactions on very large scale integration (vlsi) systems (1)
journal of korean theatre studies association (1)
journal of logic & algebraic programming (1)
leveraging applications of formal methods, verification & validation. technologies for mastering change (1)
leveraging applications of formal methods, verification & validation: foundational techniques (1)
przeglad elektrotechniczny (1)
rewriting logic & its applications: 11th international workshop, wrla 2016, held as a satellite event of etaps, eindhoven, the netherlands, april 2-3, 2016, revised selected papers (1)
signal transduction and targeted therapy (1)
software engineering & formal methods: 12th international conference, sefm 2014, grenoble, france, september 1-5, 2014. proceedings (1)
stratum plus journal (1)
the journal of indian philosophy (1)
world journal of surgery: official journal of the international society of surgery/societe internationale de chirurgie (1)
한국연극학 (1)