Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Vene, Varmo (TTÜ author)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
14
Look more..
(5/26)
Export
export all inquiry results
(14)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book
Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lectures
Vene, Varmo
;
Uustalu, Tarmo
2005
https://www.ester.ee/record=b2083926*est
book
2
book
Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006 : Kuressaare, Estonia, July 2006 : proceedings
Johnson, Michael
;
Vene, Varmo
2006
https://www.ester.ee/record=b2160509*est
book
3
book article
Comonadic functional attribute evaluation
Uustalu, Tarmo
;
Vene, Varmo
Sixth Symposium on Trends in Functional Programming : TFP 2005 : Tallinn, Estonia, 23-24 September 2005 : proceedings
2005
/
p. 33-43
https://artiklid.elnet.ee/record=b1019505*est
book article
4
book article
Monadic augment and generalised short cut fusion
Ghani, Neil
;
Johan, Patricia
;
Uustalu, Tarmo
;
Vene, Varmo
ICFP'05 : Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming : September 26-28, 2005, Tallinn, Estonia
2005
/
p. 294-305
book article
5
book
Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005
Vene, Varmo
;
Meriste, Merik
2005
https://www.ester.ee/record=b2060802*est
book
6
book
Programmeerimiskeeled
Isotamm, Ain
;
Vene, Varmo
2007
https://www.ester.ee/record=b2239351*est
book
7
book article
Recursion schemes for dynamic programming
Kabanov, Jevgeni
;
Vene, Varmo
Mathematics of Program Construction : 8th International Conference, MPC 2006 : Kuressaare, Estonia, July 2006 : proceedings
2006
/
p. 235-252
book article
8
book article
Signals and comonads
Uustalu, Tarmo
;
Vene, Varmo
Proceedings of 9th Brazilian Symposium on Programming Languages : SBLP'05 : Recife, Brazil, May 23-25, 2005
2005
/
p. 215-228
book article
9
journal article
Signals and comonads
Uustalu, Tarmo
;
Vene, Varmo
Journal of universal computer science
2005
/
7, p. 1310-1326
https://www.jucs.org/jucs_11_7/signals_and_comonads.html
journal article
10
book
TEA entsüklopeedia
Tulviste, Peeter
;
Engelbrecht, Jüri
;
Eerme, Kalju
;
Loide, Rein-Karl
;
Nõlvak, Jaak
;
Christjanson, Peep
;
Kann, Jüri
;
Viikna, Anti
;
Alver, Jaan
;
Ennuste, Ülo
;
Gerndorf, Kostel
;
Abel, Mart
;
Vene, Varmo
;
Albri, Rein
;
Kask, Jüri
;
Aro, Rein
;
Kõiv, Teet-Andrus
;
Mespak, Vello
;
Metsaveer, Jaan
;
Mõisnik, Kuulo
;
Raado, Lembi-Merike
;
Reinsalu, Enno
;
Vares, Villu
;
Kaasik, Imbi
2008
https://www.ester.ee/record=b2408734*est
book
11
book
TEA entsüklopeedia
Tulviste, Peeter
;
Engelbrecht, Jüri
;
Eerme, Kalju
;
Loide, Rein-Karl
;
Nõlvak, Jaak
;
Christjanson, Peep
;
Kann, Jüri
;
Viikna, Anti
;
Alver, Jaan
;
Gerndorf, Kostel
;
Abel, Mart
;
Vene, Varmo
;
Aro, Rein
;
Mespak, Vello
;
Metsaveer, Jaan
;
Raado, Lembi-Merike
;
Reinsalu, Enno
;
Sinivee, Veljo
;
Vares, Villu
;
Kaasik, Imbi
2009
https://www.ester.ee/record=b2465036*est
book
12
book
TEA entsüklopeedia
Tulviste, Peeter
;
Engelbrecht, Jüri
;
Eerme, Kalju
;
Loide, Rein-Karl
;
Nõlvak, Jaak
;
Christjanson, Peep
;
Kann, Jüri
;
Viikna, Anti
;
Alver, Jaan
;
Gerndorf, Kostel
;
Purju, Alari
;
Abel, Mart
;
Vene, Varmo
;
Aarna, Olav
;
Kõiv, Teet-Andrus
;
Mespak, Vello
;
Metsaveer, Jaan
;
Mõisnik, Kuulo
;
Vares, Villu
;
Nuuma, Poigo
2009
https://www.ester.ee/record=b2503851*est
book
13
book article
The essence of dataflow programming (short version)
Uustalu, Tarmo
;
Vene, Varmo
Programming Languages and Systems : Third Asian Symposium : APLAS 2005 : Tsukuba, Japan, November 2-5, 2005 : proceedings
2005
/
p. 2-18
book article
14
book article
Type systems equivalent to dataflow analyses for imperative languages
Laud, Peeter
;
Uustalu, Tarmo
;
Vene, Varmo
Proceedings of 3rd APPSEM II Workshop : APPSEM'05 : Frauenchiemsee, September 2005
2005
/
[12] p
https://www.sciencedirect.com/science/article/pii/S0304397506005524
book article
Number of records 14, displaying
1 - 14
author
9
1.
Vene, Varmo
2.
Tallinna Polütehniline Instituut, vene keele ja võõrkeelte kateeder
3.
Tallinna Polütehniline Instituut, vene keele ja võõrkeelte kateeder, saksa keele sektsioon
4.
Vene, Karl
5.
Vene, Karl-Kristo
6.
Vene, Kristel
7.
Vene, Kristiina
8.
Vene, Siim
9.
Vene, Sirkka
subject term
8
1.
Eesti-Vene kaubanduskoda
2.
Tallinna Linnamäe Vene Lütseum
3.
vene
4.
vene keel
5.
vene õigeusu kirik
6.
Vene-Balti laevaehituse ja mehaanika aktsiaselts
7.
Vene-Balti Laevatehas (Tallinn)
8.
Vene-Gruusia sõda, 2008
name of the person
3
1.
Vene, Varmo
2.
Vene, Kristel, 1984-
3.
Vene, Siim
CV
3
1.
Vene, Varmo 1968
2.
Vene, Kristel 1984
3.
Vene, Siim 1980
TTÜ department
3
1.
eesti ja vene keele kateeder
2.
vene keele ja võõrkeelte kateeder
3.
vene keele kateeder
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT