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

AuthID: I-000-0K9


Publications Count: 4495

56 Team Members
Filters -> Year: 2025
621
TITLE: SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
AUTHORS: di Angelo, Monika; Durieux, Thomas; Ferreira, Joao F. ; Salzer, Gernot;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, PAGES: 2102-2105
622
TITLE: Software fault localization for programs with multiple bugs
AUTHORS: Gao, R; Wong, WE; Abreu, R ;
PUBLISHED: 2023, SOURCE: Handbook of Software Fault Localization: Foundations and Advances, PAGES: 473-528
623
TITLE: Sound Design Impacts User Experience and Attention in Serious Game
AUTHORS: Zijing Cao ; Eduardo Magalhães; Gilberto Bernardes ;
PUBLISHED: 2023, SOURCE: 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, PAGES: 95-110
624
TITLE: Spectrum-based feature localization for families of systems?
AUTHORS: Michelon, Gabriela K.; Martinez, Jabier; Sotto Mayor, Bruno; Arrieta, Aitor; Assuncao, Wesley K. G.; Abreu, Rui ; Egyed, Alexander;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 195, PAGES: 111532
625
TITLE: ST-A<sub><i>G</i></sub>P: Spatio-Temporal aggregator predictor model for multi-step taxi-demand prediction in cities
AUTHORS: Bhanu, Manish; Priya, Shalini; Moreira, Joao Mendes ; Chandra, Joydeep;
PUBLISHED: 2023, SOURCE: APPLIED INTELLIGENCE, VOLUME: 53, ISSUE: 2, PAGES: 2110-2132
626
TITLE: STC plus K: a Semi-global triangular and degree centrality method to identify influential spreaders in complex networks
AUTHORS: Sadhu, Srestha; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLISHED: 2023, SOURCE: 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, PAGES: 655-662
627
TITLE: Stereo Based 3D Perception for Obstacle Avoidance in Autonomous Wheelchair Navigation
AUTHORS: Gomes, Bruno; Jose M Torres ; Sobral, Pedro ; Sousa, Armando ; Reis, Luis Paulo ;
PUBLISHED: 2023, SOURCE: 5th Iberian Robotics Conference (ROBOT) in ROBOT2022: FIFTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 1, VOLUME: 589, PAGES: 321-332
628
TITLE: Study on Correlation Between Vehicle Emissions and Air Quality in Porto
AUTHORS: Shaji, Nirbhaya; Andrade, Thiago ; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2023, SOURCE: 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, PAGES: 181-196
629
TITLE: Study on LSTM and ConvLSTM Memory-Based Deep Reinforcement Learning
AUTHORS: Fernando Fradique Duarte; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLISHED: 2023, SOURCE: Agents and Artificial Intelligence - 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers, VOLUME: 14546, PAGES: 223-243
630
TITLE: Studying the Impact of Sampling in Highly Frequent Time Series
AUTHORS: Ferreira, Paulo J. S.; Mendes Moreira, Joao ; Rodrigues, Arlete;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT I, VOLUME: 14115, PAGES: 251-262
631
TITLE: Symmetry-based regularization in deep breast cancer screening
AUTHORS: Castro, Eduardo ; Jose Costa Pereira ; Cardoso, Jaime S. ;
PUBLISHED: 2023, SOURCE: MEDICAL IMAGE ANALYSIS, VOLUME: 83, PAGES: 102690
632
TITLE: Task Model Design and Analysis with Alloy
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Kang, Eunsuk;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PAGES: 303-320
633
TITLE: Telephone-based psychological crisis intervention: the Portuguese experience with COVID-19
AUTHORS: 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;
PUBLISHED: 2023, SOURCE: How the COVID-19 Pandemic Transformed the Mental Health Landscape, PAGES: 39-52
634
TITLE: Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection
AUTHORS: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLISHED: 2023, SOURCE: 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, PAGES: 102-103
635
TITLE: Test case quality: an empirical study on belief and evidence
AUTHORS: Daniel Lucrédio; VINCENZI, AURI M. R. ; Eduardo Santana de Almeida; Iftekhar Ahmed;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.06410
636
TITLE: The Design of Digital Platform Ecosystem Supporting Circular Economy
AUTHORS: Marantes, Goncalo; Soares, Antonio Lucas ; Silva, Henrique Diogo ;
PUBLISHED: 2023, SOURCE: 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, PAGES: 80-90
637
TITLE: The Evolution of Web Search User Interfaces - An Archaeological Analysis of Google Search Engine Result Pages
AUTHORS: Bruno Oliveira; Carla Teixeira Lopes ;
PUBLISHED: 2023, SOURCE: Proceedings of the 2023 Conference on Human Information Interaction and Retrieval, CHIIR 2023, Austin, TX, USA, March 19-23, 2023, PAGES: 55-68
638
TITLE: The role of kiosks on health services: a systematic review
AUTHORS: Oliveira, Eva; Pacheco, Paulo; Santos, Fatima; Coimbra, Joao; Stamper, John; Coelho, Antonio ; Paredes, Hugo ; Alves, Joana; Rodrigues, Nuno Feixa ;
PUBLISHED: 2023, SOURCE: 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, PAGES: 1-6
639
TITLE: The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing
AUTHORS: Chen, Qihong; Camara, Ruben; Campos, Jose ; Souto, Andre ; Ahmed, Iftekhar;
PUBLISHED: 2023, SOURCE: 45th IEEE/ACM International Conference on Software Engineering (ICSE) in 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, PAGES: 358-370
640
TITLE: Time-limited Bloom Filter
AUTHORS: Rodrigues, Ana; Shtul, Ariel; Baquero, Carlos ; Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, PAGES: 1285-1288

Results per Page: 20.
Page 32 of 225. Total results: 4495.