Searching - TalTech Research Portal

display

sort

28776

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

journal article EST / journal article ENG

28777

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

28778

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

Related publications 1

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

28779

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

28780

journal article EST / journal article ENG

Formation and characterization of stable TiO2/CuxO-based solar cellsWisz, Grzegorz; Sawicka-Chudy, Paulina; Sibinski, Maciej; Yavorskyi, Rostyslav; Łabuz, Mirosław; Płoch, Dariusz; Bester, MariuszMaterials2023 / art. 5683, 15 p. : ill https://doi.org/10.3390/ma16165683 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

28781

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

28782

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

28783

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

28784

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

28785

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

28786

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

28787

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

28788

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

28789

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

28790

journal article EST / journal article ENG

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 https://doi.org/10.1021/ja507822j Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

28791

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

28792

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

28793

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

28794

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

28795

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

28796

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

28797

book article

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

book article

28798

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

28799

journal article EST / journal article ENG

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 https://doi.org/10.1007/s10973-015-4507-2 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

28800

book article

Formation of CdS and CdZnS films by spray pyrolysisKrunks, Malle; Mellikov, Enn; Sork, Eeve11th International Symposium on Photon-Detectors, Weimar, September, 11-13, 19841984 / S. 24

book article

types of item