HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Stefano Bistarelli

Publications
Towards a Graphical DSL for Tracing Supply Chains on Blockchain
Stefano Bistarelli, Francesco Faloci and Paolo Mori
EasyChair Preprint 6411
A Quantitative Partial Model-Checking Function and Its Optimisation
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci and Francesco Santini
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Blockchain, graphical DSL, Partial Model Checking, quantitative reasoning, semiring, smart contract, Supply Chain Management.

Copyright © 2012-2025 easychair.org. All rights reserved.