journal of hypertension (4)
journal of luminescence (3)
plos genetics (3)
plos one (3)
formal methods in system design (2)
formal methods in system design: an international journal (2)
future generation computer systems (2)
molecular biology and evolution (2)
2016 ieee trustcom/bigdatase/ispa, trustcom/bigdatase/i spa, 2016 ieee, trustcom-bigdatase-ispa (1)
2017 ieee international conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2017 ieee international conference on, icst (1)
acm international conference proceeding series (1)
acm transactions on architecture and code optimization (1)
concurrency & computation: practice & experience (1)
concurrency and computation-practice & experience (1)
ecoop 2012 - object-oriented programming (1)
euro-par 2009 parallel processing (1)
euro-par 2012: parallel processing (1)
hardware & software: verification & testing (9783642396106) (1)
leveraging applications of formal methods, verification and validation. part iv. industrial practice (1)
molecular biology & evolution (1)
molecular phylogenetics & evolution (1)
molecular phylogenetics and evolution (1)
multicore software engineering, performance & tools (9783642399541) (1)
proceedings of the workshop: parallel & distributed systems (1)
transactional memory. foundations, algorithms, tools & applications (1)