biomed research international (7)
journal of the american college of cardiology (6)
plos one (6)
science of computer programming (6)
european respiratory journal (5)
journal of endourology (5)
scientific reports (5)
thorax (5)
environmental microbiology (4)
international journal on software tools for technology transfer (4)
proceedings of the national academy of sciences of the united states of america (4)
science (4)
british journal of sports medicine (3)
genome biology (3)
journal of the american college of cardiology (jacc) (3)
mathematics in computer science (3)
nature (3)
american journal of respiratory & critical care medicine (2)
australian & new zealand journal of obstetrics & gynaecology (2)
frontiers in immunology (2)
journal of clinical microbiology (2)
journal of cystic fibrosis (2)
journal of the american college of surgeons (2)
nature methods (2)
new solutions: a journal of environmental & occupational health policy (2)
obesity reviews (2)
sustainable development (2)
work, employment & society (2)
2016 ieee international conference on intelligent rail transportation (icirt), intelligent rail transportation (icirt), 2016 ieee international conference on (1)
2018 international conference on intelligent rail transportation (icirt), intelligent rail transportation (icirt), 2018 international conference on (1)
2022 tenth international symposium on computing and networking (candar), computing and networking (candar), 2022 tenth international symposium on, candar (1)
2022 tenth international symposium on computing and networking workshops (candarw), computing and networking workshops (candarw), 2022 tenth international symposium on, candarw (1)
american journal of respiratory and critical care medicine (1)
australasian radiology (1)
australian and new zealand journal of obstetrics and gynaecology (1)
bmj open respiratory research (1)
circulation (ovid) (1)
concurrency & computation: practice & experience (1)
formal techniques for safety-critical systems: 4th international workshop, ftscs 2015, paris, france, november 6-7, 2015. revised selected papers (1)
hardware & software: verification & testing (9783642396106) (1)
ieee transactions on intelligent transportation systems (1)
jmir formative research (1)
labmate uk & ireland (1)
leveraging applications of formal methods, verification & validation: discussion, dissemination, applications (1)
local government studies (1)
manufacturing chemist (1)
nasa formal methods (1)
proceedings of spie (1)
recent trends in algebraic development techniques (9783642376344) (1)
revista brasileira de saude ocupacional (1)