Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 70
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Sull’indeterminatezza della procedura di attribuzione dei seggi nella legge elettorale italiana 2023 crafa - - -
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 - -
ALGOMOVE – A Move Embedding for Algorand 2023 michele bugliesisilvia crafa + - - 2023 IEEE International Conference on Blockchain (Blockchain)
Le forme del falso negli smart contract 2022 crafa silvia + - - Le forme del falso
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
Art Attach - The digital world with the language of art 2022 Crafa S. MONDO DIGITALE - -
Programming Legal Contracts: – A Beginners Guide to Stipula – 2022 Crafa S. + - - The Logic of Software. A Tasting Menu of Formal Methods.
Liquidity Analysis in Resource-Aware Programming 2022 Crafa S. + - - Formal Aspects of Component Software
Pacta sunt servanda: legal contracts in Stipula 2021 Silvia Crafa + - - -
MitopatHs: A new logically-framed tool for visualizing multiple mitochondrial pathways 2021 Zanella, MarcoPinton, PaoloCrafa, Silvia + ISCIENCE - -
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 - -
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)
The data selling business, its practices and consequences in social ethics 2019 Crafa S.Zangari A. MONDO DIGITALE - -
Artificial Intelligence and Human Dialogue 2019 crafa JOURNAL OF ETHICS AND LEGAL TECHNOLOGIES - -
Solidity 0.5: when typed does not mean type safe 2019 Silvia CrafaMatteo Di Pirro - - -
Tecnologia accessibile e societa' inclusiva: binomio possibile? 2019 crafa, silviagaggi, ombretta - - Diritti umani e inclusione
Il business della vendita dei dati, pratiche e conseguenze nell'etica sociale 2019 Crafa SZangari A MONDO DIGITALE - -
Mostrati risultati da 1 a 20 di 70
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile