|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Florent Jacquemard, Francis Klay, Camille Vacher |
Rigid tree automata and applications.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Jacquemard, Francis Klay, Camille Vacher |
Rigid Tree Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francis Klay, Laurent Vigneron |
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
AVISPA Tool, authentication, fairness, Cryptographic protocols, non-repudiation, automatic analysis |
| 1 | Francis Klay, Judson Santiago, Laurent Vigneron |
Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Muzammil Shahbaz, Benoît Parreaux, Francis Klay |
Model Inference Approach for Detecting Feature Interactions in Integrated Systems. |
ICFI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michaël Rusinowitch, Sorin Stratulat, Francis Klay |
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. |
J. Autom. Reasoning |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin |
Compared Study of Two Correctness Proofs for the Standardized. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier |
An Environment for Interactive Service Specification. |
FIW |
2003 |
DBLP BibTeX RDF |
|
| 1 | Thomas Genet, Francis Klay |
Rewriting for Cryptographic Protocol Verification. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaël Rusinowitch, Sorin Stratulat, Francis Klay |
Mechanical Verification of an Ideal Incremental ABR Conformance. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Monin, Francis Klay |
Correctness Proof of the Standardized Algorithm for ABR Conformance. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Domenjoud, Francis Klay, Christophe Ringeissen |
Combination Techniques for Non-Disjoint Equational Theories. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Francis Klay |
Undecidable Properties of Syntactic Theories. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Kirchner, Francis Klay |
Syntactic Theories and Unification |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")