LORETI, Michele

LORETI, Michele  

Scuola di Scienze e Tecnologie  

Mostra records
Risultati 1 - 20 di 128 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
A calculus for attribute-based communication 1-gen-2015 Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto Capitolo di libro o voce di enciclopedia
A calculus for collective-adaptive systems and its behavioural theory 1-gen-2019 Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele Articolo
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 1-gen-2015 Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo Capitolo di libro o voce di enciclopedia
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 1-gen-2005 Bettini, Lorenzo; DE NICOLA, Rocco; Falassi, Daniele; Marc, Lacoste; Loreti, Michele Capitolo di libro o voce di enciclopedia
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 1-gen-2008 Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele Capitolo di libro o voce di enciclopedia
A Formal Approach to Autonomic Systems Programming: The SCEL Language 1-gen-2014 De Nicola, R.; Loreti, M.; Pugliese, R.; Tiezzi, Francesco Articolo
A Framework To Measure The Robustness Of Programs In The Unpredictable Environment 1-gen-2023 Castiglioni, V.; Loreti, M.; Tini, S. Articolo
A Language-Based Approach to Autonomic Computing 1-gen-2013 De Nicola, Rocco; Ferrari, Gianluigi; Loreti, Michele; Pugliese, Rosario Capitolo di libro o voce di enciclopedia
A LOGIC FOR MONITORING DYNAMIC NETWORKS OF SPATIALLY-DISTRIBUTED CYBER-PHYSICAL SYSTEMS 1-gen-2022 Nenzi, L.; Bartocci, E.; Bortolussi, L.; Loreti, M. Articolo
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems 1-gen-2022 Loreti, M.; Rehman, A. Capitolo di libro o voce di enciclopedia
A Modal Logic for KLAIM 1-gen-2000 DE NICOLA, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
A Modal Logic for Mobile Agent 1-gen-2004 DE NICOLA, Rocco; Loreti, Michele Articolo
A process Algebra Approach to Fuzzy Reasoning 1-gen-2009 D'Errico, Liliana; Loreti, Michele Contributo in atto di convegno su volume
A SPATIAL LOGIC FOR SIMPLICIAL MODELS 1-gen-2023 Loreti, M.; Quadrini, M. Articolo
A uniform definition of stochastic process calculi 1-gen-2013 De Nicola, Rocco; Lagella, Diego; Loreti, Michele; Massink, Mieke Articolo
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 1-gen-2013 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele Articolo
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 1-gen-2019 De Nicola, Rocco; Duong, Tan; Loreti, Michele Capitolo di libro o voce di enciclopedia
AGILE: Software Architecture for Mobility 1-gen-2002 Filipe Andrade, Luis; Baldan, Paolo; Baumeister, Hubert; Bruni, Roberto; Corradini, Andrea; De Nicola, Rocco; Luiz Fiadeiro, José; Gadducci, Fabio; Gnesi, Stefania; Hoffman, Piotr; Koch, Nora; Kosiuczenko, Piotr; Lapadula, Alessandro; Latella, Diego; Lopes, Antónia; Loreti, Michele; Massink, Mieke; Mazzanti, Franco; Montanari, Ugo; Oliveira, Cristóvão; Pugliese, Rosario; Tarlecki, Andrzej; Wermelinger, Michel; Wirsing, Martin; Zawlocki, Artur Capitolo di libro o voce di enciclopedia
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 1-gen-2004 Bettini, Lorenzo; Crescenzi, Pilu; Innocenti, Gaia; Loreti, Michele; Cecchi, Leonardo Contributo in atto di convegno su volume
An experimental spatio-temporal model checker 1-gen-2015 Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia