Author of the publication

Verifying Chemical Reaction Network Implementations: A Bisimulation Approach.

, , and . DNA, volume 9818 of Lecture Notes in Computer Science, page 114-134. Springer, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Evaluation of left atrial volume and function using single-beat real-time three-dimensional echocardiography in atrial fibrillation patients., , , , , , , and . BMC Medical Imaging, 17 (1): 44:1-44:6 (2017)SAR Remote Sensing Data for Subsurface Targets Detection and Lop Nur Lake Evolution and Extinction Study., , and . IGARSS (2), page 738-741. IEEE, (2008)Spatio-temporal structure of SST in El Niño regions and its relationships with zonal displacement anomaly of western Pacific warm pool., , , and . IGARSS, page 2025-2028. IEEE, (2011)Spatio-temporal variability of western pacific warm pool eastern edge and its relationship with ENSO., , and . Geoinformatics, page 1-5. IEEE, (2010)A spatiotemporal mining framework for abnormal association patterns in marine environments with a time series of remote sensing images., , , , and . Int. J. Appl. Earth Obs. Geoinformation, (2015)A Self-Tuning IoT Processor Using Leakage-Ratio Measurement for Energy-Optimal Operation., , , , , , , , , and 3 other author(s). IEEE J. Solid State Circuits, 55 (1): 87-97 (2020)Structured Analog Circuit and Layout Design with Transistor Array., , , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 96-A (12): 2475-2486 (2013)Risk-Based Non-Myopic Sensor Scheduling in Target Threat Level Assessment., and . IEEE Access, (2021)Fostering green innovation for corporate competitive advantages in big data era: the role of institutional benefits., , , , and . Technol. Anal. Strateg. Manag., 36 (2): 181-194 (February 2024)Analog Circuit Synthesis with Constraint Generation of Layout-Dependent Effects by Geometric Programming., , , , , , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 96-A (12): 2487-2498 (2013)