Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 3963
49 Team MembersFilters -> Year: 2025
941
TÃTULO: Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy
AUTORES: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra Fabbri; Ana C R Paiva ; Auri Marcelo Rizzo Vincenzi;
PUBLICAÇÃO: 2020, FONTE: J. Softw. Eng. Res. Dev., VOLUME: 8, PÁGINAS: 5
AUTORES: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra Fabbri; Ana C R Paiva ; Auri Marcelo Rizzo Vincenzi;
PUBLICAÇÃO: 2020, FONTE: J. Softw. Eng. Res. Dev., VOLUME: 8, PÁGINAS: 5
942
TÃTULO: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications
AUTORES: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, NÚMERO: 9, PÁGINAS: 6753-6785
AUTORES: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, NÚMERO: 9, PÁGINAS: 6753-6785
943
TÃTULO: Spatiotemporal Phenomena Summarization through Static Visual Narratives
AUTORES: Marques, D; de Carvalho, AV ; Rodrigues, R ; Carneiro, E;
PUBLICAÇÃO: 2020, FONTE: 24th International Conference Information Visualisation (IV) in 2020 24TH INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV 2020), VOLUME: 2020-September, PÁGINAS: 467-472
AUTORES: Marques, D; de Carvalho, AV ; Rodrigues, R ; Carneiro, E;
PUBLICAÇÃO: 2020, FONTE: 24th International Conference Information Visualisation (IV) in 2020 24TH INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV 2020), VOLUME: 2020-September, PÁGINAS: 467-472
944
TÃTULO: SPELLing out energy leaks: Aiding developers locate energy inefficient code
AUTORES: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PÁGINAS: 110463
AUTORES: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PÁGINAS: 110463
945
TÃTULO: State-Machine Replication for Planet-Scale Systems
AUTORES: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLICAÇÃO: 2020, FONTE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PÁGINAS: 24:1-24:15
AUTORES: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLICAÇÃO: 2020, FONTE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PÁGINAS: 24:1-24:15
946
TÃTULO: State-machine replication for planet-scale systems
AUTORES: Vitor Enes; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the Fifteenth European Conference on Computer Systems
AUTORES: Vitor Enes; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the Fifteenth European Conference on Computer Systems
947
TÃTULO: State-Machine Replication for Planet-Scale Systems (Extended Version)
AUTORES: Vitor Enes ; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2003.11789
AUTORES: Vitor Enes ; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2003.11789
948
TÃTULO: State-of-the-Art Approaches for Meta-Knowledge Assertion in the Web of Data
AUTORES: Sen, S; Malta, MC ; Dutta, B; Dutta, A;
PUBLICAÇÃO: 2020, FONTE: IETE TECHNICAL REVIEW, VOLUME: 38, NÚMERO: 6, PÁGINAS: 672-709
AUTORES: Sen, S; Malta, MC ; Dutta, B; Dutta, A;
PUBLICAÇÃO: 2020, FONTE: IETE TECHNICAL REVIEW, VOLUME: 38, NÚMERO: 6, PÁGINAS: 672-709
949
TÃTULO: Stress among Portuguese Medical Students: the EuStress Solution
AUTORES: Silva, E ; Aguiar, J; Reis, LP ; Sa, JOE; Goncalves, J; Carvalho, V;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, NÚMERO: 2, PÁGINAS: 45
AUTORES: Silva, E ; Aguiar, J; Reis, LP ; Sa, JOE; Goncalves, J; Carvalho, V;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, NÚMERO: 2, PÁGINAS: 45
950
TÃTULO: Studying How Health Literacy Influences Attention during Online Information Seeking
AUTORES: Lopes, CT ; Ramos, E;
PUBLICAÇÃO: 2020, FONTE: 5th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) in CHIIR'20: PROCEEDINGS OF THE 2020 CONFERENCE ON HUMAN INFORMATION INTERACTION AND RETRIEVAL, PÁGINAS: 283-291
AUTORES: Lopes, CT ; Ramos, E;
PUBLICAÇÃO: 2020, FONTE: 5th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) in CHIIR'20: PROCEEDINGS OF THE 2020 CONFERENCE ON HUMAN INFORMATION INTERACTION AND RETRIEVAL, PÁGINAS: 283-291
951
TÃTULO: Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study
AUTORES: Nuno Flores ; Ana C R Paiva ; Nuno Cruz;
PUBLICAÇÃO: 2020, FONTE: INFORMATION, VOLUME: 11, NÚMERO: 3, PÁGINAS: 153
AUTORES: Nuno Flores ; Ana C R Paiva ; Nuno Cruz;
PUBLICAÇÃO: 2020, FONTE: INFORMATION, VOLUME: 11, NÚMERO: 3, PÁGINAS: 153
952
TÃTULO: Test case generation based on mutations over user execution traces
AUTORES: Ana C R Paiva ; André Restivo ; Sergio Almeida;
PUBLICAÇÃO: 2020, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, NÚMERO: 3, PÁGINAS: 1173-1186
AUTORES: Ana C R Paiva ; André Restivo ; Sergio Almeida;
PUBLICAÇÃO: 2020, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, NÚMERO: 3, PÁGINAS: 1173-1186
953
TÃTULO: The 4-corner model as a synchromodal and digital twin enabler in the transportation sector
AUTORES: Carvalho, A ; Melo, P; Oliveira, MA ; Barros, R;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020 in Proceedings - 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020
AUTORES: Carvalho, A ; Melo, P; Oliveira, MA ; Barros, R;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020 in Proceedings - 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020
954
TÃTULO: The ADC API: A Web API for the Programmatic Query of the AIRR Data Commons
AUTORES: Scott Christley; Ademar Aguiar ; George Blanck; Felix Breden; Syed Ahmad Chan Bukhari; Christian E Busse; Jerome Jaglale; Srilakshmy L Harikrishnan; Uri Laserson; Bjoern Peters; Artur Rocha ; Chaim A Schramm; Sarah Taylor; Jason A Vander Heiden; Bojan Zimonja; Corey T Watson; Brian Corrie; Lindsay G Cowell;
PUBLICAÇÃO: 2020, FONTE: Frontiers Big Data, VOLUME: 3, PÁGINAS: 22
AUTORES: Scott Christley; Ademar Aguiar ; George Blanck; Felix Breden; Syed Ahmad Chan Bukhari; Christian E Busse; Jerome Jaglale; Srilakshmy L Harikrishnan; Uri Laserson; Bjoern Peters; Artur Rocha ; Chaim A Schramm; Sarah Taylor; Jason A Vander Heiden; Bojan Zimonja; Corey T Watson; Brian Corrie; Lindsay G Cowell;
PUBLICAÇÃO: 2020, FONTE: Frontiers Big Data, VOLUME: 3, PÁGINAS: 22
955
TÃTULO: The AgilECo Pattern Language: Physical Environment. Physical Environment
AUTORES: Daniel Pinho; Ademar Aguiar ;
PUBLICAÇÃO: 2020, FONTE: 2020 European Conference on Pattern Languages of Programs, EuroPLoP 2020 in EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, Virtual Event, Germany, 1-4 July, 2020, PÁGINAS: 30:1-30:9
AUTORES: Daniel Pinho; Ademar Aguiar ;
PUBLICAÇÃO: 2020, FONTE: 2020 European Conference on Pattern Languages of Programs, EuroPLoP 2020 in EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, Virtual Event, Germany, 1-4 July, 2020, PÁGINAS: 30:1-30:9
956
TÃTULO: THE AUGMENTED REALITY AS A SALES PROMOTION TOOL
AUTORES: Valle, M; Moutinho, N ; Rodrigues, R ;
PUBLICAÇÃO: 2020, FONTE: 8th International Academic Conference on Strategica - Preparing for Tomorrow, Today in STRATEGICA: PREPARING FOR TOMORROW, TODAY, PÁGINAS: 362-372
AUTORES: Valle, M; Moutinho, N ; Rodrigues, R ;
PUBLICAÇÃO: 2020, FONTE: 8th International Academic Conference on Strategica - Preparing for Tomorrow, Today in STRATEGICA: PREPARING FOR TOMORROW, TODAY, PÁGINAS: 362-372
957
TÃTULO: The ProcessPAIR Method for Automated Software Process Performance Analysis
AUTORES: Raza, M; Faria, JP ;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8, PÁGINAS: 141569-141583
AUTORES: Raza, M; Faria, JP ;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8, PÁGINAS: 141569-141583
958
TÃTULO: TIMAIRIS: Autonomous Blank Feeding for Packaging Machines
AUTORES: Eurico F Pedrosa; Gi Hyun Lim; Filipe Amaral; Artur Pereira; Bernardo Cunha; José Luís Azevedo; Paulo Dias; Ricardo Dias; Luís Paulo Reis ; Nima Shafii; Andrea Tudico; Claudio Mazzotti; Marco Carricato; Simone Badini; Dario Rea; Nuno Lau ;
PUBLICAÇÃO: 2020, FONTE: Bringing Innovative Robotic Technologies from Research Labs to Industrial End-users - The Experience of the European Robotics Challenges, VOLUME: 136, PÁGINAS: 153-186
AUTORES: Eurico F Pedrosa; Gi Hyun Lim; Filipe Amaral; Artur Pereira; Bernardo Cunha; José Luís Azevedo; Paulo Dias; Ricardo Dias; Luís Paulo Reis ; Nima Shafii; Andrea Tudico; Claudio Mazzotti; Marco Carricato; Simone Badini; Dario Rea; Nuno Lau ;
PUBLICAÇÃO: 2020, FONTE: Bringing Innovative Robotic Technologies from Research Labs to Industrial End-users - The Experience of the European Robotics Challenges, VOLUME: 136, PÁGINAS: 153-186
959
TÃTULO: TIV.lib: an open-source library for the tonal description of musical audio
AUTORES: António Ramires; Gilberto Bernardes ; Matthew E P Davies ; Xavier Serra;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2008.11529, PÁGINAS: 304-309
AUTORES: António Ramires; Gilberto Bernardes ; Matthew E P Davies ; Xavier Serra;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2008.11529, PÁGINAS: 304-309
960
TÃTULO: Towards Predicting Pedestrian Paths: Identifying Surroundings from Monocular Video
AUTORES: José Aleixo Cruz; Rubio, TRPM; Jacob, J ; Daniel Garrido; Henrique Lopes Cardoso ; Daniel Castro Silva ; Rui Rodrigues ;
PUBLICAÇÃO: 2020, FONTE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490, PÁGINAS: 594-601
AUTORES: José Aleixo Cruz; Rubio, TRPM; Jacob, J ; Daniel Garrido; Henrique Lopes Cardoso ; Daniel Castro Silva ; Rui Rodrigues ;
PUBLICAÇÃO: 2020, FONTE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490, PÁGINAS: 594-601