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: 4147
50 Team MembersFilters -> Year: 2025
701
TITLE: Verified Password Generation from Password Composition Policies
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
702
TITLE: Visitors come to experience science: towards a non-obtrusive evaluation method based on immersive virtual reality
AUTHORS: Morais, C ; Luciano Moreira ; Teixeira, A; Aguiar, T; Coelho, A ; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M ;
PUBLISHED: 2022, SOURCE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 21, ISSUE: 1
AUTHORS: Morais, C ; Luciano Moreira ; Teixeira, A; Aguiar, T; Coelho, A ; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M ;
PUBLISHED: 2022, SOURCE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 21, ISSUE: 1
703
TITLE: Visual notations in container orchestrations: an empirical study with Docker Compose Full Text
AUTHORS: Piedade, Bruno; Dias, Joao Pedro ; Correia, Filipe F. ;
PUBLISHED: 2022, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 21, ISSUE: 5, PAGES: 1983-2005
AUTHORS: Piedade, Bruno; Dias, Joao Pedro ; Correia, Filipe F. ;
PUBLISHED: 2022, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 21, ISSUE: 5, PAGES: 1983-2005
704
TITLE: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
705
TITLE: What Ever Happened to Peer-to-Peer Systems? Full Text
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 3, PAGES: 14-15
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 3, PAGES: 14-15
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP706
TITLE: When software engineering meets quantum computing Full Text
AUTHORS: Ali, S; Yue, T; Abreu, R ;
PUBLISHED: 2022, SOURCE: Communications of the ACM, VOLUME: 65, ISSUE: 4, PAGES: 84-88
AUTHORS: Ali, S; Yue, T; Abreu, R ;
PUBLISHED: 2022, SOURCE: Communications of the ACM, VOLUME: 65, ISSUE: 4, PAGES: 84-88
707
TITLE: Which Technologies are Most Frequently Used by Data Scientists?
AUTHORS: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLISHED: 2022, SOURCE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022, Rome, Italy, September 12-16, 2022, VOLUME: 2022-September, PAGES: 1-5
AUTHORS: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLISHED: 2022, SOURCE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022, Rome, Italy, September 12-16, 2022, VOLUME: 2022-September, PAGES: 1-5
708
TITLE: WindsPT e-Science platform for wind measurement campaigns
AUTHORS: Gomes D.F.; Lopes J.C. ; Palma J.M.L.M.; Senra F.; Dias S.; Coimbra I.L.;
PUBLISHED: 2022, SOURCE: Journal of Physics: Conference Series, VOLUME: 2265, ISSUE: 2, PAGES: 022081
AUTHORS: Gomes D.F.; Lopes J.C. ; Palma J.M.L.M.; Senra F.; Dias S.; Coimbra I.L.;
PUBLISHED: 2022, SOURCE: Journal of Physics: Conference Series, VOLUME: 2265, ISSUE: 2, PAGES: 022081
709
TITLE: "Want to come play with me?" Outlier subgroup discovery on spatio-temporal interactions Full Text
AUTHORS: Carolina Centeio Jorge ; Atzmueller, M; Heravi, BM; Gibson, JL; Rossetti, RJF ; de Sa, CR;
PUBLISHED: 2021, SOURCE: EXPERT SYSTEMS, VOLUME: 40, ISSUE: 5
AUTHORS: Carolina Centeio Jorge ; Atzmueller, M; Heravi, BM; Gibson, JL; Rossetti, RJF ; de Sa, CR;
PUBLISHED: 2021, SOURCE: EXPERT SYSTEMS, VOLUME: 40, ISSUE: 5
710
TITLE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021, January 19, 2021, Budapest, Hungary
AUTHORS: João Bispo ; Stefano Cherubin; José Flich;
PUBLISHED: 2021, SOURCE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021 in PARMA-DITAM@HiPEAC, VOLUME: 88
AUTHORS: João Bispo ; Stefano Cherubin; José Flich;
PUBLISHED: 2021, SOURCE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021 in PARMA-DITAM@HiPEAC, VOLUME: 88
INDEXED IN: Scopus DBLP
Scopus DBLP711
TITLE: 6D Localization and Kicking for Humanoid Robotic Soccer Full Text
AUTHORS: Abreu, M ; Silva, T; Teixeira, H; Reis, LP ; Lau, N ;
PUBLISHED: 2021, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 102, ISSUE: 2, PAGES: 30
AUTHORS: Abreu, M ; Silva, T; Teixeira, H; Reis, LP ; Lau, N ;
PUBLISHED: 2021, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 102, ISSUE: 2, PAGES: 30
712
TITLE: A Binary Translation Framework for Automated Hardware Generation Full Text
AUTHORS: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: IEEE MICRO, VOLUME: 41, ISSUE: 4, PAGES: 15-22
AUTHORS: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: IEEE MICRO, VOLUME: 41, ISSUE: 4, PAGES: 15-22
713
TITLE: A Chatbot for Recipe Recommendation and Preference Modeling
AUTHORS: Samagaio, Alvaro Mendes; Cardoso, Henrique Lopes ; Ribeiro, David;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 389-402
AUTHORS: Samagaio, Alvaro Mendes; Cardoso, Henrique Lopes ; Ribeiro, David;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 389-402
714
TITLE: A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities
AUTHORS: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLISHED: 2021, SOURCE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October, PAGES: 196-207
AUTHORS: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLISHED: 2021, SOURCE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October, PAGES: 196-207
715
TITLE: A Comparative Study on the Performance of the IB+ Tree and the I2B+ Tree
AUTHORS: Carneiro, E ; de Carvalho, AV; Oliveira, MA ;
PUBLISHED: 2021, SOURCE: Journal of Information Systems Engineering and Management, VOLUME: 6, ISSUE: 3
AUTHORS: Carneiro, E ; de Carvalho, AV; Oliveira, MA ;
PUBLISHED: 2021, SOURCE: Journal of Information Systems Engineering and Management, VOLUME: 6, ISSUE: 3
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef716
TITLE: A CPG-Based Agile and Versatile Locomotion Framework Using Proximal Symmetry Loss
AUTHORS: Mohammadreza Kasaei; Miguel Abreu; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.00928
AUTHORS: Mohammadreza Kasaei; Miguel Abreu; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.00928
INDEXED IN: DBLP
DBLP717
TITLE: A data-based multi-algorithm system for an end-to-end intelligent manufacturing process
AUTHORS: Artur Freitas Gonçalves; João Reis; Gil Gonçalves ;
PUBLISHED: 2021
AUTHORS: Artur Freitas Gonçalves; João Reis; Gil Gonçalves ;
PUBLISHED: 2021
INDEXED IN: CrossRef
CrossRef718
TITLE: A Data-Driven Simulator for Assessing Decision-Making in Soccer
AUTHORS: Mendes Neves, Tiago ; Mendes Moreira, Joao ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 687-698
AUTHORS: Mendes Neves, Tiago ; Mendes Moreira, Joao ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 687-698
719
TITLE: A methodology and framework for software memoization of functions
AUTHORS: Pedro Pinto ; João M P Cardoso ;
PUBLISHED: 2021, SOURCE: 18th ACM International Conference on Computing Frontiers 2021, CF 2021 in CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021, PAGES: 93-101
AUTHORS: Pedro Pinto ; João M P Cardoso ;
PUBLISHED: 2021, SOURCE: 18th ACM International Conference on Computing Frontiers 2021, CF 2021 in CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021, PAGES: 93-101
720
TITLE: A Model to Enable the Reuse of Metadata-Based Frameworks in Adaptive Object Model Architectures
AUTHORS: Guerra, E; Dias, AD; Veras, LGDO; Aguiar, A ; Choma, J; Da Silva, TS;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9, PAGES: 85124-85143
AUTHORS: Guerra, E; Dias, AD; Veras, LGDO; Aguiar, A ; Choma, J; Da Silva, TS;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9, PAGES: 85124-85143
