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
Advanced search
My bookmarks
0
Vene, Varmo (author)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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
20
Look more..
(5/25)
Export
export all inquiry results
(20)
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
Build, augment and destroy, universally
Ghani, Neil
;
Uustalu, Tarmo
;
Vene, Varmo
Programming Languages and Systems : Second Asian Symposium : APLAS 2004 : Taipei, Taiwan, November 4-6, 2004 : proceedings
2004
/
p. 327-347
https://www.researchgate.net/publication/221323363_Build_Augment_and_Destroy_Universally
book article
4
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
5
book article
Comonadic functional attribute evaluation
Uustalu, Tarmo
;
Vene, Varmo
Trends in functional programming. Volume 6
2007
/
p. 145-162
book article
6
journal article
Models of attributed automata
Meriste, Merik
;
Penjam, Jaan
;
Vene, Varmo
Informatica
1998
/
1, p. 85-105: ill
journal article
7
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
8
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
9
book
Programmeerimiskeeled
Isotamm, Ain
;
Vene, Varmo
2007
https://www.ester.ee/record=b2239351*est
book
10
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
11
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
12
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
13
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
14
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
15
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
16
book
TEA entsüklopeedia
2010
https://www.ester.ee/record=b2607773*est
book
17
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
18
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
19
book article
Upwards accumulations and comonad structure : (abstract)
Uustalu, Tarmo
;
Vene, Varmo
14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts
2002
/
p. 95-96
book article
20
book article
Wreath products of generalized automata
Penjam, Jaan
;
Vene, Varmo
2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedings
2004
/
p. 217-218
https://cdc.ioc.ee/appsem04/webproc/short/penjam-vene.pdf
book article
Number of records 20, displaying
1 - 20
author
8
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-Kristo
5.
Vene, Kristel
6.
Vene, Kristiina
7.
Vene, Siim
8.
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