José Moreira

1. Enabling massive deep neural networks with the GraphBLAS
   2017/08/09 by Jeremy Kepner, Manoj Kumar, Jose Moreira +4 · 1 voice
   Computer Science · #Advanced Graph Neural Networks #Advanced Neural Network Applications #Graph Theory and Algorithms #cs.DC #cs.LG
2. Automatic verification of transparency protocols (extended version)
   2023/03/08 by Vincent Cheval, José Cláudio Fonseca Moreira, José Moreira +4 · 1 voice
   Computer Science · Social Sciences · #Access Control and Trust #C.2.2 #Cryptography and Data Security #Cryptography and Security (cs.CR) #D.2.4 #F.3.1 #FOS: Computer and information sciences #Internet Traffic Analysis and Secure E-voting #cs.CR