PATENTS:

  1. D. Gunetti and F. Bergadano.
    Metodo e Apparecchio per la Verifica dell'Identita` Dichiarata da un Utilizzatore di una Risorsa Controllata,
    Mediante Digitazione su una Tastiera Alfanumerica.
    (Method and Apparatus for verifying an individual's identity based on biometric keystroke properties.)
    Brevetto per Invenzione Industriale n. 1.311.278. Data di concessione: 12 marzo 2002.


    BOOKS:

  2. F. Bergadano and D. Gunetti.
    Inductive Logic Programming: from Machine Learning to Software Engineering.
    MIT Press, 1996.


    CHAPTERS AND PAPERS IN BOOKS:

  3. D. Gunetti and C. Picardi.
    Keystroke Analysis as a Tool for Intrusion Detection.
    Chapter in the book on Continuous Authentication Using Biometrics: Data, Model, and Metrics.
    (Issa Traore Editor) 2012. IGI Global.

  4. Daniele Gunetti.
    ILP Applications to Software Engineering.
    Chapter 4 of the book on Advances in Machine Learning Applications in Software Engineering.
    (D. Zhang and J. Tsai Editors) Pages 74-102, 2007. Idea Group Inc.

  5. F. Bergadano, V. Cutello and D. Gunetti.
    Abduction in Machine Learning.
    In D. Gabbay and R. Kruse, editors, Handbook of Defasible
    Reasoning and Uncertainty Management Systems, Vol 4: Abductive Reasoning and Learning.
    Kluver Academic Press, 2000.

  6. F. Bergadano, D. Gunetti, M. Nicosia and G. Ruffo.
    Towards the Learnability of Prolog Programs.
    In G. Tascini, F. Esposito, V. Roberto and P. Zingaretti editors,
    Machine Learning and Perception.
    Series in Machine Perception and Artificial
    Intelligence, vol. 23, World Scientific, 1996

  7. F. Bergadano, D. Gunetti, M. Nicosia and G. Ruffo.
    Learning Logic Programs with Negation as Failure.
    In L. De Raedt, editor, Advances in Inductive Logic
    Programming. IOS Press, 1996.

  8. F. Bergadano and D. Gunetti.
    Relational Machine Learning and the Inductive Synthesis of Logic Programs.
    In M. di Bacco, E. Pacciani and S. Borgognini Tarli, editors,
    Statistical Tools in Human Biology. World Scientific Publishing Co., 1994.


    PAPERS IN JOURNALS:

  9. H. Bhanu, J. Schwier, R. Craven, R. Brooks, K. Hempstalk, D. Gunetti, C. Griffin.
    Side-Channel Analysis for Detecting Protocol Tunneling.
    Advances in Internet of Things. 1, 2011. Pages 13-26.

  10. D. Gunetti and C. Picardi.
    Keystroke Analysis of free Text.
    ACM Transactions on Information and System Security (ACM TISSEC), 8(3), 2005. Pages 312-347.

  11. F. Bergadano, D. Gunetti and C. Picardi.
    Identity Verification through Dynamic Keystroke Analysis.
    Journal of Intelligent Data Analysis, 7(5), 2003. Pages 469-496.

  12. F. Bergadano, D. Gunetti and C. Picardi.
    User Authentication through Keystroke Dynamics.
    ACM Transactions on Information and System Security (ACM TISSEC), 5(4), 2002. Pages 367-397.

  13. F. Bergadano and D. Gunetti.
    Testing by Means of Inductive Program Learning.
    ACM Transactions on Software Engineering and Metodology (ACM TOSEM), 5(2), 1996.

  14. F. Bergadano and D. Gunetti.
    Learning Relations and Logic Programs.
    The Knowledge Engineering Review, 9(1), 1994.
    Cambridge University Press.

  15. F. Bergadano, D. Gunetti, and U. Trinchero.
    The Difficulties of Learning Logic Programs with Cut.
    Journal of Artificial Intelligence Research, 1:91--107, 1993. Morgan-Kaufmann.


    PAPERS IN CONFERENCES PROCEEDINGS:

  16. D. Gunetti, C. Picardi and G. Ruffo.
    Dealing with Different Languages and Old Profiles in Keystroke Analysis of Free Text.
    In S. Bandini, editor, Proc. of the Nineth Congress of the Italian Association
    for Artificial Intelligence (AI*IA-2005), Milan, Italy. LNCS 3673, pages 347-358, Springer-Verlag, 2005.

  17. D. Gunetti, C. Picardi and G. Ruffo.
    Keystroke Analysis of Different Languages: a Case Study.
    In A. F. Famili, J. N. Kok, J. M. Pena, A. Siebes, A. Feelders, editors. Proc. of the Sixth Symposium on
    Intelligent Data Analysis (IDA 2005). Madrid, Spain. LNCS 3646, pages 133-144, Springer-Verlag, 2005.

  18. D. Gunetti and G. Ruffo.
    Intrusion Detection through Behavioural Data.
    In J. N. Kok, editor, Proc. of the Third Symposium on
    Intelligent Data Analysis (IDA-99), LNCS 1642, Springer-Verlag, 1999. Pages 383-394.

  19. F. Bergadano, D. Gunetti, M. Nicosia and G. Ruffo.
    Learning Logic Programs with Negation as Failure.
    In L. De Raedt, editor, Proc. of the Fifth International Workshop on
    Inductive Logic Programming (ILP-95), Kat. Univ. Leuven, 1995.

  20. D. Gunetti.
    Using Abduction to Learn Horn Theories.
    In G. della Riccia, R. Kruse, and R. Viertl, editors,
    Invited paper in Proc. of the Workshop on Mathematical and Statistical Methods in
    Artificial Intelligence, Udine, Italy, 1995. LNCS, Springer-Verlag.

  21. F. Bergadano and D. Gunetti.
    Learning clauses by tracing derivations.
    In Stefan Wrobel, editor, Proceedings of the Fourth
    International Workshop on Inductive Logic Programming (ILP-94), pages
    11--30, Bad Honnef/Bonn, Germany, 1994. GMD Inst. - Sankt Augustin.

  22. D. Gunetti and U. Trinchero.
    Intensional Learning of Logic Programs.
    In Proceedings of the European Conference on Machine Learning (ECML-94),
    pages 359--362, Catania, Italy, 1994. LNCS 784, Springer-Verlag.

  23. F. Bergadano and D. Gunetti.
    Learning Relations: Basing Top-Down Methods on Inverse Resolution.
    In P. Torasso, editor, Third Congress of the Italian Association
    for Artificial Intelligence (AI*IA-93), pages 190--201, Torino, Italy, 1993.
    LNCS 728, Springer-Verlag.

  24. F. Bergadano and D. Gunetti.
    An interactive system to learn functional logic programs.
    In Proceedings of the International Joint Conference on
    Artificial Intelligence (IJCAI-93), pages 1044--1049, Chambery, France,
    1993. Morgan Kaufmann.

  25. F. Bergadano and D. Gunetti.
    Inductive Synthesis of Logic Programs and Inductive Logic Programming.
    In Y. Deville, editor, Proceedings of the Third International
    Workshop on Logic Program Synthesis and Transformation (LOPSTR-93), pages
    45--56, Louvain-la-Neuve, Belgium, 1993. Springer-Verlag, Workshops in
    Computing.

  26. F. Bergadano and D. Gunetti.
    Logic Programming by Examples.
    In D. Sacca, editor, Proc. of the 8th Italian Congress on Logic Programming
    (GULP-93), pages 393--405, Gizzeria Lido (CZ), Italy, 1993.

  27. F. Bergadano and D. Gunetti.
    Functional inductive logic programming with queries to the user.
    In P. Brazdil, editor, Proceedings of the European Conference on
    Machine Learning (ECML-93), pages 323--328, Vienna, Austria, 1993. LNCS 667,
    Springer-Verlag.

  28. F. Bergadano, S. Brusotti, D. Gunetti, and U. Trinchero.
    Inductive test case generation.
    In Stephen Muggleton, editor, Proceedings of the Third
    International Workshop on Inductive Logic Programming (ILP-93), pages
    11--24, Bled, Slovenia, 1993. Jozef Stefan Inst. - Ljubljana.

  29. D. Gunetti.
    Efficient proofs in propositional calculus with inverse resolution.
    In P. Dewilde and J. Vanderwalle, editors, Proceedings of the
    IEEE International Conference on Computer Systems and Software Engineering
    (CompEuro-92), The Hague, Netherlands, 1992. IEEE Comp. Soc. Press.

  30. D. Gunetti.
    Linear time proofs of propositional horn formulas with inverse resolution.
    In S. Costantini, editor, Proc. of the 7th Italian Congress on Logic Programming
    (GULP-92), pages 223--234, Tremezzo (CO), 1992. CittaStudi.

  31. F. Bergadano, D. Gunetti, M. Nicosia and G. Ruffo.
    Towards the Learnability of Prolog Programs.
    Proc. of the Italian Workshop on Machine Learning (GAA-95),
    Ancona, Italy, 1995.

  32. F. Bergadano and D. Gunetti.
    Intensional Theory Revision.
    In S. Wrobel, editor, Proc. of the ECML-94 Workshop on Theory
    Revision, Catania, Italy, 1994. University of Catania.

  33. F. Bergadano, D. Gunetti, and U. Trinchero.
    A Language for Defining Spaces of Clauses.
    In F. Esposito, editor, Proc. of the Italian Workshop on Machine Learning
    at AI*IA-94 (GAA-94), Parma, Italy, 1994. University of Parma.

  34. F. Bergadano, S. Brusotti, D. Gunetti, and U. Trinchero.
    Learning Logic Programs.
    In G. Mauri, editor, Proc. of the Italian Workshop on Machine Learning
    (GAA-93), Milan, Italy, 1993. University of Milan.