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

AuthID: I-000-0K9


Publications Count: 4646

60 Team Members
Filters -> Year: 2026
2021
TITLE: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
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
2022
2023
2024
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
2025
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: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
2026
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
2027
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 2017 in 2017 INTERNATIONAL SMART CITIES CONFERENCE (ISC2), VOLUME: abs/1709.01981
2028
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
2029
TITLE: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTHORS: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
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
2030
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
2031
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
2032
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
2033
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
2034
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
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
2035
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: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PAGES: 29:1-29:2
2036
TITLE: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTHORS: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
2037
TITLE: Computational Models for Social and Technical Interactions
AUTHORS: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLISHED: 2017, SOURCE: NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 307-310
2038
2039
TITLE: Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2017, SOURCE: 12th International Conference on Software Technologies, ICSOFT 2017 in Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., PAGES: 459-466
2040
TITLE: Constraining Type II Error: Building Intentionally Biased Classifiers
AUTHORS: Cruz, R ; Fernandes, K ; Costa, JFP ; 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: 549-560

Results per Page: 20.
Page 102 of 233. Total results: 4646.