BibSonomyburst/search/Cristiano LongoBibSonomy RSS feed for /search/Cristiano Longo2012-02-16T16:39:48+01:00http://www.bibsonomy.org/bibtex/233d1d1d34b8652fe2b9bceb03f5c4b90/dblpdblp2011-09-11T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Cantone">Domenico Cantone</a>, <a href="/author/Longo">Cristiano Longo</a>, and <a href="/author/Asmundo">Marianna Nicolosi Asmundo</a> </span><em>CSL, </em><em>volume 12 of LIPIcs, </em><em>page 129-143. </em><em>Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, </em>(<em>2011</em>)Sun Sep 11 00:00:00 CEST 2011CSLconf/csl/2011129-143LIPIcsA Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.122011dblp http://www.bibsonomy.org/bibtex/2790e4a2efa101126beec902881ccb614/dblpdblp2011-07-05T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Bella">Giampaolo Bella</a>, <a href="/author/Longo">Cristiano Longo</a>, and <a href="/author/Paulson">Lawrence C. Paulson</a> </span><em>TPHOLs, </em><em>volume 2758 of Lecture Notes in Computer Science, </em><em>page 352-366. </em><em>Springer, </em>(<em>2003</em>)Tue Jul 05 00:00:00 CEST 2011TPHOLsconf/tphol/2003352-366Lecture Notes in Computer ScienceVerifying Second-Level Security Protocols.27582003dblp http://www.bibsonomy.org/bibtex/2e4e830ce847cd376c24ba1b920173af2/etnarossoetnarosso2010-07-11T19:49:40+02:00Cartesian-product Decision-procedures ExpTime-hardness NP-completeness maps multi-level-syllogistics <span class="authorEditorList"><a href="/author/Cantone">Domenico Cantone</a>, <a href="/author/Longo">Cristiano Longo</a>, and <a href="/author/Asmundo">Marianna Nicolosi Asmundo</a> </span>(<em>2010</em>)Sun Jul 11 19:49:40 CEST 2010A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs2010Cartesian-product Decision-procedures ExpTime-hardness NP-completeness maps multi-level-syllogistics http://www.bibsonomy.org/bibtex/2e140d860a4be9f08f01d728ee954d45e/dblpdblp2008-06-09T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Longo">Cristiano Longo</a>, and <a href="/author/Sciuto">Lorenzo Sciuto</a> </span><em>SWAP, </em><em>volume 314 of CEUR Workshop Proceedings, </em><em>CEUR-WS.org, </em>(<em>2007</em>)Mon Jun 09 00:00:00 CEST 2008SWAPconf/swap/2007CEUR Workshop ProceedingsA Lightweight Ontology for Rating Assessments.3142007dblp dblphttp://www.bibsonomy.org/bibtex/260dd54b662a04933d6d9d40b3e8200ad/etnarossoetnarosso2008-01-14T16:17:45+01:00collaborative filtering rating semantic trust web <span class="authorEditorList"><a href="/author/Longo">Cristiano Longo</a>, and <a href="/author/Sciuto">Lorenzo Sciuto</a> </span><em>Semantic Web Applications and Perspective, </em>(<em>2007</em>)Mon Jan 14 16:17:45 CET 2008Semantic Web Applications and PerspectiveA Lightweight Ontology for Rating Assessments2007collaborative filtering rating semantic trust web http://www.bibsonomy.org/bibtex/2b9741a383a37cf7762a1377018771faa/dblpdblp2007-05-24T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Longo">Cristiano Longo</a>, and <a href="/author/Giarrusso">Paolo Giarrusso</a> </span><em>SAC, </em><em>page 1579-1585. </em><em>ACM, </em>(<em>2007</em>)Thu May 24 00:00:00 CEST 2007SACconf/sac/20071579-1585A protocol to preserve a code of conduct.2007dblp dblphttp://www.bibsonomy.org/bibtex/26548b03eb2b25b95c23d4527e8027535/dblpdblp2005-11-15T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Bella">Giampaolo Bella</a>, <a href="/author/Longo">Cristiano Longo</a>, and <a href="/author/Paulson">Lawrence C. Paulson</a> </span><em>Security Protocols Workshop, </em><em>volume 3364 of Lecture Notes in Computer Science, </em><em>page 183-189. </em><em>Springer, </em>(<em>2003</em>)Tue Nov 15 00:00:00 CET 2005Security Protocols Workshopconf/spw/2003183-189Lecture Notes in Computer ScienceIs the Verification Problem for Cryptographic Protocols Solved?.33642003dblp dblp