( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Consistency verification in modeling of real-time systems.

, , и . IEEE Trans. Robotics Autom., 20 (1): 136-142 (2004)

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.

Yi Deng

Yi Deng

Zhiguo Deng

Yiming Deng

Petra Deng

 

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

KDM security for identity-based encryption: Constructions and separations., , , и . Inf. Sci., (2019)Study on conservation planning for beijing old city based on RS and GIS., , , , и . IGARSS, стр. 1488-1491. IEEE, (2005)A formal model-based approach for developing an interoperable mobile agent system., , , , и . Multiagent Grid Syst., 2 (4): 401-412 (2006)An Adaptive and Robust Method for Oriented Oversampling With Spatial Information for Imbalanced Noisy Datasets., и . IEEE Access, (2023)Multi-layer perceptron-based tectonic discrimination of basaltic rocks and an application on the Paleoproterozoic Xiong'er volcanic province in the North China Craton., , и . Comput. Geosci., (2021)FL-MGVN: Federated learning for anomaly detection using mixed gaussian variational self-encoding network., , и . Inf. Process. Manag., 59 (2): 102839 (2022)Identifying Physical Interactions from Climate Data: Challenges and Opportunities., и . Comput. Sci. Eng., 17 (6): 27-34 (2015)A synoptic assessment of the summer extreme rainfall over the middle reaches of Yangtze River in CMIP5 models, , , , , и . Climate Dynamics, (11.05.2019)Causal Discovery for Climate Research Using Graphical Models, и . Journal of Climate, 25 (17): 5648 - 5665 (2012)KDM Security for Identity-Based Encryption: Constructions and Separations., , , и . IACR Cryptol. ePrint Arch., (2016)