Logo eprints

Latest Additions to IMT Institutional Repository

May 9

Aletti, Giacomo and Crimaldi, Irene and Ghiglietti, Andrea Networks of reinforced stochastic processes: Asymptotics for the empirical means. Technical Report (Submitted)
Crimaldi, Irene and Del Vicario, Michela and Morrison, Greg and Quattrociocchi, Walter and Riccaboni, Massimo Modeling networks with a growing feature-structure. Interdisciplinary Information Sciences. ISSN 1340-9050 (In Press) (2017)
Aletti, Giacomo and Crimaldi, Irene and Ghiglietti, Andrea Synchronization of Reinforced Stochastic Processes with a Network-based Interaction. The Annals of Applied Probability. ISSN 1050-5164 (In Press) (2017)
ter Beek, Maurice H. and Melgratti, Hernán C. and Torres Vieira, Hugo (edited by) Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP). In: 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP) pp. 1588-1589. ISBN 978-145033739-7. (2016)
Lanese, Ivan and Lafuente, Alberto Lluch and Knight, Sophia and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2015. Journal of Logical and Algebraic Methods in Programming, 86 (1). p. 1. ISSN 2352-2208 (2017)
Minervini, Massimo and Giuffrida, Mario Valerio and Perata, Pierdomenico and Tsaftaris, Sotirios A. Phenotiki: an open software and hardware platform for affordable and easy image-based phenotyping of rosette-shaped plants. Plant Journal, 90 (1). pp. 204-216. ISSN 0960-7412 (2017)

May 5

Huttel, Hans and Lanese, Ivan and Vasconcelos, Vasco Thudichum and Caires, Luis and Carbone, Marco and Deniélou, Pierre-Malo and Mostrous, Dimitris and Padovani, Luca and Ravara, Antonio and Tuosto, Emilio and Torres Vieira, Hugo and Zavattaro, Gianluigi Foundations of Session Types and Behavioural Contracts. ACM Computing Surveys, 49 (1). pp. 1-36. ISSN 0360-0300 (2016)
Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Formal Aspects of Computing, 28 (4). pp. 643-667. ISSN 0934-5043 (2016)
Bartoletti, Massimo and Henrio, Ludovic and Knight, Sophia and Torres Vieira, Hugo (edited by) Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. Electronic Proceedings in Theoretical Computer Science, 223. ISSN 2075-2180 (2016)
Lanese, Ivan and Lafuente, Alberto Lluch and Sokolova, Ana and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2014. Journal of Logical and Algebraic Methods in Programming, 85 (3). p. 367. ISSN 2352-2208 (2016)
Knight, Sophia and Lanese, Ivan and Lafuente, Alberto Lluch and Torres Vieira, Hugo (edited by) Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. Electronic Proceedings in Theoretical Computer Science, 189. ISSN 2075-2180 (2015)
Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo A Typed Model for Dynamic Authorizations. Electronic Proceedings in Theoretical Computer Science, 203. pp. 73-84. ISSN 2075-2180 (2015)

Apr 29

Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent rollback in a tuple-based language. Journal of Logical and Algebraic Methods in Programming, 88. pp. 99-120. ISSN 2352-2208 (2017)

Go to the IMT Institutional Repository Homepage