Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Uustalu, Tarmo (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
51

journal article

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

journal article
52

journal article

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

journal article
53

book

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

book
54

book article

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 http://dx.doi.org/10.4204/EPTCS.246.8

book article
55

journal article

Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 http://dx.doi.org/10.1016/j.jlamp.2016.10.004

journal article
56

book

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

book
57

journal article

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

journal article
58

journal article

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

journal article
59

book article EST / book article 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

book article EST / book article ENG
60

book article

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

book article
61

journal article

Iteration and coiteration schemes for higher-order and nested datatypesAbel, Andreas; Matthes, Ralph; Uustalu, TarmoTheoretical computer science2005 / 1/2, p. 3-66

journal article
62

book

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

book
63

book article

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

book article
64

newspaper article

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

newspaper article
65

newspaper article

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

newspaper article
66

dissertation

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

dissertation
67

book article

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

book article
68

book article

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

book article
69

book article

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

book article
70

book

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

book
71

newspaper article

Millised kogremused on teil õppimisest ja õpetamisest välismaal? : [küsimusele vastab ka Tarmo Uustalu]Uustalu, TarmoÕpetajate Leht2009 / 13. nov., lk. 3

newspaper article
72

newspaper article

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

newspaper article
73

book article EST / book article 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

book article EST / book article ENG
74

book article

Modal embeddings and calling paradigmsSanto, José Espírito; Pinto, Luís; Uustalu, TarmoDays in Logic 2022 : Universidade do Algrave, June 30-July 2, 20222022 / 20 p https://drops.dagstuhl.de/opus/volltexte/2019/10525/pdf/LIPIcs-FSCD-2019-18.pdf https://daysinlogic2022.ualg.pt/wp-content/uploads/2022/06/BookletDiL2022.pdf

book article
75

book article

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

book article

Number of records 146, displaying 51 - 75

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