I agree that this site is using cookies. You can find further informations here.
X
Atzei, D.
12  results:
Bookchapter (Online) X
Search for persons X
?
1

Closed Carpal Tunnel Release Technique with GRS:

, In: Carpal Tunnel Syndrome,
Atzei, A. ; Putnam, M. D. ; Tognon, S.. - p. 211-219 ,
Link: https://doi.org/10.1007/..
 
?
2

Contract-Oriented Design of Distributed Applications: A Tut..:

, In: Behavioural Types,
Atzei, Nicola ; Bartoletti, Massimo ; Murgia, Maurizio.. - p. 1-25 , 2022
Link: https://doi.org/10.1201/..
 
?
3

Poster Abstract: Data-Driven Estimation of Collision Risks ..:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
Lavaei, Abolfazl ; Di Lillo, Luigi ; Atzei, Margherita.. - p. 1-2 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Contract-Oriented Programming with Timed Session Types:

, In: Behavioural Types,
Atzei, Nicola ; Bartoletti, Massimo ; Cimoli, Tiziana... - p. 27-48 , 2022
Link: https://doi.org/10.1201/..
 
?
5

Radio-Carpal and Midcarpal Arthroscopy:

, In: Arthroscopy and Endoscopy of the Hand, Wrist and Elbow,
Zhao, Zhe ; Geissler, William B. ; Shung, Joseph R.... - p. 93-346 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Arthroscopic Arthrolysis of the Wrist:

, In: Arthroscopy and Endoscopy of the Elbow, Wrist and Hand,
Bain, Gregory I. ; Kuberakani, Karthikraj ; Luchetti, Riccardo. - p. 953-962 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Arthroscopic Wrist Anatomy and Setup:

, In: Wrist and Elbow Arthroscopy with Selected Open Procedures,
Badur, Nicole ; Luchetti, Riccardo ; Atzei, Andrea - p. 1-31 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Arthroscopic Arthrolysis:

, In: Wrist and Elbow Arthroscopy with Selected Open Procedures,
McGuire, Duncan Thomas ; Luchetti, Riccardo ; Atzei, Andrea. - p. 321-333 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Ulnocarpal Arthroscopy and Distal Radioulnar Arthroscopy:

, In: Arthroscopy and Endoscopy of the Hand, Wrist and Elbow,
Atzei, Andrea ; Luchetti, Riccardo ; Marcovici, Lucian Lior... - p. 347-383 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Developing secure bitcoin contracts with BitML:

, In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Atzei, Nicola ; Bartoletti, Massimo ; Lande, Stefano.. - p. 1124-1128 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

A Formal Model of Bitcoin Transactions:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,
Atzei, Nicola ; Bartoletti, Massimo ; Lande, Stefano. - p. 541-560 , 2018
Link: https://doi.org/10.1007/..
 
?
12

SoK: Unraveling Bitcoin Smart Contracts:

, In: Lecture Notes in Computer Science; Principles of Security and Trust,
Atzei, Nicola ; Bartoletti, Massimo ; Cimoli, Tiziana.. - p. 217-242 , 2018
Link: https://doi.org/10.1007/..
 
1-12