Concepedia

Vasileios Koutavas

VK

Statistics

Publications

8

Citations

265

H-Index

8

Active since

2006

Affiliations

Trinity College Dublin(Current)

Northeastern University

Universidad del Noreste

Vasileios Koutavas is an author at Trinity College Dublin specializing in computing, computer science, and formal methods.

ORCID

Publications per year

2006–2018

8

Publications

8

Small bisimulations for reasoning about higher-order imperative programs

Vasileios Koutavas, Mitchell Wand · 2006 · 120 citations

, , +14

From Applicative to Environmental Bisimulation

Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii · Electronic Notes in Theoretical Computer Science · 2011 · 35 citations · Full text

, , +16

Reasoning About Class Behavior

Vasileios Koutavas, Mitchell Wand · 2006 · 27 citations

, , +11

Compositional verification of self-adaptive cyber-physical systems

Aimee Borda, Liliana Pasquale, Vasileios Koutavas et al. · 2018 · 23 citations · Full text

, , +17

A Mechanized Bisimulation for the Nu-Calculus

Nick Benton, Vasileios Koutavas · 2008 · 21 citations

, , +15

1–5 of 8