Searching - TalTech Research Portal

display

sort

4751

journal article EST / journal article ENG

Formal and informal macro-regional transport clusters as a primary step in the design and implementation of cluster-based strategiesNežerenko, Olga; Koppel, OttTransport and telecommunication2015 / p. 207-216 : ill https://doi.org/10.1515/ttj-2015-0019 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

4752

journal article EST / journal article ENG

Formal methods based security for cloud-based manufacturing cyber physical systemMuniasamy, Kandasamy; Srinivasan, Seshadhri; Vain, Jüri; Sethumadhavan, M.IFAC-PapersOnLine2019 / p. 1198-1203 https://doi.org/10.1016/j.ifacol.2019.11.361 Conference proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

4753

journal article EST / journal article ENG

Formal safety versus real safety : quantitative and qualitative approaches to safety culture - evidence from EstoniaJärvis, Marina; Virovere, Anu; Tint, PiiaProceedings of the Latvian Academy of Sciences. Section B, Natural, exact, and applied sciences2016 / p. 269-277 : ill https://doi.org/10.1515/prolas-2016-0042 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

4754

journal article EST / journal article ENG

A formal specification smart-contract language for legally binding decentralized autonomous organizationsDwivedi, Vimal Kumar; Norta, Alexander; Wulf, Alexander; Leiding, Benjamin; Saxena, Sandeep; Udokwu, ChibuzorIEEE Access2021 / p. 76069−76082 : ill https://doi.org/10.1109/ACCESS.2021.3081926 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

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

4755

book article

Formal synthesis of 9,11-SecosterolsRõuk, Kristi; Kõllo, Marek; Lopp, MargusBalticum Organicum Syntheticum (BOS 2024) : Book of Abstracts2024 / art. 115, p. 134 https://boschem.eu/bos2024/wp-content/uploads/sites/5/2024/07/BOS2024_Abstract-Book.pdf

book article

4756

book article EST / book article ENG

Formal verification of COLREG-Based Navigation of maritime autonomous systemsShokri-Manninen, Fatima; Vain, Jüri; Walden, MarinaSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings2020 / p. 41-59 https://doi.org/10.1007/978-3-030-58768-0_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

4757

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

4758

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

4759

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

4760

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

4761

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

4762

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

4763

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

4764

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

4765

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

4766

journal article EST / journal article ENG

Formation of Cu2ZnSnS4 absorber layers for solar cells by electrodeposition-annealing routeIljina, Julia; Zhang, R.; Ganchev, Maxim; Raadik, Taavi; Volobujeva, Olga; Altosaar, Mare; Traksmaa, Rainer; Mellikov, EnnThin Solid Films2013 / p. 85 - 89 https://doi.org/10.1016/j.tsf.2013.04.038 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

4767

journal article EST / journal article ENG

Formation of fine Mg2Si phase in Mg–Si alloy via solid-state sintering using high energy ball millingSeth, Prem Prakash; Singh, Neera; Singh, Manoj; Prakash, Om; Kumar, DevendraJournal of alloys and compounds2020 / art. 153205, 10 p. : ill https://doi.org/10.1016/j.jallcom.2019.153205 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

4768

journal article EST / journal article ENG

Formation of highly organized intracellular structure and energy metabolism in cardiac muscle cells during postnatal development of rat heartAnmann, Tiia; Varikmaa, Minna; Timohhina, Natalja; Tepp, Kersti; Shevchuk, Igor; Chekulayev, Vladimir; Saks, Valdur; Kaambre, TuuliBiochimica et biophysica acta - Bioenergetics2014 / p. 1350-1361 : ill https://doi.org/10.1016/j.bbabio.2014.03.015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

4769

journal article

Formation of property gradient in coarse-grained niobium using a wedge tool : experiment and analysisTarasov, Oleksandr; Kübarsepp, Jakob; Viljus, Mart; Saarna, Mart; Sergejev, FjodorInternational journal of refractory metals and hard materials2024 / art. 106905 https://doi.org/10.1016/j.ijrmhm.2024.106905

journal article

4770

journal article EST / journal article ENG

Formation of the abundance of microfungi on the barley grain grown as pure and mixed crops in Central and North EstoniaAkk, Elina; Lõiveke, Heino; Edesi, Liina; Kütt, Mary-Liis; Lauringson, Enn; Kastanje, VeikoEstonian journal of ecology2013 / lk. 265-275 : ill https://artiklid.elnet.ee/record=b2651620*est https://doi.org/10.3176/eco.2013.4.03 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

4771

journal article EST / journal article ENG

Formation of uniform PVDF fibers under ultrasound exposure in presence of anionic surfactantTarasova, Elvira; Tamberg, K.-G.; Viirsalu, Mihkel; Savest, Natalja; Gudkova, Viktoria; Krasnou, Illia; Krumme, AndresJournal of electrostatics2015 / p. 39-47 : ill https://doi.org/10.1016/j.elstat.2015.05.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

4772

journal article EST / journal article ENG

Forming ability of the WC-based ceramic metal composites with different Fe-based binders by unique laser beam modulationMaurya, Himanshu Singh; Juhani, Kristjan; Sergejev, Fjodor; Kumar Yadav, Mayank; Hussain, Abrar; Prashanth, Konda GokuldossNext Materials2025 / art. 100524 https://doi.org/10.1016/j.nxmate.2025.100524

journal article EST / journal article ENG

4773

book article EST / book article ENG

Formula student: Assessing the future of the established student-led engineering competitionShakya, Shobhit; Dohnalova, Ludmila; Cuevas Garcia, Carlos; Karo, Erkki; Mottl, PatrikFutureproofing Engineering Education for Global Responsibility : Proceedings of the 27th International Conference on Interactive Collaborative Learning (ICL 2024) ; vol. 32025 / p. 387-397 https://doi.org/10.1007/978-3-031-83523-0_36

book article EST / book article ENG

4774

journal article EST / journal article ENG

Formulation and aerosol jet printing of nickel nanoparticle ink for high-temperature microelectronic applications and patterned graphene growthMcKibben, Nicholas; Curtis, Michael; Maryon, Olivia; Sawyer, Mone't; Lazouskaya, Maryna; Eixenberger, Josh; Deng, Zhangxian; Estrada, DavidACS Applied Electronic Materials2024 / p. 748 - 760 https://doi.org/10.1021/acsaelm.3c01175 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

4775

journal article EST / journal article ENG

Formulation of active food packaging by design: Linking composition of the film-forming solution to properties of the chitosan-based film by response surface methodology (RSM) modellingBajić, Marijan; Oberlintner, Ana; Kõrge, Kristi; Likozar, Blaž; Novak, UrošInternational Journal of Biological Macromolecules2020 / p. 971 - 978 https://doi.org/10.1016/j.ijbiomac.2020.05.186 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

types of item