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

150 Team Members
Filters -> Year: 2025
61
TÍTULO: pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python
AUTORES: Emanuel Rodrigues ; José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLICAÇÃO: 2024, FONTE: 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024 in Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024., PÁGINAS: 615-624
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
62
TÍTULO: Quantum advantage in temporally flat measurement-based quantum computation
AUTORES: de Oliveira, Michael; Barbosa, Luis Soares ; Galvao, Ernesto F.;
PUBLICAÇÃO: 2024, FONTE: QUANTUM, VOLUME: 8, PÁGINAS: 1-62
INDEXADO EM: Scopus WOS
63
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
64
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
65
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
66
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
67
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
68
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
69
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
71
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
72
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
73
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
74
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
75
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
76
TÍTULO: When Amnesia Strikes: Understanding and Reproducing Data Loss Bugs with Fault Injection PDF  Full Text
AUTORES: Ramos, Maria; Azevedo, Joao; Kingsbury, Kyle; Pereira, Jose ; Esteves, Tania ; Macedo, Ricardo ; Paulo, Joao ;
PUBLICAÇÃO: 2024, FONTE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 17, NÚMERO: 11, PÁGINAS: 3017-3030
INDEXADO EM: Scopus WOS DBLP CrossRef
77
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
78
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
79
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
80
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

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