Adoption is not enough: Institutionalization of e-participation initiativesRandma-Liiv, TiinaPublic policy and administration2023 / p. 329-351 https://doi.org/10.1177%2F09520767211069199 Deriving and formalizing requirements of decentralized applications for inter-organizational collaborations on blockchainUdokwu, Chibuzor; Norta, AlexanderArabian journal for science and engineering2021 / p. 8397−8414 https://doi.org/10.1007/s13369-020-05245-4 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS 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 Investigating the impact of the dynamics of entrepreneurial intentions on ventures’ formalizationYana Mbena, Jacques; Durst, Susanne; Kraus, Sascha; Viala, CelineJournal of Entrepreneurship in Emerging Economies2023 / p https://doi.org/10.1108/JEEE-01-2023-0007 Is Euler's circle a symbol or an icon?Moktefi, AmiroucheSign systems studies = Töid märgisüsteemide alalt = Труды по знаковым системам2015 / p. 597-615 : ill http://dx.doi.org/10.12697/SSS.2015.43.4.14 http://www.ester.ee/record=b1331700*est