LORETI, MICHELE
LORETI, MICHELE
Matematica e Informatica 'Ulisse Dini'
A calculus for attribute-based communication
2015 Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields
2015 Lafuente, Alberto Lluch; Loreti, Michele; Montanari, Ugo
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
2005 Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Michele Loreti
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
2008 Mieke Massink; Diego Latella; Maurice H. ter; Michael D. Harrison; Michele Loreti
A Formal Approach to Autonomic Systems Programming: The SCEL Language
2014 Rocco De Nicola; Michele Loreti; Rosario Pugliese; Francesco Tiezzi
A Language-Based Approach to Autonomic Computing
2013 R. De Nicola; G. Ferrari; M. Loreti; R. Pugliese
A Modal Logic for KLAIM
2000 R. De Nicola; M. Loreti
A MODAL LOGIC FOR MOBILE AGENTS
2004 M. LORETI; R. DE NICOLA
A process Algebra Approach to Fuzzy Reasoning
2009 Liliana D'Errico; Michele Loreti
A uniform definition of stochastic process calculi
2013 Rocco De Nicola; Diego Lagella; Michele Loreti; Mieke Massink
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
2013 Marco Bernardo;Rocco De Nicola;Michele Loreti
AGILE: Software Architecture for Mobility
2002 ANDRADE L.; BALDAN P.; BAUMEISTER H.; BRUNI R.; CORRADINI A.; DE NICOLA R.; FIADERO J.; GADDUCCI F.; GNESI S.; HOFFMAN P.; KOCH N.; KOSIUCZENKO P.; LAPADULA A.; LATELLA D.; LOPES A.; LORETI M.; MASSINK M.; MAZZANTI F.; MONTANARI M.; OLIVEIRA C.; R. PUGLIESE; TARLECKI A.; WERMELINGER M.; WIRSING M.
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses
2004 LORENZO BETTINI; PILU CRESCENZI; GAIA INNOCENTI; M. LORETI; LEONARDO CECCHI
An experimental spatio-temporal model checker
2015 Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke
An Infrastructure Language for Open Nets
2002 L. BETTINI; M. LORETI; R. PUGLIESE
Analysing Robot Movement Using the Sensoria Methods
2011 Maurice H. Beek;Alessandro Lapadula;Michele Loreti;Claudio Palasciano
Assessing CS1 Java Skills: A Three-Year Experience
2006 P. CRESCENZI; M. LORETI; R. PUGLIESE
Assume-Guarantee Verification of Concurrent Systems
2009 L. D'Errico; M. Loreti
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems
2016 Hillston, Jane; Loreti, Michele
CARMA: Collective Adaptive Resource-sharing Markovian Agents
2015 Bortolussi, Luca; De Nicola, Rocco; Galpin, Vashti; Gilmore, Stephen; Hillston, Jane; Latella, Diego; Loreti, Michele; Massink, Mieke
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A calculus for attribute-based communication | 2015 | Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto | |
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields | 2015 | Lafuente, Alberto Lluch; Loreti, Michele; Montanari, Ugo | |
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing | 2005 | Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Michele Loreti | |
A Fluid Flow Approach to Usability Analysis of Multi-user Systems | 2008 | Mieke Massink; Diego Latella; Maurice H. ter; Michael D. Harrison; Michele Loreti | |
A Formal Approach to Autonomic Systems Programming: The SCEL Language | 2014 | Rocco De Nicola; Michele Loreti; Rosario Pugliese; Francesco Tiezzi | |
A Language-Based Approach to Autonomic Computing | 2013 | R. De Nicola; G. Ferrari; M. Loreti; R. Pugliese | |
A Modal Logic for KLAIM | 2000 | R. De Nicola; M. Loreti | |
A MODAL LOGIC FOR MOBILE AGENTS | 2004 | M. LORETI; R. DE NICOLA | |
A process Algebra Approach to Fuzzy Reasoning | 2009 | Liliana D'Errico; Michele Loreti | |
A uniform definition of stochastic process calculi | 2013 | Rocco De Nicola; Diego Lagella; Michele Loreti; Mieke Massink | |
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences | 2013 | Marco Bernardo;Rocco De Nicola;Michele Loreti | |
AGILE: Software Architecture for Mobility | 2002 | ANDRADE L.; BALDAN P.; BAUMEISTER H.; BRUNI R.; CORRADINI A.; DE NICOLA R.; FIADERO J.; GADDUCCI F.; GNESI S.; HOFFMAN P.; KOCH N.; KOSIUCZENKO P.; LAPADULA A.; LATELLA D.; LOPES A.; LORETI M.; MASSINK M.; MAZZANTI F.; MONTANARI M.; OLIVEIRA C.; R. PUGLIESE; TARLECKI A.; WERMELINGER M.; WIRSING M. | |
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses | 2004 | LORENZO BETTINI; PILU CRESCENZI; GAIA INNOCENTI; M. LORETI; LEONARDO CECCHI | |
An experimental spatio-temporal model checker | 2015 | Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke | |
An Infrastructure Language for Open Nets | 2002 | L. BETTINI; M. LORETI; R. PUGLIESE | |
Analysing Robot Movement Using the Sensoria Methods | 2011 | Maurice H. Beek;Alessandro Lapadula;Michele Loreti;Claudio Palasciano | |
Assessing CS1 Java Skills: A Three-Year Experience | 2006 | P. CRESCENZI; M. LORETI; R. PUGLIESE | |
Assume-Guarantee Verification of Concurrent Systems | 2009 | L. D'Errico; M. Loreti | |
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems | 2016 | Hillston, Jane; Loreti, Michele | |
CARMA: Collective Adaptive Resource-sharing Markovian Agents | 2015 | Bortolussi, Luca; De Nicola, Rocco; Galpin, Vashti; Gilmore, Stephen; Hillston, Jane; Latella, Diego; Loreti, Michele; Massink, Mieke |