Concepedia

Varmo Vene

VV

Statistics

Publications

15

Citations

530

H-Index

14

Active since

1998

Affiliations

University of Tartu(Current)

Tallinn University of Technology

KTH Royal Institute of Technology

Varmo Vene is an author at University of Tartu specializing in computer science, computing, and type systems.

Publications per year

1998–2016

15

Publications

15

Comonadic Notions of Computation

Tarmo Uustalu, Varmo Vene · Electronic Notes in Theoretical Computer Science · 2008 · 78 citations · Full text

Computing, Computer Science, Programming Languages +12

Static race detection for device drivers: the Goblint approach

Vesal Vojdani, Kalmer Apinis, Vootele Rõtov et al. · 2016 · 72 citations

Computing, Computer Engineering, Computer Science +13

Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically

Tarmo Uustalu, Varmo Vene · 1999 · 62 citations

Computing, Computer Science, Algebra +13

Recursive coalgebras from comonads

Venanzio Capretta, Tarmo Uustalu, Varmo Vene · Information and Computation · 2006 · 53 citations

Natural Sciences, Mathematics, Algebra +4

CATEGORICAL PROGRAMMING WITH INDUCTIVE AND COINDUCTIVE TYPES

Varmo Vene · 2000 · 46 citations

Computing, Computer Science, Mathematics +9

1–5 of 15