Vasileios Koutavas, Ph.D.
Affiliations: | 2008 | Computer and Information Science | Northeastern University, Boston, MA, United States |
Area:
Computer ScienceGoogle:
"Vasileios Koutavas"Parents
Sign in to add mentor| Mitchell Wand | grad student | 2008 | Northeastern University | |
| (Reasoning about imperative and higher -order programs.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Koutavas V, Gazda M, Hennessy M. (2017) Distinguishing between communicating transactions Information & Computation. 259: 1-30 |
| Koutavas V, Hennessy M. (2012) First-order reasoning for higher-order concurrency Computer Languages, Systems and Structures. 38: 242-277 |
| Koutavas V, Levy PB, Sumii E. (2011) From applicative to environmental bisimulation Electronic Notes in Theoretical Computer Science. 276: 215-235 |
| De Vries E, Koutavas V. (2011) Reverse hoare logic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7041: 155-171 |
| Koutavas V, Hennessy M. (2011) A testing theory for a higher-order cryptographic language (Extended abstract) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6602: 358-377 |
| Koutavas V, Wand M. (2006) Small bisimulations for reasoning about higher-order imperative programs Acm Sigplan Notices. 41: 141-152 |
| Koutavas V, Wand M. (2006) Bisimulations for untyped imperative objects Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3924: 146-161 |