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

150 Team Members
Filters -> Year: 2024
161
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
162
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
163
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: 2 Unpaywall
164
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: 1
165
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
166
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
167
TÍTULO: Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware  Full Text
AUTORES: Ferreira, B; Portela, B ; Oliveira, T ; Guilherme Borges ; 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: 4
168
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 Unpaywall
169
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
170
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: 1
171
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
172
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
173
TÍTULO: E-MANAFA: Energy Monitoring and ANAlysis tool For Android
AUTORES: Rua, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, PÁGINAS: 202:1-202:4
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
174
TÍTULO: Energy Efficiency of Python Machine Learning Frameworks
AUTORES: Salwa Ajel; Francisco Ribeiro; Ridha Ejbali; João Saraiva ;
PUBLICAÇÃO: 2022, FONTE: 22nd International Conference on Intelligent Systems Design and Applications, ISDA 2022 in Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022 - Volume 2, VOLUME: 715, PÁGINAS: 586-595
INDEXADO EM: Scopus DBLP CrossRef
175
TÍTULO: Energy Efficiency of Web Browsers in the Android Ecosystem
AUTORES: Nélson Gonçalves; Rui Rua ; Jácome Cunha ; Rui Pereira ; João Saraiva ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2205.11399
INDEXADO EM: DBLP
176
TÍTULO: Ensemble Metropolis Light Transport  Full Text
AUTORES: Bashford Rogers, T; Santos, LP ; Marnerides, D; Debattista, K;
PUBLICAÇÃO: 2022, FONTE: ACM TRANSACTIONS ON GRAPHICS, VOLUME: 41, NÚMERO: 1
INDEXADO EM: Scopus WOS
177
TÍTULO: Execution Time Program Verification With Tight Bounds
AUTORES: Ana Carolina Silva; Manuel Barbosa ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2210.11105
INDEXADO EM: DBLP
178
TÍTULO: Exon: An Oblivious Exactly-Once Messaging Protocol  Full Text
AUTORES: Kassam, Ziad ; Almeida, Paulo Sergio ; Shoker, Ali;
PUBLICAÇÃO: 2022, FONTE: 31st International Conference on Computer Communications and Networks (ICCCN) in 2022 31ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN 2022), VOLUME: 2022-July, PÁGINAS: 1-10
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
179
TÍTULO: Extending EcoAndroid with Automated Detection of Resource Leaks
AUTORES: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLICAÇÃO: 2022, FONTE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022, PÁGINAS: 17-27
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
180
TÍTULO: Flexible Fine-grained Data Access Management for Hyperledger Fabric
AUTORES: Parente, Joao; Alonso, Ana Nunes ; Coelho, Fabio ; Vinagre, Joao ; Bastos, Paulo;
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: 76-84
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall

Results per Page: 20.
Página 9 de 75. Total de resultados: 1487.