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
61
TÍTULO: Review of commercial flexibility products and market platforms
AUTORES: Rodrigues, Luis ; Ganesan, Kamalanathan; Retorta, Fabio; Coelho, Fabio ; Mello, Joao ; Villar, Jose ; Bessa, Ricardo ;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on the European Energy Market (EEM) in 2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024, VOLUME: 30, PÁGINAS: 1-6
INDEXADO EM: Scopus WOS CrossRef Unpaywall
62
TÍTULO: Secure two-party computation via measurement-based quantum computing  Full Text
AUTORES: Rahmani, Zeinab; Pinto, Armando Humberto Moreira Nolasco; Barbosa, Luis Manuel Dias Coelho Soares ;
PUBLICAÇÃO: 2024, FONTE: QUANTUM INFORMATION PROCESSING, VOLUME: 23, NÚMERO: 6, PÁGINAS: 221
INDEXADO EM: Scopus WOS DBLP CrossRef
63
TÍTULO: SHORT: Evaluating Tools for Enhancing Reproducibility in Computational Scientific Experiments
AUTORES: Costa, Lazaro; Barbosa, Susana; Cunha, Jacome ;
PUBLICAÇÃO: 2024, FONTE: 2nd ACM Conference on Reproducibility and Replicability (ACM REP) in PROCEEDINGS OF THE 2ND ACM CONFERENCE ON REPRODUCIBILITY AND REPLICABILITY, ACM REP 2024, PÁGINAS: 46-51
INDEXADO EM: WOS DBLP CrossRef
64
TÍTULO: State of the Practice in Software Testing Teaching in Four European Countries
AUTORES: Tramontana, Porfirio; Marin, Beatriz; Paiva, Ana C. R. ; Mendes, Alexandra ; Vos, Tanja E. J.; Amalfitano, Domenico; Cammaerts, Felix; Snoeck, Monique; Fasolino, Anna Rita;
PUBLICAÇÃO: 2024, FONTE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024, PÁGINAS: 59-69
INDEXADO EM: WOS DBLP
65
TÍTULO: Tabulation with Zippers
AUTORES: Viera, Marcos; Pardo, Alberto; Saraiva, Joao ;
PUBLICAÇÃO: 2024, FONTE: 17th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2024, VOLUME: 14659, PÁGINAS: 83-98
INDEXADO EM: Scopus WOS DBLP CrossRef
66
TÍTULO: TADA: A Toolkit for Approximate Distributed Agreement  Full Text
AUTORES: da Conceicao, Eduardo Lourenco; Alonso, Ana Nunes ; Oliveira, Rui Carlos; Pereira, Jose ;
PUBLICAÇÃO: 2024, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 238, PÁGINAS: 103175
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
67
TÍTULO: The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type
AUTORES: Paulo Sérgio Almeida ; Ehud Shapiro;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2402.08068
INDEXADO EM: DBLP
69
TÍTULO: Towards Quantum Ray Tracing  Full Text
AUTORES: Luis Paulo Santos ; Thomas Bashford Rogers; Joao Barbosa; Paul Navratil;
PUBLICAÇÃO: 2024, FONTE: IEEE Transactions on Visualization and Computer Graphics, PÁGINAS: 1-12
INDEXADO EM: Scopus CrossRef: 1 Unpaywall
70
TÍTULO: Trading Runtime for Energy Efficiency Leveraging Power Caps to Save Energy across Programming Languages
AUTORES: Cunha, Simao; Silva, Luis; Saraiva, Joao ; Fernandes, Joao Paulo;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 130-142
INDEXADO EM: Scopus WOS CrossRef
71
TÍTULO: Trainability issues in quantum policy gradients
AUTORES: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2024, FONTE: MACHINE LEARNING-SCIENCE AND TECHNOLOGY, VOLUME: 5, NÚMERO: 3, PÁGINAS: 35037
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
72
TÍTULO: Validating multiple variants of an automotive light system with Alloy 6  Full Text
AUTORES: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, NÚMERO: 3, PÁGINAS: 365-377
INDEXADO EM: Scopus WOS DBLP
73
TÍTULO: VQC-based reinforcement learning with data re-uploading: performance and trainability
AUTORES: Coelho, Rodrigo; Sequeira, Andre ; Santos, Luis Paulo ;
PUBLICAÇÃO: 2024, FONTE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 6, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef Unpaywall
74
TÍTULO: When Amnesia Strikes: Understanding and Reproducing Data Loss Bugs with Fault Injection PDF  Full Text
AUTORES: Maria Ramos; João Azevedo; Kyle Kingsbury; José Pereira ; Tânia Esteves ; Ricardo Macedo ; João Paulo ;
PUBLICAÇÃO: 2024, FONTE: Proc. VLDB Endow., VOLUME: 17, NÚMERO: 11, PÁGINAS: 3017-3030
INDEXADO EM: Scopus DBLP CrossRef
75
TÍTULO: X-Wing
AUTORES: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte ; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLICAÇÃO: 2024, FONTE: IACR Commun. Cryptol., VOLUME: 1, NÚMERO: 1, PÁGINAS: 21
INDEXADO EM: DBLP CrossRef: 1
76
TÍTULO: X-Wing: The Hybrid KEM You've Been Looking For
AUTORES: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLICAÇÃO: 2024, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PÁGINAS: 39
INDEXADO EM: DBLP
77
TÍTULO: Zipper-based embedding of strategic attribute grammars  Full Text
AUTORES: Macedo, Jose Nuno ; Rodrigues, Emanuel; Viera, Marcos; Saraiva, Joao ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211, PÁGINAS: 111975
INDEXADO EM: Scopus WOS DBLP CrossRef
78
TÍTULO: A Backend Platform for Supporting the Reproducibility of Computational Experiments
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2308.00703
INDEXADO EM: DBLP
79
TÍTULO: A Case for Partitioned Bloom Filters
AUTORES: Almeida, Paulo Sergio ;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 72, NÚMERO: 6, PÁGINAS: 1681-1691
INDEXADO EM: WOS DBLP
80
TÍTULO: A Complete V-Equational System for Graded lambda-Calculus
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.02082
INDEXADO EM: DBLP

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