More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Tiziana Cimoli

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/BartolettiCCS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/BartolettiCCS20
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

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/goodtechs/BartolettiCPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/goodtechs/BartolettiCPS18
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi:
Blockchain for social good: a quantitative analysis. GOODTECHS 2018: 37-42
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BartolettiCZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BartolettiCZ18
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
Fun with Bitcoin Smart Contracts. ISoLA (4) 2018: 432-449
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/AtzeiBCLZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/AtzeiBCLZ18
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino:
SoK: Unraveling Bitcoin Smart Contracts. POST 2018: 217-242
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-03424
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-03424
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi:
Blockchain for social good: a quantitative analysis. CoRR abs/1811.03424 (2018)
[i6]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AtzeiBCLZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AtzeiBCLZ18
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino:
SoK: unraveling Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018: 192 (2018)
[i5]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BartolettiCZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BartolettiCZ18
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
Fun with Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018: 398 (2018)
2017
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BartolettiCM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BartolettiCM17
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia:
Timed Session Types. Log. Methods Comput. Sci. 13(4) (2017)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/post/AtzeiBC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/AtzeiBC17
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli:
A Survey of Attacks on Ethereum Smart Contracts (SoK). POST 2017: 164-186
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartolettiCCS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiCCS17
Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia:
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact. CoRR abs/1703.03779 (2017)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-05388
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-05388
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia:
Timed Session Types. CoRR abs/1710.05388 (2017)
2016
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BartolettiCPZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BartolettiCPZ16
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]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AtzeiBC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AtzeiBC16
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli:
A survey of attacks on Ethereum smart contracts. IACR Cryptol. ePrint Arch. 2016: 1007 (2016)
2015
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BartolettiCGZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BartolettiCGZ15
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Vicious circles in contracts and in logic. Sci. Comput. Program. 109: 61-95 (2015)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BartolettiCP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BartolettiCP15
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri nets. Sci. Comput. Program. 112: 75-101 (2015)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BartolettiCZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BartolettiCZ15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BartolettiCMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BartolettiCMPP15
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu:
A Contract-Oriented Middleware. FACS 2015: 86-104
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/BartolettiCMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BartolettiCMPP15
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu:
Compliance and Subtyping in Timed Session Types. FORTE 2015: 161-177
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/BartolettiCPZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/BartolettiCPZ15
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
Models of Circular Causality. ICDCIT 2015: 1-20
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BartolettiCPZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BartolettiCPZ14
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
Circular Causality in Event Structures. Fundam. Informaticae 134(3-4): 219-259 (2014)
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BartolettiCP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiCP14
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
A note on two notions of compliance. ICE 2014: 86-93
2013
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsen/BartolettiCP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BartolettiCP13
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri Nets and Contracts. FSEN 2013: 66-82
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/BartolettiCZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/BartolettiCZ13
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
A Theory of Agreements and Protection. POST 2013: 186-205
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BartolettiCGZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiCGZ13
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Contract agreements via logic. ICE 2013: 5-19
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-6330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-6330
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
An event-based model for contracts. PLACES 2012: 13-20
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1211-3624
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-3624
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri nets and contracts. CoRR abs/1211.3624 (2012)

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.