Michele Loreti

	2012
42		Marco Bernardo, Rocco De Nicola, Michele Loreti: Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209
	2011
41		Marco Bernardo, Rocco De Nicola, Michele Loreti: Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi PACO 2011: 66-75
40		Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: SoSL: A Service-Oriented Stochastic Logic. Results of the SENSORIA Project 2011: 447-466
39		Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo: Quantitative Analysis of Services. Results of the SENSORIA Project 2011: 522-540
38		Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano: Analysing Robot Movement Using the Sensoria Methods. Results of the SENSORIA Project 2011: 678-697
	2010
37		Francesco Calzolai, Michele Loreti: Simulation and Analysis of Distributed Systems in Klaim. COORDINATION 2010: 122-136
36		Liliana D'Errico, Michele Loreti: Property-Preserving Refinement of Concurrent Systems. TGC 2010: 222-236
35		Marco Bernardo, Rocco De Nicola, Michele Loreti: Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56
	2009
34		Liliana D'Errico, Michele Loreti: Assume-Guarantee Verification of Concurrent Systems. COORDINATION 2009: 288-305
33		Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25
32		Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446
31		Liliana D'Errico, Michele Loreti: A process Algebra Approach to Fuzzy Reasoning. IFSA/EUSFLAT Conf. 2009: 1136-1141
30		Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: MarCaSPiS: a Markovian Extension of a Calculus for Services. Electr. Notes Theor. Comput. Sci. 229(4): 11-26 (2009)
	2008
29		Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Session Centered Calculi. COORDINATION 2008: 17-32
28		Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti: Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38
27		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
26		Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
25		Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina: Provably Correct Implementations of Services. TGC 2008: 69-86
24		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)
23		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
22		Liliana D'Errico, Michele Loreti: Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105
21		Andrea Manganaro, Mingyur Koblensky, Michele Loreti: Design of a Password-based Authentication Method for Wireless Networks. WINSYS 2007: 9-16
20		Rocco De Nicola, Michele Loreti: Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. Electr. Notes Theor. Comput. Sci. 169: 133-146 (2007)
19		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)
18		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
17		Pilu Crescenzi, Michele Loreti, Rosario Pugliese: Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348
16		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
15		Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Mobile and Distributed Applications in X-Klaim. Scalable Computing: Practice and Experience 7(4): (2006)
	2005
14		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		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: 0-
11		Rocco De Nicola, Michele Loreti: A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004)
10		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		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		Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87
7		Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Software update via mobile agent based programming. SAC 2002: 32-36
6		Lorenzo Bettini, Michele Loreti, Rosario Pugliese: An infrastructure language for open nets. SAC 2002: 373-377
5		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		Beatrice Capitani, Michele Loreti, Betti Venneri: Hyperformulae, Parallel Deductions and Intersection Types. Electr. Notes Theor. Comput. Sci. 50(2): 178-195 (2001)
3		Lorenzo Bettini, Michele Loreti, Rosario Pugliese: Modelling Node Connectivity in Dynamically Evolving Networks. Electr. Notes Theor. Comput. Sci. 54: 81-91 (2001)
	2000
2		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	[27] [38]
5	Marco Bernardo	[35] [41] [42]
6	Lorenzo Bettini	[1] [3] [6] [7] [8] [9] [10] [12] [14] [15] [19] [29]
7	Viviana Bono	[9]
8	Michele Boreale	[16] [28]
9	Mario Bravetti	[26]
10	Roberto Bruni	[5] [16] [25] [28]
11	Luís Caires	[16]
12	Francesco Calzolai	[23] [37]
13	Beatrice Capitani	[4]
14	Igor Cappello	[39]
15	Leonardo Cecchi	[12]
16	Allan Clark	[39]
17	Andrea Corradini	[5]
18	Pierluigi Crescenzi (Pilu Crescenzi)	[12] [17]
19	Liliana D'Errico	[22] [31] [34] [36]
20	Daniele Falassi	[14] [19]
21	Gian Luigi Ferrari (GianLuigi Ferrari)	[9]
22	José Luiz Fiadeiro	[5]
23	Fabio Gadducci	[5]
24	Stephen Gilmore (Stephen T. Gilmore)	[39]
25	Stefania Gnesi	[5]
26	Daniele Gorla	[9]
27	Michael D. Harrison	[27]
28	Piotr Hoffman	[5]
29	Gaia Innocenti	[12]
30	Joost-Pieter Katoen	[18]
31	Mingyur Koblensky	[21]
32	Nora Koch	[5]
33	Piotr Kosiuczenko	[5]
34	Marc Lacoste	[14]
35	Ivan Lanese	[16]
36	Alessandro Lapadula	[5] [38]
37	Diego Latella	[5] [18] [26] [27] [30] [32] [33] [39] [40]
38	Antónia Lopes	[5]
39	Andrea Manganaro	[21]
40	Francisco Martins	[16]
41	Mieke Massink	[5] [18] [26] [27] [30] [32] [33] [40]
42	Franco Mazzanti	[5]
43	Leonardo Gaetano Mezzina	[25]
44	Eugenio Moggi	[9]
45	Ugo Montanari	[5] [16]
46	Rocco De Nicola	[2] [5] [7] [8] [9] [10] [11] [13] [14] [15] [16] [18] [19] [20] [23] [24] [25] [28] [29] [30] [32] [33] [35] [40] [41] [42]
47	Cristóvão Oliveira	[5]
48	Claudio Palasciano	[38]
49	Rosario Pugliese	[1] [3] [5] [6] [9] [17]
50	Paola Quaglia	[39]
51	António Ravara	[16]
52	Davide Sangiorgi	[16]
53	Stefano Schivo	[39]
54	Andrzej Tarlecki	[5]
55	Francesco Tiezzi	[23]
56	Emilio Tuosto	[9]
57	Vasco Thudichum Vasconcelos	[16]
58	Betti Venneri	[4] [9]
59	Michel Wermelinger	[5]
60	Martin Wirsing	[5]
61	Gianluigi Zavattaro	[16] [26]
62	Artur Zawlocki	[5]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page