| Comonadic notions of computation T Uustalu, V Vene Electronic Notes in Theoretical Computer Science 203 (5), 263-284, 2008 | 135 | 2008 |
| The essence of dataflow programming T Uustalu, V Vene Central European Functional Programming School, 135-167, 2005 | 119 | 2005 |
| Primitive (co) recursion and course-of-value (co) iteration, categorically T Uustalu, V Vene Informatica 10 (1), 5-26, 1999 | 110 | 1999 |
| Static race detection for device drivers: the Goblint approach V Vojdani, K Apinis, V Rõtov, H Seidl, V Vene, R Vogler Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 83 | 2016 |
| Recursive coalgebras from comonads V Capretta, T Uustalu, V Vene Information and Computation 204 (4), 437-468, 2006 | 79 | 2006 |
| Categorical programming with inductive and coinductive types V Vene Tartu University Press, 2000 | 77 | 2000 |
| Recursion schemes from comonads T Uustalu, V Vene, A Pardo Nordic Journal of Computing 8 (3), 366-390, 2001 | 75 | 2001 |
| Functional programming with apomorphisms (corecursion) V Vene, T Uustalu Proceedings of the Estonian Academy of Sciences: Physics, Mathematics 47 (3 …, 1998 | 64 | 1998 |
| A type system for computationally secure information flow P Laud, V Vene International Symposium on Fundamentals of Computation Theory, 365-377, 2005 | 54 | 2005 |
| Goblint: Path-sensitive data race analysis V Vojdani, V Vene Annales Univ. Sci. Budapest., Sect. Comp 30, 141-155, 2009 | 49 | 2009 |
| Corecursive algebras: A study of general structured corecursion V Capretta, T Uustalu, V Vene Brazilian Symposium on Formal Methods, 84-100, 2009 | 45 | 2009 |
| Mendler-style inductive types, categorically T Uustalu, V Vene Nord. J. Comput. 6 (3), 343-, 1999 | 41 | 1999 |
| Representing cyclic structures as nested datatypes N Ghani, M Hamana, T Uustalu, V Vene Proc. of 7th Symp. on Trends in Functional Programming, TFP 2006, 2006 | 37 | 2006 |
| Build, augment and destroy, universally N Ghani, T Uustalu, V Vene Asian Symposium on Programming Languages and Systems, 327-347, 2004 | 36 | 2004 |
| An interactive tool for analyzing embedded SQL queries A Annamaa, A Breslav, J Kabanov, V Vene Asian Symposium on Programming Languages and Systems, 131-138, 2010 | 34 | 2010 |
| Type systems equivalent to data-flow analyses for imperative languages P Laud, T Uustalu, V Vene Theoretical Computer Science 364 (3), 292-310, 2006 | 30 | 2006 |
| Global invariants for analysing multi-threaded applications H Seidl, V Vene, M Muller-Olm PROCEEDINGS-ESTONIAN ACADEMY OF SCIENCES PHYSICS MATHEMATICS 52 (4), 413-436, 2003 | 29 | 2003 |
| Coding recursion a la Mendler T Uustalu, V Vene Proc. of 2nd Wksh. on Generic Programming, WGP, 69-85, 2000 | 29 | 2000 |
| A thousand years of productivity: the JRebel story J Kabanov, V Vene Software: Practice and Experience 44 (1), 105-127, 2014 | 27 | 2014 |
| Comonadic functional attribute evaluation. T Uustalu, V Vene Trends in Functional Programming 6, 145-162, 2005 | 26 | 2005 |
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
