Models of Attributed Automata. - Merik Meriste; Jaan Penjam; Varmo Vene (Informatica, 1998)

Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically. - Tarmo Uustalu; Varmo Vene (Informatica, 1999)

Mendler-Style Inductive Types, Categorically. - Tarmo Uustalu; Varmo Vene (Nord. J. Comput., 1999)

The Dual of Substitution is Redecoration. - Tarmo Uustalu; Varmo Vene (Scottish Functional Programming Workshop, 2001)

Recursion Schemes from Comonads. - Tarmo Uustalu; Varmo Vene; Alberto Pardo (Nord. J. Comput., 2001)

Least and greatest fixed points in intuitionistic natural deduction. - Tarmo Uustalu; Varmo Vene (Theor. Comput. Sci., 2002)

Interprocedural Invariants - Helmut Seidl; Varmo Vene; Markus Müller-Olm (Universität Trier, Mathematik/Informatik, Forschungsbericht, 2002)

An Alternative Characterization of Complete Iterativeness (Extended Abstract). - Tarmo Uustalu; Varmo Vene (FICS, 2003)

Build, Augment and Destroy, Universally. - Neil Ghani; Tarmo Uustalu; Varmo Vene (APLAS, 2004)

Generalizing the AUGMENT combinator. - Neil Ghani; Tarmo Uustalu; Varmo Vene (Trends in Functional Programming, 2004)

Recursive Coalgebras from Comonads. - Venanzio Capretta; Tarmo Uustalu; Varmo Vene (CMCS, 2004)

The Essence of Dataflow Programming. - Tarmo Uustalu; Varmo Vene (APLAS, 2005)

A Type System for Computationally Secure Information Flow. - Peeter Laud; Varmo Vene (FCT, 2005)

Monadic augment and generalised short cut fusion. - Neil Ghani; Patricia Johann; Tarmo Uustalu; Varmo Vene (ICFP, 2005)

Comonadic functional attribute evaluation. - Tarmo Uustalu; Varmo Vene (Trends in Functional Programming, 2005)

Signals and Comonads. - Tarmo Uustalu; Varmo Vene (J. Univers. Comput. Sci., 2005)

Recursion Schemes for Dynamic Programming. - Jevgeni Kabanov; Varmo Vene (MPC, 2006)

Type systems equivalent to data-flow analyses for imperative languages. - Peeter Laud; Tarmo Uustalu; Varmo Vene (Theor. Comput. Sci., 2006)

Comonadic Notions of Computation. - Tarmo Uustalu; Varmo Vene (CMCS, 2008)

The Recursion Scheme from the Cofree Recursive Comonad. - Tarmo Uustalu; Varmo Vene (MSFP@ICALP, 2008)

Python prevails. - Vambola Leping; Marina Lepp; Margus Niitsoo; Eno Tõnisson; Varmo Vene; Anne Villems (CompSysTech, 2009)

A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. - Helmut Seidl; Vesal Vojdani; Varmo Vene (FM, 2009)

Corecursive Algebras: A Study of General Structured Corecursion. - Venanzio Capretta; Tarmo Uustalu; Varmo Vene (SBMF, 2009)

An Interactive Tool for Analyzing Embedded SQL Queries. - Aivar Annamaa; Andrey Breslav; Jevgeni Kabanov; Varmo Vene (APLAS, 2010)

A thousand years of productivity: the JRebel story. - Jevgeni Kabanov; Varmo Vene (Softw. Pract. Exp., 2014)

Static race detection for device drivers: the Goblint approach. - Vesal Vojdani; Kalmer Apinis; Vootele Rõtov; Helmut Seidl; Varmo Vene; Ralf Vogler (ASE, 2016)

Comparing different styles of automated feedback for programming exercises. - Aivar Annamaa; Reelika Suviste; Varmo Vene (Koli Calling, 2017)

Demand-driven interprocedural analysis for map-based abstract domains. - Kalmer Apinis; Varmo Vene; Vesal Vojdani (J. Log. Algebraic Methods Program., 2018)