Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Uustalu, Tarmo (autor)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 148
Vaata veel.. (4/150)
Ekspordi

ekspordi kõik päringu tulemused (148)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
101

artikkel kogumikus

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

artikkel kogumikus
102

artikkel ajakirjas

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

artikkel ajakirjas
103

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
104

artikkel ajalehes

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

artikkel ajalehes
105

artikkel kogumikus

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

artikkel kogumikus
106

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
107

artikkel kogumikus

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

artikkel kogumikus
108

artikkel ajakirjas

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

artikkel ajakirjas
109

artikkel ajakirjas

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

artikkel ajakirjas
110

raamat

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

raamat
111

artikkel ajakirjas

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

artikkel ajakirjas
112

artikkel kogumikus

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

artikkel kogumikus
113

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
114

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
115

artikkel ajalehes

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

artikkel ajalehes
116

artikkel ajalehes

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

artikkel ajalehes
117

artikkel kogumikus

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

artikkel kogumikus
118

artikkel kogumikus

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

artikkel kogumikus
119

artikkel ajakirjas

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

artikkel ajakirjas
120

artikkel kogumikus

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

artikkel kogumikus
121

artikkel ajalehes

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

artikkel ajalehes
122

artikkel kogumikus

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

artikkel kogumikus
123

raamat

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

raamat
124

raamat

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

raamat
125

raamat

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

raamat

Kirjeid leitud 148, kuvan 101 - 125

eelmine
1
2
3
4
5
6
järgmine

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

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu