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
26
artikkel kogumikus
A coalgebraic view of bar recursion and bar induction
Capretta, Venanzio
;
Uustalu, Tarmo
Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
2016
/
p. 91-106
https://doi.org/10.1007/978-3-662-49630-5_6
artikkel kogumikus
27
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Codensity lifting of monads and its dual
Katsumata, Shin-ya
;
Sato, Tetsuya
;
Uustalu, Tarmo
Logical methods in computer science
2018
/
p. 1-31
https://doi.org/10.23638/LMCS-14(4:6)2018
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
28
artikkel kogumikus
Combining effects and coeffects via grading
Gaboardi, Marco
;
Katsumata, Shin-ya
;
Orchard, Dominic
;
Breuvart, Flavien
;
Uustalu, Tarmo
ICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 2016
2016
/
p. 476-489
https://doi.org/10.1145/2951913.2951939
artikkel kogumikus
29
artikkel kogumikus
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
artikkel kogumikus
30
artikkel kogumikus
Comonadic functional attribute evaluation
Uustalu, Tarmo
;
Vene, Varmo
Trends in functional programming. Volume 6
2007
/
p. 145-162
artikkel kogumikus
31
artikkel kogumikus
Container combinatorics : monads and lax monoidal functors
Uustalu, Tarmo
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings
2017
/
p. 91-105 : ill
http://doi.org/10.1007/978-3-319-68953-1_8
artikkel kogumikus
32
artikkel kogumikus EST
/
artikkel kogumikus ENG
Decomposing comonad morphisms
Ahman, Danel
;
Uustalu, Tarmo
8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 2019
2019
/
art. 14 ; 20 p
https://doi.org/10.4230/LIPIcs.CALCO.2019.14
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
33
artikkel kogumikus EST
/
artikkel kogumikus ENG
Deductive systems and coherence for skew prounital closed categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 1-19
https://doi.org/10.48550/arXiv.2101.03809
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
34
artikkel kogumikus EST
/
artikkel kogumikus ENG
Degrading lists
McDermott, Dylan
;
Pirog, Maciej
;
Uustalu, Tarmo
Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), Part of BOPL 2020 : The Bologna Federated Conference on Programming Languages, 8-10 September 2020
2020
/
art. 6, 14 p
https://doi.org/10.1145/3414080.3414084
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
35
artikkel kogumikus
The delay monad and restriction categories
Uustalu, Tarmo
;
Veltri, Niccolo
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings
2017
/
p. 32-50
https://doi.org/10.1007/978-3-319-67729-3_3
artikkel kogumikus
36
artikkel kogumikus
Directed containers as categories
Ahman, Danel
;
Uustalu, Tarmo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 89-98
https://doi.org/10.4204/eptcs.207.5
artikkel kogumikus
37
artikkel kogumikus
Distributive laws of directed containers : [extended abstract]
Ahman, Danel
;
Uustalu, Tarmo
11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions
2012
/
[p. 1-3]
artikkel kogumikus
38
artikkel ajakirjas
A divertimento on MonadPlus and nondeterminism
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2016
/
p. 1086-1094 : ill
https://doi.org/10.1016/j.jlamp.2016.06.004
artikkel ajakirjas
39
artikkel ajalehes
Doktoriõpe pole ülikoolide siseasi : [24. okt. TTÜs toimunud doktoriõpet käsitlevast konverentsist]
Mõttus, Anu
;
Vaikmäe, Rein
;
Uustalu, Tarmo
Õpetajate Leht
2007
/
2. nov., lk. 3
https://artiklid.elnet.ee/record=b2374917*est
artikkel ajalehes
40
artikkel ajakirjas
Eesti arvutiteadus Viinistul : [TTÜ küberneetika instituudi korraldatud arvutiteaduse teooriapäevadest Viinistul ja programmeerimise konverentsist Tallinnas]
Uustalu, Tarmo
IT ja Side
2005
/
6, lk. 15
artikkel ajakirjas
41
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Eilenberg-Kelly reloaded
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Electronic notes in theoretical computer science
2020
/
p. 233-256
https://doi.org/10.1016/j.entcs.2020.09.012
Journal metrics at Scopus
Article at Scopus
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
42
artikkel ajalehes
Esimene arvutiteaduse teooriapäev
Uustalu, Tarmo
Universitas Tartuensis
2002
/
8. nov., lk. 2
artikkel ajalehes
43
raamat
Estonian code of conduct for research integrity
2017
http://www.ester.ee/record=b4761004*est
raamat
44
artikkel kogumikus
An Estonian Research Excellence Centre in Gomputer Science : [the Estonian Centre for Dependable Computing]
Uustalu, Tarmo
Estonia : member state of NATO and the EU : international business handbook 2007-2008
2007
/
p. 182-190 : portr
https://www.ester.ee/record=b2288232*est
artikkel kogumikus
45
artikkel ajalehes
Euroopa rakendussemantika Mustpeade Majas : [14.-16. apr. 2004 toimus TTÜ Küberneetika Instituudi korraldatud rahvusvaheline workshop APPSEM'04 programmikeelte semantikast ja selle rakendustest]
Uustalu, Tarmo
Mente et Manu
2004
/
13. mai, lk. 2 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
46
artikkel kogumikus
Experimenting with graded monads: certified grading-based program transformations
Talvik, Tõnn
;
Uustalu, Tarmo
24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts
2018
/
p. 82-83
https://types2018.projj.eu/book-of-abstracts/
artikkel kogumikus
47
artikkel ajakirjas
Finiteness and rational sequences, constructively
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of functional programming
2017
/
art. e13, p. 1-20
https://doi.org/10.1017/S0956796817000041
artikkel ajakirjas
48
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Flexible presentations of graded monads
Katsumata, Shin-ya
;
McDermott, Dylan
;
Uustalu, Tarmo
;
Wu, Nicolas
Proceedings of the ACM on Programming Languages
2022
/
art. 123, 28 p
https://doi.org/10.1145/3547654
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
49
artikkel kogumikus EST
/
artikkel kogumikus ENG
Flexibly graded monads and graded algebras
McDermott, Dylan
;
Uustalu, Tarmo
Mathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings
2022
/
p. 102-128 : ill
https://doi.org/10.1007/978-3-031-16912-0_4
Conference Proceeding at Scopus
Article at Scopus
Article at WOS
Conference proceeding at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
50
artikkel kogumikus
Foreford
Uustalu, Tarmo
ICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming
2013
/
p. iii
artikkel kogumikus
Kirjeid leitud 144, kuvan
26 - 50
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