Recent site activity

Dec 10, 2017, 1:24 PM Massimo Bartoletti edited Publications
Dec 7, 2017, 11:04 AM Nicola Atzei edited Nicola Atzei
Dec 5, 2017, 7:03 AM Massimo Bartoletti created Upcoming paper: A formal model of Bitcoin transactions
Dec 4, 2017, 8:57 AM Livio Pompianu edited Livio Pompianu
Nov 28, 2017, 8:18 AM Nicola Atzei edited Nicola Atzei
Nov 24, 2017, 10:16 AM Massimo Bartoletti edited Publications
Nov 24, 2017, 10:16 AM Massimo Bartoletti edited Publications
Nov 24, 2017, 6:21 AM Sebastian P. edited Alessandro Sebastian Podda
Nov 21, 2017, 5:40 AM Nicola Atzei edited Nicola Atzei
Nov 21, 2017, 2:42 AM Nicola Atzei edited Nicola Atzei
Nov 21, 2017, 2:38 AM Nicola Atzei edited Nicola Atzei
Nov 21, 2017, 2:30 AM Stefano Lande edited Members
Nov 17, 2017, 1:14 AM Massimo Bartoletti edited Publications
Nov 17, 2017, 12:58 AM Livio Pompianu edited Livio Pompianu
Nov 16, 2017, 7:24 AM Livio Pompianu edited Livio Pompianu
Nov 9, 2017, 1:34 AM Roberto Saia edited Roberto Saia
Oct 23, 2017, 9:32 AM Massimo Bartoletti edited Publications
Oct 23, 2017, 9:20 AM Massimo Bartoletti edited Publications
Oct 23, 2017, 9:18 AM Massimo Bartoletti edited Publications
Oct 23, 2017, 9:13 AM Massimo Bartoletti created Upcoming paper: A general framework for blockchain analytics
Oct 23, 2017, 9:09 AM Massimo Bartoletti created Upcoming paper: Timed Session Types
Oct 22, 2017, 7:28 PM Roberto Saia edited Roberto Saia
Oct 22, 2017, 7:25 PM Roberto Saia edited Publications
Oct 22, 2017, 7:24 PM Roberto Saia edited Publications
Oct 20, 2017, 1:50 PM Massimo Bartoletti edited Publications

older | newer