Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Uustalu, Tarmo (TTÜ 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 146
Vaata veel.. (4/149)
Ekspordi

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

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
76

artikkel ajakirjas EST / artikkel ajakirjas ENG

Monads need not be endofunctorsAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoLogical methods in computer science2015 / p. 1-40 https://doi.org/10.2168/LMCS-11(1:3)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
77

artikkel kogumikus

Normalization by evaluation for lambda 2Altenkirch, Thorsten; Uustalu, TarmoFunctional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings2004 / p. [260]-275

artikkel kogumikus
78

artikkel ajalehes

Näilik efektiivsus ja kvaliteet : projektipõhine teaduskorraldus taandab teadlased juhutöölisteksUustalu, TarmoSirp2014 / lk. 34-35 https://www.sirp.ee/s1-artiklid/c9-sotsiaalia/2014-01-09-14-40-08/

artikkel ajalehes
79

artikkel ajakirjas

On streams that are finitely redBezem, Marc; Nakata, Keiko; Uustalu, TarmoLogical methods in computer science2012 / p. 1-20 https://www.researchgate.net/publication/231582269_On_streams_that_are_finitely_red

artikkel ajakirjas
80

dissertatsioon

Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantikaMaarand, Hendrik2020 https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb

dissertatsioon
81

artikkel kogumikus

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, Tarmo31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 40-43 https://doi.org/10.23658/taltech.nwpt/2019 https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf

artikkel kogumikus
82

artikkel ajakirjas EST / artikkel ajakirjas ENG

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
83

artikkel ajakirjas

Palmse, märts ja teoreetiline arvutiteadusUustalu, TarmoMente et Manu2016 / lk. 7-9 : fot https://artiklid.elnet.ee/record=b2758759*est

artikkel ajakirjas
84

artikkel ajalehes

Paneme masina aru andmaUustalu, TarmoPostimees2016 / AK, lk. 9

artikkel ajalehes
85

artikkel kogumikus EST / artikkel kogumikus ENG

Partiality and container monadsUustalu, Tarmo; Veltri, NiccoloProgramming Languages and Systems : 15th Asian Symposium, APLAS 2017,Suzhou, China, November 27–29, 2017 : proceedings2017 / p. 406-425 : ill https://doi.org/10.1007/978-3-319-71237-6_20 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
86

artikkel kogumikus EST / artikkel kogumikus ENG

Partiality and container monadsUustalu, Tarmo; Veltri, Niccolo23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts2017 / p. 99-100 https://types2017.elte.hu/proc.pdf#page=107 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
87

artikkel ajakirjas

Partiality via coinductive types (abstract)Uustalu, TarmoOberwolfach reports / European Mathematical Society2005 / p. 807

artikkel ajakirjas
88

artikkel ajakirjas EST / artikkel ajakirjas ENG

Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luis; Uustalu, TarmoJournal of Logical and Algebraic Methods in Programming2022 / art. 100775, 17 p https://doi.org/10.1016/j.jlamp.2022.100775 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
89

artikkel kogumikus

PrefaceUustalu, Tarmo; Vain, Jüri31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. iii https://doi.org/10.23658/taltech.nwpt/2019

artikkel kogumikus
90

artikkel kogumikus EST / artikkel kogumikus ENG

PrefaceFischer, Bernd; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings2018 / p. V-VI https://link.springer.com/content/pdf/bfm%3A978-3-030-02508-3%2F1.pdf https://www.ester.ee/record=b5174218*est https://doi.org/10.1007/978-3-030-02508-3 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
91

artikkel ajalehes

Programm PARROTilt Tehnikaülikoolile : [Eesti-Prantsuse teadus- ja tehnoloogiaalase koostööprogrammi raames rahastatakse 2003. a. 10 rahvusvahelise teadlastegrupi koostööd, sh teadlased TTÜst : Tarmo Uustalu kommentaariga]Kurss, Helen; Uustalu, TarmoMente et Manu2003 / 4. veebr., lk. 3 https://www.ester.ee/record=b1242496*est

artikkel ajalehes
92

artikkel ajalehes

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

artikkel ajalehes
93

artikkel kogumikus

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

artikkel kogumikus
94

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

artikkel kogumikus EST / artikkel kogumikus ENG
95

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

artikkel kogumikus EST / artikkel kogumikus ENG
96

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

artikkel ajakirjas EST / artikkel ajakirjas ENG
97

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

artikkel ajakirjas EST / artikkel ajakirjas ENG
98

artikkel kogumikus

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

artikkel kogumikus
99

artikkel ajalehes

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

artikkel ajalehes
100

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

Kirjeid leitud 146, kuvan 76 - 100

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