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

150 Team Members
Filters -> Year: 2025
181
TÍTULO: TADA: A Toolkit for Approximate Distributed Agreement
AUTORES: da Conceicao, Eduardo Lourenco; Alonso, Ana Nunes ; Oliveira, Rui Carlos ; Pereira, Jose Orlando ;
PUBLICAÇÃO: 2023, FONTE: 23rd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) Held as Part of the 18th International Federated Conference on Distributed Computing Techniques (DisCoTec) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, DAIS 2023, VOLUME: 13909, PÁGINAS: 3-19
INDEXADO EM: Scopus WOS DBLP CrossRef
182
TÍTULO: Taming Metadata-intensive HPC Jobs Through Dynamic, Application-agnostic QoS Control
AUTORES: Macedo, Ricardo ; Miranda, Mariana ; Tanimura, Yusuke; Haga, Jason; Ruhela, Amit; Harrell, Stephen Lien; Evans, Richard Todd; Pereira, Jose ; Paulo, Joao ;
PUBLICAÇÃO: 2023, FONTE: 23rd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid) in 2023 IEEE/ACM 23RD INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND INTERNET COMPUTING, CCGRID, PÁGINAS: 47-61
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
183
TÍTULO: Task Model Design and Analysis with Alloy
AUTORES: Cunha, Alcino ; Macedo, Nuno ; Kang, Eunsuk;
PUBLICAÇÃO: 2023, FONTE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PÁGINAS: 303-320
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
184
TÍTULO: Telephone-based psychological crisis intervention: the Portuguese experience with COVID-19
AUTORES: Eugénia Ribeiro ; Adriana Sampaio ; Miguel M Gonçalves ; Maria Do Céu Taveira ; Jácome Cunha ; Ângela Maia ; Marlene Matos ; Sónia Gonçalves; Bárbara Figueiredo ; Teresa Freire ; Tércio Soares;
PUBLICAÇÃO: 2023, FONTE: How the COVID-19 Pandemic Transformed the Mental Health Landscape, PÁGINAS: 39-52
INDEXADO EM: CrossRef
185
TÍTULO: The security of Kyber's FO-transform
AUTORES: Manuel Barbosa ; Andreas Hülsing;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PÁGINAS: 755
INDEXADO EM: DBLP
186
TÍTULO: The syntactic side of autonomous categories enriched over generalised metric spaces
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2023, FONTE: Log. Methods Comput. Sci., VOLUME: 19, NÚMERO: 4
INDEXADO EM: DBLP
187
TÍTULO: THE SYNTACTIC SIDE OF AUTONOMOUS CATEGORIES ENRICHED OVER GENERALISED METRIC SPACES
AUTORES: Dahlqvist, Fredrik; Neves, Renato ;
PUBLICAÇÃO: 2023, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 19, NÚMERO: 4, PÁGINAS: 31:1-31:42
INDEXADO EM: Scopus WOS
188
TÍTULO: Time-limited Bloom Filter
AUTORES: Rodrigues, Ana; Shtul, Ariel; Baquero, Carlos ; Almeida, Paulo Sergio ;
PUBLICAÇÃO: 2023, FONTE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, PÁGINAS: 1285-1288
INDEXADO EM: Scopus WOS DBLP CrossRef
189
TÍTULO: TiQuE: Improving the Transactional Performance of Analytical Systems for True HybridWorkloads PDF  Full Text
AUTORES: Faria, Nuno ; Pereira, Jose ; Alonso, Ana Nunes ; Vilaca, Ricardo ; Koning, Yunus; Nes, Niels;
PUBLICAÇÃO: 2023, FONTE: 49th International Conference on Very Large Data Bases, VLDB 2023 in PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 16, NÚMERO: 9, PÁGINAS: 2274-2288
INDEXADO EM: Scopus WOS DBLP CrossRef
190
TÍTULO: Toward a Practical and Timely Diagnosis of Application's I/O Behavior
AUTORES: Esteves, Tania ; Macedo, Ricardo ; Oliveira, Rui ; Paulo, Joao ;
PUBLICAÇÃO: 2023, FONTE: IEEE ACCESS, VOLUME: 11, PÁGINAS: 110184-110207
INDEXADO EM: Scopus WOS DBLP CrossRef
191
TÍTULO: Towards an IDE for Scientific Computational Experiments
AUTORES: Costa, Lazaro; Barbosa, Susana ; Cunha, Jacome ;
PUBLICAÇÃO: 2023, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PÁGINAS: 290-292
INDEXADO EM: Scopus WOS DBLP CrossRef
192
TÍTULO: Towards Automated Load Testing Through the User Interface
AUTORES: Teixeira, Bruno; Campos, Jose Creissac ;
PUBLICAÇÃO: 2023, FONTE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2023, PT II, VOLUME: 14143, PÁGINAS: 514-522
INDEXADO EM: WOS CrossRef
193
TÍTULO: Towards Automated Load Testing Through the User Interface
AUTORES: Bruno Teixeira; José Creissac Campos ;
PUBLICAÇÃO: 2023, FONTE: 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023 in Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II, VOLUME: 14143, PÁGINAS: 514-522
INDEXADO EM: Scopus DBLP
194
TÍTULO: Towards MRAM Byte-Addressable Persistent Memory in Edge Database Systems PDF
AUTORES: Luís Meruje Ferreira ; Fábio Coelho ; José Orlando Pereira ;
PUBLICAÇÃO: 2023, FONTE: Joint Workshops at the 49th International Conference on Very Large Data Bases, VLDBW 2023 in Joint Proceedings of Workshops at the 49th International Conference on Very Large Data Bases (VLDB 2023), Vancouver, Canada, August 28 - September 1, 2023., VOLUME: 3462
INDEXADO EM: Scopus DBLP
195
TÍTULO: Understanding the Motivations, Challenges, and Practices of Software Rejuvenation
AUTORES: Lucas, Walter; Bonifacio, Rodrigo; Saraiva, Joao ;
PUBLICAÇÃO: 2023, FONTE: 39th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION, ICSME, PÁGINAS: 611-616
INDEXADO EM: Scopus WOS DBLP CrossRef
196
TÍTULO: Using survey data to estimate the impact of the omicron variant on vaccine efficacy against COVID-19 infection  Full Text
AUTORES: Rufino, Jesus; Baquero, Carlos ; Frey, Davide; Glorioso, Christin A.; Ortega, Antonio; Rescic, Nina; Roberts, Julian Charles; Lillo, Rosa E.; Menezes, Raquel ; Champati, Jaya Prakash; Fernandez Anta, Antonio;
PUBLICAÇÃO: 2023, FONTE: SCIENTIFIC REPORTS, VOLUME: 13, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 4
197
TÍTULO: Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
AUTORES: Santo, Jose Espirito; Frade, Maria Joao ; Pinto, Luis;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 131, PÁGINAS: 100830
INDEXADO EM: Scopus WOS CrossRef Unpaywall
198
TÍTULO: Verifying Temporal Relational Models with Pardinus
AUTORES: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLICAÇÃO: 2023, FONTE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PÁGINAS: 254-261
INDEXADO EM: Scopus WOS DBLP CrossRef
199
TÍTULO: Visually-Assisted Decomposition of Monoliths to Microservices
AUTORES: Salles, Breno; Cunha, Jacome ;
PUBLICAÇÃO: 2023, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PÁGINAS: 293-295
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
200
TÍTULO: Why Adjunctions Matter—A Functional Programmer Perspective
AUTORES: José Nuno Oliveira ;
PUBLICAÇÃO: 2023, FONTE: 26th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13710 LNCS, PÁGINAS: 25-59
INDEXADO EM: Scopus CrossRef: 1

Results per Page: 20.
Página 10 de 78. Total de resultados: 1541.