BibSonomy publications for /search/Cristiano LongoSun 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 Tue Jul 05 00:00:00 CEST 2011TPHOLsconf/tphol/2003352-366Lecture Notes in Computer ScienceVerifying Second-Level Security Protocols.27582003dblp 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 Mon Jun 09 00:00:00 CEST 2008SWAPconf/swap/2007CEUR Workshop ProceedingsA Lightweight Ontology for Rating Assessments.3142007dblp Mon Jan 14 16:17:45 CET 2008Semantic Web Applications and PerspectiveA Lightweight Ontology for Rating Assessments2007collaborative filtering rating semantic trust web Thu May 24 00:00:00 CEST 2007SACconf/sac/20071579-1585A protocol to preserve a code of conduct.2007dblp 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