Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4655
62 Team MembersFilters -> Year: 2026
2041
TÃTULO: Autonomous Interactive Object Manipulation and Navigation Capabilities for an Intelligent Wheelchair
AUTORES: Shafii, N; Farias, PCMA; Sousa, I; Sobreira, H ; Reis, LP ; Moreira, AP ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 473-485
AUTORES: Shafii, N; Farias, PCMA; Sousa, I; Sobreira, H ; Reis, LP ; Moreira, AP ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 473-485
2042
TÃTULO: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTORES: Enes, V ; Baquero, C ; Almeida, PS ; Leitao, J;
PUBLICAÇÃO: 2017, FONTE: 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), PÁGINAS: 4:1-4:3
AUTORES: Enes, V ; Baquero, C ; Almeida, PS ; Leitao, J;
PUBLICAÇÃO: 2017, FONTE: 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), PÁGINAS: 4:1-4:3
2043
TÃTULO: Bulding ontologies with ontoforinfoscience methodology: A detailed approach to the activiyies of ontology development [Construindo ontologias com a metodologia ontoforinfoscience: Uma abordagem detalhada das atividades do desenvolvimento ontológico] [Construyendo ontologías con la metodología ontoforinfoscience: Un enfoque detallado de las actividades del desarrollo ontológico]
AUTORES: Mendonça, FM; Soares, AL ;
PUBLICAÇÃO: 2017, FONTE: Ciencia da Informacao, VOLUME: 46, NÚMERO: 1, PÁGINAS: 43-59
AUTORES: Mendonça, FM; Soares, AL ;
PUBLICAÇÃO: 2017, FONTE: Ciencia da Informacao, VOLUME: 46, NÚMERO: 1, PÁGINAS: 43-59
2044
TÃTULO: Cargo dynamic stability in the container loading problem - a physics simulation tool approach
AUTORES: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLICAÇÃO: 2017, FONTE: Int. J. Simul. Process. Model., VOLUME: 12, NÚMERO: 1, PÁGINAS: 29-41
AUTORES: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLICAÇÃO: 2017, FONTE: Int. J. Simul. Process. Model., VOLUME: 12, NÚMERO: 1, PÁGINAS: 29-41
2045
TÃTULO: Certified Password Quality
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods, PÁGINAS: 407-421
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods, PÁGINAS: 407-421
2046
TÃTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: IFM, VOLUME: 10510 LNCS, PÁGINAS: 407-421
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: IFM, VOLUME: 10510 LNCS, PÁGINAS: 407-421
2047
TÃTULO: Challenges of thermographic image in medical applications
AUTORES: Pereira, T ; Simoes, R;
PUBLICAÇÃO: 2017, FONTE: Thermal Imaging: Types, Advancements and Applications, PÁGINAS: 81-101
AUTORES: Pereira, T ; Simoes, R;
PUBLICAÇÃO: 2017, FONTE: Thermal Imaging: Types, Advancements and Applications, PÁGINAS: 81-101
2048
TÃTULO: Characterizing Geo-located Tweets in Brazilian Megacities
AUTORES: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLICAÇÃO: 2017, FONTE: 2017 INTERNATIONAL SMART CITIES CONFERENCE (ISC2), VOLUME: abs/1709.01981, PÁGINAS: 1-6
AUTORES: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLICAÇÃO: 2017, FONTE: 2017 INTERNATIONAL SMART CITIES CONFERENCE (ISC2), VOLUME: abs/1709.01981, PÁGINAS: 1-6
2049
TÃTULO: ClueKing: Allowing Parents to Customize an Informal Learning Environment for Children
AUTORES: Vanessa Cesario; Valentina Nisi ; Antonio Coelho ;
PUBLICAÇÃO: 2017, FONTE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PÁGINAS: 23-30
AUTORES: Vanessa Cesario; Valentina Nisi ; Antonio Coelho ;
PUBLICAÇÃO: 2017, FONTE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PÁGINAS: 23-30
2050
TÃTULO: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTORES: Almeida, J; Ferreira, J; Camacho, R ; Pereira, L;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PÁGINAS: 70-73
AUTORES: Almeida, J; Ferreira, J; Camacho, R ; Pereira, L;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PÁGINAS: 70-73
2051
TÃTULO: Code retargeting for CPU-based platforms
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 185-225
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 185-225
2052
TÃTULO: Collaborative economy for testing cost reduction on Android ecosystem
AUTORES: Kenyo Abadio Crosara Faria; Eduardo Noronha de Andrade Freitas; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, A-TEST@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4-5, 2017, PÁGINAS: 11-18
AUTORES: Kenyo Abadio Crosara Faria; Eduardo Noronha de Andrade Freitas; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, A-TEST@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4-5, 2017, PÁGINAS: 11-18
2053
TÃTULO: Combining Ranking with Traditional Methods for Ordinal Class Imbalance
AUTORES: Cruz, R ; Fernandes, K ; Costa, JFP ; Ortiz, MP; Cardoso, JS ;
PUBLICAÇÃO: 2017, FONTE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PÁGINAS: 538-548
AUTORES: Cruz, R ; Fernandes, K ; Costa, JFP ; Ortiz, MP; Cardoso, JS ;
PUBLICAÇÃO: 2017, FONTE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PÁGINAS: 538-548
2054
TÃTULO: Command and Control Systems for Search and Rescue Robots
AUTORES: 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;
PUBLICAÇÃO: 2017, FONTE: Search and Rescue Robotics - From Theory to Practice
AUTORES: 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;
PUBLICAÇÃO: 2017, FONTE: Search and Rescue Robotics - From Theory to Practice
2055
TÃTULO: Compact Resettable Counters through Causal Stability
AUTORES: Younes, G ; Almeida, PS ; Baquero, C ;
PUBLICAÇÃO: 2017, FONTE: 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), PÁGINAS: 2:1-2:3
AUTORES: Younes, G ; Almeida, PS ; Baquero, C ;
PUBLICAÇÃO: 2017, FONTE: 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), PÁGINAS: 2:1-2:3
2056
TÃTULO: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTORES: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: IWOCL, VOLUME: Part F127755, PÁGINAS: 29:1-29:2
AUTORES: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: IWOCL, VOLUME: Part F127755, PÁGINAS: 29:1-29:2
2057
TÃTULO: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTORES: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
AUTORES: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
2058
TÃTULO: Computational Models for Social and Technical Interactions
AUTORES: Gama, J ; Oliveira, E ; Cardoso, HL ;
PUBLICAÇÃO: 2017, FONTE: NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 307-310
AUTORES: Gama, J ; Oliveira, E ; Cardoso, HL ;
PUBLICAÇÃO: 2017, FONTE: NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 307-310
2059
TÃTULO: Computer Supported Qualitative Research. Second International Symposium on Qualitative Research
AUTORES: António Pedro Costa ; Luís Paulo Reis ; Francislê Neri de Sousa; António Moreira ; David Lamas;
PUBLICAÇÃO: 2017, FONTE: Studies in Systems, Decision and Control
AUTORES: António Pedro Costa ; Luís Paulo Reis ; Francislê Neri de Sousa; António Moreira ; David Lamas;
PUBLICAÇÃO: 2017, FONTE: Studies in Systems, Decision and Control
2060
TÃTULO: Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2017, FONTE: ICSOFT, PÁGINAS: 459-466
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2017, FONTE: ICSOFT, PÁGINAS: 459-466