Some Aspects of the Integration between Logic Programming and Fiunctional Programming. - Elio Giovannetti; Corrado Moiso (AIMSA, 1986)

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

An Algorithm for Unification in Equational Theories. - Alberto Martelli; Corrado Moiso; Gianfranco Rossi (SLP, 1986)

Notes on the Elimination of Conditions. - Elio Giovannetti; Corrado Moiso (CTRS, 1987)

A Two-Level Approach to Logic plus Functional Programming Integration. - Marco Bellia; Pier Giorgio Bosco; Elio Giovannetti; Giorgio Levi; Corrado Moiso; Catuscia Palamidessi (PARLE (1), 1987)

A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. - Giorgio Levi; Catuscia Palamidessi; Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso (SLP, 1987)

Refined Strategies for Semantic Unification. - Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso (TAPSOFT, Vol.2, 1987)

Exploiting the Full Power of Logic Plus Functional Programming. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso (ICLP/SLP, 1988)

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

An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso (ICLP, 1989)

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

Logic and Functional Programming on Distributed Memory Architecture. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso; Marisa Porta; Giorgio Sofi (ICLP, 1990)

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

Comments on "Logic-Programming with Equations". - Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso; Catuscia Palamidessi (J. Log. Program., 1991)

An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. - Pier Giorgio Bosco; Laura Ferrari; Elio Giovannetti; Corrado Moiso (IFIP Congress (1), 1992)

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

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

ACE: An Environment for Specifying, Developing and Generating TINA Services. - Pier Giorgio Bosco; D. Lo Giudice; Giovanni Martini; Corrado Moiso (Integrated Network Management, 1997)

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

A Formal Security Analysis of an OSA/Parlay Authentication Interface. - Ricardo Corin; Gaetano Di Caprio; Sandro Etalle; Stefania Gnesi; Gabriele Lenzini; Corrado Moiso (FMOODS, 2005)

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

Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. - Maurice H. ter Beek; Corrado Moiso; Marinella Petrocchi (AICT, 2007)

BIONETS Architecture: from Networks to SerWorks. - Francesco De Pellegrini; Daniele Miorandi; David Linner; László Bacsárdi; Corrado Moiso (BIONETICS, 2007)

Design and Analysis of the Composed Telecom Services. - Piergiorgio Bertoli; Laura Ferrari; Raman Kazhamiakin; Corrado Moiso; Marco Pistore; Ermes Thuegaz (ICSOC Workshops, 2007)

Design and Verification ofWeb Services Compositions in the Telecommunication Domain. - Piergiorgio Bertoli; Laura Ferrari; Raman Kazhamiakin; Corrado Moiso; Marco Pistore; Ermes Thuegaz (ICWS, 2007)

Constraint-Based Policy Negotiation and Enforcement for Telco Services. - Maria Grazia Buscemi; Laura Ferrari; Corrado Moiso; Ugo Montanari (TASE, 2007)

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

Highly Distributed Supervision for Autonomic Networks and Services. - Laura Ferrari; Antonio Manzalini; Corrado Moiso; Peter H. Deussen (AICT, 2009)

Bio-inspired Autonomic Structures: a middleware for Telecommunications Ecosystems. - Antonio Manzalini; Roberto Minerva; Corrado Moiso (Autonomic Communication, 2010)

R-P2P: a Data-Centric Middleware for Delay Tolerant Applications. - Corrado Moiso; Antonio Manzalini; Francesco De Pellegrini; Iacopo Carreras; Daniele Miorandi; Athanasios V. Vasilakos (Delay Tolerant Networks, 2011)

Smart Object Cooperation through Service Composition. - Pierpaolo Baglietto; Massimo Maresca; Michele Stecca; Corrado Moiso (ICIN, 2011)

Towards a dynamic cloud-enabled service eco-system. - Humberto Nicolás Castejón Martínez; Anastasius Gavras; João Miguel Gonçalves; Corrado Moiso; Astrid Undheim; Josip Zoric (ICIN, 2011)

Self-optimization of resource allocation in decentralised server farms. - Antonio Manzalini; Corrado Moiso (ICIN, 2011)

Self-optimized Cognitive Network of Networks. - Antonio Manzalini; Peter H. Deussen; S. Nechifor; Marco Mamei; Roberto Minerva; Corrado Moiso; A. Salden; Tim Wauters; Franco Zambonelli (Comput. J., 2011)

How Do I Manage My Personal Data? - A Telco Perspective. - Corrado Moiso; Fabrizio Antonelli; Michele Vescovi (DATA, 2012)

Towards a CAPEX-free service delivery platform. - Pierpaolo Baglietto; Massimo Maresca; Michele Stecca; Corrado Moiso (ICIN, 2012)

Towards a user-centric personal data ecosystem The role of the bank of individuals' data. - Corrado Moiso; Roberto Minerva (ICIN, 2012)

Autonomic Nature-Inspired Eco-systems. - Antonio Manzalini; Nermin Brgulja; Corrado Moiso; Roberto Minerva (Trans. Comput. Sci., 2012)

Hybrid composition of telecom and Internet services: The telecom operator perspective. - Pierpaolo Baglietto; Massimo Maresca; Michele Stecca; Corrado Moiso (ICIN, 2013)

Virtualizing Platforms. - Roberto Minerva; Corrado Moiso; Antonio Manzalini; Noël Crespi (Evolution of Telecommunication Services, 2013)

Virtualizing Network. - Roberto Minerva; Antonio Manzalini; Corrado Moiso; Noël Crespi (Evolution of Telecommunication Services, 2013)

My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data. - Stefania Gnesi; Ilaria Matteucci; Corrado Moiso; Paolo Mori; Marinella Petrocchi; Michele Vescovi (APF, 2014)

My data store: toward user awareness and control on personal data. - Michele Vescovi; Bruno Lepri; Christos Perentis; Corrado Moiso; Chiara Leonardi (UbiComp Adjunct, 2014)

Building an Eco-System of Trusted Services via User Control and Transparency on Personal Data. - Michele Vescovi; Corrado Moiso; Mattia Pasolli; Lorenzo Cordin; Fabrizio Antonelli (IFIPTM, 2015)

A Platform for Smart Object Virtualization and Composition. - Michele Stecca; Corrado Moiso; Martino Fornasa; Pierpaolo Baglietto; Massimo Maresca (IEEE Internet Things J., 2015)

Identifying user habits through data mining on call data records. - Filippo Maria Bianchi; Antonello Rizzi; Alireza Sadeghian; Corrado Moiso (Eng. Appl. Artif. Intell., 2016)

Anonymous or Not? Understanding the Factors Affecting Personal Mobile Data Disclosure. - Christos Perentis; Michele Vescovi; Chiara Leonardi; Corrado Moiso; Mirco Musolesi; Fabio Pianesi; Bruno Lepri (ACM Trans. Internet Techn., 2017)

Automatic contract negotiation, service discovery and mutual authentication solutions: A survey on the enabling technologies of the forthcoming IoT ecosystems. - Francesco Marino 002; Corrado Moiso; Matteo Petracca (Comput. Networks, 2019)

PKIoT: A public key infrastructure for the Internet of Things. - Francesco Marino 002; Corrado Moiso; Matteo Petracca (Trans. Emerg. Telecommun. Technol., 2019)