E-LIB Suche - Ergebnisse für: Crafa, Silvia

1

Algorithmic Thinking for the Legal Writing: The Case of Ita..:

Crafa, Silvia
Digital Society. 3 (2024) 2 - p. , 2024

Link: https://doi.org/10.1007/..

2

ALGOMOVE – A Move Embedding for Algorand:

, In: 2023 IEEE International Conference on Blockchain (Blockchain),

Benetollo, Lorenzo ; Bugliesi, Michele ; Crafa, Silvia.. - p. 62-67 , 2023

Link: https://doi.org/10.1109/..

3

Pacta sunt servanda: Legal contracts in:

Crafa, Silvia ; Laneve, Cosimo ; Sartor, Giovanni.
Science of Computer Programming. 225 (2023) - p. 102911 , 2023

Link: https://doi.org/10.1016/..

4

Programming Legal Contracts: – A Beginners Guide toStipula–:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,

Crafa, Silvia ; Laneve, Cosimo - p. 129-146 , 2022

Link: https://doi.org/10.1007/..

5

Liquidity Analysis in Resource-Aware Programming:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Crafa, Silvia ; Laneve, Cosimo - p. 205-221 , 2022

Link: https://doi.org/10.1007/..

6

From agent-based modeling to actor-based reactive systems i..:

Crafa, Silvia
Journal of Economic Interaction and Coordination. 16 (2021) 3 - p. 649-673 , 2021

Link: https://doi.org/10.1007/..

7

MitopatHs: A new logically-framed tool for visualizing mult..:

Marchi, Saverio ; Zanella, Marco ; Pinton, Paolo..
iScience. 24 (2021) 4 - p. 102324 , 2021

Link: https://doi.org/10.1016/..

8

Is Solidity Solid Enough?:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,

Crafa, Silvia ; Di Pirro, Matteo ; Zucca, Elena - p. 138-153 , 2020

Link: https://doi.org/10.1007/..

9

Proof search in a context-sensitive logic for molecular bio..:

Sestini, Filippo ; Crafa, Silvia
Journal of Logic and Computation. 28 (2018) 7 - p. 1565-1600 , 2018

Link: https://doi.org/10.1093/..

10

The Chemical Approach to Typestate-Oriented Programming:

Crafa, Silvia ; Padovani, Luca
ACM Transactions on Programming Languages and Systems (TOPLAS). 39 (2017) 3 - p. 1-45 , 2017

Link: https://dl.acm.org/doi/1..

11

The Chemical Approach to Typestate-Oriented Programming:

Crafa, Silvia ; Padovani, Luca
ACM Transactions on Programming Languages and Systems. 39 (2017) 3 - p. 1-45 , 2017

Link: https://doi.org/10.1145/..

12

The chemical approach to typestate-oriented programming:

, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Crafa, Silvia ; Padovani, Luca - p. 917-934 , 2015

Link: https://dl.acm.org/doi/1..

13

The role of concurrency in an evolutionary view of programm..:

Crafa, Silvia
Journal of Logical and Algebraic Methods in Programming. 84 (2015) 6 - p. 732-741 , 2015

Link: https://doi.org/10.1016/..

14

The chemical approach to typestate-oriented programming:

Crafa, Silvia ; Padovani, Luca
ACM SIGPLAN Notices. 50 (2015) 10 - p. 917-934 , 2015

Link: https://doi.org/10.1145/..

15

A Logic for True Concurrency:

Baldan, Paolo ; Crafa, Silvia
Journal of the ACM. 61 (2014) 4 - p. 1-36 , 2014

Link: https://doi.org/10.1145/..