Publications
] Filters: First Letter Of Last Name is N [Clear All Filters]
"How Representative is a SPARQL Benchmark? An Analysis of RDF Triplestore Benchmarks",
The Web Conference (WWW), San Francisco, CA, USA, ACM, 2019.
"Simulation-based Safety Assessment of High-level Reliability Models",
4th Workshop on Models for Formal Analysis of Real Systems, 2020.
Abstract
MIDDLEWARE TO AUTOMATICALLY VERIFY SMART CONTRACTS ON BLOCKCHAINS,
, no. 16/227,728, United States, 06/2020.
Abstract
US Patent Application
