journal of logical and algebraic methods in programming (7)
journal of neurochemistry (6)
molecular brain (4)
revista biomedica (4)
embo journal (3)
european journal of neuroscience (3)
journal of medical entomology (3)
molecular oncology (3)
neuropharmacology (3)
biomedica: revista del instituto nacional de salud (2)
current biology (2)
empirical software engineering (2)
enfermedades infecciosas y microbiologia clinica (2)
journal of neuroscience (2)
molecular immunology (2)
2012 ieee 11th international conference on cognitive informatics & cognitive computing (1)
2012 ieee 11th international conference on cognitive informatics and cognitive computing, cognitive informatics & cognitive computing (icci*cc), 2012 ieee 11th international conference on (1)
2013 42nd international conference on parallel processing (1)
2013 42nd international conference on parallel processing, parallel processing (icpp), 2013 42nd international conference on (1)
2016 23rd international symposium on temporal representation & reasoning (time) (1)
2018 second ieee international conference on robotic computing (irc), robotic computing (irc), 2018 second ieee international conference on, irc (1)
biochemical journal (1)
empirical software engineering: an international journal (1)
enfermedades infecciosas y microbiologia clinica (sciencedirect) (1)
formal methods (1)
ieee transactions on software engineering (1)
journal of biological chemistry (1)
leveraging applications of formal methods, verification & validation: discussion, dissemination, applications (1)
molecular biology of the cell (1)
proceedings eighth international symposium on games, automata, logics and formal verification (1)
runtime verification (1)
runtime verification (9783319469812) (1)
software engineering & formal methods: 12th international conference, sefm 2014, grenoble, france, september 1-5, 2014. proceedings (1)
theoretical aspects of computing---ictac 2022 (1)