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 × Germany
1 × USA
Collaborated with:
P.J.Armstrong M.Goldsmith J.Ouaknine H.Palikareva A.W.Roscoe J.Worrell
Talks about:
fdr (2) schroeder (1) algorithm (1) protocol (1) needham (1) develop (1) concurr (1) search (1) recent (1) public (1)

Person: Gavin Lowe

DBLP DBLP: Lowe:Gavin

Contributed to:

TACAS 20142014
CAV 20122012
TACAS 19961996

Wrote 3 papers:

TACAS-2014-Lowe #algorithm #concurrent
Concurrent Depth-First Search Algorithms (GL), pp. 202–216.
Recent Developments in FDR (PJA, MG, GL, JO, HP, AWR, JW), pp. 699–704.
TACAS-1996-Lowe #protocol #using
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR (GL), pp. 147–166.

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.