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: Hartog:Jerry_den
Contributed to:
2006
1997Wrote 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.