Recent site activity

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
Jun 26, 2018, 12:24 AM Livio Pompianu edited Publications
Jun 26, 2018, 12:18 AM Livio Pompianu edited Livio Pompianu
Jun 26, 2018, 12:15 AM Livio Pompianu edited Livio Pompianu
Jun 26, 2018, 12:14 AM Livio Pompianu edited Publications
Jun 14, 2018, 6:52 AM Livio Pompianu edited Livio Pompianu
Jun 13, 2018, 5:31 AM Livio Pompianu edited Livio Pompianu
Jun 13, 2018, 5:20 AM Sebastian P. edited Alessandro Sebastian Podda
Jun 13, 2018, 5:20 AM Livio Pompianu edited Livio Pompianu
Jun 13, 2018, 5:19 AM Livio Pompianu edited Livio Pompianu

older | newer