Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Uustalu, Tarmo (TTÜ author)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 146
Look more.. (4/149)
Export

export all inquiry results (146)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
101

journal article

Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43

journal article
102

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
103

newspaper article

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

newspaper article
104

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
105

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
106

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
107

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
108

journal article

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

journal article
109

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
110

journal article

Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 http://dx.doi.org/10.1016/j.entcs.2015.12.024

journal article
111

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

book article
112

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
113

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
114

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
115

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
116

book article

Tarmo Uustalu is creating a new computer languageUustalu, TarmoEstonian Centre of Excellence in ICT Research2021 / p. 73-77 : ill http://www.digar.ee/id/nlib-digar:634779 https://www.ester.ee/record=b5456158*est

book article
117

book article

Teadus ja väärtusUustalu, TarmoTeadusmõte Eestis (VIII). Teaduskultuur : [artiklikogumik]2013 / lk. 10-15 : portr

book article
118

journal article

Teaduse tippkeskus infotehnoloogia alal : [Töökindlate Arvutisüsteemide Uurimise Keskusest]Uustalu, TarmoEesti aastaraamat 2006-20072006 / lk. 175-184 : fot

journal article
119

book article

Teaduspreemia täppisteaduste alal tööde tsükli "Matemaatilised struktuurid funktsionaalprogrammeerimises" eest : Tarmo UustaluUustalu, TarmoEesti Vabariigi preemiad : teadus. F. J. Wiedemanni keeleauhind. Kultuur. Sport2015 / lk. 52-62 : portr

book article
120

newspaper article

Tehnikaülikoolis on uus akadeemik - Tarmo Uustalu : [intervjuu Tarmo Uustaluga]Uustalu, TarmoMente et Manu2011 / lk. 3, 4 : fot https://www.ester.ee/record=b1242496*est

newspaper article
121

book article

The essence of dataflow programming (short version)Uustalu, Tarmo; Vene, VarmoProgramming Languages and Systems : Third Asian Symposium : APLAS 2005 : Tsukuba, Japan, November 2-5, 2005 : proceedings2005 / p. 2-18

book article
122

book

The journal of logic and algebraic programming2010 https://www.ester.ee/record=b1200932*est

book
123

book

2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedingsUustalu, Tarmo; Saabas, Ando2004 https://www.ester.ee/record=b1893488*est

book
124

book

31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts [Online resource]2019 https://doi.org/10.23658/taltech.nwpt/2019 https://www.ester.ee/record=b5292609*est

book
125

book

25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts [Electronic resource]2013 https://www.ester.ee/record=b3039924*est

book

Number of records 146, displaying 101 - 125

previous
1
2
3
4
5
6
next

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

vaste

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu