Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 4728
62 Team MembersFilters -> Year: 2026
801
TITLE: REXSTEPPER: a Reference Debugger for JavaScript Regular Expressions
AUTHORS: Almeida, Luis; Gonzaga, Miguel; Santos, Jose Fragoso; Abreu, Rui ;
PUBLISHED: 2023, SOURCE: 45th IEEE/ACM International Conference on Software Engineering (ICSE) in 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, PAGES: 41-45
AUTHORS: Almeida, Luis; Gonzaga, Miguel; Santos, Jose Fragoso; Abreu, Rui ;
PUBLISHED: 2023, SOURCE: 45th IEEE/ACM International Conference on Software Engineering (ICSE) in 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, PAGES: 41-45
802
TITLE: Secure, Dynamic and Uncomplicated Licensing of Movies on a Blockchain Infrastructure
AUTHORS: Santos, Joao; Amorim, Ivone ; Ulisses, Alexandre; Lopes, Joao Correia ; Filipe, Vasco;
PUBLISHED: 2023, SOURCE: 37th International Conference on Information Networking (ICOIN) in 2023 INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, ICOIN, VOLUME: 2023-January, PAGES: 152-157
AUTHORS: Santos, Joao; Amorim, Ivone ; Ulisses, Alexandre; Lopes, Joao Correia ; Filipe, Vasco;
PUBLISHED: 2023, SOURCE: 37th International Conference on Information Networking (ICOIN) in 2023 INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, ICOIN, VOLUME: 2023-January, PAGES: 152-157
803
TITLE: Shape-A-Getti: A haptic device for getting multiple shapes using a simple actuator
AUTHORS: Barbosa, Filipe; Mendes, Daniel ; Rodrigues, Rui ;
PUBLISHED: 2023, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 117, PAGES: 42-50
AUTHORS: Barbosa, Filipe; Mendes, Daniel ; Rodrigues, Rui ;
PUBLISHED: 2023, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 117, PAGES: 42-50
804
TITLE: SIMoT: A Low-fidelity Orchestrator Simulator for Task Allocation in IoT Devices
AUTHORS: Fragoso, Tiago; Silva, David; Dias, Joao Pedro ; André Restivo ; Ferreira, Hugo Sereno ;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, PAGES: 290-296
AUTHORS: Fragoso, Tiago; Silva, David; Dias, Joao Pedro ; André Restivo ; Ferreira, Hugo Sereno ;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, PAGES: 290-296
805
TITLE: Single Modality vs. Multimodality: What Works Best for Lung Cancer Screening?
AUTHORS: Sousa, Joana Vale ; Matos, Pedro; Silva, Francisco ; Freitas, Pedro ; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2023, SOURCE: SENSORS, VOLUME: 23, ISSUE: 12, PAGES: 5597
AUTHORS: Sousa, Joana Vale ; Matos, Pedro; Silva, Francisco ; Freitas, Pedro ; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2023, SOURCE: SENSORS, VOLUME: 23, ISSUE: 12, PAGES: 5597
806
TITLE: SIT6: Indirect touch-based object manipulation for DeskVR
AUTHORS: Almeida, Diogo; Mendes, Daniel ; Rodrigues, Rui ;
PUBLISHED: 2023, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 117, PAGES: 51-60
AUTHORS: Almeida, Diogo; Mendes, Daniel ; Rodrigues, Rui ;
PUBLISHED: 2023, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 117, PAGES: 51-60
807
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
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
808
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
AUTHORS: Gao, R; Wong, WE; Abreu, R ;
PUBLISHED: 2023, SOURCE: Handbook of Software Fault Localization: Foundations and Advances, PAGES: 473-528
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef809
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 JCSG, VOLUME: 14309 LNCS, PAGES: 95-110
AUTHORS: Zijing Cao ; Eduardo Magalhães; Gilberto Bernardes ;
PUBLISHED: 2023, SOURCE: 9th Joint International Conference on Serious Games, JCSG 2023 in JCSG, VOLUME: 14309 LNCS, PAGES: 95-110
810
TITLE: Special Issue on Novel Applications of Artificial Intelligence in Medicine and Health
AUTHORS: Pereira, Tania ; Cunha, Antonio ; Oliveira, Helder P. ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 2, PAGES: 881
AUTHORS: Pereira, Tania ; Cunha, Antonio ; Oliveira, Helder P. ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 2, PAGES: 881
811
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
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
812
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
AUTHORS: Bhanu, Manish; Priya, Shalini; Moreira, Joao Mendes ; Chandra, Joydeep;
PUBLISHED: 2023, SOURCE: APPLIED INTELLIGENCE, VOLUME: 53, ISSUE: 2, PAGES: 2110-2132
813
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
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
814
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
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
815
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
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
816
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
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
817
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
AUTHORS: Castro, Eduardo ; Jose Costa Pereira ; Cardoso, Jaime S. ;
PUBLISHED: 2023, SOURCE: MEDICAL IMAGE ANALYSIS, VOLUME: 83, PAGES: 102690
818
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
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
819
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
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
INDEXED IN: CrossRef
CrossRef820
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
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
