Verification of customizable blockchain consensus rule using a formal methodRyo Kawahara2020ICBC 2020
Enhancing Guideline-Based Prescribing and Personalized Medication SchedulingCharles WachiraOsebe Mogaka Samuelet al.2019MEDINFO 2019
On Efficiently Processing Workflow Provenance Queries in SparkRajmohan CPranay Kumar Lohiaet al.2019ICDCS 2019
Kafka: the Database Inverted, but Not Garbled or CompromisedSean RooneyLuis Garcés Ericeet al.2019BigData Congress 2019
Managing Data Traceability in the Data Lifecycle for Deep Learning Applied to Seismic DataRenan Francisco Santos SouzaEmilio Ashton Vital Brazilet al.2019ACE 2019
Promoting Distributed Trust in Machine Learning and Computational Simulation via a Blockchain NetworkKibichii BoreRavi Kiran Ramanet al.2019ICBC 2019
Albis: High-performance file format for big data systemsAnimesh TrivediPatrick Stuediet al.2018USENIX ATC 2018
SIMD- and cache-friendly algorithm for sorting an array of structuresHiroshi InoueKenjiro Taura2015VLDB 2015