Author of the publication

Translation-Based Model Checking for PLC Programs.

, , , and . COMPSAC (1), page 553-562. IEEE Computer Society, (2009)

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

(Im)Perfect robustness and adaptation of metabolic networks subject to metabolic and gene-expression regulation: marrying control engineering with metabolic control analysis, , and . BMC Systems Biology, 7 (1): 131+ (2013)Multiterminal net assignments by scatter search., , , and . Math. Comput. Model., 41 (8-9): 997-1004 (2005)Human Activity Recognition Based on CSI fragment with Action-value Method., , , and . CACML, page 448-455. IEEE, (2022)An Iris Recognition Method Based on Annule-energy Feature., , , , , , , , and . CCBR, volume 9428 of Lecture Notes in Computer Science, page 341-348. Springer, (2015)A Novel Design of Double Gain Boosting Inductor Cascode Amplifier at Near-fmax Frequencies., , , and . ICTA, page 21-22. IEEE, (2020)Learning Disentangled Attribute Representations for Robust Pedestrian Attribute Recognition., , , , and . AAAI, page 1069-1077. AAAI Press, (2022)QueryProp: Object Query Propagation for High-Performance Video Object Detection., , , , and . AAAI, page 834-842. AAAI Press, (2022)Change point detection of time series based on relevance vector machine and Bayesian framework with application to steel manufacturing., , and . CCEAI, page 92-95. ACM, (2022)Satisfiability modulo ordering consistency theory for multi-threaded program verification., , and . PLDI, page 1264-1279. ACM, (2021)Quality Assessment of Protein Docking Models Based on Graph Neural Network., , , , , and . Frontiers Bioinform., (2021)