Author of the publication

Distribution-Based Bisimulation for Labelled Markov Processes.

, , and . FORMATS, volume 10419 of Lecture Notes in Computer Science, page 170-186. Springer, (2017)

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

Fuzzy control strategy for hypersonic missile autopilot with blended aero-fin and lateral thrust., , , and . J. Syst. Control. Eng., 230 (1): 72-81 (2016)Humidity-Induced Charge Leakage and Field Attenuation in Electric Field Microsensors., , , , , and . Sensors, 12 (4): 5105-5115 (2012)Four-Dimensional Cone Beam CT Imaging Using a Single Routine Scan via Deep Learning., , , , , , and . IEEE Trans. Medical Imaging, 42 (5): 1495-1508 (May 2023)CNN Confidence Estimation for Rejection-Based Hand Gesture Classification in Myoelectric Control., , , , and . IEEE Trans. Hum. Mach. Syst., 52 (1): 99-109 (2022)Energy Consumption and QoS-Aware Co-Offloading for Vehicular Edge Computing., , , , , , and . IEEE Internet Things J., 10 (6, March 15): 5214-5225 (2023)EEG Analysis of Working Memory Between Sober State and Intoxicated State., , , , and . IEEE Access, (2021)Grasping-Force-Based Passive Safety Method for a Vascular Interventional Surgery Robot System., , , , , , , , and . IEEE Trans. Instrum. Meas., (2023)Semantic Segmentation and Analysis on Sensitive Parameters of Forest Fire Smoke Using Smoke-Unet and Landsat-8 Imagery., , , , , , and . Remote. Sens., 14 (1): 45 (2022)A new construction of fuzzy operator-attribute-based signcryption on VCC., , , , and . Int. J. Embed. Syst., 9 (6): 560-569 (2017)Recognizing Substitution Steganography of Spatial Domain Based on the Characteristics of Pixels Correlation., , , and . Int. J. Digit. Crime Forensics, 9 (4): 48-61 (2017)