Cristiano LONGO

Pubblicazioni Scientifiche

• Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, and Daniele Francesco Santamaria. Web ontology representation and reasoning via fragments of set theory. In Balder ten Cate and Alessandra Mileo, editors, Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Procee- dings, volume 9209 of Lecture Notes in Computer Science, pages 61–76. Springer, 2015. Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo. Herbrand-satisfiability of a quantified set-theoretic fragment. Fundam. Informaticae, 150(1):49–71, 2017. Domenico Cantone and Cristiano Longo. A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. Theor. Comput. Sci., 560:307–325, 2014.
• Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo. Herbrand-satisfiability of a quantified set-theoretic fragment. Fundam. Informaticae, 150(1):49–71, 2017.
• Domenico Cantone and Cristiano Longo. A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. Theor. Comput. Sci., 560:307–325, 2014.
• Cristiano Longo, Aldo Gangemi, and Domenico Cantone. Representing kinship relations on the semantic web. In Mariano Rodriguez-Muro, Simon Jupp, and Kavitha Srinivas, editors, Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Mont- pellier, France, May 26-27, 2013, volume 1080 of CEUR Workshop Proceedings. CEUR-WS.org, 2013.
• Domenico Cantone and Cristiano Longo. A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions. In Marco Faella and Aniello Murano, editors, Proceedings Third International Sympo- sium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012, volume 96 of EPTCS, pages 224–237, 2012.
• Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo. A decidable quantified fragment of set theory involving ordered pairs with applications to description logics. In Marc Bezem, editor, Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings, volume 12 of LIPIcs, pages 129–143. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011.
• Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo. A decision procedure for a two-sorted extension of multi-level syllogistic with the cartesian product and some map constructs. In Wolfgang Faber and Nicola Leone, editors, Proceedings of the 25th Italian Con- ference on Computational Logic, Rende, Italy, July 7-9, 2010, volume 598 of CEUR Workshop Proceedings. CEUR-WS.org, 2010.
• Cristiano Longo and Lorenzo Sciuto. A lightweight ontology for rating assessments. In Giovanni Semeraro, Eugenio Di Sciascio, Christian Morbidoni, and Heiko Stoer- mer, editors, Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento di Informatica - Universita’ degli Studi di Bari - Italy, 18-20 December, 2007, volume 314 of CEUR Workshop Proceedings. CEUR-WS.org, 2007.
• Cristiano Longo and Paolo Giarrusso. A protocol to preserve a code of conduct. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, and Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pages 1579–1585. ACM, 2007.
• Giampaolo Bella, Cristiano Longo, and Lawrence C. Paulson. Verifying second-level security protocols. In David A. Basin and Burkhart Wolff, editors, Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings, volume 2758 of Lecture Notes in Computer Science, pages 352–366. Springer, 2003.
• Giampaolo Bella, Cristiano Longo, and Lawrence C. Paulson. Is the verification problem for cryptographic protocols solved? In Bruce Christianson, Bruno Crispo, James A. Malcolm, and Michael Roe, editors, Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers, volume 3364 of Lecture Notes in Computer Science, pages 183–189. Springer, 2003.

Esperienze di Lavoro

• Febbraio 2022 - Dicembre 2023 Consulenza per lo sviluppo del portale ambientale (SIRA) della Regione Lazio per conto di Nike Web Consulting srl, Via Luigi Luzzati 12, 00185 Roma, Italia.
• Gennaio 2020 - Gennaio 2022 Sviluppo del backend della piattaforma web bancadelgrano per Sicilian Wheat Bank Spa, Via Piazza Armerina 30, 94100 Enna, Italia.
• Ottobre 2016 - Dicembre 2019 Sviluppatore Java presso Bluenext Srl., Via Sgroppillo 17, 95027, San Gregorio, Catania, Italia.
• Maggio 2015 - Agosto 2015 Docenza nell’ambito del master universitario PRISMA - Piattaforme cloud Interoperabili per SMArt government, moduli MC2.2 e MC2.3. Università di Catania, Piazza Università 2, 95131 Catania, Italia.
• Agosto 2014 - Luglio 2015 Sviluppo di moduli in Java per l’integrazione di dati provenienti da sorgenti esterne. Offerte Tour Operator, Via Antonino di Sangiuliano 293, 95124, Catania, Italia.
• Giugno 2014 - Dicembre 2014 Ricercatore a contratto presso l'Università di Catania, Piazza Università 2, 95131 Catania, Italia.
• Ottobre 2011 - Luglio 2014 Sviluppatore Java presso N.C.E. Network Consulting Engineering srl, via Etnea 52, 95028, Valverde (CT), Italia.
• Gennaio 2006 - Settembre 2011 Sviluppatore Java presso TVBlob Srl. , via Carlo Caneva 2, Catania, Italia.
• Dicembre 2006 - Aprile 2007 Tutor per l’apprendimento a supporto nello studio a studenti universitari con disabilità presso CINAP - Centro per l’INtegrazione Attiva e Partecipata, Università degli Studi di Catania, Via Antonino di Sangiuliano 259, 95131, Catania, Italia.
• Gennaio 2003 - Marzo 2006 Sviluppatore Java presso MEDISYS Srl., Via Coffa Caruso 3, 95125, Catania, Italia.