16 citations · 33 across the 16 of their papers we have counts for
16 papers
On the Heritage of Crypto Assets -- Tales From the Crypt Protocol
Frédéric Prost
We discuss some issues to the inheritance of crypto assets. We propose a distributed, privacy preserving, protocol to establish a consensus on the death of the owner of crypto asse…
A Rule-based Operational Semantics of Graph Query Languages
Dominique Duval, Rachid Echahed, Frederic Prost
We consider a core language of graph queries. These queries are seen as formulas to be solved with respect to graph-oriented databases. For this purpose, we first define a graph qu…
Querying RDF Databases with Sub-CONSTRUCTs
Dominique Duval, Rachid Echahed, Frédéric Prost
Graph query languages feature mainly two kinds of queries when applied to a graph database: those inspired by relational databases which return tables such as SELECT queries and th…
An Algebraic Graph Transformation Approach for RDF and SPARQL
Dominique Duval, Rachid Echahed, Frédéric Prost
We consider the recommendations of the World Wide Web Consortium (W3C) about RDF framework and its associated query language SPARQL. We propose a new formal framework based on cate…
All You Need Is CONSTRUCT
Dominique Duval, Rachid Echahed, Frederic Prost
In SPARQL, the query forms SELECT and CONSTRUCT have been the subject of several studies, both theoretical and practical. However, the composition of such queries and their interwe…
The Epistemic Landscape: a Computability Perspective
Frédéric Prost
By nature, transmissible human knowledge is enumerable: every sentence, movie, audio record can be encoded in a sufficiently long string of 0's and 1's. The works of Gödel, Turing…