Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Uustalu, Tarmo (TTÜ autor)

—

—

—

—

Lisa tingimus Liitotsing 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
51

artikkel kogumikus

ForefordUustalu, TarmoICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming2013 / p. iii

artikkel kogumikus
52

artikkel ajakirjas

ForewordVain, Jüri; Uustalu, TarmoProceedings of the Estonian Academy of Sciences. Physics. Mathematics2003 / 4, p. 334 https://artiklid.elnet.ee/record=b1014450*est

artikkel ajakirjas
53

artikkel ajakirjas EST / artikkel ajakirjas ENG

Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG
54

raamat

14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstractsVain, Jüri; Uustalu, Tarmo2002 https://www.ester.ee/record=b1710210*est

raamat
55

artikkel kogumikus EST / artikkel kogumikus ENG

Generating representative executions : extended abstractMaarand, Hendrik; Uustalu, Tarmo10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 20172017 / p. 39-48 : ill https://doi.org/10.4204/EPTCS.246.8 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
56

artikkel ajakirjas EST / artikkel ajakirjas ENG

Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 https://doi.org/10.1016/j.jlamp.2016.10.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
57

raamat

Hea teadustava2017 http://www.ester.ee/record=b4761000*est https://www.eetika.ee/sites/default/files/www_ut/hea_teadustava_trukis.pdf

raamat
58

artikkel ajakirjas

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 http://dx.doi.org/10.2168/LMCS-11(1:1)2015

artikkel ajakirjas
59

artikkel ajakirjas

Interaction laws of monads and comonadsKatsumata, Shin-ya; Rivas, Exequiel; Uustalu, TarmoarXiv.org2019 / 28 p. : ill https://arxiv.org/abs/1912.13477

artikkel ajakirjas
60

artikkel kogumikus EST / artikkel kogumikus ENG

Interaction laws of monads and comonadsKatsumata, Shin-ya; Rivas, Exequiel; Uustalu, TarmoProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany2020 / p. 604-618 https://doi.org/10.1145/3373718.3394808 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
61

artikkel kogumikus

Interaction morphisms [extended abstract]Katsumata, Shin-ya; Uustalu, TarmoCoALP-Ty'16 : pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types : November 28-29, 2016, Edinburgh, UK2016 / p. 7-8 https://arxiv.org/pdf/1612.03032.pdf

artikkel kogumikus
62

artikkel ajakirjas

Iteration and coiteration schemes for higher-order and nested datatypesAbel, Andreas; Matthes, Ralph; Uustalu, TarmoTheoretical computer science2005 / 1/2, p. 3-66 https://www.sciencedirect.com/science/article/pii/S0304397504007078

artikkel ajakirjas
63

raamat

Journal of logical and algebraic methods in programming. Vol. 85, iss. 6, NWPT 20132016

raamat
64

artikkel kogumikus

Kas tehismõistus peaks aru andma?Uustalu, TarmoEesti Teaduste Akadeemia aastaraamat = Annales academiae scientarum Estonicae 20162017 / lk. 66-68 : portr http://www.ester.ee/record=b1218094*est

artikkel kogumikus
65

artikkel ajalehes

Kokelt Palmsesse - arvutiteaduse probleemid kaasas : [IV Eesti arvutiteaduse teooriapäevad 30. jaan.-1. veebr. 2004 Harjumaal Kokel ja 9. Eesti Arvutiteaduse Talvekool 29. veebr.-5. märts 2004 Palmses]Uustalu, TarmoMente et Manu2004 / 30. märts, lk. 6 : fot https://www.ester.ee/record=b1242496*est

artikkel ajalehes
66

artikkel ajalehes

Käivitus mastaapne ITala europrojekt : [eVikings II projekt on Euroopa Liidu 5. raamprogrammi infoühiskonna tehnoloogiate (IST) alaprogrammile esitatud kaasnevate meetmete projekt, projekti koordinaator on TTÜ Küberneetika Instituut, lepinguosaline ka TTÜ]Uustalu, TarmoMente et Manu2003 / 4. veebr., lk. 2 https://www.ester.ee/record=b1242496*est

artikkel ajalehes
67

dissertatsioon

Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendusedSaabas, Ando2008 https://www.ester.ee/record=b2431341*est

dissertatsioon
68

artikkel kogumikus

Logics of skew categorical structuresUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanLogic4Peace : fundraising online logic event for peace, April 22-23, 2022 : book of abstracts2022 / p. 81-82 https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/slides/Uustalu-et-al_L4P-slides.pdf

artikkel kogumikus
69

artikkel kogumikus

Machine assisted proofs in the theory of monadsAltenkirch, Thorsten; Chapman, James; Uustalu, Tarmo21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings2009 / p. 83-85 https://jmchapman.io/papers/Assisted_Monads.pdf

artikkel kogumikus
70

artikkel kogumikus

Matemaatiline tarkvaratehnoloogia Saaremaal : [rahvusvahelisest konverentsist]Uustalu, TarmoAastaraamat 2006 / Eesti Matemaatika Selts2007 / lk. 136-138

artikkel kogumikus
71

raamat

Mathematics of Program Construction : 8th International Conference, MPC 2006 : Kuressaare, Estonia, July 2006 : proceedingsUustalu, Tarmo2006 https://www.ester.ee/record=b2160527*est

raamat
72

artikkel ajalehes

Millised kogemused on teil õppimisest ja õpetamisest välismaal? : [küsimusele vastab ka Tarmo Uustalu]Uustalu, TarmoÕpetajate Leht2009 / 13. nov., lk. 3 https://artiklid.elnet.ee/record=b1502235*est

artikkel ajalehes
73

artikkel ajalehes

MOBIUS: mobiilsus, ubikviteet, turvalisus! : [alates septembrist osaleb TTÜ Küberneetika Instituut EL 6. raamkava infoühiskonna tehnoloogiate (IST) prioriteetse teemavaldkonna projekti MOBIUS konsortsiumis]Uustalu, TarmoMente et Manu2005 / 30. nov., lk. 4 https://artiklid.elnet.ee/record=b2351998*est

artikkel ajalehes
74

artikkel kogumikus EST / artikkel kogumikus ENG

Modal embeddings and calling paradigmsEspirito Santo, Jose; Pinto, Luis; Uustalu, Tarmo4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 20192019 / art. 18 ; 20 p. : ill https://doi.org/10.4230/LIPIcs.FSCD.2019.18 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
75

artikkel kogumikus

Monadic augment and generalised short cut fusionGhani, Neil; Johan, Patricia; Uustalu, Tarmo; Vene, VarmoICFP'05 : Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming : September 26-28, 2005, Tallinn, Estonia2005 / p. 294-305

artikkel kogumikus

Kirjeid leitud 146, kuvan 51 - 75

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