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

150 Team Members
Filters -> Year: 2025
181
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
182
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
183
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, PÁGINAS: 1-15
INDEXADO EM: Scopus WOS CrossRef
184
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
185
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
186
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
187
TÍTULO: Foreword to the special section on Recent Advances in Graphics and Interaction  Full Text
AUTORES: Rodrigues, Nuno; Mendes, Daniel ; Santos, Luis Paulo ; Bouatouch, Kadi;
PUBLICAÇÃO: 2022, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 102
INDEXADO EM: Scopus WOS DBLP CrossRef
188
TÍTULO: Framing Program Repair as Code Completion
AUTORES: Ribeiro, Francisco; Abreu, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2022, FONTE: International Workshop on Automated Program Repair (APR) in INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR (APR 2022), PÁGINAS: 38-45
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
189
TÍTULO: Hybrid Image-/Data-Parallel Rendering Using Island Parallelism
AUTORES: Zellmann, Stefan; Wald, Ingo; Barbosa, Joao ; Dermici, Serkan; Sahistan, Alper; Gudukbay, Ugur;
PUBLICAÇÃO: 2022, FONTE: 12th IEEE Symposium on Large-Scale Data Analysis and Visualization (LDAV) in 2022 IEEE 12TH SYMPOSIUM ON LARGE DATA ANALYSIS AND VISUALIZATION (LDAV 2022), PÁGINAS: 36-45
INDEXADO EM: Scopus WOS
190
TÍTULO: Interactive VPL-based global illumination on the GPU using fuzzy clustering
AUTORES: Colom, Arnau; Marques, Ricardo; Santos, Luis Paulo ;
PUBLICAÇÃO: 2022, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 108, PÁGINAS: 74-85
INDEXADO EM: Scopus WOS CrossRef: 2
191
TÍTULO: Is Having AI Generate Text Cheating?  Full Text
AUTORES: Baquero, Carlos ;
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 12, PÁGINAS: 6-7
INDEXADO EM: Scopus WOS DBLP CrossRef
192
TÍTULO: JavaScript&Me, A Tool to Support Research into Code Transformation and Browser Security
AUTORES: Lima, Susana; Morla, Ricardo ; Routar, Joao;
PUBLICAÇÃO: 2022, FONTE: 31st ACM International Conference on Information and Knowledge Management (CIKM) in PROCEEDINGS OF THE 31ST ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2022, PÁGINAS: 4224-4228
INDEXADO EM: Scopus WOS DBLP CrossRef
193
TÍTULO: Merging cloned Alloy models with colorful refactorings  Full Text
AUTORES: Liu, Chong; Macedo, Nuno ; Cunha, Alcino ;
PUBLICAÇÃO: 2022, FONTE: 23rd Brazilian Symposium on Formal Methods (SBMF) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 220, PÁGINAS: 102829
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
194
TÍTULO: Modelling and control of manufacturing systems subject to context recognition and switching  Full Text
AUTORES: Southier, Luiz Fernando Puttow; Casanova, Dalcimar; Barbosa, Luis ; Torrico, Cesar; Barbosa, Marco; Teixeira, Marcelo;
PUBLICAÇÃO: 2022, FONTE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 61, NÚMERO: 10, PÁGINAS: 3396-3414
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
195
TÍTULO: Optimized Voronoi-Based Algorithms for Parallel Shortest Vector Computation
AUTORES: Artur Mariano; Filipe Cabeleira; Luís Paulo Santos ; Gabriel Falcão;
PUBLICAÇÃO: 2022, FONTE: Cybersecurity and High-Performance Computing Environments, PÁGINAS: 85-122
INDEXADO EM: CrossRef
196
TÍTULO: PAIO: General, Portable I/O Optimizations With Minor Application Modifications
AUTORES: Macedo, Ricardo ; Tanimura, Yusuke; Haga, Jason; Chidarnbaram, Vijay; Pereira, Jose ; Paulo, Joao ;
PUBLICAÇÃO: 2022, FONTE: 20th USENIX Conference on File and Storage Technologies (FAST) in PROCEEDINGS OF THE 20TH USENIX CONFERENCE ON FILE AND STORAGE TECHNOLOGIES, FAST 2022, PÁGINAS: 413-428
INDEXADO EM: WOS DBLP
197
TÍTULO: Pardinus: A Temporal Relational Model Finder  Full Text
AUTORES: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 66, NÚMERO: 4, PÁGINAS: 861-904
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
198
TÍTULO: Performance Evaluation of Microservices Featuring Different Implementation Patterns
AUTORES: Costa, Leandro; Ribeiro, Antonio Nestor ;
PUBLICAÇÃO: 2022, FONTE: 21st International Conference on Intelligent Systems Design and Applications (ISDA) in INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS, ISDA 2021, VOLUME: 418, PÁGINAS: 165-176
INDEXADO EM: Scopus WOS CrossRef
199
TÍTULO: Picking Publication Targets  Full Text
AUTORES: Baquero, C ;
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 3, PÁGINAS: 10-11
INDEXADO EM: WOS DBLP CrossRef
200
TÍTULO: Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale?
AUTORES: Daniela Lopes; Pedro Medeiros; Jin Dong Dong; Diogo Barradas; Bernardo Portela ; João Vinagre ; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, PÁGINAS: 3399-3401
INDEXADO EM: DBLP

Results per Page: 20.
Página 10 de 75. Total de resultados: 1498.