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
Pacta sunt servanda: Legal contracts in Stipula
2023 Crafa, S.; Laneve, C.; Sartor, G.; Veschetti, A.
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 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
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
Impronte digitali, algoritmo e trattamento di dati personali: questioni di "law and technology"
2019 Sitzia, A.; Crafa, S.
Piattaforma o non piattaforma? Considerazioni a margine dell'art. 1, comma 1, lett. c), del d.l. 101/2019
2019 Sitzia, Andrea; Crafa, Silvia
The data selling business, its practices and consequences in social ethics
2019 Crafa, S.; Zangari, A.
Proof search in a context-sensitive logic for molecular biology
2018 Sestini, Filippo; Crafa, Silvia
The chemical approach to typestate-oriented programming
2017 Crafa, Silvia; Padovani, Luca
Understanding the development of modern programming languages in an evolutionary framework [Comprendere lo sviluppo dei moderni linguaggi di programmazione in chiave evolutiva]
2016 Crafa, Silvia
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions
2015 Crafa, Silvia; Ranzato, Francesco
The role of concurrency in an evolutionary view of programming abstractions
2015 Crafa, Silvia
A Logic for True Concurrency
2014 Baldan, Paolo; Crafa, Silvia
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
2012 Crafa, Silvia; Ranzato, Francesco