Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]. IEEE Intelligent Transportation Systems Magazine. 9, 6–7.(2017).
Efficient certified resolution proof checking. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 118–135.(2017).
Elastic State Machine Replication. IEEE Transactions on Parallel and Distributed Systems.(2017).
Emotions Recognition Using EEG Signals: A Survey. IEEE Transactions on Affective Computing. PP, 1-1.(2017).
Enforcing Timeliness and Safety in Mission-Critical Systems. Ada-Europe International Conference on Reliable Software Technologies. 53–69.(2017).
Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs. European Conference on the Applications of Evolutionary Computation. 757–772.(2017).
Exact and hybrid solutions for the multi-objective VM reassignment problem. International Journal on Artificial Intelligence Tools. 26, 1760004.(2017).
Exploring key-value stores in multi-writer Byzantine-resilient register emulations. LIPIcs-Leibniz International Proceedings in Informatics. 70,(2017).
Expression Profiling in Pinus pinaster in Response to Infection with the Pine Wood Nematode Bursaphelenchus xylophilus. Forests. 8, 279.(2017).
Extracting microRNA-gene relations from biomedical literature using distant supervision. PloS one. 12, e0171929.(2017).
From manual to assisted playlist creation: a survey. Multimedia Tools and Applications. 76, 14375–14403.(2017).
Generating a Tolerogenic Cell Therapy Knowledge Graph from Literature. Frontiers in Immunology. 8, 1656.(2017).
Gradual session types. Proceedings of the ACM on Programming Languages. 1, 38.(2017).
Heterogeneous and asynchronous networks of timed systems. Theoretical Computer Science. 663, 1–33.(2017).
Horn Maximum Satisfiability: Reductions, Algorithms & Applications. arXiv preprint arXiv:1705.05335.(2017).
How Can Photo Sharing Inspire Sharing Genomes?. 11th International Conference on Practical Applications of Computational Biology & Bioinformatics. 616, 74.(2017).
Identifying Emotions in Images from Valence and Arousal Ratings. Multimedia Tools and Applications.(2017).
Identifying Human Phenotype Terms by Combining Machine Learning and Validation Rules. BioMed Research International. 2017,(2017).
Impact of translation on named-entity recognition in radiology texts. Database. 2017,(2017).
Improving MCS Enumeration via Caching. Theory and Applications of Satisfiability Testing–SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28–September 1, 2017, Proceedings. 10491, 184.(2017).
Improving Prognostic Prediction from Mild Cognitive Impairment to Alzheimer’s Disease Using Genetic Algorithms. International Conference on Practical Applications of Computational Biology & Bioinformatics. 180–188.(2017).
Improving Smartphone Accessibility with Personalizable Static Overlays. Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility. 37–41.(2017).