Corrado Moiso

2008
26	EE	Francesco De Pellegrini, Iacopo Carreras, Daniele Miorandi, Imrich Chlamtac, Corrado Moiso: R-P2P: a data centric DTN middleware with interconnected throwboxes. Autonomics 2008: 2
2007
25	EE	Maurice H. ter Beek, Corrado Moiso, Marinella Petrocchi: Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. AICT 2007: 31
24	EE	Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz: Design and Analysis of the Composed Telecom Services. ICSOC Workshops 2007: 282-294
23	EE	Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz: Design and Verification ofWeb Services Compositions in the Telecommunication Domain. ICWS 2007: 1214-1215
22	EE	Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari: Constraint-Based Policy Negotiation and Enforcement for Telco Services. TASE 2007: 463-472
2006
21	EE	Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso: Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296
2005
20	EE	Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso: A Formal Security Analysis of an OSA/Parlay Authentication Interface. FMOODS 2005: 131-146
1999
19	EE	Maurizio Morisio, Daniele Romano, Corrado Moiso: Framework Based Software Development: Investigating the Learning Effect. IEEE METRICS 1999: 260-268
1997
18	EE	Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso: TINA ACE: An Environment for Specifying, Developing and Generating TINA Services. ICSE 1997: 620-621
17		Pier Giorgio Bosco, D. Lo Giudice, Giovanni Martini, Corrado Moiso: ACE: An Environment for Specifying, Developing and Generating TINA Services. Integrated Network Management 1997: 515-526
1993
16		Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso: A Distributed Object-Oriented Platform Based on DCE and C++. Open Distributed Processing 1993: 205-216
1992
15		Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso: An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. IFIP Congress (1) 1992: 142-148
1991
14		Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi: Kernel-LEAF: A Logic plus Functional Language. J. Comput. Syst. Sci. 42(2): 139-185 (1991)
13		Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi: Comments on "Logic-Programming with Equations". J. Log. Program. 11(1&2): 85-89 (1991)
1990
12		Pier Giorgio Bosco, C. Cecchi, Corrado Moiso, M. Porta, G. Sofi: Logic and Functional Programmin on Distributed Memory Architectures. ICLP 1990: 325-339
1989
11		Pier Giorgio Bosco, C. Cecchi, Corrado Moiso: An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. ICLP 1989: 318-333
10		Pier Giorgio Bosco, C. Cecchi, Corrado Moiso: IDEAL & K-LEAF implementation: a progress report. PARLE (1) 1989: 413-432
1988
9		Pier Giorgio Bosco, C. Cecchi, Corrado Moiso: Exploiting the Full Power of Logic Plus Functional Programming. ICLP/SLP 1988: 3-17
8		Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: Narrowing vs. SLD-Resolution. Theor. Comput. Sci. 59: 3-23 (1988)
1987
7		Elio Giovannetti, Corrado Moiso: Notes on the Elimination of Conditions. CTRS 1987: 91-97
6		Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi: A Two-Level Approach to Logic plus Functional Programming Integration. PARLE (1) 1987: 374-393
5		Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. SLP 1987: 318-327
4		Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: Refined Strategies for Semantic Unification. TAPSOFT, Vol.2 1987: 276-290
1986
3		Elio Giovannetti, Corrado Moiso: Some Aspects of the Integration between Logic Programming and Fiunctional Programming. AIMSA 1986: 69-79
2		Elio Giovannetti, Corrado Moiso: A Completeness Result for E-unification Algorithms Based on Conditional Narrowing. Foundations of Logic and Functional Programming 1986: 157-167
1		Alberto Martelli, Corrado Moiso, Gianfranco Rossi: An Algorithm for Unification in Equational Theories. SLP 1986: 180-186

Coauthor Index

1	Maurice H. ter Beek	[21] [25]
2	Marco Bellia	[6]
3	Piergiorgio Bertoli	[23] [24]
4	Pier Giorgio Bosco	[4] [5] [6] [8] [9] [10] [11] [12] [13] [15] [16] [17] [18]
5	Maria Grazia Buscemi	[22]
6	Gaetano Di Caprio	[20]
7	Iacopo Carreras	[26]
8	C. Cecchi	[9] [10] [11] [12]
9	Imrich Chlamtac	[26]
10	Ricardo Corin	[20]
11	Sandro Etalle	[20]
12	Laura Ferrari	[15] [22] [23] [24]
13	Elio Giovannetti	[2] [3] [4] [5] [6] [7] [8] [13] [14] [15]
14	D. Lo Giudice	[17]
15	Stefania Gnesi	[20] [21]
16	Raman Kazhamiakin	[23] [24]
17	Gabriele Lenzini	[20]
18	Giorgio Levi	[5] [6] [14]
19	Alberto Martelli	[1]
20	Giovanni Martini	[16] [17] [18]
21	Franco Mazzanti	[21]
22	Daniele Miorandi	[26]
23	Ugo Montanari	[22]
24	Maurizio Morisio	[19]
25	Catuscia Palamidessi	[5] [6] [13] [14]
26	Francesco De Pellegrini	[26]
27	Marinella Petrocchi	[25]
28	Marco Pistore	[23] [24]
29	M. Porta	[12]
30	Daniele Romano	[19]
31	Gianfranco Rossi	[1]
32	G. Sofi	[12]
33	Ermes Thuegaz	[23] [24]

Colors in the list of coauthors