Corrado Moiso

Antonio Manzalini, Nermin Brgulja, Corrado Moiso, Roberto Minerva: Autonomic Nature-Inspired Eco-systems. Transactions on Computational Science 15: 158-191 (2012)

Corrado Moiso, Fabrizio Antonelli, Michele Vescovi: How Do I Manage My Personal Data? - A Telco Perspective. DATA 2012: 123-128

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)

Laura Ferrari, Antonio Manzalini, Corrado Moiso, Peter H. Deussen: Highly Distributed Supervision for Autonomic Networks and Services. AICT 2009: 111-116

Francesco De Pellegrini, Iacopo Carreras, Daniele Miorandi, Imrich Chlamtac, Corrado Moiso: R-P2P: a data centric DTN middleware with interconnected throwboxes. Autonomics 2008: 2

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

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

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

Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari: Constraint-Based Policy Negotiation and Enforcement for Telco Services. TASE 2007: 463-472

Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso: Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296

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

Maurizio Morisio, Daniele Romano, Corrado Moiso: Framework Based Software Development: Investigating the Learning Effect. IEEE METRICS 1999: 260-268

Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso: TINA ACE: An Environment for Specifying, Developing and Generating TINA Services. ICSE 1997: 620-621

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

Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso: A Distributed Object-Oriented Platform Based on DCE and C++. Open Distributed Processing 1993: 205-216

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

Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi: Kernel-LEAF: A Logic plus Functional Language. J. Comput. Syst. Sci. 42(2): 139-185 (1991)

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi: Comments on "Logic-Programming with Equations". J. Log. Program. 11(1&2): 85-89 (1991)

Pier Giorgio Bosco, C. Cecchi, Corrado Moiso, M. Porta, G. Sofi: Logic and Functional Programmin on Distributed Memory Architectures. ICLP 1990: 325-339

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

Pier Giorgio Bosco, C. Cecchi, Corrado Moiso: IDEAL & K-LEAF implementation: a progress report. PARLE (1) 1989: 413-432

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: Narrowing vs. SLD-Resolution. Theor. Comput. Sci. 59: 3-23 (1988)

Pier Giorgio Bosco, C. Cecchi, Corrado Moiso: Exploiting the Full Power of Logic Plus Functional Programming. ICLP/SLP 1988: 3-17

Elio Giovannetti, Corrado Moiso: Notes on the Elimination of Conditions. CTRS 1987: 91-97

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

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

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: Refined Strategies for Semantic Unification. TAPSOFT, Vol.2 1987: 276-290

Elio Giovannetti, Corrado Moiso: Some Aspects of the Integration between Logic Programming and Fiunctional Programming. AIMSA 1986: 69-79

Elio Giovannetti, Corrado Moiso: A Completeness Result for E-unification Algorithms Based on Conditional Narrowing. Foundations of Logic and Functional Programming 1986: 157-167

Alberto Martelli, Corrado Moiso, Gianfranco Rossi: An Algorithm for Unification in Equational Theories. SLP 1986: 180-186