Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Tiziana Cimoli

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Roberto Zunino

> Home > Persons > Tiziana Cimoli

Publications

2018
[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
[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)
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)
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)
[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
[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)
2013
[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

a service of

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.