Michele Loreti Vis

*	2009
30	EE	Liliana D'Errico, Michele Loreti: Assume-Guarantee Verification of Concurrent Systems. COORDINATION 2009: 288-305
29	EE	Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446
	2008
28	EE	Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Session Centered Calculi. COORDINATION 2008: 17-32
27	EE	Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti: Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38
26	EE	Mieke 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
25	EE	Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
24	EE	Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina: Provably Correct Implementations of Services. TGC 2008: 69-86
23	EE	Rocco De Nicola, Michele Loreti: Multiple-Labelled Transition Systems for nominal calculi and their logics. Mathematical Structures in Computer Science 18(1): 107-143 (2008)
22	EE	Francesco 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
21		Liliana D'Errico, Michele Loreti: Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105
20		Andrea Manganaro, Mingyur Koblensky, Michele Loreti: Design of a Password-based Authentication Method for Wireless Networks. WINSYS 2007: 9-16
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	Maurice H. ter Beek	[26]
5	Lorenzo Bettini	[1] [3] [6] [7] [8] [9] [10] [12] [14] [18] [28]
6	Viviana Bono	[9]
7	Michele Boreale	[15] [27]
8	Mario Bravetti	[25]
9	Roberto Bruni	[5] [15] [24] [27]
10	Luís Caires	[15]
11	Francesco Calzolai	[22]
12	Beatrice Capitani	[4]
13	Leonardo Cecchi	[12]
14	Andrea Corradini	[5]
15	Pierluigi Crescenzi (Pilu Crescenzi)	[12] [16]
16	Liliana D'Errico	[21] [30]
17	Daniele Falassi	[14] [18]
18	Gian Luigi Ferrari (GianLuigi Ferrari)	[9]
19	José Luiz Fiadeiro	[5]
20	Fabio Gadducci	[5]
21	Stefania Gnesi	[5]
22	Daniele Gorla	[9]
23	Michael D. Harrison	[26]
24	Piotr Hoffman	[5]
25	Gaia Innocenti	[12]
26	Joost-Pieter Katoen	[17]
27	Mingyur Koblensky	[20]
28	Nora Koch	[5]
29	Piotr Kosiuczenko	[5]
30	Marc Lacoste	[14]
31	Ivan Lanese	[15]
32	Alessandro Lapadula	[5]
33	Diego Latella	[5] [17] [25] [26] [29]
34	Antónia Lopes	[5]
35	Andrea Manganaro	[20]
36	Francisco Martins	[15]
37	Mieke Massink	[5] [17] [25] [26] [29]
38	Franco Mazzanti	[5]
39	Leonardo Gaetano Mezzina	[24]
40	Eugenio Moggi	[9]
41	Ugo Montanari	[5] [15]
42	Rocco De Nicola	[2] [5] [7] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19] [22] [23] [24] [27] [28] [29]
43	Cristóvão Oliveira	[5]
44	Rosario Pugliese	[1] [3] [5] [6] [9] [16]
45	António Ravara	[15]
46	Davide Sangiorgi	[15]
47	Andrzej Tarlecki	[5]
48	Francesco Tiezzi	[22]
49	Emilio Tuosto	[9]
50	Vasco Thudichum Vasconcelos	[15]
51	Betti Venneri	[4] [9]
52	Michel Wermelinger	[5]
53	Martin Wirsing	[5]
54	Gianluigi Zavattaro	[15] [25]
55	Artur Zawlocki	[5]

Colors in the list of coauthors