LORETI, MICHELE

LORETI, MICHELE  

Matematica e Informatica 'Ulisse Dini'  

Mostra records
Risultati 1 - 20 di 89 (tempo di esecuzione: 0.024 secondi).
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 R. De Nicola; M. Loreti; R. Pugliese; TIEZZI, Francesco
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