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.

 

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

Experimental determination of momentum-resolved electron-phonon coupling, , , , , , , , , и 2 other автор(ы). Phys. Rev. Lett., 123 (2): 027001 (08.07.2019)HapPro: A Wearable Haptic Device for Proprioceptive Feedback., , , , и . IEEE Trans. Biomed. Eng., 66 (1): 138-149 (2019)Spreading of Localized Information across an Entire 3D Electrical Resistivity Volume via Constrained EMI Inversion Based on a Realistic Prior Distribution., , , и . Remote. Sens., 15 (16): 3993 (августа 2023)An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment., , , , , , и . J. Comput. Phys., (2015)Formal verification and validation of embedded systems: the UML-based MADES approach., , , , , , , и . Softw. Syst. Model., 14 (1): 343-363 (2015)A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications., , , и . Theor. Comput. Sci., (2016)THOR: A Hybrid Recommender System for the Personalized Travel Experience., , , , , и . Big Data Cogn. Comput., 6 (4): 131 (2022)On How Bit-Vector Logic Can Help Verify LTL-Based Specifications., , и . IEEE Trans. Software Eng., 48 (4): 1154-1168 (2022)A Flexible Approach for Checking Timed Automata on Continuous Time Semantics., , , и . CoRR, (2018)SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability, , , , и . CoRR, (2010)