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 × Italy
Collaborated with:
R.Corin E.Todoran E.P.d.Vink
Talks about:
logic (2) probabilist (1) cryptograph (1) parallel (1) program (1) semant (1) metric (1) compar (1) commit (1) style (1)

Person: Jerry den Hartog

DBLP DBLP: Hartog:Jerry_den

Contributed to:

ICALP (2) 20062006
ILPS 19971997

Wrote 2 papers:

ICALP-v2-2006-CorinH #encryption #game studies #hoare #logic #probability #proving
A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs (RC, JdH), pp. 252–263.
ILPS-1997-TodoranHV #commit #comparative #logic programming #metric #semantics
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming (ET, JdH, EPdV), pp. 101–115.

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.