| 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 | 81 | 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 | 48 | 2009 |
| Corecursive algebras: A study of general structured corecursion V Capretta, T Uustalu, V Vene Brazilian Symposium on Formal Methods, 84-100, 2009 | 44 | 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
Vesal VojdaniUniversity of TartuVerified email at ut.ee
Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenVerified email at in.tum.de
Venanzio CaprettaNottingham UniversityVerified email at duplavis.com
Jevgeni KabanovPhD, Tartu UniversityVerified email at ut.ee
Kalmer ApinisInstitute of Computer Science, University of TartuVerified email at ut.ee
Makoto HamanaProfessor, Kyusyu Institute of TechnologyVerified email at csn.kyutech.ac.jp
Eno TonissonAssociate Professor, University of TartuVerified email at ut.ee
Marina LeppAssociate Professor in Informatics, University of TartuVerified email at ut.ee
Aivar AnnamaaInstitute of Computer Science, University of Tartu
