From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Certifying Zero-Knowledge Circuits with Refinement Types.

J. Liu, I. Kretz, H. Liu, B. Tan, J. Wang, Y. Sun, L. Pearson, A. Miltner, I. Dillig, и Y. Feng. IACR Cryptol. ePrint Arch., (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sun Yi

Yi Sun

Jian Yi Sun

Yi-Ran Sun

Nai-yi Sun

Другие публикации лиц с тем же именем

Associations of fats and carbohydrate intake with cardiovascular disease and mortality in 18 countries from five continents (PURE): a prospective cohort studyM. Dehghan, A. Mente, X. Zhang, S. Swaminathan, W. Li, V. Mohan, R. Iqbal, R. Kumar, E. Wentzel-Viljoen, A. Rosengren и 353 other автор(ы). The Lancet, 390 (10107): 2050--2062 (ноября 2017)Association of dietary nutrients with blood lipids and blood pressure in 18 countries: a cross-sectional analysis from the PURE studyA. Mente, M. Dehghan, S. Rangarajan, M. McQueen, G. Dagenais, A. Wielgosz, S. Lear, W. Li, H. Chen, S. Yi и 434 other автор(ы). The Lancet Diabetes & Endocrinology, 5 (10): 774--787 (октября 2017)A Study on Construction of Inflation Index based on Web Search Data .C. Hang, S. Yi, Y. Xin, и B. Lv. DCNET/ICE-B/OPTICS, стр. 336-343. SciTePress, (2013)Trace-Driven Analysis of ICN Caching Algorithms on Video-on-Demand Workloads.Y. Sun, S. Fayaz, Y. Guo, V. Sekar, Y. Jin, M. Kâafar, и S. Uhlig. CoNEXT, стр. 363-376. ACM, (2014)Modeling the rotational paddling of an ePaddle-based amphibious robot.Y. Sun, S. Ma, K. Fujita, Y. Yang, и H. Pu. IROS, стр. 610-615. IEEE, (2012)Characteristics of lug-soil interaction forces acting on a rotating lug in sandy soil.R. Yamamoto, Y. Yang, Y. Sun, и S. Ma. ROBIO, стр. 451-456. IEEE, (2014)Influences of lug motion on lug-soil reaction forces in sandy soil.R. Yamamoto, Y. Yang, Y. Sun, и S. Ma. CASE, стр. 176-181. IEEE, (2014)A Multilayer Perceptron Based Smart Pathological Brain Detection System by Fractional Fourier Entropy.Y. Zhang, Y. Sun, P. Phillips, G. Liu, X. Zhou, и S. Wang. J. Medical Systems, 40 (7): 173:1-173:11 (2016)Legged gaits planning for a novel ePaddle-based amphibious robot.Y. Sun, и S. Ma. ROBIO, стр. 299-304. IEEE, (2011)A Flexible Fabrication Approach Toward the Shape Engineering of Microscale Soft Pneumatic Actuators.X. Liang, Y. Sun, и H. Ren. IEEE Robotics Autom. Lett., 2 (1): 165-170 (2017)

BibSonomy

Disambiguation

Please choose a person to relate this publication to

Sun Yi

Yi Sun

Jian Yi Sun

Yi-Ran Sun

Nai-yi Sun

Другие публикации лиц с тем же именем

Disambiguation

BibSonomy

Disambiguation

копироватьудалитьдобавить публикацию в буферЗапись сообществапосмотреть историю данной записиURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Certifying Zero-Knowledge Circuits with Refinement Types.

Please choose a person to relate this publication to

Sun Yi

Yi Sun

Jian Yi Sun

Yi-Ran Sun

Nai-yi Sun

Другие публикации лиц с тем же именем

Disambiguation