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

150 Team Members
Filters -> Year: 2025
201
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
202
TÍTULO: A Blockchain-based Data Market for Renewable Energy Forecasts
AUTORES: Coelho, Fabio ; Silva, Filipe; Goncalves, Carla ; Bessa, Ricardo ; Alonso, Ana ;
PUBLICAÇÃO: 2022, FONTE: 4th International Conference on Blockchain Computing and Applications (BCCA) in 2022 FOURTH INTERNATIONAL CONFERENCE ON BLOCKCHAIN COMPUTING AND APPLICATIONS (BCCA), PÁGINAS: 297-304
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
203
TÍTULO: A data mining approach to classify serum creatinine values in patients undergoing continuous ambulatory peritoneal dialysis
AUTORES: Brito, C ; Esteves, M; Peixoto, Hugo ; Abelha, A ; José Machado ;
PUBLICAÇÃO: 2022, FONTE: WIRELESS NETWORKS, VOLUME: 28, NÚMERO: 3, PÁGINAS: 1269-1277
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
204
TÍTULO: A formal treatment of the role of verified compilers in secure computation
AUTORES: Bacelar Almeida, Jose Carlos ; Barbosa, Manuel ; Barthe, Gilles ; Pacheco, Hugo ; Pereira, Vitor; Portela, Bernardo ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125, PÁGINAS: 100736
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
205
TÍTULO: A Logic for Paraconsistent Transition Systems  Full Text
AUTORES: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2022, FONTE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, NÚMERO: 358, PÁGINAS: 270-284
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
206
TÍTULO: A tribute to Jose Manuel Valenca
AUTORES: Oliveira, Jose Nuno ; Pinto, Jorge Sousa ; Barbosa, Luis Soares ; Henriques, Pedro Rangel ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 128, PÁGINAS: 100792
INDEXADO EM: Scopus WOS DBLP CrossRef
207
TÍTULO: Accelerating Deep Learning Training Through Transparent Storage Tiering
AUTORES: Dantas, Marco; Leitao, Diogo; Cui, Peter; Macedo, Ricardo ; Liu, Xinlian; Xu, Weijia; Paulo, Joao ;
PUBLICAÇÃO: 2022, FONTE: 22nd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid) in 2022 22ND IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND INTERNET COMPUTING (CCGRID 2022), PÁGINAS: 21-30
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Unpaywall
208
TÍTULO: Adaptive Database Synchronization for an Online Analytical Cloud-to-Edge Continuum
AUTORES: Costa, Daniel; Pereira, Jose ; Vilaca, Ricardo ; Faria, Nuno ;
PUBLICAÇÃO: 2022, FONTE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PÁGINAS: 264-266
INDEXADO EM: Scopus WOS DBLP CrossRef
209
TÍTULO: Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees
AUTORES: Campos, Jose Creissac ; Ribeiro, Antonio Nestor ;
PUBLICAÇÃO: 2022, FONTE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in SENSE, FEEL, DESIGN, INTERACT 2021, VOLUME: 13198, PÁGINAS: 248-256
INDEXADO EM: Scopus WOS DBLP CrossRef
210
TÍTULO: AIDA-DB: A Data Management Architecture for the Edge and Cloud Continuum
AUTORES: Nuno Faria ; Daniel Costa; José Pereira ; Ricardo Vilaça ; Luis Ferreira; Fábio Coelho ;
PUBLICAÇÃO: 2022, FONTE: 19th IEEE Annual Consumer Communications and Networking Conference, CCNC 2022 in 19th IEEE Annual Consumer Communications & Networking Conference, CCNC 2022, Las Vegas, NV, USA, January 8-11, 2022, PÁGINAS: 1-6
INDEXADO EM: Scopus DBLP CrossRef: 3 Unpaywall
211
TÍTULO: An Evaluation of Graph Databases and Object-Graph Mappers in CIDOC CRM-Compliant Digital Archives  Full Text
AUTORES: Costa, Lazaro ; Freitas, Nuno; da Silva, Joao Rocha;
PUBLICAÇÃO: 2022, FONTE: ACM JOURNAL ON COMPUTING AND CULTURAL HERITAGE, VOLUME: 15, NÚMERO: 3, PÁGINAS: 1-18
INDEXADO EM: WOS CrossRef: 3
212
TÍTULO: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2022, FONTE: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., VOLUME: 216, PÁGINAS: 16:1-16:18
INDEXADO EM: Scopus DBLP
213
TÍTULO: An Oblivious Observed-Reset Embeddable Replicated Counter
AUTORES: Weidner, Matthew; Almeida, Paulo Sergio ;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 9th Principles and Practice of Consistency for Distributed Data (PaPoC) in PAPOC'22: PROCEEDINGS OF THE 9TH PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PÁGINAS: 47-52
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
214
TÍTULO: Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware  Full Text
AUTORES: Ferreira, B; Portela, B ; Oliveira, T ; Borges, G ; Domingos, H; Leitao, J;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, NÚMERO: 2, PÁGINAS: 1307-1319
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
215
TÍTULO: Cloud-Based Privacy-Preserving Medical Imaging System Using Machine Learning Tools
AUTORES: Alves, Joao; Soares, Beatriz; Brito, Claudia ; Sousa, Antonio ;
PUBLICAÇÃO: 2022, FONTE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PÁGINAS: 195-206
INDEXADO EM: Scopus WOS CrossRef: 1 Unpaywall
216
TÍTULO: Coalgebra for the working software engineer
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2022, FONTE: FLAP, VOLUME: 9, NÚMERO: 1, PÁGINAS: 41-92
INDEXADO EM: Scopus DBLP
217
TÍTULO: Compiling Quantamorphisms for the IBM Q Experience  Full Text
AUTORES: Neri, Ana ; Barbosa, Rui Soares; Oliveira, Jose N. ;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, NÚMERO: 11, PÁGINAS: 4339-4356
INDEXADO EM: WOS CrossRef: 3
218
TÍTULO: Consistent Comparison of Symptom-based Methods for COVID-19 Infection Detection
AUTORES: Jesús Rufino; Juan Ramirez; Carlos Baquero ; Jaya Champati; Davide Frey; Rosa Lillo; Antonio Fernandez Anta;
PUBLICAÇÃO: 2022
INDEXADO EM: CrossRef: 1
219
TÍTULO: Deploying Decentralized, Privacy-Preserving Proximity Tracing PDF  Full Text
AUTORES: Carmela Troncoso; Mathias Payer; Jean Pierre Hubaux; Marcel Salathé; James R Larus; Edouard Bugnion; Wouter Lueks; Theresa Stadler; Apostolos Pyrgelis; Daniele Antonioli; Ludovic Barman; Sylvain Chatel; Kenneth G Paterson; Srdjan Capkun; David A Basin; Jan Beutel; Dennis Jackson; Marc Roeschlin; Patrick Leu; Bart Preneel; Nigel P Smart; Aysajan Abidin; Seda F Gürses; Michael Veale; Cas Cremers; Michael Backes; Nils Ole Tippenhauer; Reuben Binns; Ciro Cattuto; Alain Barrat; Dario Fiore; Manuel Barbosa ; Rui Oliveira ; José Pereira ; ...Mais
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 9, PÁGINAS: 48-57
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 24
220
TÍTULO: DESIGN AND IMPLEMENTATION OF A CHATBOT AS A TOOL TO ASSIST A HELPDESK TEAM
AUTORES: Ribeiro, DP; Anjo, A; Henriques, PR ;
PUBLICAÇÃO: 2022, FONTE: International Conference on Applied Computing 2022 and WWW/Internet 2022 in International Conference on Applied Computing 2022 and WWW/Internet 2022, PÁGINAS: 139-147
INDEXADO EM: Scopus

Results per Page: 20.
Página 11 de 78. Total de resultados: 1542.