Author of the publication

Runtime Verification of Spatio-Temporal Specification Language.

, , , , , , and . Mob. Networks Appl., 26 (6): 2392-2406 (2021)

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

Generalized additive models of hospital admissions with respiratory disease and meteorology., , , , , , and . CCIS, page 315-318. IEEE, (2014)Hybrid key: An automatic tool for real-time high quality chroma keying., and . ICIP, page 4853-4857. IEEE, (2015)Research on Axial Thermal Error Modeling Method of CNC Machine Tool Spindle Based on GA-ARMA*., , , , , , and . RCAR, page 197-201. IEEE, (2022)INAS: Incremental Neural Architecture Search., , , , and . ICAC, page 1-6. IEEE, (2022)Neuroinformatics Research in China- Current Status and Future Research Activities., , , , , and . ICNC (1), volume 3610 of Lecture Notes in Computer Science, page 1052-1056. Springer, (2005)Probabilistic Coordination Language for Component Dynamic Composition., and . TASE, page 317-318. IEEE Computer Society, (2009)Deciphering Human Mobility: Inferring Semantics of Trajectories with Large Language Models., , , , and . CoRR, (2024)A Modeling Framework for Individual-Based Urban Mobility Based on Data Fusion., , and . Geoinformatics, page 1-6. IEEE, (2018)Isogeometric Bi-Directional Evolutionary Structural Optimization., , , , , and . IEEE Access, (2019)A Short-Term Prediction Model at the Early Stage of the COVID-19 Pandemic Based on Multisource Urban Data., , , , , and . IEEE Trans. Comput. Soc. Syst., 8 (4): 938-945 (2021)