Varmo Vene
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2004–2010
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | APLAS | An Interactive Tool for Analyzing Embedded SQL Queries. | Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov, Varmo Vene |
| 2009 | FM | A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. | Helmut Seidl, Vesal Vojdani, Varmo Vene |
| 2006 | MPC | Recursion Schemes for Dynamic Programming. | Jevgeni Kabanov, Varmo Vene |
| 2005 | APLAS | The Essence of Dataflow Programming. | Tarmo Uustalu, Varmo Vene |
| 2005 | FCT | A Type System for Computationally Secure Information Flow. | Peeter Laud, Varmo Vene |
| 2005 | ICFP | Monadic augment and generalised short cut fusion. | Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene |
| 2004 | APLAS | Build, Augment and Destroy, Universally. | Neil Ghani, Tarmo Uustalu, Varmo Vene |