Marco Roveri

1. Automated generation of smart contract code from legal contract specifications with Symboleo2SC
   2024/06/29 by Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid +5 · 1 voice · 4 citations
   Computer Science · Decision Sciences · Social Sciences · #Auction Theory and Applications #Blockchain Technology Applications and Security #Digitalization, Law, and Regulation
2. When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications
   2023/09/26 by Enrico Saccon, Saccon, Enrico, Ahmet Tikna +9 · 2 citations
   Computer Science · #Semantic Web and Ontologies #AI-based Problem Solving and Planning #Logic, Reasoning, and Knowledge
3. CROSSCON: Cross-platform Open Security Stack for Connected Devices
   2024/06/05 by Bruno Crispo, Marco Roveri, Crispo, Bruno +19 · 1 citation
   Decision Sciences · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Scientific Computing and Data Management