BibSonomy publications for /search/Cristiano LongoBibSonomypublrss/search/Cristiano LongoBibSonomy RSS feed for /search/Cristiano Longo2012-02-16T21:25:45+01:00- A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.http://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>)
- Verifying Second-Level Security Protocols.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>)
- A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructshttp://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>)
- A Lightweight Ontology for Rating Assessments.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>)dblp
- A Lightweight Ontology for Rating Assessmentshttp://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>)
- A protocol to preserve a code of conduct.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>)dblp
- Is the Verification Problem for Cryptographic Protocols Solved?.http://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>)dblp