dblp.uni-trier.dewww.uni-trier.de

Corrado Moiso Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
26EEFrancesco De Pellegrini, Iacopo Carreras, Daniele Miorandi, Imrich Chlamtac, Corrado Moiso: R-P2P: a data centric DTN middleware with interconnected throwboxes. Autonomics 2008: 2
2007
25EEMaurice H. ter Beek, Corrado Moiso, Marinella Petrocchi: Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. AICT 2007: 31
24EEPiergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz: Design and Analysis of the Composed Telecom Services. ICSOC Workshops 2007: 282-294
23EEPiergiorgio 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
22EEMaria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari: Constraint-Based Policy Negotiation and Enforcement for Telco Services. TASE 2007: 463-472
2006
21EEMaurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso: Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296
2005
20EERicardo 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
19EEMaurizio Morisio, Daniele Romano, Corrado Moiso: Framework Based Software Development: Investigating the Learning Effect. IEEE METRICS 1999: 260-268
1997
18EEPier 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
10EEPier 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
6EEMarco 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
4EEPier 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)