Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Multi-set rewriting (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999 (1) 2002 (2) 2004 (1) 2008 (1)
Publication types (Num. hits)
article(1) inproceedings(4)
Venues (Conferences, Journals, ...)
COORDINATION(1) CSFW(1) Int. J. Inf. Sec.(1) JELIA(1) RTA(1)
Authors
Alessandro Armando(2) Luca Compagna(2) Aaron D. Jaggard(1) Andre Scedrov(1) Antonio Brogi(1) Frederick Butler(1) Iliano Cervesato(1) Jean-Marie Jacquet(1) John C. Mitchell(1) Yuliya Lierler(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
2Alessandro Armando, Luca Compagna SAT-based model-checking for security protocols analysis. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SAT-based model checking, Multi-set rewriting, Security protocols, Bounded model checking
1Alessandro Armando, Luca Compagna, Yuliya Lierler Automatic Compilation of Protocol Insecurity Problems into Logic Programming. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov A Formal Analysis of Some Properties of Kerberos 5 Using MSR. Search on Bibsonomy CSFW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John C. Mitchell Multiset Rewriting and Security Protocol Analysis. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Jean-Marie Jacquet On the Expressiveness of Coordination Models. Search on Bibsonomy COORDINATION The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.