default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTiziana Cimoli
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j6]Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia
:
Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact. Future Gener. Comput. Syst. 102: 259-277 (2020)
2010 – 2019
- 2018
- [c13]Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi:
Blockchain for social good: a quantitative analysis. GOODTECHS 2018: 37-42 - [c12]Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
Fun with Bitcoin Smart Contracts. ISoLA (4) 2018: 432-449 - [c11]Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino:
SoK: Unraveling Bitcoin Smart Contracts. POST 2018: 217-242 - [i7]Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi:
Blockchain for social good: a quantitative analysis. CoRR abs/1811.03424 (2018) - [i6]Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino:
SoK: unraveling Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018: 192 (2018) - [i5]Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
Fun with Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018: 398 (2018) - 2017
- [j5]Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia:
Timed Session Types. Log. Methods Comput. Sci. 13(4) (2017) - [c10]Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli:
A Survey of Attacks on Ethereum Smart Contracts (SoK). POST 2017: 164-186 - [i4]Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia:
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact. CoRR abs/1703.03779 (2017) - [i3]Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia:
Timed Session Types. CoRR abs/1710.05388 (2017) - 2016
- [j4]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
Contracts as games on event structures. J. Log. Algebraic Methods Program. 85(3): 399-424 (2016) - [i2]Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli:
A survey of attacks on Ethereum smart contracts. IACR Cryptol. ePrint Arch. 2016: 1007 (2016) - 2015
- [j3]Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Vicious circles in contracts and in logic. Sci. Comput. Program. 109: 61-95 (2015) - [j2]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri nets. Sci. Comput. Program. 112: 75-101 (2015) - [c9]Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
Compliance in Behavioural Contracts: A Brief Survey. Programming Languages with Applications to Biology and Security 2015: 103-121 - [c8]Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu:
A Contract-Oriented Middleware. FACS 2015: 86-104 - [c7]Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu:
Compliance and Subtyping in Timed Session Types. FORTE 2015: 161-177 - [c6]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
Models of Circular Causality. ICDCIT 2015: 1-20 - 2014
- [j1]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
Circular Causality in Event Structures. Fundam. Informaticae 134(3-4): 219-259 (2014) - [c5]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
A note on two notions of compliance. ICE 2014: 86-93 - 2013
- [c4]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri Nets and Contracts. FSEN 2013: 66-82 - [c3]Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
A Theory of Agreements and Protection. POST 2013: 186-205 - [c2]Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Contract agreements via logic. ICE 2013: 5-19 - 2012
- [c1]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
An event-based model for contracts. PLACES 2012: 13-20 - [i1]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri nets and contracts. CoRR abs/1211.3624 (2012)
Coauthor Index
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-10-07 22:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
