Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4495
56 Team MembersFilters -> Year: 2025
621
TÃTULO: SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
AUTORES: di Angelo, Monika; Durieux, Thomas; Ferreira, Joao F. ; Salzer, Gernot;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, PÁGINAS: 2102-2105
AUTORES: di Angelo, Monika; Durieux, Thomas; Ferreira, Joao F. ; Salzer, Gernot;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, PÁGINAS: 2102-2105
622
TÃTULO: Software fault localization for programs with multiple bugs
AUTORES: Gao, R; Wong, WE; Abreu, R ;
PUBLICAÇÃO: 2023, FONTE: Handbook of Software Fault Localization: Foundations and Advances, PÁGINAS: 473-528
AUTORES: Gao, R; Wong, WE; Abreu, R ;
PUBLICAÇÃO: 2023, FONTE: Handbook of Software Fault Localization: Foundations and Advances, PÁGINAS: 473-528
623
TÃTULO: Sound Design Impacts User Experience and Attention in Serious Game
AUTORES: Zijing Cao ; Eduardo Magalhães; Gilberto Bernardes ;
PUBLICAÇÃO: 2023, FONTE: 9th Joint International Conference on Serious Games, JCSG 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14309 LNCS, PÁGINAS: 95-110
AUTORES: Zijing Cao ; Eduardo Magalhães; Gilberto Bernardes ;
PUBLICAÇÃO: 2023, FONTE: 9th Joint International Conference on Serious Games, JCSG 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14309 LNCS, PÁGINAS: 95-110
624
TÃTULO: Spectrum-based feature localization for families of systems?
AUTORES: Michelon, Gabriela K.; Martinez, Jabier; Sotto Mayor, Bruno; Arrieta, Aitor; Assuncao, Wesley K. G.; Abreu, Rui ; Egyed, Alexander;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 195, PÁGINAS: 111532
AUTORES: Michelon, Gabriela K.; Martinez, Jabier; Sotto Mayor, Bruno; Arrieta, Aitor; Assuncao, Wesley K. G.; Abreu, Rui ; Egyed, Alexander;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 195, PÁGINAS: 111532
625
TÃTULO: ST-A<sub><i>G</i></sub>P: Spatio-Temporal aggregator predictor model for multi-step taxi-demand prediction in cities
AUTORES: Bhanu, Manish; Priya, Shalini; Moreira, Joao Mendes ; Chandra, Joydeep;
PUBLICAÇÃO: 2023, FONTE: APPLIED INTELLIGENCE, VOLUME: 53, NÚMERO: 2, PÁGINAS: 2110-2132
AUTORES: Bhanu, Manish; Priya, Shalini; Moreira, Joao Mendes ; Chandra, Joydeep;
PUBLICAÇÃO: 2023, FONTE: APPLIED INTELLIGENCE, VOLUME: 53, NÚMERO: 2, PÁGINAS: 2110-2132
626
TÃTULO: STC plus K: a Semi-global triangular and degree centrality method to identify influential spreaders in complex networks
AUTORES: Sadhu, Srestha; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLICAÇÃO: 2023, FONTE: 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) in 2023 IEEE INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY, WI-IAT, PÁGINAS: 655-662
AUTORES: Sadhu, Srestha; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLICAÇÃO: 2023, FONTE: 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) in 2023 IEEE INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY, WI-IAT, PÁGINAS: 655-662
627
TÃTULO: Stereo Based 3D Perception for Obstacle Avoidance in Autonomous Wheelchair Navigation
AUTORES: Gomes, Bruno; Jose M Torres ; Sobral, Pedro ; Sousa, Armando ; Reis, Luis Paulo ;
PUBLICAÇÃO: 2023, FONTE: 5th Iberian Robotics Conference (ROBOT) in ROBOT2022: FIFTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 1, VOLUME: 589, PÁGINAS: 321-332
AUTORES: Gomes, Bruno; Jose M Torres ; Sobral, Pedro ; Sousa, Armando ; Reis, Luis Paulo ;
PUBLICAÇÃO: 2023, FONTE: 5th Iberian Robotics Conference (ROBOT) in ROBOT2022: FIFTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 1, VOLUME: 589, PÁGINAS: 321-332
628
TÃTULO: Study on Correlation Between Vehicle Emissions and Air Quality in Porto
AUTORES: Shaji, Nirbhaya; Andrade, Thiago ; Ribeiro, Rita P. ; Gama, Joao ;
PUBLICAÇÃO: 2023, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT I, VOLUME: 1752, PÁGINAS: 181-196
AUTORES: Shaji, Nirbhaya; Andrade, Thiago ; Ribeiro, Rita P. ; Gama, Joao ;
PUBLICAÇÃO: 2023, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT I, VOLUME: 1752, PÁGINAS: 181-196
629
TÃTULO: Study on LSTM and ConvLSTM Memory-Based Deep Reinforcement Learning
AUTORES: Fernando Fradique Duarte; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLICAÇÃO: 2023, FONTE: Agents and Artificial Intelligence - 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers, VOLUME: 14546, PÁGINAS: 223-243
AUTORES: Fernando Fradique Duarte; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLICAÇÃO: 2023, FONTE: Agents and Artificial Intelligence - 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers, VOLUME: 14546, PÁGINAS: 223-243
630
TÃTULO: Studying the Impact of Sampling in Highly Frequent Time Series
AUTORES: Ferreira, Paulo J. S.; Mendes Moreira, Joao ; Rodrigues, Arlete;
PUBLICAÇÃO: 2023, FONTE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT I, VOLUME: 14115, PÁGINAS: 251-262
AUTORES: Ferreira, Paulo J. S.; Mendes Moreira, Joao ; Rodrigues, Arlete;
PUBLICAÇÃO: 2023, FONTE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT I, VOLUME: 14115, PÁGINAS: 251-262
631
TÃTULO: Symmetry-based regularization in deep breast cancer screening
AUTORES: Castro, Eduardo ; Jose Costa Pereira ; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2023, FONTE: MEDICAL IMAGE ANALYSIS, VOLUME: 83, PÁGINAS: 102690
AUTORES: Castro, Eduardo ; Jose Costa Pereira ; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2023, FONTE: MEDICAL IMAGE ANALYSIS, VOLUME: 83, PÁGINAS: 102690
632
TÃTULO: Task Model Design and Analysis with Alloy
AUTORES: Cunha, Alcino ; Macedo, Nuno ; Kang, Eunsuk;
PUBLICAÇÃO: 2023, FONTE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PÁGINAS: 303-320
AUTORES: Cunha, Alcino ; Macedo, Nuno ; Kang, Eunsuk;
PUBLICAÇÃO: 2023, FONTE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PÁGINAS: 303-320
633
TÃTULO: Telephone-based psychological crisis intervention: the Portuguese experience with COVID-19
AUTORES: Eugénia Ribeiro ; Adriana Sampaio ; Miguel M Gonçalves ; Maria Do Céu Taveira ; Jácome Cunha ; Ângela Maia ; Marlene Matos ; Sónia Gonçalves; Bárbara Figueiredo ; Teresa Freire ; Tércio Soares;
PUBLICAÇÃO: 2023, FONTE: How the COVID-19 Pandemic Transformed the Mental Health Landscape, PÁGINAS: 39-52
AUTORES: Eugénia Ribeiro ; Adriana Sampaio ; Miguel M Gonçalves ; Maria Do Céu Taveira ; Jácome Cunha ; Ângela Maia ; Marlene Matos ; Sónia Gonçalves; Bárbara Figueiredo ; Teresa Freire ; Tércio Soares;
PUBLICAÇÃO: 2023, FONTE: How the COVID-19 Pandemic Transformed the Mental Health Landscape, PÁGINAS: 39-52
634
TÃTULO: Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection
AUTORES: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLICAÇÃO: 2023, FONTE: IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN) in 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN, PÁGINAS: 102-103
AUTORES: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLICAÇÃO: 2023, FONTE: IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN) in 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN, PÁGINAS: 102-103
635
TÃTULO: Test case quality: an empirical study on belief and evidence
AUTORES: Daniel Lucrédio; VINCENZI, AURI M. R. ; Eduardo Santana de Almeida; Iftekhar Ahmed;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2307.06410
AUTORES: Daniel Lucrédio; VINCENZI, AURI M. R. ; Eduardo Santana de Almeida; Iftekhar Ahmed;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2307.06410
636
TÃTULO: The Design of Digital Platform Ecosystem Supporting Circular Economy
AUTORES: Marantes, Goncalo; Soares, Antonio Lucas ; Silva, Henrique Diogo ;
PUBLICAÇÃO: 2023, FONTE: 24th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATIVE NETWORKS IN DIGITALIZATION AND SOCIETY 5.0, PRO-VE 2023, VOLUME: 688, PÁGINAS: 80-90
AUTORES: Marantes, Goncalo; Soares, Antonio Lucas ; Silva, Henrique Diogo ;
PUBLICAÇÃO: 2023, FONTE: 24th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATIVE NETWORKS IN DIGITALIZATION AND SOCIETY 5.0, PRO-VE 2023, VOLUME: 688, PÁGINAS: 80-90
637
TÃTULO: The Evolution of Web Search User Interfaces - An Archaeological Analysis of Google Search Engine Result Pages
AUTORES: Bruno Oliveira; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 2023 Conference on Human Information Interaction and Retrieval, CHIIR 2023, Austin, TX, USA, March 19-23, 2023, PÁGINAS: 55-68
AUTORES: Bruno Oliveira; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 2023 Conference on Human Information Interaction and Retrieval, CHIIR 2023, Austin, TX, USA, March 19-23, 2023, PÁGINAS: 55-68
638
TÃTULO: The role of kiosks on health services: a systematic review
AUTORES: Oliveira, Eva; Pacheco, Paulo; Santos, Fatima; Coimbra, Joao; Stamper, John; Coelho, Antonio ; Paredes, Hugo ; Alves, Joana; Rodrigues, Nuno Feixa ;
PUBLICAÇÃO: 2023, FONTE: IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) in 2023 IEEE 11TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH, PÁGINAS: 1-6
AUTORES: Oliveira, Eva; Pacheco, Paulo; Santos, Fatima; Coimbra, Joao; Stamper, John; Coelho, Antonio ; Paredes, Hugo ; Alves, Joana; Rodrigues, Nuno Feixa ;
PUBLICAÇÃO: 2023, FONTE: IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) in 2023 IEEE 11TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH, PÁGINAS: 1-6
639
TÃTULO: The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing
AUTORES: Chen, Qihong; Camara, Ruben; Campos, Jose ; Souto, Andre ; Ahmed, Iftekhar;
PUBLICAÇÃO: 2023, FONTE: 45th IEEE/ACM International Conference on Software Engineering (ICSE) in 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, PÁGINAS: 358-370
AUTORES: Chen, Qihong; Camara, Ruben; Campos, Jose ; Souto, Andre ; Ahmed, Iftekhar;
PUBLICAÇÃO: 2023, FONTE: 45th IEEE/ACM International Conference on Software Engineering (ICSE) in 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, PÁGINAS: 358-370
640
TÃTULO: Time-limited Bloom Filter
AUTORES: Rodrigues, Ana; Shtul, Ariel; Baquero, Carlos ; Almeida, Paulo Sergio ;
PUBLICAÇÃO: 2023, FONTE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, PÁGINAS: 1285-1288
AUTORES: Rodrigues, Ana; Shtul, Ariel; Baquero, Carlos ; Almeida, Paulo Sergio ;
PUBLICAÇÃO: 2023, FONTE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, PÁGINAS: 1285-1288