Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Vasileios Koutavas

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-1913
- ask others
Carlo Spaccasassi, Vasileios Koutavas: Towards Efficient Abstractions for Concurrent Consensus. CoRR abs/1304.1913 (2013)
2012
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cl/KoutavasH12
- ask others
Vasileios Koutavas, Matthew Hennessy: First-order reasoning for higher-order concurrency. Computer Languages, Systems & Structures 38(3): 242-277 (2012)
2011
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KoutavasLS11
- ask others
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii: From Applicative to Environmental Bisimulation. Electr. Notes Theor. Comput. Sci. 276: 215-235 (2011)
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/KoutavasH11
- ask others
Vasileios Koutavas, Matthew Hennessy: A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). ESOP 2011: 358-377
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sefm/VriesK11
- ask others
Edsko de Vries, Vasileios Koutavas: Reverse Hoare Logic. SEFM 2011: 155-171
2010
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aplas/VriesKH10
- ask others
Edsko de Vries, Vasileios Koutavas, Matthew Hennessy: Liveness of Communicating Transactions (Extended Abstract). APLAS 2010: 392-407
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/VriesKH10
- ask others
Edsko de Vries, Vasileios Koutavas, Matthew Hennessy: Communicating Transactions - (Extended Abstract). CONCUR 2010: 569-583

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2006
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/KoutavasW06
- ask others
Vasileios Koutavas, Mitchell Wand: Bisimulations for Untyped Imperative Objects. ESOP 2006: 146-161
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/KoutavasW06
- ask others
Vasileios Koutavas, Mitchell Wand: Small bisimulations for reasoning about higher-order imperative programs. POPL 2006: 141-152

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?