Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
Uustalu, Tarmo (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
146
Vaata veel..
(4/150)
Ekspordi
ekspordi kõik päringu tulemused
(146)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
101
artikkel ajakirjas
Relative monads formalised
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
Journal of formalized reasoning
2014
/
p. 1-43
artikkel ajakirjas
102
artikkel kogumikus EST
/
artikkel kogumikus ENG
Reordering derivatives of trace closures of regular languages [Online resource]
Maarand, Hendrik
;
Uustalu, Tarmo
30th International Conference on Concurrency Theory : (CONCUR 2019)
2019
/
art. 40 ; 40:1–40:16
https://doi.org/10.4230/LIPIcs.CONCUR.2019.40
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
103
artikkel ajalehes
Seitse aastat soosingut
Uustalu, Tarmo
Mente et Manu
2015
/
lk. 9-11 : fot
https://artiklid.elnet.ee/record=b2741003*est
artikkel ajalehes
104
artikkel kogumikus
The sequent calculus of skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
The interplay of mathematics, logic, and linguistics
2021
/
p. 377-406
https://doi.org/10.1007/978-3-030-66545-6_11
artikkel kogumikus
105
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The sequent calculus of skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Electronic notes in theoretical computer science
2018
/
p. 345-370
https://doi.org/10.1016/j.entcs.2018.11.017
Journal metrics at Scopus
Article at Scopus
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
106
artikkel kogumikus
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
artikkel kogumikus
107
artikkel ajakirjas
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
artikkel ajakirjas
108
artikkel ajakirjas
Sisust ja mainest
Uustalu, Tarmo
A & A
2008
/
lk. 5-7
https://artiklid.elnet.ee/record=b1022326*est
artikkel ajakirjas
109
raamat
6th Workshop on Fixed Points in Computer Science : FICS 2009 : Coimbra, Portugal, 12-13 September 2009 : proceedings
Matthes, Ralph
;
Uustalu, Tarmo
2009
https://www.ester.ee/record=b2506216*est
raamat
110
artikkel ajakirjas
Stateful runners of effectful computations
Uustalu, Tarmo
Electronic notes in theoretical computer science
2015
/
p. 403-421
http://dx.doi.org/10.1016/j.entcs.2015.12.024
artikkel ajakirjas
111
artikkel kogumikus
Structured general corecursion and coinductive graphs [extended abstract]
Uustalu, Tarmo
EPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 2012
2012
/
p. 55-61
artikkel kogumikus
112
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sweedler theory of monads
McDermott, Dylan
;
Rivas, Exequiel
;
Uustalu, Tarmo
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
2022
/
p. 428-448
https://doi.org/10.1007/978-3-030-99253-8_22
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
113
artikkel kogumikus
Taking updates seriously
Ahman, Danel
;
Uustalu, Tarmo
6th International Workshop on Bidirectional Transformations, BX 2017 : Uppsala, Sweden, 29 April 2017
2017
/
p. 59-73 : ill
http://ceur-ws.org/Vol-1827/paper11.pdf
artikkel kogumikus
114
artikkel ajalehes
Talvises Palmses arvutiteaduse musti auke lappimas : [2.-7. märtsil Palmses toimunud kaheksandast Eesti arvutiteaduse talvekoolist EWSCS'03]
Uustalu, Tarmo
Mente et Manu
2003
/
1. apr., lk. 2 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
115
artikkel ajalehes
Tarkvaratehnoloogiast Saaremaal : [2.-8. juulini toimunud matemaatilise tarkvaratehnoloogia ühendkonverentsist MPC/AMAST 2006]
Uustalu, Tarmo
Mente et Manu
2006
/
20. sept., lk. 3
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
116
artikkel kogumikus
Teadus ja väärtus
Uustalu, Tarmo
Teadusmõte Eestis (VIII). Teaduskultuur : [artiklikogumik]
2013
/
lk. 10-15 : portr
artikkel kogumikus
117
artikkel ajakirjas
Teaduse tippkeskus infotehnoloogia alal : [Töökindlate Arvutisüsteemide Uurimise Keskusest]
Uustalu, Tarmo
Eesti aastaraamat 2006-2007
2006
/
lk. 175-184 : fot
artikkel ajakirjas
118
artikkel kogumikus
Teaduspreemia täppisteaduste alal tööde tsükli "Matemaatilised struktuurid funktsionaalprogrammeerimises" eest : Tarmo Uustalu
Uustalu, Tarmo
Eesti Vabariigi preemiad : teadus. F. J. Wiedemanni keeleauhind. Kultuur. Sport
2015
/
lk. 52-62 : portr
artikkel kogumikus
119
artikkel ajalehes
Tehnikaülikoolis on uus akadeemik - Tarmo Uustalu : [intervjuu Tarmo Uustaluga]
Uustalu, Tarmo
Mente et Manu
2011
/
lk. 3, 4 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
120
artikkel kogumikus
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
artikkel kogumikus
121
raamat
The journal of logic and algebraic programming
2010
https://www.ester.ee/record=b1200932*est
raamat
122
raamat
2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedings
Uustalu, Tarmo
;
Saabas, Ando
2004
https://www.ester.ee/record=b1893488*est
raamat
123
raamat
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts [Online resource]
2019
https://doi.org/10.23658/taltech.nwpt/2019
https://www.ester.ee/record=b5292609*est
raamat
124
raamat
25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts [Electronic resource]
2013
https://www.ester.ee/record=b3039924*est
raamat
125
raamat
Theoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings
2018
https://www.ester.ee/record=b5174218*est
http://doi.org/10.1007/978-3-030-02508-3
raamat
Kirjeid leitud 146, kuvan
101 - 125
eelmine
1
2
3
4
5
6
järgmine
autor
80
1.
Uustalu, Tarmo
2.
Uustalu, Aare-Maldus
3.
Uustalu, Arvo
4.
Uustalu, Enn
5.
Uustalu, Erki
6.
Uustalu, Jaan Mihkel
7.
Uustalu, Kaie
8.
Uustalu, R.
9.
Uustalu, Triin
10.
Uustalu, Ü.
11.
Ahven, Tarmo
12.
Ainsaar, Tarmo
13.
All, Tarmo
14.
Barndõk, Tarmo
15.
Jaakson, Tarmo
16.
Kadak, Tarmo
17.
Kaldma, Tarmo
18.
Kall, Tarmo
19.
Kalvet, Tarmo
20.
Karma, Tarmo
21.
Kiik, Tarmo
22.
Kiipli, Tarmo
23.
Kivisilla, Tarmo
24.
Klaar, Tarmo
25.
Klamp, Tarmo
26.
Koosapoeg, Tarmo
27.
Koppel, Tarmo
28.
Korõtko, Tarmo
29.
Kriis, Tarmo
30.
Kuningas, Tarmo
31.
Kõuts, Tarmo
32.
Kärsna, Tarmo
33.
Leht, Tarmo
34.
Lige, Tarmo
35.
Lipping, Tarmo
36.
Loodus, Tarmo
37.
Maiberg, Tarmo
38.
Mere, Tarmo
39.
Metsmägi, Tarmo
40.
Michelson, Tarmo
41.
Mononen, Tarmo
42.
Mooste, Tarmo
43.
Mäeküla, Tarmo
44.
Neemela, Tarmo
45.
Noop, Tarmo
46.
Pajumets, Tarmo
47.
Pauklin, Tarmo
48.
Pikner, Tarmo
49.
Post, Tarmo
50.
Pärjala, Tarmo
51.
Pärna, Tarmo
52.
Randvee, Tarmo
53.
Reitsnik, Tarmo
54.
Riisenberg, Tarmo
55.
Riit, Tarmo
56.
Robal, Tarmo
57.
Rosman, Tarmo
58.
Rähmonen, Tarmo
59.
Ränisoo, Tarmo
60.
Saar, Tarmo
61.
Sahk, Tarmo
62.
Seliste, Tarmo
63.
Soomere, Tarmo
64.
Tamm, Tarmo
65.
Tappo, Tarmo
66.
Timm, Tarmo
67.
Tohver, Tarmo
68.
Trei, Tarmo
69.
Trummal, Tarmo
70.
Tuisk, Tarmo
71.
Tuule, Tarmo
72.
Tähepõld, Tarmo
73.
Unt, Tarmo
74.
Vaalu, Tarmo
75.
Vahter, Tarmo
76.
Veer, Tarmo
77.
Velsker, Tarmo
78.
Veskioja, Tarmo
79.
Viira, Tarmo
80.
Õuemaa, Tarmo
CV
36
1.
Uustalu, Tarmo 1969
2.
Uustalu, Aare-Maldus 1935-2023
3.
Uustalu, Eero 1967
4.
Uustalu, Enn 1944
5.
Uustalu, Jaan Mihkel 1954
6.
Uustalu, Raili 1964
7.
Ahven, Tarmo
8.
Elstrok, Tarmo 1953
9.
Kadak, Tarmo 1969
10.
Kaldma, Tarmo 1965
11.
Kalvet, Tarmo 1975
12.
Karma, Tarmo 1968
13.
Kiipli, Tarmo 1951-2023
14.
Koppel, Tarmo
15.
Korõtko, Tarmo 1984
16.
Kriis, Tarmo 1961
17.
Kuningas, Tarmo 1976
18.
Kõuts, Tarmo 1963
19.
Lipping, Tarmo 1967
20.
Metsmägi, Tarmo 1958
21.
Post, Tarmo 1984
22.
Randvee, Tarmo 1909-1992
23.
Robal, Tarmo 1979
24.
Rosman, Tarmo 1950
25.
Sahk, Tarmo 1991
26.
Soomere, Tarmo 1957
27.
Tallermaa, Tarmo 1964
28.
Tamm, Tarmo 1974
29.
Tamme, Tarmo
30.
Tohver, Tarmo 1972
31.
Trummal, Tarmo 1994
32.
Tuisk, Tarmo 1968
33.
Vaalu, Tarmo 1975
34.
Velsker, Tarmo 1981
35.
Veskioja, Tarmo 1974
36.
Viira, Tarmo 1942
tema kohta
33
1.
Uustalu, Tarmo, 1969-
2.
Uustalu, Aare-Maldus, 1935-2023
3.
Uustalu, Enn
4.
Uustalu, Hedi
5.
Uustalu, Jaan Mihkel
6.
Bakler, Tarmo
7.
Kall, Tarmo
8.
Kalvet, Tarmo
9.
Kiipli, Tarmo, 1951-
10.
Kiipli, Tarmo, 1951-2023
11.
Klamp, Tarmo Richard
12.
Kolk, Tarmo
13.
Koppel, Tarmo
14.
Korõtko, Tarmo, 1984-
15.
Kõuts, tarmo
16.
Kõuts, Tarmo, 1963-
17.
Mere, Tarmo
18.
Miilits, Tarmo
19.
Noop, Tarmo
20.
Piirmets, Tarmo
21.
Post, Tarmo
22.
Prints, Tarmo
23.
Purge, Tarmo
24.
Randvee, Tarmo, 1909-1992
25.
Robal, Tarmo
26.
Rosman, Tarmo, 1950-
27.
Sahk, Tarmo
28.
Soomere, Tarmo, 1957-
29.
Tappo, Tarmo
30.
Tohver, Tarmo
31.
Vaalu, Tarmo
32.
Valgepea, Tarmo
33.
Velsker, Tarmo
märksõna
1
1.
Tarmo, kaubandus-tööstuse osaühisus
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT