Corrado Moiso
Corrado Moiso
Verifierad e-postadress på telecomitalia.it
Titel
Citeras av
Citeras av
År
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
1901991
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
1072011
Narrowing vs. SLD-resolution
PG Bosco, E Giovannetti, C Moiso
Theoretical Computer Science 59 (1-2), 3-23, 1988
941988
An algorithm for unification in equational theories
A Martelli
Third Conference on Logic Programming, Utah, 1986
871986
A complete semantic characterization of k-leaf: A logic language with partial functions
G Levi, C Palamidessi, PG Bosco, E Giovannetti, C Moiso
1987 Symposium on Logic Programming, 318-327, 1987
741987
A completeness result for E-unification algorithms based on conditional narrowing
E Giovannetti, C Moiso
Foundations of Logic and Functional Programming, 157-167, 1988
661988
Refined strategies for semantic unification
PG Bosco, E Giovannetti, C Moiso
International Joint Conference on Theory and Practice of Software …, 1987
561987
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
542007
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
501989
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
372012
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
352013
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
332016
Notes on the elimination of conditions
E Giovannetti, C Moiso
International Workshop on Conditional Term Rewriting Systems, 91-97, 1987
331987
Lazy unification algorithms for canonical rewrite systems
A Martelli, GF Rossi, C Moiso
Rewriting Techniques, 245-274, 1989
311989
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
A two-level approach to logic plus functional programming integration
M Bellia, PG Bosco, E Giovannetti, G Levi, C Moiso, C Palamidessi
International Conference on Parallel Architectures and Languages Europe, 374-393, 1987
22*1987
Logic and functional programming on distributed memory architectures
PG Bosco, C Cecchi, C Moiso, M Porta, G Sofi
Logic programming, 325-339, 1990
201990
Implementation of a parallel logic plus functional language
GP Balboni, PG Bosco, C Cecchi, R Melen, C Moiso, G So
Parallel Computers: Object Oriented, Functional and Logic, Wiley 89, 1989
19*1989
A Platform for Smart Object Virtualization and Composition
MM Michele Stecca, Corrado Moiso, Martino Fornasa, Pierpaolo Baglietto
IEEE Internet of Things Journal, 1-9, 2015
17*2015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20