Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Uustalu, Tarmo (autor)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
147
Vaata veel..
(0/0)
Ekspordi
ekspordi kõik päringu tulemused
(147)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
A divertimento on MonadPlus and nondeterminism
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2016
/
p. 1086-1094 : ill
http://dx.doi.org/10.1016/j.jlamp.2016.06.004
artikkel ajakirjas
2
artikkel ajakirjas
A Hoare logic for the coinductive trace-based big-step semantics of While
Nakata, Keiko
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-32
http://dx.doi.org/10.2168/LMCS-11(1:1)2015
artikkel ajakirjas
3
artikkel ajakirjas
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
artikkel ajakirjas
4
artikkel kogumikus
A type system with subtyping for Webassembly’s stack polymorphism
McDermott, Dylan
;
Morita, Yasuaki
;
Uustalu, Tarmo
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 305–323
https://doi.org/10.1007/978-3-031-17715-6_20
artikkel kogumikus
5
dissertatsioon
A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest
Veltri, Niccolo
2017
https://digi.lib.ttu.ee/i/?7631
dissertatsioon
6
artikkel kogumikus
Acyclic attribute evaluation in a dependently typed setting
Firsov, Denis
;
Uustalu, Tarmo
Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)
2016
/
p. 124-126 : ill
http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
artikkel kogumikus
7
raamat
Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lectures
Vene, Varmo
;
Uustalu, Tarmo
2005
https://www.ester.ee/record=b2083926*est
raamat
8
artikkel kogumikus
Algebraic and coalgebraic perspectives on interaction laws
Uustalu, Tarmo
;
Voorneveld, Niels
Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings
2020
/
p. 186-205
https://doi.org/10.1007/978-3-030-64437-6_10
artikkel kogumikus
9
artikkel ajalehes
Alustab arvutiteaduse tippkeskus
Uustalu, Tarmo
Postimees
2008
/
19. aug., Koolituse Extra, lk. 10
https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus
artikkel ajalehes
10
artikkel kogumikus
An Estonian Research Excellence Centre in Gomputer Science : [the Estonian Centre for Dependable Computing]
Uustalu, Tarmo
Estonia : member state of NATO and the EU : international business handbook 2007-2008
2007
/
p. 182-190 : portr
artikkel kogumikus
11
artikkel kogumikus
Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]
Uustalu, Tarmo
Teadusmõte Küberneetika Instituudis
2010
/
lk. 86-90 : portr
artikkel kogumikus
12
artikkel ajakirjas
Arvutamine on loodusteadus : vastab Tarmo Uustalu
Uustalu, Tarmo
Horisont
2006
/
lk. 15-17 : portr
artikkel ajakirjas
13
artikkel kogumikus
Arvutiteadlaste koolid ja seminarid
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2003
2004
/
lk. 302-305
artikkel kogumikus
14
artikkel ajakirjas
Arvutiteadus ja infotehnoloogia Eestis
Uustalu, Tarmo
Eesti aastaraamat 2002-2003
2002
/
lk. 255-259
artikkel ajakirjas
15
artikkel ajalehes
Arvutiteadus uurib ka loodust : [kommenteerib TTÜ teadur Tarmo Uustalu]
Uustalu, Tarmo
;
Laurisaar, Riho
Eesti Päevaleht
2009
/
24. sept., lk. 24
https://epl.delfi.ee/artikkel/51178534/arvutiteadus-uurib-ka-loodust
artikkel ajalehes
16
artikkel ajalehes
Arvutiteadus, suusad ja saun : [3.-5. veebr. Arulas toimunud arvutiteaduse teooriapäevadest, osalejad TTÜ Küberneetika Instituudist, TTÜst, TÜst, mujalt Eestist ja Leicesteri Ülikoolist]
Uustalu, Tarmo
Mente et Manu
2003
/
11. veebr., lk. 1, 2 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
17
artikkel ajakirjas
Arvutiteaduse teooria Rõuges : [10. Eesti arvutiteaduse teooriapäevadel oli esindatud ka TTÜ]
Uustalu, Tarmo
A & A
2007
/
2, lk. 50-51 : fot
artikkel ajakirjas
18
artikkel ajalehes
Arvutiteaduse teooriat Rõuges : [10. Eesti arvutiteaduse teooriapäevadest]
Uustalu, Tarmo
Mente et Manu
2007
/
21. veebr., lk. 2 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
19
artikkel ajalehes
Arvutiteaduse tippkeskus
Uustalu, Tarmo
Eesti Päevaleht
2012
/
Eesti teaduse tippkeskused, lk. 4
artikkel ajalehes
20
artikkel ajakirjas
Arvutiteaduse tippkeskus panustab väliskoostöösse : [intervjuu keskuse juhi Tarmo Uustaluga]
Uustalu, Tarmo
Arvutimaailm
2008
/
9, lk. 12 : portr
artikkel ajakirjas
21
artikkel ajalehes
Arvutiteaduse tippkeskuse EXCS avalöök : [TTÜ 90. aastapäeva raames 18.-19. sept. 2008 toimuvast seminarist]
Uustalu, Tarmo
Mente et Manu
2008
/
12. sept., lk. 2
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
22
artikkel kogumikus
Arvutiteaduslik ekstsellentsus
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2008
2009
/
lk. 15-18
artikkel kogumikus
23
artikkel kogumikus
Boris Tamm ja Eesti infotehnoloogia tulevikusuunad : [kõne mälestuskonverentsil "Boris Tamm haridus- ja teadusjuhina" 22. juunil 2005]
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2005
2006
/
lk. 144-146
artikkel kogumikus
24
artikkel kogumikus
Build, augment and destroy, universally
Ghani, Neil
;
Uustalu, Tarmo
;
Vene, Varmo
Programming Languages and Systems : Second Asian Symposium : APLAS 2004 : Taipei, Taiwan, November 4-6, 2004 : proceedings
2004
/
p. 327-347
artikkel kogumikus
25
artikkel kogumikus
Calling paradigms and the box calculus
Santo, Jose Espırito
;
Pinto, Luis
;
Uustalu, Tarmo
EUTYPES-TYPES 2020 : Abstracts
2020
/
2 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
artikkel kogumikus
Kirjeid leitud 147, kuvan
1 - 25
eelmine
1
2
3
4
5
6
järgmine