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

University of Porto (UP) :: Faculty of Engineering (FEUP)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 4619

61 Team Members
Filters -> Year: 2026
381
TITLE: Foundations for a Rust-Like Borrow Checker for C
AUTHORS: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PAGES: 155-165
INDEXED IN: Scopus WOS DBLP CrossRef: 2
382
TITLE: Fourier (Common-Tone) Phase Spaces are in Tune with Variational Autoencoders' Latent Space
AUTHORS: Carvalho, Nadia ; Bernardes, Gilberto ;
PUBLISHED: 2024, SOURCE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PAGES: 305-316
INDEXED IN: Scopus WOS CrossRef Unpaywall
383
TITLE: Fourier Qualia Wavescapes: Hierarchical Analyses of Set Class Quality and Ambiguity
AUTHORS: Samuel Pereira ; Affatato, Giovanni; Bernardes, Gilberto ; Moss, Fabian C.;
PUBLISHED: 2024, SOURCE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PAGES: 317-329
INDEXED IN: Scopus WOS CrossRef Unpaywall
384
TITLE: FRAFOL: FRAmework FOr Learning mutation testing
AUTHORS: Tavares, Pedro; Paiva, Ana ; Amalfitano, Domenico; Just, Rene;
PUBLISHED: 2024, SOURCE: 33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, PAGES: 1846-1850
INDEXED IN: Scopus WOS DBLP CrossRef
385
TITLE: Gate Branch Coverage: A Metric for Quantum Software Testing
AUTHORS: Fortunato, Daniel; Campos, Jose ; Abreu, Rui ;
PUBLISHED: 2024, SOURCE: 1st ACM International Workshop on Quantum Software Engineering:The Next Evolution (QSE-NE) in PROCEEDINGS OF THE 1ST ACM INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING:THE NEXT EVOLUTION, QSE-NE 2024, PAGES: 15-18
INDEXED IN: Scopus WOS CrossRef
386
TITLE: Generative AI for Test Driven Development: Preliminary Results
AUTHORS: Moritz Mock; Jorge Melegati ; Barbara Russo;
PUBLISHED: 2024, SOURCE: XP Workshops, PAGES: 24-32
INDEXED IN: DBLP CrossRef: 4
387
TITLE: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTHORS: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: ERCIM NEWS, VOLUME: 2024, ISSUE: 139
INDEXED IN: WOS DBLP
388
TITLE: Guidelines for reproducible analysis of adaptive immune receptor repertoire sequencing data
AUTHORS: Peres, Ayelet; Klein, Vered; Frankel, Boaz; Lees, William; Polak, Pazit; Meehan, Mark; Rocha, Artur ; Correia Lopes, Joao ; Yaari, Gur;
PUBLISHED: 2024, SOURCE: BRIEFINGS IN BIOINFORMATICS, VOLUME: 25, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Unpaywall
389
TITLE: Heterogeneity in families with ATTRV30M amyloidosis: a historical and longitudinal Portuguese case study impact for genetic counselling  Full Text
AUTHORS: Pedroto, Maria ; Coelho, Teresa; Fernandes, Joana; Oliveira, Alexandra; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLISHED: 2024, SOURCE: AMYLOID-JOURNAL OF PROTEIN FOLDING DISORDERS, VOLUME: 31, ISSUE: 3, PAGES: 168-178
INDEXED IN: Scopus WOS CrossRef Unpaywall
390
TITLE: HiClass4MD: a Hierarchical Classifier for Transportation Mode Detection
AUTHORS: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLISHED: 2024, SOURCE: 27th Intelligent Transportation Systems Conference in 2024 IEEE 27TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, PAGES: 1974-1979
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
391
TITLE: Hierarchical Reinforcement Learning and Evolution Strategies for Cooperative Robotic Soccer
AUTHORS: Santos, Barbara; Cardoso, Antonio; Ledo, Goncalo ; Reis, Luis Paulo ; Sousa, Armando ;
PUBLISHED: 2024, SOURCE: 7th Iberian Robotics Conference in 2024 7TH IBERIAN ROBOTICS CONFERENCE, ROBOT 2024, PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
392
TITLE: Historical Portuguese corpora: a survey  Full Text
AUTHORS: Osorio, Tomas Freitas; Cardoso, Henrique Lopes ;
PUBLISHED: 2024, SOURCE: LANGUAGE RESOURCES AND EVALUATION
INDEXED IN: Scopus WOS CrossRef Unpaywall
393
TITLE: How are Contracts Used in Android Mobile Applications?
AUTHORS: Ferreira, David R.; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLISHED: 2024, SOURCE: 44th International Conference on Software Engineering: Companion Proceedings in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION 2024, PAGES: 400-401
INDEXED IN: Scopus WOS DBLP CrossRef
394
TITLE: HOW DEEP TECH CAN PROMOTE INNOVATION AND ENTREPRENEURSHIP IN HIGHER EDUCATION INSTITUTIONS
AUTHORS: Gil Gonçalves ; Joana Miranda;
PUBLISHED: 2024, SOURCE: INTED Proceedings - INTED2024 Proceedings
INDEXED IN: CrossRef
395
TITLE: HyPredictor: Hybrid Failure Prognosis Approach Combining Data-Driven and Knowledge-Based Methods
AUTHORS: Miguel Almeida; Eliseu Moura Pereira ; Gil Gonçalves ;
PUBLISHED: 2024, SOURCE: ICINCO (1), VOLUME: 1, PAGES: 245-252
INDEXED IN: Scopus DBLP CrossRef: 1
396
TITLE: Images to Describe Research Data: A Case Study on the Use of Imagery Metadata
AUTHORS: Rodrigues, Joana ; Lopes, Carla Teixeira ;
PUBLISHED: 2024, SOURCE: 17th Research Conference on Metadata and Semantic Research (MTSR) in METADATA AND SEMANTIC RESEARCH, MTSR 2023, VOLUME: 2048, PAGES: 103-116
INDEXED IN: Scopus WOS DBLP CrossRef: 1
397
TITLE: Imitation learning for aerobatic maneuvering in fixed-wing aircraft
AUTHORS: Freitas, Henrique; Camacho, Rui ; Silva, Daniel Castro;
PUBLISHED: 2024, SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 81, PAGES: 102343
INDEXED IN: Scopus WOS DBLP CrossRef: 3
398
TITLE: Incidental graphical perception: How marks and display time influence accuracy  Full Text
AUTHORS: Moreira, Joao; Mendes, Daniel ; Goncalves, Daniel;
PUBLISHED: 2024, SOURCE: INFORMATION VISUALIZATION, VOLUME: 23, ISSUE: 1, PAGES: 3-20
INDEXED IN: Scopus WOS DBLP CrossRef
399
TITLE: Incidental Versus Ambient Visualizations: Comparing Cognitive and Mechanical Tasks
AUTHORS: Moreira, Joao; Pinto, Diogo; Mendes, Daniel ; Goncalves, Daniel;
PUBLISHED: 2024, SOURCE: 6th International Conference on Graphics and Interaction in 2024 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION, ICGI, PAGES: 61-68
INDEXED IN: Scopus WOS DBLP CrossRef
400
TITLE: Incidental visualizations: How complexity factors influence task performance  Full Text
AUTHORS: Moreira, Joao; Mendes, Daniel ; Goncalves, Daniel ;
PUBLISHED: 2024, SOURCE: VISUAL INFORMATICS, VOLUME: 8, ISSUE: 4, PAGES: 85-96
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Page 20 of 231. Total results: 4619.