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

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

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

150 Team Members
Filters -> Year: 2025
102
TITLE: Towards Quantum Ray Tracing  Full Text
AUTHORS: Luis Paulo Santos ; Thomas Bashford Rogers; Joao Barbosa; Paul Navratil;
PUBLISHED: 2024, SOURCE: IEEE Transactions on Visualization and Computer Graphics, PAGES: 1-12
INDEXED IN: Scopus CrossRef: 1 Unpaywall
103
TITLE: Trading Runtime for Energy Efficiency Leveraging Power Caps to Save Energy across Programming Languages
AUTHORS: Cunha, Simao; Silva, Luis; Saraiva, Joao ; Fernandes, Joao Paulo;
PUBLISHED: 2024, SOURCE: 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2024, VOLUME: 3, PAGES: 130-142
INDEXED IN: Scopus WOS DBLP CrossRef: 1
104
TITLE: Trainability issues in quantum policy gradients
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: MACHINE LEARNING-SCIENCE AND TECHNOLOGY, VOLUME: 5, ISSUE: 3, PAGES: 35037
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
105
TITLE: Trainability issues in quantum policy gradients with softmax activations
AUTHORS: Sequeira, Andre; Santos, Luis Paulo; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: 2024 International Conference on Quantum Computing and Engineering in 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING, QCE, VOL 2, VOLUME: 2, PAGES: 335-340
INDEXED IN: Scopus WOS DBLP
106
TITLE: Validating multiple variants of an automotive light system with Alloy 6  Full Text
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 3, PAGES: 365-377
INDEXED IN: Scopus WOS DBLP
107
TITLE: VQC-based reinforcement learning with data re-uploading: performance and trainability
AUTHORS: Coelho, Rodrigo; Sequeira, Andre ; Santos, Luis Paulo ;
PUBLISHED: 2024, SOURCE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 6, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 6 Unpaywall
108
TITLE: When Amnesia Strikes: Understanding and Reproducing Data Loss Bugs with Fault Injection PDF  Full Text
AUTHORS: Ramos, Maria; Azevedo, Joao; Kingsbury, Kyle; Pereira, Jose ; Esteves, Tania ; Macedo, Ricardo ; Paulo, Joao ;
PUBLISHED: 2024, SOURCE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 17, ISSUE: 11, PAGES: 3017-3030
INDEXED IN: Scopus WOS DBLP CrossRef
109
TITLE: X-Wing
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte ; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Commun. Cryptol., VOLUME: 1, ISSUE: 1, PAGES: 21
INDEXED IN: DBLP CrossRef: 7
110
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
111
TITLE: Zipper-based embedding of strategic attribute grammars  Full Text
AUTHORS: Macedo, Jose Nuno ; Rodrigues, Emanuel; Viera, Marcos; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211, PAGES: 111975
INDEXED IN: Scopus WOS DBLP CrossRef: 1
112
TITLE: A Case for Partitioned Bloom Filters PDF
AUTHORS: Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 72, ISSUE: 6, PAGES: 1681-1691
INDEXED IN: WOS DBLP arXiv CrossRef: 4
113
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
114
TITLE: A congestion-based local search for transmission expansion planning problems
AUTHORS: Phillipe V Gomes; Luiz Eduardo de Oliveira; João Saraiva ;
PUBLISHED: 2023, SOURCE: Swarm Evol. Comput., VOLUME: 83, PAGES: 101422
INDEXED IN: DBLP
115
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 CrossRef: 6
116
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: 1
117
TITLE: A Year Embedded in the Crypto-NFT Space  Full Text
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2023, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 9, PAGES: 8-9
INDEXED IN: Scopus WOS DBLP
118
TITLE: Adding Records to Alloy
AUTHORS: Brunel, Julien; Chemouil, David; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PAGES: 212-219
INDEXED IN: Scopus WOS DBLP CrossRef: 1
119
TITLE: AGE: Automatic Performance Evaluation of API Gateways
AUTHORS: Pedro Moreira ; António Ribeiro; João Marco C Silva ;
PUBLISHED: 2023, SOURCE: 28th IEEE Symposium on Computers and Communications, ISCC 2023 in IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023, VOLUME: 2023-July, PAGES: 405-410
INDEXED IN: Scopus DBLP CrossRef: 3 Unpaywall
120
TITLE: AMAN Case Study
AUTHORS: Palanque, Philippe; Campos, Jose Creissac ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PAGES: 265-283
INDEXED IN: Scopus WOS DBLP CrossRef: 6

Results per Page: 20.
Page 6 of 77. Total results: 1522.