BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Portugal
1 × Spain
2 × USA
Collaborated with:
J.D.Guttman W.M.Farmer S.F.Doghmi M.E.Nadel J.A.Carlson J.C.Herzog J.D.Ramsdell B.T.Sniffen
Talks about:
imp (4) system (3) descript (2) proof (2) cryptograph (1) protocol (1) mathemat (1) interact (1) guarante (1) pragmat (1)

Person: F. Javier Thayer

DBLP DBLP: Thayer:F=_Javier

Contributed to:

TACAS 20072007
ESOP 20042004
CADE 19961996
CADE 19941994
CADE 19921992
CADE 19901990

Wrote 7 papers:

TACAS-2007-DoghmiGT #encryption #protocol
Searching for Shapes in Cryptographic Protocols (SFD, JDG, FJT), pp. 523–537.
ESOP-2004-GuttmanTCHRS #trust
Trust Management in Strand Spaces: A Rely-Guarantee Method (JDG, FJT, JAC, JCH, JDR, BTS), pp. 325–339.
CADE-1996-FarmerGF #named
IMPS: An Updated System Description (WMF, JDG, FJT), pp. 298–302.
CADE-1994-FarmerGNT #proving
Proof Script Pragmatics in IMPS (WMF, JDG, MEN, FJT), pp. 356–370.
Little Theories (WMF, JDG, FJT), pp. 567–581.
CADE-1992-FarmerGT92a #named
IMPS: System Description (WMF, JDG, FJT), pp. 701–705.
CADE-1990-FarmerGT #interactive #named #proving
IMPS: An Interactive Mathematical Proof System (WMF, JDG, FJT), pp. 653–654.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.