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

Universidade do Porto (UP) :: Faculdade de Engenharia (FEUP)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 4461

56 Team Members
Filters -> Year: 2025
261
TÍTULO: Foundations for a Rust-Like Borrow Checker for C
AUTORES: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 155-165
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
262
TÍTULO: Fourier (Common-Tone) Phase Spaces are in Tune with Variational Autoencoders' Latent Space
AUTORES: Carvalho, Nadia ; Bernardes, Gilberto ;
PUBLICAÇÃO: 2024, FONTE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PÁGINAS: 305-316
INDEXADO EM: Scopus WOS CrossRef Unpaywall
263
TÍTULO: Fourier Qualia Wavescapes: Hierarchical Analyses of Set Class Quality and Ambiguity
AUTORES: Pereira, Samuel ; Affatato, Giovanni; Bernardes, Gilberto ; Moss, Fabian C.;
PUBLICAÇÃO: 2024, FONTE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PÁGINAS: 317-329
INDEXADO EM: Scopus WOS CrossRef Unpaywall
264
TÍTULO: FRAFOL: FRAmework FOr Learning mutation testing
AUTORES: Tavares, Pedro; Paiva, Ana ; Amalfitano, Domenico; Just, Rene;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 1846-1850
INDEXADO EM: Scopus WOS DBLP CrossRef
265
TÍTULO: GamEmotion: A Serious Game for Emotion Regulation in Young Adolescents
AUTORES: Silva, Eliana ; Franca, Pedro; Reis, Luis Paulo ;
PUBLICAÇÃO: 2024, FONTE: 6th Annual IEEE Conference on Games (CoG) in 2024 IEEE CONFERENCE ON GAMES, COG 2024, PÁGINAS: 1-4
INDEXADO EM: Scopus WOS DBLP CrossRef
266
TÍTULO: Gate Branch Coverage: A Metric for Quantum Software Testing
AUTORES: Fortunato, Daniel; Campos, Jose ; Abreu, Rui ;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 15-18
INDEXADO EM: Scopus WOS CrossRef
267
TÍTULO: Generative AI for Test Driven Development: Preliminary Results
AUTORES: Moritz Mock; Jorge Melegati ; Barbara Russo;
PUBLICAÇÃO: 2024, FONTE: Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers, VOLUME: 524, PÁGINAS: 24-32
INDEXADO EM: DBLP CrossRef: 1
268
TÍTULO: Generative AI for Test Driven Development: Preliminary Results
AUTORES: Moritz Mock; Jorge Melegati ; Barbara Russo;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.10849
INDEXADO EM: DBLP
269
TÍTULO: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTORES: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: ERCIM NEWS, VOLUME: 139, NÚMERO: 139
INDEXADO EM: WOS DBLP
270
TÍTULO: Guidelines for reproducible analysis of adaptive immune receptor repertoire sequencing data  Full Text
AUTORES: Peres, Ayelet; Klein, Vered; Frankel, Boaz; Lees, William; Polak, Pazit; Meehan, Mark; Rocha, Artur ; Correia Lopes, Joao ; Yaari, Gur;
PUBLICAÇÃO: 2024, FONTE: BRIEFINGS IN BIOINFORMATICS, VOLUME: 25, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
271
TÍTULO: Heterogeneity in families with ATTRV30M amyloidosis: a historical and longitudinal Portuguese case study impact for genetic counselling  Full Text
AUTORES: Pedroto, Maria ; Coelho, Teresa; Fernandes, Joana; Oliveira, Alexandra; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2024, FONTE: AMYLOID-JOURNAL OF PROTEIN FOLDING DISORDERS, VOLUME: 31, NÚMERO: 3, PÁGINAS: 168-178
INDEXADO EM: Scopus WOS CrossRef Unpaywall
272
TÍTULO: HiClass4MD: a Hierarchical Classifier for Transportation Mode Detection
AUTORES: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2024, FONTE: 27th Intelligent Transportation Systems Conference in 2024 IEEE 27TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, PÁGINAS: 1974-1979
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
273
TÍTULO: Hierarchical Reinforcement Learning and Evolution Strategies for Cooperative Robotic Soccer
AUTORES: Santos, Barbara; Cardoso, Antonio; Ledo, Goncalo ; Reis, Luis Paulo ; Sousa, Armando ;
PUBLICAÇÃO: 2024, FONTE: 7th Iberian Robotics Conference in 2024 7TH IBERIAN ROBOTICS CONFERENCE, ROBOT 2024, PÁGINAS: 1-6
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
274
TÍTULO: Historical Portuguese corpora: a survey  Full Text
AUTORES: Osorio, Tomas Freitas; Cardoso, Henrique Lopes ;
PUBLICAÇÃO: 2024, FONTE: LANGUAGE RESOURCES AND EVALUATION
INDEXADO EM: Scopus WOS CrossRef Unpaywall
275
TÍTULO: How are Contracts Used in Android Mobile Applications?
AUTORES: Ferreira, David R.; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLICAÇÃO: 2024, FONTE: 44th International Conference on Software Engineering: Companion Proceedings in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION 2024, PÁGINAS: 400-401
INDEXADO EM: Scopus WOS DBLP CrossRef
276
TÍTULO: HOW DEEP TECH CAN PROMOTE INNOVATION AND ENTREPRENEURSHIP IN HIGHER EDUCATION INSTITUTIONS
AUTORES: Gil Gonçalves ; Joana Miranda;
PUBLICAÇÃO: 2024, FONTE: INTED Proceedings - INTED2024 Proceedings
INDEXADO EM: CrossRef
277
TÍTULO: HyPredictor: Hybrid Failure Prognosis Approach Combining Data-Driven and Knowledge-Based Methods
AUTORES: Miguel Almeida; Eliseu Moura Pereira ; Gil Gonçalves ;
PUBLICAÇÃO: 2024, FONTE: 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024 in Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024, Porto, Portugal, November 18-20, 2024, Volume 1., VOLUME: 1, PÁGINAS: 245-252
INDEXADO EM: Scopus DBLP CrossRef
278
TÍTULO: Images to Describe Research Data: A Case Study on the Use of Imagery Metadata
AUTORES: Rodrigues, Joana; Lopes, Carla Teixeira ;
PUBLICAÇÃO: 2024, FONTE: 17th Research Conference on Metadata and Semantic Research (MTSR) in METADATA AND SEMANTIC RESEARCH, MTSR 2023, VOLUME: 2048, PÁGINAS: 103-116
INDEXADO EM: Scopus WOS DBLP CrossRef
279
TÍTULO: Imitation learning for aerobatic maneuvering in fixed-wing aircraft
AUTORES: Freitas, Henrique; Camacho, Rui ; Silva, Daniel Castro;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 81, PÁGINAS: 102343
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
280
TÍTULO: Incidental graphical perception: How marks and display time influence accuracy  Full Text
AUTORES: Moreira, Joao; Mendes, Daniel ; Goncalves, Daniel;
PUBLICAÇÃO: 2024, FONTE: INFORMATION VISUALIZATION, VOLUME: 23, NÚMERO: 1, PÁGINAS: 3-20
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 14 de 224. Total de resultados: 4461.