Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4614

61 Team Members
Filters -> Year: 2026
2001
TITLE: As Secure as Possible Eventual Consistency. Work in Progress
AUTHORS: Shoker, A ; Yactine, H ; Baquero, C ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 5:1-5:5
2002
TITLE: Audio Guides and Human Tour Guides: Measuring Children's Engagement & Learning at a Museum Setting
AUTHORS: Vanessa Cesário; António Coelho ; Valentina Nisi;
PUBLISHED: 2017, SOURCE: Proceedings of the Doctoral Consortium, Posters and Demos at CHItaly 2017 co-located with 12th Biannual Conference of the Italian SIGCHI Chapter (CHItaly 2017), Cagliari, Italy, September 18-20, 2017., VOLUME: 1910, PAGES: 133-137
2003
TITLE: autoBagging: Learning to Rank Bagging Workflows with Metalearning
AUTHORS: Fábio Pinto; Vítor Cerqueira ; Carlos Soares ; João Mendes Moreira ;
PUBLISHED: 2017, SOURCE: AutoML@PKDD/ECML, VOLUME: 1998, PAGES: 21-27
2004
TITLE: AUTOMATIC MUSICAL KEY ESTIMATION WITH ADAPTIVE MODE BIAS
AUTHORS: Bernardes, G ; Davies, MEP ; Guedes, C ;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PAGES: 316-320
2005
TITLE: Autonomous Interactive Object Manipulation and Navigation Capabilities for an Intelligent Wheelchair
AUTHORS: Shafii, N; Farias, PCMA; Sousa, I; Sobreira, H ; Reis, LP ; Moreira, AP ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 473-485
2006
TITLE: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTHORS: Enes, V ; Baquero, C ; Almeida, PS ; Leitao, J;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
2007
2008
2009
TITLE: Certified Password Quality
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods, PAGES: 407-421
2010
TITLE: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: IFM, VOLUME: 10510 LNCS, PAGES: 407-421
2011
TITLE: Challenges of thermographic image in medical applications
AUTHORS: Pereira, T ; Simoes, R;
PUBLISHED: 2017, SOURCE: Thermal Imaging: Types, Advancements and Applications, PAGES: 81-101
2012
TITLE: Characterizing Geo-located Tweets in Brazilian Megacities
AUTHORS: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLISHED: 2017, SOURCE: 2017 INTERNATIONAL SMART CITIES CONFERENCE (ISC2), VOLUME: abs/1709.01981, PAGES: 1-6
2013
TITLE: ClueKing: Allowing Parents to Customize an Informal Learning Environment for Children
AUTHORS: Vanessa Cesario; Valentina Nisi ; Antonio Coelho ;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 23-30
2014
TITLE: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTHORS: Almeida, J; Ferreira, J; Camacho, R ; Pereira, L;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PAGES: 70-73
2015
TITLE: Code retargeting for CPU-based platforms
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 185-225
2016
TITLE: Collaborative economy for testing cost reduction on Android ecosystem
AUTHORS: Kenyo Abadio Crosara Faria; Eduardo Noronha de Andrade Freitas; VINCENZI, AURI M. R. ;
PUBLISHED: 2017, SOURCE: Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, A-TEST@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4-5, 2017, PAGES: 11-18
2017
TITLE: Combining Ranking with Traditional Methods for Ordinal Class Imbalance
AUTHORS: Cruz, R ; Fernandes, K ; Costa, JFP ; Ortiz, MP; Cardoso, JS ;
PUBLISHED: 2017, SOURCE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PAGES: 538-548
2018
TITLE: Command and Control Systems for Search and Rescue Robots
AUTHORS: Shashank Govindaraj; Pierre Letier; Keshav Chintamani; Jeremi Gancet; Mario Nunez Jimenez; Miguel Ángel Esbrí; Pawel Musialik; Janusz Bedkowski; Irune Badiola; Ricardo Gonçalves; António Coelho ; Daniel Serrano; Massimo Tosa; Thomas Pfister; Jose Manuel Sanchez;
PUBLISHED: 2017, SOURCE: Search and Rescue Robotics - From Theory to Practice
2019
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Younes, G ; Almeida, PS ; Baquero, C ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 2:1-2:3
2020
TITLE: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: IWOCL, VOLUME: Part F127755, PAGES: 29:1-29:2

Results per Page: 20.
Page 101 of 231. Total results: 4614.