dblp.uni-trier.dewww.uni-trier.de

Michele Loreti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
27EELorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Session Centered Calculi. COORDINATION 2008: 17-32
26EEMichele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti: Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38
25EEMieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti: A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE 2008: 166-180
24EEMario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
23EERoberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina: Provably Correct Implementations of Services. TGC 2008: 69-86
22EERocco De Nicola, Michele Loreti: Multiple-Labelled Transition Systems for nominal calculi and their logics. Mathematical Structures in Computer Science 18(1): 107-143 (2008)
21EEFrancesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi: TAPAs: A Tool for the Analysis of Process Algebras. T. Petri Nets and Other Models of Concurrency 1: 54-70 (2008)
2007
20 Liliana D'Errico, Michele Loreti: Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105
19EERocco De Nicola, Michele Loreti: Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. Electr. Notes Theor. Comput. Sci. 169: 133-146 (2007)
18EELorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti: Implementing a Distributed Mobile Calculus Using the IMC Framework. Electr. Notes Theor. Comput. Sci. 181: 63-79 (2007)
17EERocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink: Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007)
2006
16EEPilu Crescenzi, Michele Loreti, Rosario Pugliese: Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348
15EEMichele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro: SCC: A Service Centered Calculus. WS-FM 2006: 38-57
2005
14EELorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti: A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. DAIS 2005: 181-193
2004
13EERocco De Nicola, Michele Loreti: MoMo: A Modal Logic for Reasoning About Mobility. FMCO 2004: 95-119
12 Lorenzo Bettini, Pilu Crescenzi, Gaia Innocenti, Michele Loreti, Leonardo Cecchi: An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses. ICALT 2004
11EERocco De Nicola, Michele Loreti: A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004)
10EELorenzo Bettini, Rocco De Nicola, Michele Loreti: Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Autom. Softw. Eng. 11(3): 245-288 (2004)
2003
9EELorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri: The Klaim Project: Theory and Practice. Global Computing 2003: 88-150
2002
8EELorenzo Bettini, Rocco De Nicola, Michele Loreti: Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87
7EELorenzo Bettini, Rocco De Nicola, Michele Loreti: Software update via mobile agent based programming. SAC 2002: 32-36
6EELorenzo Bettini, Michele Loreti, Rosario Pugliese: An infrastructure language for open nets. SAC 2002: 373-377
5EELuis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33
2001
4EEBeatrice Capitani, Michele Loreti, Betti Venneri: Hyperformulae, Parallel Deductions and Intersection Types. Electr. Notes Theor. Comput. Sci. 50(2): (2001)
3EELorenzo Bettini, Michele Loreti, Rosario Pugliese: Modelling Node Connectivity in Dynamically Evolving Networks. Electr. Notes Theor. Comput. Sci. 54: (2001)
2000
2EERocco De Nicola, Michele Loreti: A Modal Logic for KLAIM. AMAST 2000: 339-354
1 Lorenzo Bettini, Michele Loreti, Rosario Pugliese: Structured Nets in KLAIM. SAC (1) 2000: 174-180

Coauthor Index

1Luis Filipe Andrade [5]
2Paolo Baldan [5]
3Hubert Baumeister [5]
4Maurice H. ter Beek [25]
5Lorenzo Bettini [1] [3] [6] [7] [8] [9] [10] [12] [14] [18] [27]
6Viviana Bono [9]
7Michele Boreale [15] [26]
8Mario Bravetti [24]
9Roberto Bruni [5] [15] [23] [26]
10Luís Caires [15]
11Francesco Calzolai [21]
12Beatrice Capitani [4]
13Leonardo Cecchi [12]
14Andrea Corradini [5]
15Pierluigi Crescenzi (Pilu Crescenzi) [12] [16]
16Liliana D'Errico [20]
17Daniele Falassi [14] [18]
18Gian Luigi Ferrari (GianLuigi Ferrari) [9]
19José Luiz Fiadeiro [5]
20Fabio Gadducci [5]
21Stefania Gnesi [5]
22Daniele Gorla [9]
23Michael D. Harrison [25]
24Piotr Hoffman [5]
25Gaia Innocenti [12]
26Joost-Pieter Katoen [17]
27Nora Koch [5]
28Piotr Kosiuczenko [5]
29Marc Lacoste [14]
30Ivan Lanese [15]
31Alessandro Lapadula [5]
32Diego Latella [5] [17] [24] [25]
33Antónia Lopes [5]
34Francisco Martins [15]
35Mieke Massink [5] [17] [24] [25]
36Franco Mazzanti [5]
37Leonardo Gaetano Mezzina [23]
38Eugenio Moggi [9]
39Ugo Montanari [5] [15]
40Rocco De Nicola [2] [5] [7] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19] [21] [22] [23] [26] [27]
41Cristóvão Oliveira [5]
42Rosario Pugliese [1] [3] [5] [6] [9] [16]
43António Ravara [15]
44Davide Sangiorgi [15]
45Andrzej Tarlecki [5]
46Francesco Tiezzi [21]
47Emilio Tuosto [9]
48Vasco Thudichum Vasconcelos [15]
49Betti Venneri [4] [9]
50Michel Wermelinger [5]
51Martin Wirsing [5]
52Gianluigi Zavattaro [15] [24]
53Artur Zawlocki [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)