CRAFA, SILVIA

CRAFA, SILVIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 75 (tempo di esecuzione: 0.054 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
AlgoMove: Typed Abstractions for Algorand Smart Contracts 2026 Bugliesi, MicheleCrafa, Silvia + BLOCKCHAIN: RESEARCH AND APPLICATIONS - -
The algorithm as the interface between the law and the code: the case of the Italian election of a regional parliament 2026 Silvia Crafa - - -
Exploring Moral Exercises for Human Oversight of AI systems: Insights from Three Pilot Studies 2025 Silvia Crafa + - - -
Formal Verification in Solidity and Move: Insights from a Comparative Analysis 2025 Crafa S. + - OPEN ACCESS SERIES IN INFORMATICS International Workshop on Formal Methods for Blockchains (FMBC 2025)
Algorithmic Thinking for the Legal Writing: The Case of Italian Election Law 2024 Crafa, Silvia DIGITAL SOCIETY - -
Smart contract languages: A comparative analysis 2024 Bugliesi, MicheleCrafa, Silvia + FUTURE GENERATION COMPUTER SYSTEMS - -
ALGOMOVE – A Move Embedding for Algorand 2023 michele bugliesisilvia crafa + - - 2023 IEEE International Conference on Blockchain (Blockchain)
Moral Exercises for Human Oversight of Algorithmic Decision-Making 2023 Crafa S.Grandi G. + - CEUR WORKSHOP PROCEEDINGS International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023)
Pacta sunt servanda: Legal contracts in Stipula 2023 Crafa S. + SCIENCE OF COMPUTER PROGRAMMING - -
Sull’indeterminatezza della procedura di attribuzione dei seggi nella legge elettorale italiana 2023 crafa - - -
Art Attach - The digital world with the language of art 2022 Crafa S. MONDO DIGITALE - -
Art Attach - The digital world with the language of art: Relationships, between aesthetics and digital 2022 Crafa S. MONDO DIGITALE - -
From Legal Contracts to Legal Calculi: the code-driven normativity 2022 Crafa, Silvia ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - Workshop on Expressiveness in Concurrency and Structural Operational Semantics EXPRESS/SOS
Liquidity Analysis in Resource-Aware Programming 2022 Crafa S. + - - Formal Aspects of Component Software
Programming Legal Contracts: – A Beginners Guide to Stipula – 2022 Crafa S. + - - The Logic of Software. A Tasting Menu of Formal Methods.
Dalle competenze alla consapevolezza digitale: capire la complessita' e la non neutralita' del software 2021 Silvia Crafa - - Etica, Diritto e tecnologia. Percorsi dell'informatica giuridica contemporanea
From agent-based modeling to actor-based reactive systems in the analysis of financial networks 2021 Crafa S. JOURNAL OF ECONOMIC INTERACTION AND COORDINATION - -
MitopatHs: A new logically-framed tool for visualizing multiple mitochondrial pathways 2021 Zanella, MarcoPinton, PaoloCrafa, Silvia + ISCIENCE - -
Pacta sunt servanda: legal contracts in Stipula 2021 Silvia Crafa + - - -
Is Solidity Solid Enough? 2020 Crafa S.Di Pirro M. + - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)