Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

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: 1545

150 Team Members
Filters -> Year: 2024
1
TITLE: A large-scale empirical study on mobile performance: energy, run-time and memory  Full Text
AUTHORS: Rua, Rui; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 29, ISSUE: 1, PAGES: 31
INDEXED IN: Scopus WOS DBLP
2
TITLE: A review on the decarbonization of high-performance computing centers
AUTHORS: Silva, C. A. ; Vilaca, R.; Pereira, A. ; Bessa, R. J. ;
PUBLISHED: 2024, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 189, PAGES: 114019
INDEXED IN: Scopus WOS CrossRef
3
TITLE: A worldwide overview on the information security posture of online public services
AUTHORS: João Marco Silva ; Diogo Ribeiro ; Luis Felipe M Ramos; Victor Fonte ;
PUBLISHED: 2024, SOURCE: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, PAGES: 1881-1890
INDEXED IN: DBLP CrossRef Unpaywall
4
TITLE: Bare PAKE: Universally Composable Key Exchange from just Passwords
AUTHORS: Manuel Barbosa ; Kai Gellert; Julia Hesse; Stanislaw Jarecki;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 234
INDEXED IN: DBLP
5
TITLE: Berry: A code for the differentiation of Bloch wavefunctions from DFT calculations
AUTHORS: Reascos, Leander; Carneiro, Fabio; Pereira, Andre ; Castro, Nuno Filipe; Ribeiro, Ricardo Mendes;
PUBLISHED: 2024, SOURCE: COMPUTER PHYSICS COMMUNICATIONS, VOLUME: 295, PAGES: 108972
INDEXED IN: Scopus WOS CrossRef
6
TITLE: Branching pomsets: Design, expressiveness and applications to choreographies
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136, PAGES: 100919
INDEXED IN: Scopus WOS DBLP
7
TITLE: C'est très CHIC: A compact password-authenticated key exchange from lattice-based KEM
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki; Marjan Skrobot;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 308
INDEXED IN: DBLP
8
TITLE: Chronicles of CI/CD: A Deep Dive into its Usage Over Time
AUTHORS: Hugo Da Gião; André Flores; Rui Pereira; Jácome Cunha ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.17588
INDEXED IN: DBLP
9
TITLE: Contract Usage and Evolution in Android Mobile Applications
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.14244
INDEXED IN: DBLP
10
TITLE: DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
AUTHORS: Lima, Rui ; Ferreira, Joao F.; Mendes, Alexandra ; Carreira, Carolina;
PUBLISHED: 2024, SOURCE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, ISSUE: 1, PAGES: 1
INDEXED IN: Scopus WOS DBLP
11
TITLE: Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials
AUTHORS: José Diogo Guimarães; Mikhail I Vasilevskiy; Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: Quantum, VOLUME: 8, PAGES: 1242
INDEXED IN: DBLP
12
TITLE: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTHORS: Álvaro Silva; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.00963
INDEXED IN: DBLP
13
TITLE: On Quantum Natural Policy Gradients
AUTHORS: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.08307
INDEXED IN: DBLP
14
TITLE: Performance and explainability of feature selection-boosted tree-based classifiers for COVID-19 detection
AUTHORS: Rufino, Jesus; Ramirez, Juan Marcos; Aguilar, Jose; Baquero, Carlos ; Champati, Jaya; Frey, Davide; Lillo, Rosa Elvira; Fernandez Anta, Antonio;
PUBLISHED: 2024, SOURCE: HELIYON, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
15
TITLE: X-Wing: The Hybrid KEM You've Been Looking For
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 39
INDEXED IN: DBLP
16
TITLE: A Backend Platform for Supporting the Reproducibility of Computational Experiments
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.00703
INDEXED IN: DBLP
17
TITLE: A Case for Partitioned Bloom Filters
AUTHORS: Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 72, ISSUE: 6, PAGES: 1681-1691
INDEXED IN: WOS DBLP
18
TITLE: A Complete V-Equational System for Graded lambda-Calculus
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.02082
INDEXED IN: DBLP
19
TITLE: A methodology for refactoring ORM-based monolithic web applications into microservices
AUTHORS: Freitas, Francisco; Ferreira, Andre; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 75, PAGES: 101205
INDEXED IN: Scopus WOS DBLP
20
TITLE: A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3
AUTHORS: Frade, Maria Joao ; Pinto, Jorge Sousa ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133, PAGES: 100871
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 1 de 78. Total de resultados: 1545.