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.

 

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

Verification of Flow-Based Computing Systems Using Bounded Model Checking., , , , и . ICCAD, стр. 1-9. IEEE, (2023)DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision., , , и . ICCAD, стр. 151:1-151:9. IEEE, (2020)Hybrid Analog-Digital In-Memory Computing., , и . ICCAD, стр. 1-9. IEEE, (2021)Detecting Deepfake Videos using Attribution-Based Confidence Metric., , , , , , , и . CVPR Workshops, стр. 1250-1259. Computer Vision Foundation / IEEE, (2020)Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking., и . BIBM, стр. 179-184. IEEE Computer Society, (2018)Memory-Efficient Filter-Based Approximate Optimal Regulation of Unknown LTI Systems Using Initial Excitation., , и . CDC, стр. 1638-1643. IEEE, (2018)Temporal Logic Model Checking, , , и . Handbook of Networked and Embedded Control Systems, Birkhäuser Boston, (2005)Parameter discovery for stochastic computational models in systems biology using Bayesian model checking., , , , , и . ICCABS, стр. 1-2. IEEE Computer Society, (2014)SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures., , , , , , и . ICCABS, стр. 1. IEEE Computer Society, (2015)When to stop verification?: Statistical trade-off between expected loss and simulation cost., , , и . DATE, стр. 1309-1314. IEEE, (2011)