• Securing verified IO programs against unverified code in F∗Andrici, Cezar-Constantin; Ciobâca, Stefan; HriÅ£cu, Catalin; Martínez, Guido; Rivas Gadda, Exequiel Matías; Tanter, Éric; Winterhalter, ThéoProceedings of the ACM on programming languages2024 / art. 74, 34 p. : ill https://doi.org/10.1145/3632916 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/pages/publications/85183076604?inward https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2024 https://www.webofscience.com/wos/woscc/full-record/WOS:001170729400075
• A structural decomposition and comparison of different factors on the agricultural sectors of China, Russia and India, under a global value chainJia, Lijun; Zheng, Xiaosong; Xu, Haiping; Zhao, DanhengTransformations in business and economics2017 / p. 413-429 http://www.transformations.knf.vu.lt/42c/article/astr