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

150 Team Members
Filters -> Year: 2024
201
TITLE: EasyPQC: Verifying Post-Quantum Cryptography
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Xiong Fan; Benjamin Grégoire; Shih Han Hung; Jonathan Katz; Pierre Yves Strub; Xiaodi Wu; Li Zhou;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1253
INDEXED IN: DBLP
202
TITLE: EasyPQC: Verifying Post-Quantum Cryptography  Full Text
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2564-2586
INDEXED IN: Scopus WOS DBLP CrossRef: 7
203
TITLE: EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
AUTHORS: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), PAGES: 62-69
INDEXED IN: WOS DBLP CrossRef
204
TITLE: Efficient Replication via Timestamp Stability
AUTHORS: Enes, V ; Baquero, C ; Gotsman, A; Sutra, P;
PUBLISHED: 2021, SOURCE: 16th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE SIXTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS '21), PAGES: 178-193
INDEXED IN: Scopus WOS DBLP CrossRef: 4
205
TITLE: Efficient Replication via Timestamp Stability (Extended Version)
AUTHORS: Vitor Enes ; Carlos Baquero ; Alexey Gotsman; Pierre Sutra;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01142
INDEXED IN: DBLP
206
TITLE: Enabling Interoperable Flexibility and Standardized Grid Support Services
AUTHORS: João Falcão; Carlos Cândido; Diogo Silva; José Sousa; Mário Pereira; David Rua; Clara Gouveia ; Fábio Coelho ; Ricardo Bessa ; Alexandre Lucas ;
PUBLISHED: 2021, SOURCE: 26th International Conference and Exhibition on Electricity Distribution, CIRED 2021 in IET Conference Proceedings, VOLUME: 2021, ISSUE: 6, PAGES: 3029-3033
INDEXED IN: Scopus CrossRef Unpaywall
207
TITLE: Estimating Active Cases of COVID-19
AUTHORS: Javier Álvarez; Carlos Baquero ; Elisa Cabana; Jaya Prakash Champati; Antonio Fernández Anta; Davide Frey; Augusto García Agundez; Chryssis Georgiou; Mathieu Goessens; Harold Hernández; Rosa E Lillo; Raquel Menezes ; Raúl Moreno; Nicolas Nicolaou; Oluwasegun Ojo; Antonio Ortega; Jesús Rufino; Efstathios Stavrakis; Govind Jeevan; Christin Glorioso;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03284
INDEXED IN: DBLP CrossRef: 6
208
TITLE: Estimating the COVID-19 Prevalence in Spain With Indirect Reporting via Open Surveys
AUTHORS: Garcia Agundez, A; Ojo, O; Hernandez Roig, HA; Baquero, C ; Frey, D; Georgiou, C; Goessens, M; Lillo, RE; Menezes, R ; Nicolaou, N; Ortega, A; Stavrakis, E; Anta, AF;
PUBLISHED: 2021, SOURCE: FRONTIERS IN PUBLIC HEALTH, VOLUME: 9
INDEXED IN: Scopus WOS CrossRef: 4
209
TITLE: Experiences on teaching alloy with an automated assessment platform  Full Text
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211, PAGES: 102690
INDEXED IN: Scopus WOS DBLP CrossRef: 7
210
TITLE: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349, PAGES: 77-84
INDEXED IN: Scopus DBLP
211
TITLE: Featured Team Automata
AUTHORS: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLISHED: 2021, SOURCE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047, PAGES: 483-502
INDEXED IN: DBLP CrossRef: 5
212
TITLE: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 1
214
TITLE: Functional Scalability and Replicability Analysis for Smart Grid Functions: The InteGrid Project Approach  Full Text
AUTHORS: Menci, SP; Bessa, RJ ; Herndler, B; Korner, C; Rao, BV; Leimgruber, F; Madureira, AA ; Rua, D ; Coelho, F ; Silva, JV; Andrade, JR ; Sampaio, G ; Teixeira, H ; Simoes, M ; Viana, J ; Oliveira, L; Castro, D; Krisper, U; Andre, R;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 18, PAGES: 5685
INDEXED IN: Scopus WOS CrossRef: 2 Unpaywall
215
TITLE: Fuzzy Automata as Coalgebras  Full Text
AUTHORS: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1-21
INDEXED IN: Scopus WOS CrossRef
216
TITLE: Generalised Quantum Tree Search
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2021, SOURCE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE) in 2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2021), PAGES: 39-40
INDEXED IN: WOS DBLP CrossRef
217
TITLE: GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data
AUTHORS: Cogo, V ; Paulo, J ; Bessani, A ;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 5, PAGES: 669-681
INDEXED IN: Scopus WOS DBLP CrossRef: 1
218
TITLE: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTHORS: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03028
INDEXED IN: DBLP
219
TITLE: GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices  Full Text
AUTHORS: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3, PAGES: 38
INDEXED IN: Scopus WOS DBLP CrossRef: 2
220
TITLE: HCI-E-2: HCI Engineering Education For Developers, Designers and More. For Developers, Designers and More
AUTHORS: Baumann, K; Campos, JC ; Dix, A; Nigay, L; Palanque, P; Vanderdonckt, J; van der Veer, G; Weyers, B;
PUBLISHED: 2021, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION, INTERACT 2021, PT V, VOLUME: 12936, PAGES: 542-547
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Page 11 of 77. Total results: 1538.