CRAFA, SILVIA
CRAFA, SILVIA
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Algorithmic Thinking for the Legal Writing: The Case of Italian Election Law
2024 Crafa, Silvia
Smart contract languages: A comparative analysis
2024 Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Sasso, Giacomo Dal; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto
ALGOMOVE – A Move Embedding for Algorand
2023 Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spano', Alvise
Moral Exercises for Human Oversight of Algorithmic Decision-Making
2023 Scantamburlo, T.; Crafa, S.; Grandi, G.
Pacta sunt servanda: Legal contracts in Stipula
2023 Crafa, S.; Laneve, C.; Sartor, G.; Veschetti, A.
Sull’indeterminatezza della procedura di attribuzione dei seggi nella legge elettorale italiana
2023 Crafa, Silvia
Art Attach - The digital world with the language of art
2022 Crafa, S.
Art Attach - The digital world with the language of art: Relationships, between aesthetics and digital
2022 Crafa, S.
From Legal Contracts to Legal Calculi: the code-driven normativity
2022 Crafa, Silvia
Le forme del falso negli smart contract
2022 Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni
Liquidity Analysis in Resource-Aware Programming
2022 Crafa, S.; Laneve, C.
Programming Legal Contracts: – A Beginners Guide to Stipula –
2022 Crafa, S.; Laneve, C.
Dalle competenze alla consapevolezza digitale: capire la complessita' e la non neutralita' del software
2021 Crafa, Silvia
From agent-based modeling to actor-based reactive systems in the analysis of financial networks
2021 Crafa, S.
MitopatHs: A new logically-framed tool for visualizing multiple mitochondrial pathways
2021 Marchi, Saverio; Zanella, Marco; Pinton, Paolo; Crafa, Silvia; Boniolo, Giovanni
Pacta sunt servanda: legal contracts in Stipula
2021 Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni
Is Solidity Solid Enough?
2020 Crafa, S.; Di Pirro, M.; Zucca, E.
Artificial Intelligence and Human Dialogue
2019 Crafa, Silvia
Digital technologies and behavior manipulation
2019 Crafa, S.; Rizzo, M.
Il business della vendita dei dati, pratiche e conseguenze nell'etica sociale
2019 Crafa, S; Zangari, A