| 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 | 197 | 1991 |
| System for managing personal data F Antonelli, C Moiso, M Pasolli, M Vescovi US Patent 10,776,510, 2020 | 165 | 2020 |
| 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 | 133 | 2011 |
| Narrowing vs. SLD-resolution PG Bosco, E Giovannetti, C Moiso Theoretical Computer Science 59 (1-2), 3-23, 1988 | 95 | 1988 |
| ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES A Martelli, C Moiso, GF Rossi TECHNICAL REPORTS-CSELT 14 (6), 459-465, 1986 | 89 | 1986 |
| 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 | 73* | 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 | 72 | 2005 |
| 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 | 66 | 2012 |
| 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 | 57 | 2007 |
| Refined strategies for semantic unification PG Bosco, E Giovannetti, C Moiso TAPSOFT'87: Proceedings of the International Joint Conference on Theory and …, 1987 | 55 | 1987 |
| 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 | 54 | 2016 |
| METHOD AND SYSTEM FOR PROVIDING ACCESS TO WEB SERVICES C MOISO WO Patent WO/2005/031,573, 2005 | 53 | 2005 |
| 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 | 50 | 1989 |
| 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 | 44 | 2013 |
| 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 | 37 | 2019 |
| 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 | 34 | 2014 |
| Notes on the elimination of conditions E Giovannetti, C Moiso International Workshop on Conditional Term Rewriting Systems, 91-97, 1987 | 34 | 1987 |
| Lazy unification algorithms for canonical rewrite systems A Martelli, GF Rossi, C Moiso Rewriting Techniques, 245-274, 1989 | 31 | 1989 |
| 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 | 30 | 2011 |
| PKIoT: A public key infrastructure for the Internet of Things F Marino, C Moiso, M Petracca Transactions on Emerging Telecommunications Technologies 30 (10), e3681, 2019 | 28 | 2019 |
