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

149 Team Members
Filters -> Year: 2026
161
TITLE: MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems
AUTHORS: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar ;
PUBLISHED: 2024, SOURCE: INDIN, PAGES: 1-8
INDEXED IN: Scopus DBLP
162
TITLE: Mastering Artifact Correction in Neuroimaging Analysis: A Retrospective Approach
AUTHORS: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
INDEXED IN: CrossRef
163
TITLE: Mastering Artifact Correction in Neuroimaging Analysis: A Retrospective Approach
AUTHORS: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
INDEXED IN: CrossRef
164
TITLE: Message from the VERDI Workshop Chairs; DSN-W 2024
AUTHORS: David Pereira; José Proença ; Behrooz Sangchoolie;
PUBLISHED: 2024, SOURCE: DSN-W
INDEXED IN: DBLP
165
TITLE: On Quantum Natural Policy Gradients
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: IEEE TRANSACTIONS ON QUANTUM ENGINEERING, VOLUME: 5, PAGES: 1-11
INDEXED IN: WOS DBLP CrossRef: 3
166
TITLE: On the Impact of PowerCap in Haskell, Java, and Python
AUTHORS: Luís Maia; Marta Sá; Inês Ferreira; Simão Cunha ; Luís Silva; Paulo Azevedo; João Saraiva ;
PUBLISHED: 2024, SOURCE: RAW, VOLUME: 3867, PAGES: 34-43
INDEXED IN: Scopus DBLP
167
TITLE: On the Relational Basis of Early R/G Work
AUTHORS: José Oliveira ;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: LNCS 14781, PAGES: 56-76
INDEXED IN: Scopus CrossRef
168
TITLE: Overview on Constrained Multiparty Synchronisation in Team Automata
AUTHORS: Proença, J ;
PUBLISHED: 2024, SOURCE: 19th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, VOLUME: 14485, PAGES: 194-205
INDEXED IN: Scopus WOS CrossRef: 1
169
TITLE: Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption
AUTHORS: Rodrigues, Bruno; Amorim, Ivone ; Silva, Ivan; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398, PAGES: 199-215
INDEXED IN: Scopus WOS DBLP CrossRef: 3
170
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: 3
171
TITLE: Pondering the Ugly Underbelly, and Whether Images Are Real
AUTHORS: Robin K Hill; Carlos Baquero ;
PUBLISHED: 2024, SOURCE: Commun. ACM, VOLUME: 67, ISSUE: 3, PAGES: 8-10
INDEXED IN: Scopus DBLP
172
TITLE: Programmer User Studies: Supporting Tools & Features
AUTHORS: Costa, Lazaro; Barbosa, Susana ; Cunha, Jacome ;
PUBLISHED: 2024, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2024 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC 2024, VOLUME: 2013, PAGES: 163-167
INDEXED IN: Scopus WOS DBLP CrossRef: 4
173
TITLE: Programming languages ranking based on energy measurements  Full Text
AUTHORS: Gordillo, Alberto; Calero, Coral; Moraga, M. angeles; Garcia, Felix; Fernandes, Joao Paulo ; Abreu, Rui ; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 32, ISSUE: 4, PAGES: 1539-1580
INDEXED IN: Scopus WOS DBLP CrossRef: 10
174
TITLE: pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python
AUTHORS: Emanuel Rodrigues ; José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2024, SOURCE: ENASE, PAGES: 615-624
INDEXED IN: Scopus DBLP CrossRef Unpaywall
175
TITLE: Quantum advantage in temporally flat measurement-based quantum computation
AUTHORS: de Oliveira, Michael; Barbosa, Luis Soares ; Galvao, Ernesto F.;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8, PAGES: 1-62
INDEXED IN: Scopus WOS DBLP
176
TITLE: Quantum advantage in temporally flat measurement-based quantum computation
AUTHORS: de Oliveira, Michael; Barbosa, Luis Soares ; Galvao, Ernesto F.;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8
INDEXED IN: WOS
177
TITLE: Reactive Graphs in Action
AUTHORS: Tinoco, David; Madeira, Alexandre; Martins, Manuel A. ; Proenca, Jose ;
PUBLISHED: 2024, SOURCE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189, PAGES: 97-105
INDEXED IN: Scopus WOS DBLP CrossRef: 4
178
TITLE: Reducing the gap between theory and practice in real-time systems with MARS
AUTHORS: Nandi, Giann Spilere; Pereira, David; Proenca, Jose ; Tovar, Eduardo ; Nogueira, Luis ;
PUBLISHED: 2024, SOURCE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2024 54TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S 2024, PAGES: 47-49
INDEXED IN: Scopus WOS DBLP CrossRef
179
TITLE: Review of commercial flexibility products and market platforms
AUTHORS: Rodrigues, Luis ; Ganesan, Kamalanathan; Retorta, Fabio ; Coelho, Fabio ; Mello, Joao ; Villar, Jose ; Bessa, Ricardo ;
PUBLISHED: 2024, SOURCE: 20th International Conference on the European Energy Market (EEM) in 2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024, VOLUME: 30, PAGES: 1-6
INDEXED IN: Scopus WOS CrossRef: 4 Unpaywall
180
TITLE: Secure two-party computation via measurement-based quantum computing  Full Text
AUTHORS: Rahmani, Zeinab; Pinto, Armando Humberto Moreira Nolasco ; Barbosa, Luis Manuel Dias Coelho Soares ;
PUBLISHED: 2024, SOURCE: QUANTUM INFORMATION PROCESSING, VOLUME: 23, ISSUE: 6, PAGES: 221
INDEXED IN: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Page 9 of 83. Total results: 1642.