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
Otsing
Valitud kirjed
0
Uustalu, Tarmo (TTÜ autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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
126
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
127
artikkel ajalehes
Tipptaseme arvutiteaduse konverents Tallinnas : [23. sept.-1. okt. : korraldas TTÜ Küberneetika Instituut]
Uustalu, Tarmo
Mente et Manu
2005
/
5. okt., lk. 3
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
128
artikkel ajalehes
Toimus esimene arvutiteaduse teooriapäev : [16.-17. okt. Roosta puhkekülas Noarootsis : korraldas TTÜ Küberneetika Instituut]
Uustalu, Tarmo
Mente et Manu
2002
/
29. okt., lk. 1, 4
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
129
raamat
20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts
Uustalu, Tarmo
;
Vain, Jüri
;
Ernits, Juhan-Peep
2008
https://www.ester.ee/record=b2435749*est
raamat
130
raamat
21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]
2018
http://doi.org/10.4230/lipics.types.2015.0
http://www.dagstuhl.de/dagpub/978-3-95977-030-9
raamat
131
raamat
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
2015
http://www.ester.ee/record=b4473137*est
raamat
132
artikkel kogumikus EST
/
artikkel kogumikus ENG
A type system with subtyping for Webassembly’s stack polymorphism
McDermott, Dylan
;
Morita, Yasuaki
;
Uustalu, Tarmo
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 305-323
https://doi.org/10.1007/978-3-031-17715-6_20
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
133
artikkel kogumikus
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
artikkel kogumikus
134
artikkel kogumikus
Type systems for optimizing stack-based code
Saabas, Ando
;
Uustalu, Tarmo
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
2007
/
lk. 97-100
artikkel kogumikus
135
dissertatsioon
A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest
Veltri, Niccolo
2017
https://digi.lib.ttu.ee/i/?7631
dissertatsioon
136
artikkel kogumikus
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
artikkel kogumikus
137
artikkel kogumikus EST
/
artikkel kogumikus ENG
Variations on Noetherianness
Firsov, Denis
;
Uustalu, Tarmo
;
Veltri, Niccolo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 76-88 : ill
https://doi.org/10.4204/eptcs.207.4
Journal metrics at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
138
artikkel kogumikus
Welcome to TFP, ICFP and GPCE 2005 in Tallinn
Uustalu, Tarmo
TFP/ICFP/GPCE 2005 : Tallinn, Estonia, 23 September - 1 October 2005 : final programme
2005
/
p. 3
artikkel kogumikus
139
artikkel kogumikus EST
/
artikkel kogumikus ENG
What makes a strong monad?
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming
2022
/
p. 113-133
https://doi.org/10.4204/EPTCS.360.6
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
140
artikkel ajakirjas
When is a container a comonad?
Ahman, Danel
;
Chapman, James
;
Uustalu, Tarmo
Logical methods in computer science
2014
/
p. 1-48 : ill
artikkel ajakirjas
141
artikkel kogumikus
When is a container a comonad?
Ahman, Danel
;
Chapman, James
;
Uustalu, Tarmo
Foundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 2012, Held as Part of The European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings
2012
/
p. 74-88 : ill
https://artiklid.elnet.ee/record=b2491247*est
artikkel kogumikus
142
artikkel ajalehes
Viikingisõit läbi : [TTÜ Küberneetika Instituut lõpetas EL 5. raamprogrammi infoühiskonna tehnoloogiate alaprogrammi projekti eVikings II]
Uustalu, Tarmo
Mente et Manu
2005
/
16. nov., lk. 3
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
143
raamat
Workshop on Mathematically Structured Functional Programming : MSFP 2006 : Kuressaare, Estonia, 2 July 2006 : proceedings
2006
http://www.ester.ee/record=b2155741*est
raamat
144
artikkel ajakirjas
Värv ja sära Palmses : [13. Eesti arvutiteaduse talvekoolist]
Uustalu, Tarmo
A & A
2008
/
lk. 58-59 : fot
https://artiklid.elnet.ee/record=b2380423*est
artikkel ajakirjas
145
artikkel ajalehes
Värv ja sära Palmses : [13. Eesti arvutiteaduse talvekoolist]
Uustalu, Tarmo
Mente et Manu
2008
/
lk. 2 : fot
https://artiklid.elnet.ee/record=b2380423*est
artikkel ajalehes
146
artikkel ajalehes
Õhinapõhine teadus vs teaduse toiduahel : [vestlus TTÜ professori Tarmo Uustaluga]
Kello, Karl
;
Uustalu, Tarmo
Õpetajate Leht
2013
/
lk. 13
https://artiklid.elnet.ee/record=b2649870*est
artikkel ajalehes
Kirjeid leitud 146, kuvan
126 - 146
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
37
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.
All, Tarmo 1969
9.
Elstrok, Tarmo 1953
10.
Kadak, Tarmo 1969
11.
Kaldma, Tarmo 1965
12.
Kalvet, Tarmo 1975
13.
Karma, Tarmo 1968
14.
Kiipli, Tarmo 1951-2023
15.
Koppel, Tarmo
16.
Korõtko, Tarmo 1984
17.
Kriis, Tarmo 1961
18.
Kuningas, Tarmo 1976
19.
Kõuts, Tarmo 1963
20.
Lipping, Tarmo 1967
21.
Metsmägi, Tarmo 1958
22.
Post, Tarmo 1984
23.
Randvee, Tarmo 1909-1992
24.
Robal, Tarmo 1979
25.
Rosman, Tarmo 1950
26.
Sahk, Tarmo 1991
27.
Soomere, Tarmo 1957
28.
Tallermaa, Tarmo 1964
29.
Tamm, Tarmo 1974
30.
Tamme, Tarmo
31.
Tohver, Tarmo 1972
32.
Trummal, Tarmo 1994
33.
Tuisk, Tarmo 1968
34.
Vaalu, Tarmo 1975
35.
Velsker, Tarmo 1981
36.
Veskioja, Tarmo 1974
37.
Viira, Tarmo 1942
tema kohta
32
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-2023
10.
Klamp, Tarmo Richard
11.
Kolk, Tarmo
12.
Koppel, Tarmo
13.
Korõtko, Tarmo, 1984-
14.
Kõuts, tarmo
15.
Kõuts, Tarmo, 1963-
16.
Mere, Tarmo
17.
Miilits, Tarmo
18.
Noop, Tarmo
19.
Piirmets, Tarmo
20.
Post, Tarmo
21.
Prints, Tarmo
22.
Purge, Tarmo
23.
Randvee, Tarmo, 1909-1992
24.
Robal, Tarmo
25.
Rosman, Tarmo, 1950-
26.
Sahk, Tarmo
27.
Soomere, Tarmo, 1957-
28.
Tappo, Tarmo
29.
Tohver, Tarmo
30.
Vaalu, Tarmo
31.
Valgepea, Tarmo
32.
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