Recent site activity

Sep 8, 2018, 3:57 AM Livio Pompianu edited Education
Sep 8, 2018, 3:54 AM Livio Pompianu created activities
Sep 8, 2018, 3:46 AM Livio Pompianu edited Software
Sep 8, 2018, 3:46 AM Livio Pompianu edited Software
Sep 8, 2018, 3:44 AM Livio Pompianu edited Members
Sep 8, 2018, 3:23 AM Livio Pompianu edited Publications
Sep 8, 2018, 3:22 AM Livio Pompianu edited Publications
Sep 8, 2018, 3:12 AM Livio Pompianu edited Livio Pompianu
Sep 4, 2018, 3:48 AM Massimo Bartoletti edited Publications
Jul 23, 2018, 10:01 PM Massimo Bartoletti edited Upcoming paper: Progress-preserving Refinements of CTA
Jul 23, 2018, 10:00 PM Massimo Bartoletti edited Upcoming paper: Progress-preserving Refinements of CTA
Jul 23, 2018, 9:59 PM Massimo Bartoletti edited Upcoming paper: Progress-preserving Refinements of CTA
Jul 23, 2018, 9:58 PM Massimo Bartoletti created Upcoming paper: BitML: a calculus for Bitcoin smart contracts
Jul 23, 2018, 9:54 PM Massimo Bartoletti edited Publications
Jul 6, 2018, 2:29 AM Massimo Bartoletti edited Publications
Jul 4, 2018, 1:14 AM Roberto Saia edited Roberto Saia
Jul 4, 2018, 1:13 AM Roberto Saia edited NOMAD
Jul 4, 2018, 1:11 AM Roberto Saia edited Publications
Jul 2, 2018, 6:39 AM Massimo Bartoletti edited Publications
Jun 29, 2018, 4:19 AM Massimo Bartoletti edited Publications
Jun 28, 2018, 6:23 AM Nicola Atzei edited Nicola Atzei
Jun 28, 2018, 6:22 AM Nicola Atzei edited Nicola Atzei
Jun 28, 2018, 6:19 AM Nicola Atzei edited Nicola Atzei
Jun 28, 2018, 6:18 AM Nicola Atzei edited Nicola Atzei
Jun 28, 2018, 6:03 AM Nicola Atzei edited Nicola Atzei