BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Germany
1 × USA
1 × Uruguay
Collaborated with:
M.Wand M.Hennessy E.d.Vries C.Spaccasassi
Talks about:
bisimul (3) higher (2) order (2) imper (2) cryptograph (1) transact (1) communic (1) program (1) languag (1) theori (1)

Person: Vasileios Koutavas

DBLP DBLP: Koutavas:Vasileios

Contributed to:

FoSSaCS 20142014
ESOP 20112011
SEFM 20112011
ESOP 20062006
POPL 20062006

Wrote 5 papers:

FoSSaCS-2014-KoutavasSH #bisimulation #communication #transaction
Bisimulations for Communicating Transactions — (VK, CS, MH), pp. 320–334.
ESOP-2011-KoutavasH #encryption #higher-order #testing
A Testing Theory for a Higher-Order Cryptographic Language — (VK, MH), pp. 358–377.
SEFM-2011-VriesK #hoare #logic
Reverse Hoare Logic (EdV, VK), pp. 155–171.
ESOP-2006-KoutavasW #bisimulation #imperative
Bisimulations for Untyped Imperative Objects (VK, MW), pp. 146–161.
POPL-2006-KoutavasW #bisimulation #higher-order #imperative #reasoning #source code
Small bisimulations for reasoning about higher-order imperative programs (VK, MW), pp. 141–152.
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.