Michele Loreti

2008
20	EE	Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Session Centered Calculi. COORDINATION 2008: 17-32
2007
19	EE	Rocco De Nicola, Michele Loreti: Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. Electr. Notes Theor. Comput. Sci. 169: 133-146 (2007)
18	EE	Lorenzo 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)
17	EE	Rocco 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
16	EE	Pilu Crescenzi, Michele Loreti, Rosario Pugliese: Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348
15	EE	Michele 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
14	EE	Lorenzo 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
13	EE	Rocco 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
11	EE	Rocco De Nicola, Michele Loreti: A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004)
10	EE	Lorenzo 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
9	EE	Lorenzo 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
8	EE	Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87
7	EE	Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Software update via mobile agent based programming. SAC 2002: 32-36
6	EE	Lorenzo Bettini, Michele Loreti, Rosario Pugliese: An infrastructure language for open nets. SAC 2002: 373-377
5	EE	Luis 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
4	EE	Beatrice Capitani, Michele Loreti, Betti Venneri: Hyperformulae, Parallel Deductions and Intersection Types. Electr. Notes Theor. Comput. Sci. 50(2): (2001)
3	EE	Lorenzo Bettini, Michele Loreti, Rosario Pugliese: Modelling Node Connectivity in Dynamically Evolving Networks. Electr. Notes Theor. Comput. Sci. 54: (2001)
2000
2	EE	Rocco 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

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