Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4677
62 Team MembersFilters -> Year: 2026
1961
TITLE: Proposition of an Action Layer for Electrum
AUTHORS: Brunel, J; Chemouil, D; Cunha, A ; Hujsa, T; Macedo, N ; Tawa, J;
PUBLISHED: 2018, SOURCE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817, PAGES: 397-402
AUTHORS: Brunel, J; Chemouil, D; Cunha, A ; Hujsa, T; Macedo, N ; Tawa, J;
PUBLISHED: 2018, SOURCE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817, PAGES: 397-402
1962
TITLE: Providing proactiveness: Data analysis techniques portfolios
AUTHORS: 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; ...More
PUBLISHED: 2018, SOURCE: The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance, PAGES: 145-238
AUTHORS: 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; ...More
PUBLISHED: 2018, SOURCE: The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance, PAGES: 145-238
1963
TITLE: QR-Augmented Spectrum-based Fault Localization
AUTHORS: Alexandre Perez; Rui Abreu ;
PUBLISHED: 2018, SOURCE: DX, VOLUME: 2289
AUTHORS: Alexandre Perez; Rui Abreu ;
PUBLISHED: 2018, SOURCE: DX, VOLUME: 2289
1964
TITLE: Quality Model for Classification of the Review of Scientific Articles
AUTHORS: Lino, AS; da Rocha, AMR ; Reis, LP ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Lino, AS; da Rocha, AMR ; Reis, LP ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
1965
TITLE: Quality model for classification of the review of scientific articles [Modelo de Qualidade para Classificação da Revisão de Artigos Científicos]
AUTHORS: Lino, AS; Reis Da Rocha, AM; Reis, LP ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies, CISTI 2018 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2018-June, PAGES: 1-5
AUTHORS: Lino, AS; Reis Da Rocha, AM; Reis, LP ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies, CISTI 2018 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2018-June, PAGES: 1-5
1966
TITLE: Quantitative Operating Principles of Yeast Metabolism during Adaptation to Heat Stress
AUTHORS: Pereira, T ; Vilaprinyo, E; Belli, G; Herrero, E; Salvado, B; Sorribas, A; Altés, G; Alves, R;
PUBLISHED: 2018, SOURCE: CELL REPORTS, VOLUME: 22, ISSUE: 9, PAGES: 2421-2430
AUTHORS: Pereira, T ; Vilaprinyo, E; Belli, G; Herrero, E; Salvado, B; Sorribas, A; Altés, G; Alves, R;
PUBLISHED: 2018, SOURCE: CELL REPORTS, VOLUME: 22, ISSUE: 9, PAGES: 2421-2430
1967
TITLE: Rapid Prototyping and Verification of Hardware Modules Generated Using HLS
AUTHORS: Julián Caba; João M P Cardoso ; Fernando Rincón; Julio Dondo; Juan Carlos López;
PUBLISHED: 2018, SOURCE: ARC, VOLUME: 10824 LNCS, PAGES: 446-458
AUTHORS: Julián Caba; João M P Cardoso ; Fernando Rincón; Julio Dondo; Juan Carlos López;
PUBLISHED: 2018, SOURCE: ARC, VOLUME: 10824 LNCS, PAGES: 446-458
1968
TITLE: Real-Time Tool for Human Gait Detection from Lower Trunk Acceleration
AUTHORS: Helena R Gonçalves; Rui Moreira; Ana Rodrigues; Graça Minas ; Luís Paulo Reis ; Cristina P Santos ;
PUBLISHED: 2018, SOURCE: WorldCIST (3), VOLUME: 747, PAGES: 9-18
AUTHORS: Helena R Gonçalves; Rui Moreira; Ana Rodrigues; Graça Minas ; Luís Paulo Reis ; Cristina P Santos ;
PUBLISHED: 2018, SOURCE: WorldCIST (3), VOLUME: 747, PAGES: 9-18
1969
TITLE: Recognizing Textual Entailment: Challenges in the Portuguese Language
AUTHORS: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2018, SOURCE: Inf., VOLUME: 9, ISSUE: 4, PAGES: 76
AUTHORS: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2018, SOURCE: Inf., VOLUME: 9, ISSUE: 4, PAGES: 76
1970
TITLE: RedThreads: An Interface for Application-Level Fault Detection/Correction Through Adaptive Redundant Multithreading
AUTHORS: Hukerikar, S; Teranishi, K; Diniz, PC ; Lucas, RF;
PUBLISHED: 2018, SOURCE: International Journal of Parallel Programming, VOLUME: 46, ISSUE: 2, PAGES: 225-251
AUTHORS: Hukerikar, S; Teranishi, K; Diniz, PC ; Lucas, RF;
PUBLISHED: 2018, SOURCE: International Journal of Parallel Programming, VOLUME: 46, ISSUE: 2, PAGES: 225-251
1971
TITLE: Reducing the Cost of Mutation Testing using the Semantic Size of Mutant
AUTHORS: Sousa, LD; VINCENZI, AURI M. R. ; Delamaro, ME; Vieira, IR; de Mendonca, VRL; Rodrigues, CL;
PUBLISHED: 2018, SOURCE: 2018 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), PAGES: 2675-2680
AUTHORS: Sousa, LD; VINCENZI, AURI M. R. ; Delamaro, ME; Vieira, IR; de Mendonca, VRL; Rodrigues, CL;
PUBLISHED: 2018, SOURCE: 2018 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), PAGES: 2675-2680
1972
TITLE: Requirements for Testing and Validating the Industrial Internet of Things
AUTHORS: Antao, L ; Rui Pinto ; Reis, J; Gil Gonçalves ;
PUBLISHED: 2018, SOURCE: 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), PAGES: 110-115
AUTHORS: Antao, L ; Rui Pinto ; Reis, J; Gil Gonçalves ;
PUBLISHED: 2018, SOURCE: 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), PAGES: 110-115
1973
TITLE: Research data management in the field of Ecology: An overview
AUTHORS: Alves, C; Castro, JA ; Ribeiro, C ; Honrado, JP ; Lomba, A;
PUBLISHED: 2018, SOURCE: 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, PAGES: 87-94
AUTHORS: Alves, C; Castro, JA ; Ribeiro, C ; Honrado, JP ; Lomba, A;
PUBLISHED: 2018, SOURCE: 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, PAGES: 87-94
1974
TITLE: Research Data Management Tools and Workflows: Experimental Work at the University of Porto
AUTHORS: Cristina Ribeiro ; João Rocha da Silva; João Aguiar Castro ; Ricardo Carvalho Amorim; João Correia Lopes ; Gabriel David ;
PUBLISHED: 2018, SOURCE: IASSIST Quarterly, VOLUME: 42, ISSUE: 2, PAGES: 16
AUTHORS: Cristina Ribeiro ; João Rocha da Silva; João Aguiar Castro ; Ricardo Carvalho Amorim; João Correia Lopes ; Gabriel David ;
PUBLISHED: 2018, SOURCE: IASSIST Quarterly, VOLUME: 42, ISSUE: 2, PAGES: 16
1975
TITLE: Risk and visibility in supply chains: An information management perspective. An Information Management Perspective
AUTHORS: Messina, D ; Santos, C; Soares, AL ; Barros, AC;
PUBLISHED: 2018, SOURCE: Global Business Expansion: Concepts, Methodologies, Tools, and Appl., PAGES: 1501-1524
AUTHORS: Messina, D ; Santos, C; Soares, AL ; Barros, AC;
PUBLISHED: 2018, SOURCE: Global Business Expansion: Concepts, Methodologies, Tools, and Appl., PAGES: 1501-1524
1976
TITLE: Risk-Taking Propensity and Entrepreneurship: The Role of Power Distance
AUTHORS: Antoncic, JA; Antoncic, B; Gantar, M; Hisrich, RD; Marks, LJ; Bachkirov, AA; Li, ZY; Polzin, P; Borges, JL ; Coelho, A ; Kakkonen, ML;
PUBLISHED: 2018, SOURCE: JOURNAL OF ENTERPRISING CULTURE, VOLUME: 26, ISSUE: 1, PAGES: 1-26
AUTHORS: Antoncic, JA; Antoncic, B; Gantar, M; Hisrich, RD; Marks, LJ; Bachkirov, AA; Li, ZY; Polzin, P; Borges, JL ; Coelho, A ; Kakkonen, ML;
PUBLISHED: 2018, SOURCE: JOURNAL OF ENTERPRISING CULTURE, VOLUME: 26, ISSUE: 1, PAGES: 1-26
1977
TITLE: Robust Assessment of Photoplethysmogram Signal Quality in the Presence of Atrial Fibrillation
AUTHORS: Tania Pereira ; Kais Gadhoumi; Mitchell Ma; Rene Colorado; Kevin J Keenan; Karl Meisel; Xiao Hu;
PUBLISHED: 2018, SOURCE: Computing in Cardiology Conference (CinC) - 2018 Computing in Cardiology Conference (CinC)
AUTHORS: Tania Pereira ; Kais Gadhoumi; Mitchell Ma; Rene Colorado; Kevin J Keenan; Karl Meisel; Xiao Hu;
PUBLISHED: 2018, SOURCE: Computing in Cardiology Conference (CinC) - 2018 Computing in Cardiology Conference (CinC)
1978
TITLE: Single window for collaborative multimodal logistics services an optimized and integrated door-to-door services offer
AUTHORS: Oliveira, MA ; Barros, RS; De Carvalho, AV ; Melo, PR;
PUBLISHED: 2018, SOURCE: 23rd International Conference on Engineering, Technology and Innovation, ICE/ITMC 2017 in 2017 International Conference on Engineering, Technology and Innovation: Engineering, Technology and Innovation Management Beyond 2020: New Challenges, New Approaches, ICE/ITMC 2017 - Proceedings, VOLUME: 2018-January, PAGES: 1496-1500
AUTHORS: Oliveira, MA ; Barros, RS; De Carvalho, AV ; Melo, PR;
PUBLISHED: 2018, SOURCE: 23rd International Conference on Engineering, Technology and Innovation, ICE/ITMC 2017 in 2017 International Conference on Engineering, Technology and Innovation: Engineering, Technology and Innovation Management Beyond 2020: New Challenges, New Approaches, ICE/ITMC 2017 - Proceedings, VOLUME: 2018-January, PAGES: 1496-1500
1979
TITLE: Smart Choices for Deviceless and Device-Based Manipulation in Immersive Virtual Reality
AUTHORS: Fabio Marco Caputo; Daniel Mendes ; Alessia Bonetti; Giacomo Saletti; Andrea Giachetti;
PUBLISHED: 2018, SOURCE: VR, PAGES: 519-520
AUTHORS: Fabio Marco Caputo; Daniel Mendes ; Alessia Bonetti; Giacomo Saletti; Andrea Giachetti;
PUBLISHED: 2018, SOURCE: VR, PAGES: 519-520
1980
TITLE: Smart energy management as a means towards improved energy efficiency
AUTHORS: Dylan te Lindert; Cláudio Rebelo de Sá; Carlos Soares ; Arno J Knobbe;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1802.04128
AUTHORS: Dylan te Lindert; Cláudio Rebelo de Sá; Carlos Soares ; Arno J Knobbe;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1802.04128
