Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

Uustalu, Tarmo (author)

—

—

Add criteria Simple search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 159
Look more.. (4/154)
Export

export all inquiry results (159)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
101

newspaper article

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, TarmoMente et Manu2005 / 19. okt., lk. 2 https://www.ester.ee/record=b1242496*est

newspaper article
102

book article

Programmikeelte suurkonverents : [ühendkonverents TFP/ICFP/GPCP 2005 Tallinnas]Uustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20052006 / lk. 391-393

book article
103

book article EST / book article ENG

Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
104

book article EST / book article ENG

Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
105

journal article EST / journal article ENG

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
106

journal article EST / journal article ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloMathematical structures in computer science2019 / p. 67-92 https://doi.org/10.1017/s0960129517000184 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
107

book article

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, Niccolo21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 / p. 38-39

book article
108

book article EST / book article ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccolòTheoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings2015 / p. 110 - 125 https://doi.org/10.1007/978-3-319-25150-9_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG
109

newspaper article

Rahvusvaheline Eesti arvutiteadus : [arvutiteaduse teooriapäevadest. Bergeni professori loengukursusest. Arvutiteaduse talvekoolist. Tulevatest suvesündmustest]Uustalu, TarmoMente et Manu2005 / 6. apr., lk. 9, 10 : fot https://www.ester.ee/record=b1242496*est

newspaper article
110

book article

Reasoning about correctness of transactional memory with operational semanticsSaar, Andri; Uustalu, TarmoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 145-148

book article
111

journal article EST / journal article ENG

Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43 https://doi.org/10.6092/issn.1972-5787/4389 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG
112

book article EST / book article ENG

Reordering derivatives of trace closures of regular languages [Online resource]Maarand, Hendrik; Uustalu, Tarmo30th 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

book article EST / book article ENG
113

newspaper article

Seitse aastat soosingutUustalu, TarmoMente et Manu2015 / lk. 9-11 : fot https://artiklid.elnet.ee/record=b2741003*est

newspaper article
114

book article

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamThe interplay of mathematics, logic, and linguistics2021 / p. 377-406 https://doi.org/10.1007/978-3-030-66545-6_11

book article
115

journal article EST / journal article ENG

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2018 / p. 345-370 https://doi.org/10.1016/j.entcs.2018.11.017 Journal metrics at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG
116

book article

Signals and comonadsUustalu, Tarmo; Vene, VarmoProceedings of 9th Brazilian Symposium on Programming Languages : SBLP'05 : Recife, Brazil, May 23-25, 20052005 / p. 215-228

book article
117

journal article

Signals and comonadsUustalu, Tarmo; Vene, VarmoJournal of universal computer science2005 / 7, p. 1310-1326 https://www.jucs.org/jucs_11_7/signals_and_comonads.html

journal article
118

journal article

Sisust ja mainestUustalu, TarmoA & A2008 / lk. 5-7 https://artiklid.elnet.ee/record=b1022326*est

journal article
119

book

6th Workshop on Fixed Points in Computer Science : FICS 2009 : Coimbra, Portugal, 12-13 September 2009 : proceedingsMatthes, Ralph; Uustalu, Tarmo2009 https://www.ester.ee/record=b2506216*est

book
120

journal article EST / journal article ENG

Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 https://doi.org/10.1016/j.entcs.2015.12.024 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG
121

book article

Structured general corecursion and coinductive graphs [extended abstract]Uustalu, TarmoEPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 20122012 / p. 55-61 https://arxiv.org/abs/1202.3502

book article
122

book article EST / book article ENG

Sweedler theory of monadsMcDermott, Dylan; Rivas, Exequiel; Uustalu, TarmoFoundations 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 : proceedings2022 / 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

book article EST / book article ENG
123

book article EST / book article ENG

Taking updates seriouslyAhman, Danel; Uustalu, Tarmo6th International Workshop on Bidirectional Transformations, BX 2017 : Uppsala, Sweden, 29 April 20172017 / p. 59-73 : ill http://ceur-ws.org/Vol-1827/paper11.pdf Journal metrics at Scopus Article at Scopus

book article EST / book article ENG
124

newspaper article

Talvises Palmses arvutiteaduse musti auke lappimas : [2.-7. märtsil Palmses toimunud kaheksandast Eesti arvutiteaduse talvekoolist EWSCS'03]Uustalu, TarmoMente et Manu2003 / 1. apr., lk. 2 : fot https://www.ester.ee/record=b1242496*est

newspaper article
125

newspaper article

Tarkvaratehnoloogiast Saaremaal : [2.-8. juulini toimunud matemaatilise tarkvaratehnoloogia ühendkonverentsist MPC/AMAST 2006]Uustalu, TarmoMente et Manu2006 / 20. sept., lk. 3 https://www.ester.ee/record=b1242496*est

newspaper article

Number of records 159, displaying 101 - 125

previous
1
2
3
4
5
6
7
next

1. Tarmo, kaubandus-tööstuse osaühisus

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu