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
Searching
My bookmarks
0
Uustalu, Tarmo (author)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
157
Look more..
(4/153)
Export
export all inquiry results
(157)
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
26
journal article EST
/
journal article ENG
Certified normalization of generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
Innovations in Systems and Software Engineering
2019
/
p. 253–265
https://doi.org/10.1007/s11334-019-00347-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
27
book article EST
/
book article ENG
Certified parsing of regular languages
Firsov, Denis
;
Uustalu, Tarmo
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
2013
/
p. 98 - 113
https://doi.org/10.1007/978-3-319-03545-1_7
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
28
journal article EST
/
journal article ENG
Coalgebraic update lenses
Ahman, Danel
;
Uustalu, Tarmo
Electronic notes in theoretical computer science
2014
/
p. 25-48 : ill
https://doi.org/10.1016/j.entcs.2014.10.003
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
29
book article EST
/
book article ENG
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
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
30
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
31
book article EST
/
book article ENG
Coherence for skew-monoidal categories
Uustalu, Tarmo
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
p. 68-77
https://doi.org/10.4204/EPTCS.153.5
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
32
book article EST
/
book article ENG
Coinductive big-step semantics for concurrency
Uustalu, Tarmo
Proceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 2013
2013
/
p. 63-78
https://doi.org/10.4204/EPTCS.137.6
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
33
book article
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
book article
34
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
35
book article
Comonadic functional attribute evaluation
Uustalu, Tarmo
;
Vene, Varmo
Trends in functional programming. Volume 6
2007
/
p. 145-162
book article
36
book article
Concurrent monads for shared state
Rivas, Exequiel
;
Uustalu, Tarmo
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming
2024
/
art. 17
https://doi.org/10.1145/3678232.3678249
Article at Scopus
Article at WOS
book article
37
book article EST
/
book article ENG
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
https://doi.org/10.1007/978-3-319-68953-1_8
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
38
book article EST
/
book article 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
book article EST
/
book article ENG
39
book article EST
/
book article 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
book article EST
/
book article ENG
40
book article EST
/
book article 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
book article EST
/
book article ENG
41
book article EST
/
book article ENG
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
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
42
book article EST
/
book article ENG
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
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
43
journal article EST
/
journal article ENG
Distributive laws of directed containers
Ahman, Danel
;
Uustalu, Tarmo
Progress in Informatics
2013
/
p. 3-18
https://doi.org/10.2201/NiiPi.2013.10.2
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
44
book article
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]
https://cs.ioc.ee/~danel/papers/cmcs12.pdf
book article
45
journal article EST
/
journal article ENG
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
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
46
newspaper article
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
newspaper article
47
journal article
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
journal article
48
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
49
newspaper article
Esimene arvutiteaduse teooriapäev
Uustalu, Tarmo
Universitas Tartuensis
2002
/
8. nov., lk. 2
newspaper article
50
book
Estonian code of conduct for research integrity
2017
http://www.ester.ee/record=b4761004*est
book
Number of records 157, displaying
26 - 50
previous
1
2
3
4
5
6
7
next
author
81
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.
Sildeberg, Tarmo
64.
Soomere, Tarmo
65.
Tamm, Tarmo
66.
Tappo, Tarmo
67.
Timm, Tarmo
68.
Tohver, Tarmo
69.
Trei, Tarmo
70.
Trummal, Tarmo
71.
Tuisk, Tarmo
72.
Tuule, Tarmo
73.
Tähepõld, Tarmo
74.
Unt, Tarmo
75.
Vaalu, Tarmo
76.
Vahter, Tarmo
77.
Veer, Tarmo
78.
Velsker, Tarmo
79.
Veskioja, Tarmo
80.
Viira, Tarmo
81.
Õuemaa, Tarmo
CV
37
1.
Uustalu, Tarmo
2.
Uustalu, Aare-Maldus 1935-2023
3.
Uustalu, Eero
4.
Uustalu, Enn
5.
Uustalu, Jaan Mihkel
6.
Uustalu, Raili
7.
Ahven, Tarmo
8.
All, Tarmo
9.
Elstrok, Tarmo
10.
Kadak, Tarmo
11.
Kaldma, Tarmo
12.
Kalvet, Tarmo
13.
Karma, Tarmo
14.
Kiipli, Tarmo 1951-2023
15.
Koppel, Tarmo
16.
Korõtko, Tarmo
17.
Kriis, Tarmo
18.
Kuningas, Tarmo
19.
Kõuts, Tarmo
20.
Lipping, Tarmo
21.
Metsmägi, Tarmo
22.
Post, Tarmo
23.
Randvee, Tarmo 1909-1992
24.
Robal, Tarmo
25.
Rosman, Tarmo
26.
Sahk, Tarmo
27.
Soomere, Tarmo
28.
Tallermaa, Tarmo
29.
Tamm, Tarmo
30.
Tamme, Tarmo
31.
Tohver, Tarmo
32.
Trummal, Tarmo
33.
Tuisk, Tarmo
34.
Vaalu, Tarmo
35.
Velsker, Tarmo
36.
Veskioja, Tarmo
37.
Viira, Tarmo 1942-1997
name of the person
34
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.
Kivisilla, Tarmo
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.
Lipping, Tarmo
18.
Mere, Tarmo
19.
Miilits, Tarmo
20.
Noop, Tarmo
21.
Piirmets, Tarmo
22.
Post, Tarmo
23.
Prints, Tarmo
24.
Purge, Tarmo
25.
Randvee, Tarmo, 1909-1992
26.
Robal, Tarmo
27.
Rosman, Tarmo, 1950-
28.
Sahk, Tarmo
29.
Soomere, Tarmo, 1957-
30.
Tappo, Tarmo
31.
Tohver, Tarmo
32.
Vaalu, Tarmo
33.
Valgepea, Tarmo
34.
Velsker, Tarmo
subject term
1
1.
Tarmo, kaubandus-tööstuse osaühisus
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT