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

AuthID: I-000-0K9


Publications Count: 4668

62 Team Members
Filters -> Year: 2026
1941
1942
1943
1944
TÍTULO: Program committee chairs' welcome
AUTORES: Malta, M ; Eckert, K;
PUBLICAÇÃO: 2018, FONTE: 2018 International Conference on Dublin Core and Metadata Applications, DCMI 2018 in Proceedings of the International Conference on Dublin Core and Metadata Applications, VOLUME: 2018-September
1945
TÍTULO: Property-Based Testing for the Robot Operating System
AUTORES: Santos, A ; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2018, FONTE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PÁGINAS: 56-62
1946
TÍTULO: Proposal of an Extended Taxonomy of Serious Games for Health Rehabilitation
AUTORES: Rego, PA ; Moreira, PM ; Reis, LP ;
PUBLICAÇÃO: 2018, FONTE: GAMES FOR HEALTH JOURNAL, VOLUME: 7, NÚMERO: 5, PÁGINAS: 302-309
1947
TÍTULO: Proposition of an Action Layer for Electrum
AUTORES: Brunel, J; Chemouil, D; Cunha, A ; Hujsa, T; Macedo, N ; Tawa, J;
PUBLICAÇÃO: 2018, FONTE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817, PÁGINAS: 397-402
1948
TÍTULO: Providing proactiveness: Data analysis techniques portfolios
AUTORES: Sillitti, A; Anakabe, JF; Basurko, J; Dam, P; Ferreira, H; Ferreiro, S; Gijsbers, J; He, S; Hegedus, C; Holenderski, M; Hooghoudt, JO; Lecuona, I; Leturiondo, U; Marcelis, Q; Moldován, I; Okafor, E; de Sá, CR; Romero, R; Sarr, B; Schomaker, L; Shekar, AK; Soares, C ; Sprong, H; Theodorsen, S; Tourwé, T; Urchegui, G; Webers, G; Yang, Y; Zubaliy, A; Zugasti, E; Zurutuza, U; ...Mais
PUBLICAÇÃO: 2018, FONTE: The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance, PÁGINAS: 145-238
1949
TÍTULO: QR-Augmented Spectrum-based Fault Localization
AUTORES: Alexandre Perez; Rui Abreu ;
PUBLICAÇÃO: 2018, FONTE: DX, VOLUME: 2289
1950
TÍTULO: Quality Model for Classification of the Review of Scientific Articles
AUTORES: Lino, AS; da Rocha, AMR ; Reis, LP ;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
1951
TÍTULO: Quality model for classification of the review of scientific articles [Modelo de Qualidade para Classificação da Revisão de Artigos Científicos]
AUTORES: Lino, AS; Reis Da Rocha, AM; Reis, LP ;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies, CISTI 2018 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2018-June, PÁGINAS: 1-5
1952
TÍTULO: Quantitative Operating Principles of Yeast Metabolism during Adaptation to Heat Stress
AUTORES: Pereira, T ; Vilaprinyo, E; Belli, G; Herrero, E; Salvado, B; Sorribas, A; Altés, G; Alves, R;
PUBLICAÇÃO: 2018, FONTE: CELL REPORTS, VOLUME: 22, NÚMERO: 9, PÁGINAS: 2421-2430
1953
TÍTULO: Rapid Prototyping and Verification of Hardware Modules Generated Using HLS
AUTORES: Julián Caba; João M P Cardoso ; Fernando Rincón; Julio Dondo; Juan Carlos López;
PUBLICAÇÃO: 2018, FONTE: ARC, VOLUME: 10824 LNCS, PÁGINAS: 446-458
1954
TÍTULO: Real-Time Tool for Human Gait Detection from Lower Trunk Acceleration
AUTORES: Helena R Gonçalves; Rui Moreira; Ana Rodrigues; Graça Minas ; Luís Paulo Reis ; Cristina P Santos ;
PUBLICAÇÃO: 2018, FONTE: WorldCIST (3), VOLUME: 747, PÁGINAS: 9-18
1955
TÍTULO: Recognizing Textual Entailment: Challenges in the Portuguese Language
AUTORES: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2018, FONTE: Inf., VOLUME: 9, NÚMERO: 4, PÁGINAS: 76
1956
TÍTULO: RedThreads: An Interface for Application-Level Fault Detection/Correction Through Adaptive Redundant Multithreading
AUTORES: Hukerikar, S; Teranishi, K; Diniz, PC ; Lucas, RF;
PUBLICAÇÃO: 2018, FONTE: International Journal of Parallel Programming, VOLUME: 46, NÚMERO: 2, PÁGINAS: 225-251
1957
TÍTULO: Reducing the Cost of Mutation Testing using the Semantic Size of Mutant
AUTORES: Sousa, LD; VINCENZI, AURI M. R. ; Delamaro, ME; Vieira, IR; de Mendonca, VRL; Rodrigues, CL;
PUBLICAÇÃO: 2018, FONTE: 2018 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), PÁGINAS: 2675-2680
1958
TÍTULO: Requirements for Testing and Validating the Industrial Internet of Things
AUTORES: Antao, L ; Rui Pinto ; Reis, J; Gil Gonçalves ;
PUBLICAÇÃO: 2018, FONTE: 11th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), PÁGINAS: 110-115
1959
TÍTULO: Research data management in the field of Ecology: An overview
AUTORES: Alves, C; Castro, JA ; Ribeiro, C ; Honrado, JP ; Lomba, A;
PUBLICAÇÃO: 2018, FONTE: 2018 International Conference on Dublin Core and Metadata Applications, DCMI 2018 in Proceedings of the International Conference on Dublin Core and Metadata Applications, VOLUME: 2018-September, PÁGINAS: 87-94
1960
TÍTULO: Research Data Management Tools and Workflows: Experimental Work at the University of Porto
AUTORES: Cristina Ribeiro ; João Rocha da Silva; João Aguiar Castro ; Ricardo Carvalho Amorim; João Correia Lopes ; Gabriel David ;
PUBLICAÇÃO: 2018, FONTE: IASSIST Quarterly, VOLUME: 42, NÚMERO: 2, PÁGINAS: 16

Results per Page: 20.
Página 98 de 234. Total de resultados: 4668.