blood (94)
using event-b for critical device software systems (13)
annals of indian academy of neurology (10)
clinical & experimental optometry (9)
international journal of information dissemination & technology (6)
isrn neurology (6)
library philosophy & practice (6)
information technology & libraries (5)
international journal of hydrogen energy (5)
american journal of alzheimer's disease & other dementias (4)
energy (4)
journal of clinical & diagnostic research (4)
journal of software: evolution & process (4)
journal of translational medicine (4)
nutritional neuroscience (4)
scientific reports (4)
2014 international conference on control, instrumentation, communication and computational technologies (iccicct), control, instrumentation, communication and computational technologies (iccicct), 2014 international conference on (3)
faseb journal (3)
journal of cleaner production (3)
journal of geriatric psychiatry & neurology (3)
journal of systems architecture (3)
leukemia research (3)
program (3)
science of computer programming (3)
2017 international conference on intelligent computing, instrumentation and control technologies (icicict), intelligent computing, instrumentation and control technologies (icicict), 2017 international conference on (2)
2018 international conference on power energy, environment and intelligent control (peeic), power energy, environment and intelligent control (peeic), 2018 international conference on (2)
acm transactions on embedded computing systems (2)
bmj case reports (2)
computers & security (2)
desidoc journal of library & information technology (2)
environmental science and pollution research (2)
fuel (2)
interacting with computers (2)
journal of interdisciplinary mathematics (2)
journal of microbiological methods (2)
neurological sciences (2)
optometry & vision science (2)
optometry & visual performance (2)
optometry and vision science (2)
science of the total environment (2)
webology (2)
abstract state machines, alloy, b, tla, vdm, and z (1)
anthropocene science: an international journal for addressing human impact on the resilience of the planet earth (1)
current aging science (1)
indian journal of clinical biochemistry (1)
innovations in systems and software engineering: a nasa journal (1)
logic, computation and rigorous methods---essays dedicated to egon borger on the occasion of his 75th birthday (1)
neurological sciences: official journal of the italian neurological society (1)
program: electronic library and information systems (1)
signal, image and video processing (1)