Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4495
56 Team MembersFilters -> Year: 2025
1921
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: 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, PÁGINAS: 407-421
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: 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, PÁGINAS: 407-421
1922
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 2017 in 2017 INTERNATIONAL SMART CITIES CONFERENCE (ISC2), VOLUME: abs/1709.01981
AUTORES: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLICAÇÃO: 2017, FONTE: 2017 International Smart Cities Conference, ISC2 2017 in 2017 INTERNATIONAL SMART CITIES CONFERENCE (ISC2), VOLUME: abs/1709.01981
1923
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
1924
TÃTULO: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTORES: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
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: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
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
1925
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
1926
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
1927
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
1928
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
1929
TÃTULO: Compact Resettable Counters through Causal Stability
AUTORES: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
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: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
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
1930
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: 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, PÁGINAS: 29:1-29:2
AUTORES: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: 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, PÁGINAS: 29:1-29:2
1931
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
1932
TÃTULO: Computational Models for Social and Technical Interactions
AUTORES: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 307-310
AUTORES: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 307-310
1933
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
1934
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: 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., PÁGINAS: 459-466
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2017, FONTE: 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., PÁGINAS: 459-466
1935
TÃTULO: Constraining Type II Error: Building Intentionally Biased Classifiers
AUTORES: Cruz, R ; Fernandes, K ; Costa, JFP ; 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: 549-560
AUTORES: Cruz, R ; Fernandes, K ; Costa, JFP ; 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: 549-560
1936
TÃTULO: Contextual Covariance Matrix Adaptation Evolutionary Strategies
AUTORES: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLICAÇÃO: 2017, FONTE: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, PÁGINAS: 1378-1385
AUTORES: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLICAÇÃO: 2017, FONTE: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, PÁGINAS: 1378-1385
1937
TÃTULO: Controlling the design and development cycle
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 57-98
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 57-98
1938
TÃTULO: Coordination, Organizations, Institutions, and Norms in Agent Systems XII
AUTORES: Stephen Cranefield; Samhar Mahmoud; Julian Padget; Ana Paula Rocha ;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science
AUTORES: Stephen Cranefield; Samhar Mahmoud; Julian Padget; Ana Paula Rocha ;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science
1939
TÃTULO: Coordination, Organizations, Institutions, and Norms in Agent Systems XII - COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers
AUTORES: Stephen Cranefield; Samhar Mahmoud; Julian A Padget; Ana Paula Rocha ;
PUBLICAÇÃO: 2017, FONTE: COIN@AAMAS/ECAI, VOLUME: 10315
AUTORES: Stephen Cranefield; Samhar Mahmoud; Julian A Padget; Ana Paula Rocha ;
PUBLICAÇÃO: 2017, FONTE: COIN@AAMAS/ECAI, VOLUME: 10315
1940
TÃTULO: Creepy Tracker Toolkit for Context-aware Interfaces
AUTORES: Maurício Sousa; Daniel Mendes ; Rafael Kuffner dos Anjos; Daniel Medeiros; Alfredo Ferreira ; Alberto Raposo; João Madeiras Pereira ; Joaquim A Jorge;
PUBLICAÇÃO: 2017, FONTE: 2017 ACM International Conference on Interactive Surfaces and Spaces, ISS 2017 in Proceedings of the Interactive Surfaces and Spaces, ISS 2017, Brighton, United Kingdom, October 17 - 20, 2017, PÁGINAS: 191-200
AUTORES: Maurício Sousa; Daniel Mendes ; Rafael Kuffner dos Anjos; Daniel Medeiros; Alfredo Ferreira ; Alberto Raposo; João Madeiras Pereira ; Joaquim A Jorge;
PUBLICAÇÃO: 2017, FONTE: 2017 ACM International Conference on Interactive Surfaces and Spaces, ISS 2017 in Proceedings of the Interactive Surfaces and Spaces, ISS 2017, Brighton, United Kingdom, October 17 - 20, 2017, PÁGINAS: 191-200