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 (TTÜ 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
144
Vaata veel..
(4/150)
Ekspordi
ekspordi kõik päringu tulemused
(144)
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
76
artikkel kogumikus
Normalization by evaluation for lambda 2
Altenkirch, Thorsten
;
Uustalu, Tarmo
Functional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings
2004
/
p. [260]-275
artikkel kogumikus
77
artikkel ajalehes
Näilik efektiivsus ja kvaliteet : projektipõhine teaduskorraldus taandab teadlased juhutöölisteks
Uustalu, Tarmo
Sirp
2014
/
lk. 34-35
https://www.sirp.ee/s1-artiklid/c9-sotsiaalia/2014-01-09-14-40-08/
artikkel ajalehes
78
artikkel ajakirjas
On streams that are finitely red
Bezem, Marc
;
Nakata, Keiko
;
Uustalu, Tarmo
Logical methods in computer science
2012
/
p. 1-20
https://www.researchgate.net/publication/231582269_On_streams_that_are_finitely_red
artikkel ajakirjas
79
dissertatsioon
Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika
Maarand, Hendrik
2020
https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
dissertatsioon
80
artikkel kogumikus
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. 40-43
https://doi.org/10.23658/taltech.nwpt/2019
https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf
artikkel kogumikus
81
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2021
/
art. 100677, 27 p
https://doi.org/10.1016/j.jlamp.2021.100677
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
82
artikkel ajakirjas
Palmse, märts ja teoreetiline arvutiteadus
Uustalu, Tarmo
Mente et Manu
2016
/
lk. 7-9 : fot
https://artiklid.elnet.ee/record=b2758759*est
artikkel ajakirjas
83
artikkel ajalehes
Paneme masina aru andma
Uustalu, Tarmo
Postimees
2016
/
AK, lk. 9
artikkel ajalehes
84
artikkel kogumikus
Partiality and container monads
Uustalu, Tarmo
;
Veltri, Niccolo
Programming Languages and Systems : 15th Asian Symposium, APLAS 2017,Suzhou, China, November 27–29, 2017 : proceedings
2017
/
p. 406-425 : ill
http://dx.doi.org/10.1007/978-3-319-71237-6_20
artikkel kogumikus
85
artikkel kogumikus
Partiality and container monads
Uustalu, Tarmo
;
Veltri, Niccolo
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts
2017
/
p. 99-100
http://types2017.elte.hu/proc.pdf#page=107
artikkel kogumikus
86
artikkel ajakirjas
Partiality via coinductive types (abstract)
Uustalu, Tarmo
Oberwolfach reports / European Mathematical Society
2005
/
p. 807
artikkel ajakirjas
87
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luis
;
Uustalu, Tarmo
Journal of Logical and Algebraic Methods in Programming
2022
/
art. 100775, 17 p
https://doi.org/10.1016/j.jlamp.2022.100775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
88
artikkel kogumikus
Preface
Uustalu, Tarmo
;
Vain, Jüri
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. iii
https://doi.org/10.23658/taltech.nwpt/2019
artikkel kogumikus
89
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Fischer, Bernd
;
Uustalu, Tarmo
Theoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings
2018
/
p. V-VI
https://link.springer.com/content/pdf/bfm%3A978-3-030-02508-3%2F1.pdf
https://www.ester.ee/record=b5174218*est
https://doi.org/10.1007/978-3-030-02508-3
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
90
artikkel ajalehes
Programm PARROTilt Tehnikaülikoolile : [Eesti-Prantsuse teadus- ja tehnoloogiaalase koostööprogrammi raames rahastatakse 2003. a. 10 rahvusvahelise teadlastegrupi koostööd, sh teadlased TTÜst : Tarmo Uustalu kommentaariga]
Kurss, Helen
;
Uustalu, Tarmo
Mente et Manu
2003
/
4. veebr., lk. 3
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
91
artikkel ajalehes
Programmeerijad jäid rahule : [23. sept.-1. okt. peetud programmikeelte ja tarkvaratehnoloogia ühendkonverentsist ja sellele järgnenud seminarist Kalvi mõisas 1.-4. okt. : vastab üks konverentsi korraldajaist Tarmo Uustalu]
Uustalu, Tarmo
Mente et Manu
2005
/
19. okt., lk. 2
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
92
artikkel kogumikus
Programmikeelte suurkonverents : [ühendkonverents TFP/ICFP/GPCP 2005 Tallinnas]
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2005
2006
/
lk. 391-393
artikkel kogumikus
93
artikkel kogumikus EST
/
artikkel kogumikus ENG
Proof theory of partially normal skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 1-17
https://doi.org/10.48550/arXiv.2101.10487
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
94
artikkel kogumikus EST
/
artikkel kogumikus ENG
Proof theory of skew non-commutative MILL
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
2022
/
p. 118-135
https://doi.org/10.4204/EPTCS.358.9
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
95
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
96
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Mathematical structures in computer science
2019
/
p. 67-92
https://doi.org/10.1017/s0960129517000184
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
97
artikkel kogumikus
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
2015
/
p. 38-39
artikkel kogumikus
98
artikkel ajalehes
Rahvusvaheline Eesti arvutiteadus : [arvutiteaduse teooriapäevadest. Bergeni professori loengukursusest. Arvutiteaduse talvekoolist. Tulevatest suvesündmustest]
Uustalu, Tarmo
Mente et Manu
2005
/
6. apr., lk. 9, 10 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
99
artikkel kogumikus
Reasoning about correctness of transactional memory with operational semantics
Saar, Andri
;
Uustalu, Tarmo
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis
2010
/
lk. 145-148
artikkel kogumikus
100
artikkel ajakirjas
Relative monads formalised
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
Journal of formalized reasoning
2014
/
p. 1-43
artikkel ajakirjas
Kirjeid leitud 144, kuvan
76 - 100
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