![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Silvia Crafa
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]Silvia Crafa
:
Algorithmic Thinking for the Legal Writing: The Case of Italian Election Law. Digit. Soc. 3(2): 18 (2024) - [i11]Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino:
Smart Contract Languages: a comparative analysis. CoRR abs/2404.04129 (2024) - 2023
- [j14]Silvia Crafa, Cosimo Laneve, Giovanni Sartor
, Adele Veschetti
:
Pacta sunt servanda: Legal contracts in Stipula. Sci. Comput. Program. 225: 102911 (2023) - [c30]Teresa Scantamburlo, Silvia Crafa, Giovanni Grandi:
Moral Exercises for Human Oversight of Algorithmic Decision-Making. DP@AI*IA 2023: 57-66 - [c29]Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanò:
ALGOMOVE - A Move Embedding for Algorand. Blockchain 2023: 62-67 - 2022
- [c28]Silvia Crafa, Cosimo Laneve:
Programming Legal Contracts - A Beginners Guide to Stipula. The Logic of Software. A Tasting Menu of Formal Methods 2022: 129-146 - [c27]Silvia Crafa
, Cosimo Laneve
:
Liquidity Analysis in Resource-Aware Programming. FACS 2022: 205-221 - [c26]Silvia Crafa:
From Legal Contracts to Legal Calculi: the code-driven normativity. EXPRESS/SOS 2022: 23-42 - 2021
- [i10]Silvia Crafa, Cosimo Laneve, Giovanni Sartor:
Pacta sunt servanda: legal contracts in Stipula. CoRR abs/2110.11069 (2021)
2010 – 2019
- 2019
- [c25]Silvia Crafa, Matteo Di Pirro, Elena Zucca:
Is Solidity Solid Enough? Financial Cryptography Workshops 2019: 138-153 - [i9]Silvia Crafa, Matteo Di Pirro:
Solidity 0.5: when typed does not mean type safe. CoRR abs/1907.02952 (2019) - 2018
- [j13]Filippo Sestini, Silvia Crafa:
Proof search in a context-sensitive logic for molecular biology. J. Log. Comput. 28(7): 1565-1600 (2018) - [c24]Silvia Crafa, Daniele Varacca:
On the Reactive Nature of Financial Networks. ICTCS 2018: 230-241 - 2017
- [j12]Silvia Crafa, Luca Padovani
:
The Chemical Approach to Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. 39(3): 13:1-13:45 (2017) - 2016
- [j11]Ilaria Castellani, Silvia Crafa:
A quarter of a century of CONCUR - Report on the 2014 and 2015 editions of the Conference on Concurrency Theory. Bull. EATCS 118 (2016) - [i8]Silvia Crafa, Luca Padovani:
On the chemistry of typestate-oriented actors. CoRR abs/1607.02927 (2016) - 2015
- [j10]Silvia Crafa:
The role of concurrency in an evolutionary view of programming abstractions. J. Log. Algebraic Methods Program. 84(6): 732-741 (2015) - [c23]Stefano Calzavara
, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo:
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. ESOP 2015: 510-534 - [c22]Silvia Crafa, Luca Padovani
:
The chemical approach to typestate-oriented programming. OOPSLA 2015: 917-934 - [e2]Silvia Crafa, Daniel Gebler:
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015. EPTCS 190, 2015 [contents] - [i7]Silvia Crafa, Luca Tronchin:
Actors vs Shared Memory: two models at work on Big Data application frameworks. CoRR abs/1505.03060 (2015) - [i6]Silvia Crafa:
The role of concurrency in an evolutionary view of programming abstractions. CoRR abs/1507.07719 (2015) - [i5]Silvia Crafa:
Modelling the Evolution of Programming Languages. CoRR abs/1510.04440 (2015) - 2014
- [j9]Paolo Baldan, Silvia Crafa:
A Logic for True Concurrency. J. ACM 61(4): 24:1-24:36 (2014) - [j8]Silvia Crafa, Francesco Ranzato:
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions. ACM Trans. Comput. Log. 16(1): 2:1-2:24 (2014) - [c21]Paolo Baldan, Silvia Crafa:
Hereditary History-Preserving Bisimilarity: Logics and Automata. APLAS 2014: 469-488 - [c20]Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu:
Semantics of (Resilient) X10. ECOOP 2014: 670-696 - [e1]Johannes Borgström, Silvia Crafa:
Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014. EPTCS 160, 2014 [contents] - 2013
- [i4]Silvia Crafa, Federica Russo:
Causality in concurrent systems. CoRR abs/1303.1384 (2013) - [i3]Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu:
Semantics of (Resilient) X10. CoRR abs/1312.3739 (2013) - 2012
- [j7]Silvia Crafa, Francesco Ranzato:
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Formal Methods Syst. Des. 40(3): 356-376 (2012) - [c19]Silvia Crafa, Daniele Varacca, Nobuko Yoshida
:
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS 2012: 225-239 - [i2]Silvia Crafa:
Behavioural Types for Actor Systems. CoRR abs/1206.1687 (2012) - 2011
- [j6]Silvia Crafa, Francesco Ranzato, Francesco Tapparo:
Saving Space in a Time Efficient Simulation Algorithm. Fundam. Informaticae 108(1-2): 23-42 (2011) - [c18]Silvia Crafa, Francesco Ranzato:
A Spectrum of Behavioral Relations over LTSs on Probability Distributions. CONCUR 2011: 124-139 - [c17]Silvia Crafa, Francesco Ranzato:
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. ICALP (2) 2011: 295-306 - [i1]Paolo Baldan, Silvia Crafa:
A Logic for True Concurrency. CoRR abs/1110.4094 (2011) - 2010
- [c16]Paolo Baldan, Silvia Crafa:
A Logic for True Concurrency. CONCUR 2010: 147-161
2000 – 2009
- 2009
- [j5]Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio:
A type system for Discretionary Access Control. Math. Struct. Comput. Sci. 19(4): 839-875 (2009) - [c15]Silvia Crafa, Francesco Ranzato, Francesco Tapparo:
Saving Space in a Time Efficient Simulation Algorithm. ACSD 2009: 60-69 - 2008
- [c14]Silvia Crafa, Matteo Mio
, Marino Miculan
, Carla Piazza
, Sabina Rossi:
PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38 - 2007
- [j4]Silvia Crafa, Sabina Rossi:
Controlling information release in the pi-calculus. Inf. Comput. 205(8): 1235-1273 (2007) - [c13]Silvia Crafa, Daniele Varacca, Nobuko Yoshida
:
Compositional Event Structure Semantics for the Internal pi -Calculus. CONCUR 2007: 317-332 - 2006
- [c12]Silvia Crafa, Sabina Rossi:
P-congruences as non-interference for the pi-calculus. FMSE 2006: 13-22 - 2005
- [j3]Michele Bugliesi, Silvia Crafa, Massimo Merro
, Vladimiro Sassone:
Communication and mobility control in boxed ambients. Inf. Comput. 202(1): 39-86 (2005) - [c11]Silvia Crafa, Sabina Rossi:
A Theory of Noninterference for the pi-Calculus. TGC 2005: 2-18 - 2004
- [j2]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. 26(1): 57-124 (2004) - [c10]Michele Bugliesi, Dario Colazzo, Silvia Crafa:
Type Based Discretionary Access Control. CONCUR 2004: 225-239 - 2003
- [c9]Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone:
Secrecy in Untrusted Networks. ICALP 2003: 969-983 - 2002
- [j1]Viviana Bono
, Michele Bugliesi, Silvia Crafa:
Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3(4): 562-603 (2002) - [c8]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone:
A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD 2002: 91-138 - [c7]Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone:
Communication Interference in Mobile Boxed Ambients. FSTTCS 2002: 71-84 - [c6]Silvia Crafa, Michele Bugliesi, Giuseppe Castagna:
Information Flow Security for Boxed Ambients. F-WAN@ICALP 2002: 76-97 - 2001
- [c5]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
Reasoning about Security in Mobile Ambients. CONCUR 2001: 102-120 - [c4]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
Subtyping and Matching for Mobile Objects. ICTCS 2001: 235-255 - [c3]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
Boxed Ambients. TACS 2001: 38-63 - [c2]Giuseppe Castagna, Michele Bugliesi, Silvia Crafa:
An overview of Boxed Ambients. TOSCA 2001: 1-6 - 2000
- [c1]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
Typed Mobile Objects. CONCUR 2000: 504-520
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint