From post

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.

 

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

Proof repair across type equivalences., , , , и . PLDI, стр. 112-127. ACM, (2021)Adapting proof automation to adapt proofs., , , и . CPP, стр. 115-129. ACM, (2018)IPDA: Interconnect Performance Design Assistant., , , , и . DAC, стр. 472-477. IEEE Computer Society Press, (1992)Demo: counterpoint by construction., и . FARM@ICFP, стр. 22-24. ACM, (2019)Ornaments for Proof Reuse in Coq., , , и . ITP, том 141 из LIPIcs, стр. 26:1-26:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Analog Baseband for a 76-81 GHz FMCW Automotive Radar Receiver., , и . IECON, стр. 2007-2010. IEEE, (2020)Signal Processing Technique for AC Corona Pulses and Charge Computation., , , и . IAS, стр. 1-7. IEEE, (2020)Application research of network learning algorithm based on neural network disturbance compensation in satellite attitude control., и . J. Ambient Intell. Humaniz. Comput., 14 (12): 16513-16520 (декабря 2023)A -121dBm sensitivity, 2μJ/bit Rx, 8.8μJ/bit Tx, narrowband transceiver for ARIB STD and IoT., , , , , и . A-SSCC, стр. 185-188. IEEE, (2017)On coefficients of the Tutte polynomial.. Discret. Math., 184 (1-3): 121-135 (1998)