From post

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.

 

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

A Refined Algorithm for Reachability Analysis of Updatable Timed Automata., , , и . QRS Companion, стр. 230-236. IEEE, (2015)Least Square Fast Learning Network for modeling the combustion efficiency of a 300WM coal-fired boiler., , , и . Neural Networks, (2014)On-the-Fly Model Checking of Fair Non-repudiation Protocols., и . ATVA, том 4762 из Lecture Notes in Computer Science, стр. 511-522. Springer, (2007)On Termination and Boundedness of Nested Updatable Timed Automata., , и . SOFL+MSVL, том 10189 из Lecture Notes in Computer Science, стр. 15-31. (2016)The Complexity of Linear-Time Temporal Logic Model Repair., и . SOFL+MSVL, том 10795 из Lecture Notes in Computer Science, стр. 69-87. Springer, (2017)A general-purpose edge-feature guidance module to enhance vision transformers for plant disease identification., , , , и . Expert Syst. Appl., 237 (Part C): 121638 (марта 2024)Scalable linear invariant generation with Farkas' lemma., , , , и . Proc. ACM Program. Lang., 6 (OOPSLA2): 204-232 (2022)DDFP: A data driven filter pruning method with pruning compensation., , и . J. Vis. Commun. Image Represent., (2023)LBCRN: lightweight bidirectional correction residual network for image super-resolution., , , , и . Multidimens. Syst. Signal Process., 34 (1): 341-364 (марта 2023)HAM: Hybrid attention module in deep convolutional neural networks for image classification., , , , и . Pattern Recognit., (2022)