Segui
Corrado Moiso
Corrado Moiso
Email verificata su telecomitalia.it
Titolo
Citata da
Citata da
Anno
Communications method for a packet-switched network and network employing the method
C Moiso, A Manzalini
US Patent 8,169,930, 2012
1932012
Kernel-LEAF: a logic plus functional language
E Giovannetti, G Levi, C Palamidessi, C Moiso
Journal of Computer and System Sciences 42 (2), 139-185, 1991
1931991
System for managing personal data
F Antonelli, C Moiso, M Pasolli, M Vescovi
US Patent 10,776,510, 2020
1572020
Method and system for transparently authenticating a mobile user to access web services
P De Lutiis, G Di Caprio, C Moiso
US Patent 7,954,141, 2011
1322011
Narrowing vs. SLD-resolution
PG Bosco, E Giovannetti, C Moiso
Theoretical Computer Science 59 (1-2), 3-23, 1988
971988
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES
A Martelli, C Moiso, GF Rossi
TECHNICAL REPORTS-CSELT 14 (6), 459-465, 1986
851986
A complete semantic characterization of K-LEAF, a logic language with partial functions
CP Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso
Proceedings of 1987 Symp. on Logic Programming, 318-327, 1987
79*1987
A completeness result for E-unification algorithms based on conditional narrowing
E Giovannetti, C Moiso
Foundations of Logic and Functional Programming: Workshop Trento, Italy …, 2005
692005
Refined strategies for semantic unification
PG Bosco, E Giovannetti, C Moiso
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and …, 1987
571987
Method and System for Access Control in Distributed Object-Oriented Systems
P De Lutiis, G Di Caprio, C Moiso
US Patent App. 11/579,604, 2007
562007
Towards a user-centric personal data ecosystem the role of the bank of individuals' data
C Moiso, R Minerva
2012 16th International conference on intelligence in next generation …, 2012
552012
METHOD AND SYSTEM FOR PROVIDING ACCESS TO WEB SERVICES
C MOISO
WO Patent WO/2005/031,573, 2005
532005
An extension of WAM for K-LEAF: a WAM-based compilation of conditional narrowing
PG Bosco
Proc. 6th International Conference on Logic Programming, 318-333, 1989
531989
Identifying user habits through data mining on call data records
FM Bianchi, A Rizzi, A Sadeghian, C Moiso
Engineering Applications of Artificial Intelligence 54, 49-61, 2016
492016
Out-of band authentication method and system for communication over a data network
P De Lutiis, C Moiso, G Di Caprio
US Patent 8,572,382, 2013
422013
Automatic contract negotiation, service discovery and mutual authentication solutions: A survey on the enabling technologies of the forthcoming IoT ecosystems
F Marino, C Moiso, M Petracca
Computer Networks 148, 176-195, 2019
342019
My data store: toward user awareness and control on personal data
M Vescovi, C Perentis, C Leonardi, B Lepri, C Moiso
Proceedings of the 2014 ACM International Joint Conference on Pervasive and …, 2014
342014
Notes on the elimination of conditions
E Giovannetti, C Moiso
International Workshop on Conditional Term Rewriting Systems, 91-97, 1987
341987
Lazy unification algorithms for canonical rewrite systems
A Martelli, GF Rossi, C Moiso
Rewriting Techniques, 245-274, 1989
331989
Self-optimized cognitive network of networks
A Manzalini, PH Deussen, S Nechifor, M Mamei, R Minerva, C Moiso, ...
The Computer Journal 54 (2), 189-196, 2011
292011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20