Searching - TalTech Research Portal

display

sort

27276

book article

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 20202020 / p. 270-283 https://doi.org/10.1145/3372885.3373814

book article

27277

journal article EST / journal article ENG

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

27278

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

27279

book article

Formalizingπ-calculus in guarded cubical agdaVeltri, Niccolo; Vezzosi, AndreaEUTYPES-TYPES 2020 : Abstracts2020 / 3 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf

book article

27280

book article EST / book article ENG

Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Seotud publikatsioonid 1

A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus

27281

book article

Formation and binding of sulphur dioxide by combustion of Estonian oil shaleKuusik, Rein, keemik; Arro, Hendrik; Kaljuvee, Tiit; Prikk, ArviCirculating Fluidized Bed Technology. VI : proceedings of the 6th International Conference on Circulating Fluidized Beds : Würzburg, Germany, August 22-27, 19991999 / p. 627-632

book article

27282

journal article

Formation and emission of compounds affecting environmentOts, ArvoOil shale2005 / 4S, p. 499-535 : ill https://artiklid.elnet.ee/record=b2352791*est

journal article

27283

dissertation

Formation and growth of Cu₂ZnSnS₄ monograin powder on molten CdI₂ = Cu₂ZnSnS₄ moodustumine ja monoterapulbri kasv CdI₂ sulafaasi keskkonnasNkwusi, Godswill2017 https://digi.lib.ttu.ee/i/?7690 https://www.ester.ee/record=b4678707*est

dissertation

27284

book article

Formation and processing of the orthogonal sounding signals in multichannel sonarsDuhnik, Alina; Koževnikov, ValeriBEC 2002 : proceedings of the 8th Biennial Baltic Electronics Conference : October 6-9, 2002, Tallinn, Estonia2002 / p. 191-194 : ill

book article

27285

book article

Formation and properties of chemically sprayed ZnO filmsKrunks, Malle; Mellikov, Enn; Bijakina, Olga; Varema, Tiit; Meissner, DieterOptical organic and semiconductor inorganic materials1997 / p. 129-134

book article

27286

book article

Formation and properties of chemically sprayed Zno filmsKrunks, Malle; Mellikov, Enn; Bijakina, Olga; Varema, Tiit; Meissner, DieterInternational Conference Advanced Optical Materials and Devices, Riga, 19961996 / p. 193

book article

27287

book article

Formation and recrystallization of CuInS2 films in spray pyrolytic processKrunks, Malle; Bijakina, Olga; Mikli, Valdek; Varema, Tiit24th Estonian Chemistry Days : abstracts of scientific conference1998 / p. 33

book article

27288

journal article EST / journal article ENG

Formation and trapping of the thermodynamically unfavoured inverted-hemicucurbit[6]urilPrigorchenko, Elena; Kaabel, Sandra; Narva, Triin; Baškir, Anastassia; Fomitšenko, Maria; Adamson, Jasper; Järving, Ivar; Rissanen, Kari; Tamm, Toomas; Aav, RiinaChemical communications2019 / p. 9307−9310 : ill https://doi.org/10.1039/C9CC04990H Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

27289

journal article EST / journal article ENG

Formation mechanisms of Stalinist oil-shale mining and industrial towns in East Estonia: Soviet nuclear needs and local ambitionsSultson, SiimJournal of Urban History2021 / p. 584-605 https://doi.org/10.1177/0096144219888506 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

27290

book article EST / book article ENG

Formation number of vortex ringsDanaila, Ionut; Kaplanski, Felix; Sazhin, SergeiVortex Ring Models2021 / p. 121-139 https://doi.org/10.1007/978-3-030-68150-0_6 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

27291

journal article

Formation of [4Fe-4S] clusters in the mitochondrial iron−sulfur cluster assembly machineryBrancaccio, Diego; Zovo, Kairit; Palumaa, PeepJournal of the American Chemical Society2014 / p. 16240-16250 : ill

journal article

27292

journal article

The formation of a good safety culture at enterpriseJärvis, Marina; Tint, PiiaJournal of business economics and management2009 / 2, p. 169-180 : ill

journal article

27293

journal article

Formation of A II B VI films by spray pyrolysisKrunks, Malle; Mellikov, Enn; Sork, Eeve; Iljina, NataljaJournal of materials and product. technology1991

journal article

27294

book article

Formation of A2B6 films by spray pyrolysisKrunks, Malle; Mellikov, EnnChair of Semiconductor Materials Technology : activity report, 1988-19931994 / p. 28-30

book article

27295

book article

Formation of aeolian landscapes in EstoniaRatas, Urve; Raukas, Anto; Rivis, Reimo; Tavast, Elvi; Vilumaa, Kadri; Anderson, AgnesEstonia. Geographical studies. 11 : on the occasion of the 32nd International Geographical Congress / Estonian Geographical Society2012 / p. 95-111 : ill

book article

27296

journal article

Formation of aerosol particles by low-frequency sound-stimulated combustionDušenko, Veera; Hussainov, Medhat; Štšeglov, Igor; Tiikma, ToomasProceedings of the Estonian Academy of Sciences. Engineering2003 / 2, p. 137-147 : ill

journal article

27297

book article

Formation of air-polluting compounds while burning oil shaleOts, ArvoEnergy and Environment 1991 : International Symposium on Energy and Environment, August 25-28, 1991, Espoo, Finland1991 / p. 284-290: ill

book article

27298

book article

Formation of auditing in Estonian RepublicMaspanov, IiviConference Accounting and Taxation Problems : September 8.-9. 20002000 / p. 50-51

book article

27299

book article

Formation of Ca-Zn-Na phosphate bioceramic material in thermal processing of EDTA sol-gel precursorBogdanoviciene, Irma; Cepenko, Marina; Traksmaa, Rainer; Kareiva, Aivaras; Tõnsuaadu, KaiaESTAC-11 : the 11th European Symposium on Thermal Analysis and Calorimetry : Dipoli Congress Center, Espoo, Finland, August 17-21, 2014 : abstracts2014 / p. 190

book article

27300

journal article

Formation of Ca-Zn-Na phosphate bioceramic material in thermal processing of EDTA sol-gel precursorBogdanoviciene, Irma; Cepenko, Marina; Traksmaa, Rainer; Kareiva, Aivaras; Tõnsuaadu, KaiaJournal of Thermal Analysis and Calorimetry2015 / p. 107-114 : ill http://dx.doi.org/10.1007/s10973-015-4507-2

journal article

types of item