Corrado Moiso

	2011
28		Antonio Manzalini, Peter H. Deussen, S. Nechifor, Marco Mamei, Roberto Minerva, Corrado Moiso, A. Salden, T. Wauters, Franco Zambonelli: Self-optimized Cognitive Network of Networks. Comput. J. 54(2): 189-196 (2011)
	2009
27		Laura Ferrari, Antonio Manzalini, Corrado Moiso, Peter H. Deussen: Highly Distributed Supervision for Autonomic Networks and Services. AICT 2009: 111-116
	2008
26		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		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		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		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		Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari: Constraint-Based Policy Negotiation and Enforcement for Telco Services. TASE 2007: 463-472
	2006
21		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		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		Maurizio Morisio, Daniele Romano, Corrado Moiso: Framework Based Software Development: Investigating the Learning Effect. IEEE METRICS 1999: 260-268
	1997
18		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	Peter H. Deussen	[27] [28]
12	Sandro Etalle	[20]
13	Laura Ferrari	[15] [22] [23] [24] [27]
14	Elio Giovannetti	[2] [3] [4] [5] [6] [7] [8] [13] [14] [15]
15	D. Lo Giudice	[17]
16	Stefania Gnesi	[20] [21]
17	Raman Kazhamiakin	[23] [24]
18	Gabriele Lenzini	[20]
19	Giorgio Levi	[5] [6] [14]
20	Marco Mamei	[28]
21	Antonio Manzalini	[27] [28]
22	Alberto Martelli	[1]
23	Giovanni Martini	[16] [17] [18]
24	Franco Mazzanti	[21]
25	Roberto Minerva	[28]
26	Daniele Miorandi	[26]
27	Ugo Montanari	[22]
28	Maurizio Morisio	[19]
29	S. Nechifor	[28]
30	Catuscia Palamidessi	[5] [6] [13] [14]
31	Francesco De Pellegrini	[26]
32	Marinella Petrocchi	[25]
33	Marco Pistore	[23] [24]
34	M. Porta	[12]
35	Daniele Romano	[19]
36	Gianfranco Rossi	[1]
37	A. Salden	[28]
38	G. Sofi	[12]
39	Ermes Thuegaz	[23] [24]
40	T. Wauters	[28]
41	Franco Zambonelli	[28]

Colors in the list of coauthors

Last update Thu Feb 16 00:55:14 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page