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

AuthID: I-000-0K9


Publications Count: 4451

56 Team Members
Filters -> Year: 2025
1761
1762
1763
1764
1765
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
1766
TÍTULO: Property-Based Testing for the Robot Operating System
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
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
1767
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
1768
TÍTULO: Proposition of an Action Layer for Electrum
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
PUBLICAÇÃO: 2018, FONTE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817, PÁGINAS: 397-402
1769
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
1770
TÍTULO: QR-Augmented Spectrum-based Fault Localization
AUTORES: Alexandre Perez; Rui Abreu ;
PUBLICAÇÃO: 2018, FONTE: 29th International Workshop on Principles of Diagnosis, DX 2018 in Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2018), Warsaw, Poland, 27-30 August, 2018., VOLUME: 2289
1771
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)
1772
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
1773
TÍTULO: Rapid Prototyping and Verification of Hardware Modules Generated Using HLS
AUTORES: Julian Caba; João M P Cardoso ; Fernando Rincón; Julio Dondo; Juan Carlos López;
PUBLICAÇÃO: 2018, FONTE: 14th International Symposium on Applied Reconfigurable Computing, ARC 2018 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings, VOLUME: 10824, PÁGINAS: 446-458
1774
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: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 3 [WorldCIST'18, Naples, Italy, March 27-29, 2018]., VOLUME: 747, PÁGINAS: 9-18
1775
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
1776
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
1777
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
1778
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
1779
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
1780
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 89 de 223. Total de resultados: 4451.