Skip to content

Publications in Cadmus

Filter by type: 
Sort by year: 

On legal contracts, imperative and declarative smart contracts, and blockchain systems

Article
  • Year of Publication: 2018
  • Author(s): GOVERNATORI, Guido, IDELBERGER, Florian, MILOSEVIC, Zoran, RIVERET, Régis, SARTOR, Giovanni, XU, Xiwei
  • Citation: Artificial intelligence and law, 2018, Vol. 26, No. 4, pp. 377–409

Evaluation of logic-based smart contracts for blockchain systems

Contribution to book
  • Year of Publication: 2016
  • Author(s): IDELBERGER, Florian, GOVERNATORI, Guido, RIVERET, Régis, SARTOR, Giovanni
  • Citation: Jose Julio ALFERES, Leopoldo BERTOSSI, Guido GOVERNATORI, Paul FODOR and Dumitru ROMAN (eds), Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, Switzerland : Springer, 2016, Lecture notes in computer science, Vol. 9718, pp. 167-183