fundamenta informaticae (8)
information processing letters (6)
computer aided verification. part i (4)
formal methods in system design (4)
journal of logical and algebraic methods in programming (4)
journal of the acm (4)
theoretical computer science (4)
biomedical engineering letters (3)
journal of polymer engineering (3)
logical methods in computer science (3)
2017 international conference on communication and signal processing (iccsp), communication and signal processing (iccsp), 2017 international conference on (2)
28th international conference on concurrency theory (2)
aip conference proceedings (2)
biochimie (2)
european urology supplements (2)
formal methods in system design: an international journal (2)
foundations of software science and computation structures (2)
indian journal of otolaryngology & head & neck surgery (2)
indian journal of otolaryngology and head & neck surgery (2)
inorganic chemistry communications (2)
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 14th international conference on application of concurrency to system design (1)
2014 14th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2014 14th international conference on (1)
2015 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2015 (1)
2016 23rd international symposium on temporal representation & reasoning (time) (1)
2016 23rd international symposium on temporal representation and reasoning (time), temporal representation and reasoning (time), 2016 23rd international symposium on (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)
2019 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2019 formal methods in (1)
2019 international conference on intelligent computing and control systems (iccs), intelligent computing and control systems (iccs), 2019 international conference on (1)
2020 international conference on electronics and sustainable communication systems (icesc), electronics and sustainable communication systems (icesc), 2020 international conference 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 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2021 formal methods in (1)
2022 international conference on decision aid sciences and applications (dasa), decision aid sciences and applications (dasa), 2022 international conference on (1)
american journal of transplantation (1)
annals of mathematics & artificial intelligence (1)
annals of mathematics and artificial intelligence (1)
application & theory of petri nets & concurrency (9783319390857) (1)
concur 2007 - concurrency theory (1)
concur 2008 - concurrency theory (1)
european urology (1)
formal modeling & analysis of timed systems (9783642333644) (1)
fsttcs 2007: foundations of software technology & theoretical computer science (1)
ieee access, access, ieee (1)
ieee/acm transactions on computational biology & bioinformatics (1)
ieee/acm transactions on computational biology and bioinformatics, computational biology and bioinformatics, ieee/acm transactions on, ieee/acm trans. comput. biol. and bioinf. (1)
ieee-acm transactions on computational biology and bioinformatics (1)
materials chemistry and physics (1)
materials today sustainability (1)
spectrochimica acta part a: molecular and biomolecular spectroscopy (1)