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

150 Team Members
Filters -> Year: 2025
241
TÍTULO: Bringing Green Software to Computer Science Curriculum: Perspectives from Researchers and Educators
AUTORES: João Saraiva ; Ziliang Zong; Rui Pereira ;
PUBLICAÇÃO: 2021, FONTE: 26th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2021 in ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, Virtual Event, Germany, June 26 - July 1, 2021., PÁGINAS: 498-504
INDEXADO EM: Scopus DBLP CrossRef
242
TÍTULO: CAT: content-aware tracing and analysis for distributed systems. content-aware tracing and analysis for distributed systems
AUTORES: Tânia Esteves ; Francisco Neves ; Rui Oliveira ; João Paulo ;
PUBLICAÇÃO: 2021, FONTE: Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6 - 10, 2021, PÁGINAS: 223-235
INDEXADO EM: DBLP CrossRef: 5
243
TÍTULO: CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes  Full Text
AUTORES: Pontes, R ; Portela, B ; Barbosa, M ; Vilaca, R ;
PUBLICAÇÃO: 2021, FONTE: 40th International Symposium on Reliable Distributed Systems (SRDS) in 2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), VOLUME: 2021-September, PÁGINAS: 176-186
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
244
TÍTULO: Detailed Black-Box Monitoring of Distributed Systems  Full Text
AUTORES: Neves, F ; Vilaca, R ; Pereira, J ;
PUBLICAÇÃO: 2021, FONTE: APPLIED COMPUTING REVIEW, VOLUME: 21, NÚMERO: 1, PÁGINAS: 24-36
INDEXADO EM: WOS CrossRef: 2
245
TÍTULO: Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform
AUTORES: Silva, C; Vieira, J; Campos, JC ; Couto, R ; Ribeiro, AN ;
PUBLICAÇÃO: 2021, FONTE: HUMAN FACTORS, VOLUME: 63, NÚMERO: 6, PÁGINAS: 1012-1032
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
246
TÍTULO: EasyPQC: Verifying Post-Quantum Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Xiong Fan; Benjamin Grégoire; Shih Han Hung; Jonathan Katz; Pierre Yves Strub; Xiaodi Wu; Li Zhou;
PUBLICAÇÃO: 2021, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PÁGINAS: 1253
INDEXADO EM: DBLP
247
TÍTULO: EasyPQC: Verifying Post-Quantum Cryptography  Full Text
AUTORES: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLICAÇÃO: 2021, FONTE: 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, PÁGINAS: 2564-2586
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
248
TÍTULO: EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
AUTORES: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 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), PÁGINAS: 62-69
INDEXADO EM: WOS DBLP CrossRef
249
TÍTULO: Efficient Replication via Timestamp Stability
AUTORES: Enes, V ; Baquero, C ; Gotsman, A; Sutra, P;
PUBLICAÇÃO: 2021, FONTE: 16th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE SIXTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS '21), PÁGINAS: 178-193
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
250
TÍTULO: Efficient Replication via Timestamp Stability (Extended Version)
AUTORES: Vitor Enes ; Carlos Baquero ; Alexey Gotsman; Pierre Sutra;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.01142
INDEXADO EM: DBLP
251
TÍTULO: Enabling Interoperable Flexibility and Standardized Grid Support Services
AUTORES: 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 ;
PUBLICAÇÃO: 2021, FONTE: 26th International Conference and Exhibition on Electricity Distribution, CIRED 2021 in IET Conference Proceedings, VOLUME: 2021, NÚMERO: 6, PÁGINAS: 3029-3033
INDEXADO EM: Scopus CrossRef Unpaywall
252
TÍTULO: Estimating Active Cases of COVID-19
AUTORES: 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;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.03284
INDEXADO EM: DBLP CrossRef: 6
253
TÍTULO: Estimating the COVID-19 Prevalence in Spain With Indirect Reporting via Open Surveys
AUTORES: 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;
PUBLICAÇÃO: 2021, FONTE: FRONTIERS IN PUBLIC HEALTH, VOLUME: 9
INDEXADO EM: Scopus WOS CrossRef: 4
254
TÍTULO: Experiences on teaching alloy with an automated assessment platform  Full Text
AUTORES: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLICAÇÃO: 2021, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211, PÁGINAS: 102690
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
255
TÍTULO: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2021, FONTE: 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, PÁGINAS: 77-84
INDEXADO EM: Scopus DBLP
256
TÍTULO: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 1
257
TÍTULO: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
INDEXADO EM: DBLP
258
TÍTULO: Functional Scalability and Replicability Analysis for Smart Grid Functions: The InteGrid Project Approach  Full Text
AUTORES: 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;
PUBLICAÇÃO: 2021, FONTE: ENERGIES, VOLUME: 14, NÚMERO: 18, PÁGINAS: 5685
INDEXADO EM: Scopus WOS CrossRef: 4 Unpaywall
259
TÍTULO: Fuzzy Automata as Coalgebras  Full Text
AUTORES: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 3, PÁGINAS: 1-21
INDEXADO EM: Scopus WOS CrossRef
260
TÍTULO: Generalised Quantum Tree Search
AUTORES: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2021, FONTE: 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), PÁGINAS: 39-40
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 13 de 75. Total de resultados: 1495.