Publications

Export 2271 results:
2017
Jorge, A., Correia N., & Chambel T. (2017).  Designing Interactive Spatiotemporal Visualizations to Enhance Movie Browsing. IFIP Conference on Human-Computer Interaction. 352–355.
Duarte, C., Desart S., Costa D., & Dumas B. (2017).  Designing Multimodal Mobile Interaction for a Text Messaging Application for Visually Impaired Users. Frontiers in ICT. 4, 26.
Fiadeiro, J., Lopes A., Delahaye B., & Legay A. (2017).  Dynamic networks of heterogeneous timed machines. Mathematical Structures in Computer Science. 1–56.
Cunha, J. Carlos, Branc K. Castelo, Casimiro A., & Nunes U. Jose C. (2017).  Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]. IEEE Intelligent Transportation Systems Magazine. 9, 6–7.
Cruz-Filipe, L., Marques-Silva J., & Schneider-Kamp P. (2017).  Efficient certified resolution proof checking. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 118–135.
Nogueira, A., Casimiro A., & Bessani A. (2017).  Elastic State Machine Replication. IEEE Transactions on Parallel and Distributed Systems.
Alarcao, S. Meneses, & Fonseca M. J. (2017).  Emotions Recognition Using EEG Signals: A Survey. IEEE Transactions on Affective Computing. PP, 1-1.
Casimiro, A., Gouveia I., & Rufino J. (2017).  Enforcing Timeliness and Safety in Mission-Critical Systems. Ada-Europe International Conference on Reliable Software Technologies. 53–69.
Fonseca, A., Lourenço N., & Cabral B. (2017).  Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs. European Conference on the Applications of Evolutionary Computation. 757–772.
Saber, T., Marques-Silva J., Thorburn J., & Ventresque A. (2017).  Exact and hybrid solutions for the multi-objective VM reassignment problem. International Journal on Artificial Intelligence Tools. 26, 1760004.
Oliveira, T., Mendes R., & Bessani A. (2017).  Exploring key-value stores in multi-writer Byzantine-resilient register emulations. LIPIcs-Leibniz International Proceedings in Informatics. 70,
Gaspar, D., Trindade C., Usié A., Meireles B., Barbosa P., Fortes A. M., et al. (2017).  Expression Profiling in Pinus pinaster in Response to Infection with the Pine Wood Nematode Bursaphelenchus xylophilus. Forests. 8, 279.
Lamurias, A., Clarke L. A., & Couto F. M. (2017).  Extracting microRNA-gene relations from biomedical literature using distant supervision. PloS one. 12, e0171929.
García-Valls, M., Casimiro A., & Reiser H. P. (2017).  A few open problems and solutions for software technologies for dependable distributed systems.
Dias, R., Gonçalves D., & Fonseca M. J. (2017).  From manual to assisted playlist creation: a survey. Multimedia Tools and Applications. 76, 14375–14403.
Lamurias, A., Ferreira J. D., Clarke L. A., & Couto F. M. (2017).  Generating a Tolerogenic Cell Therapy Knowledge Graph from Literature. Frontiers in Immunology. 8, 1656.
Alcântara, J., Oliveira T., & Bessani A. (2017).  GINJA: One-dollar Cloud-based Disaster Recovery for Databases.
Igarashi, A., Thiemann P., Vasconcelos V. T., & Wadler P. (2017).  Gradual session types. Proceedings of the ACM on Programming Languages. 1, 38.
Fiadeiro, J. L., & Lopes A. (2017).  Heterogeneous and asynchronous networks of timed systems. Theoretical Computer Science. 663, 1–33.
Marques-Silva, J., Ignatiev A., & Morgado A. (2017).  Horn Maximum Satisfiability: Reductions, Algorithms & Applications. arXiv preprint arXiv:1705.05335.
Jr, W. S. Melo, Bessani A., & Carmo L. F. R. C. (2017).  How Blockchains can help Legal Metrology.
Cogo, V. V., Bessani A., Couto F. M., Gama-Carvalho M., Fernandes M., & Esteves-Verissimo P. (2017).  How Can Photo Sharing Inspire Sharing Genomes?. 11th International Conference on Practical Applications of Computational Biology & Bioinformatics. 616, 74.
Alarcão, S. Meneses, & Fonseca M. J. (2017).  Identifying Emotions in Images from Valence and Arousal Ratings. Multimedia Tools and Applications.
Lobo, M., Lamurias A., & Couto F. M. (2017).  Identifying Human Phenotype Terms by Combining Machine Learning and Validation Rules. BioMed Research International. 2017,
Campos, L., Pedro V., & Couto F. (2017).  Impact of translation on named-entity recognition in radiology texts. Database. 2017,

Pages