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.

 

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

Formal Reasoning on Infinite Data Values: An Ongoing Quest., , и . SETSS, том 10215 из Lecture Notes in Computer Science, стр. 195-257. (2016)A Proof-Theoretic Trust and Reputation Model for VANET., , , и . EuroS&P Workshops, стр. 146-152. IEEE, (2017)Android Stack Machine., , , , , и . CAV (2), том 10982 из Lecture Notes in Computer Science, стр. 487-504. Springer, (2018)A Probabilistic Analysis Framework for Malicious Insider Threats., , , и . HCI (22), том 9190 из Lecture Notes in Computer Science, стр. 178-189. Springer, (2015)A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints., , и . IJCAR, том 9706 из Lecture Notes in Computer Science, стр. 532-549. Springer, (2016)Softened Symbol Grounding for Neuro-symbolic Systems., , , , , , и . ICLR, OpenReview.net, (2023)Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems., , , и . CONCUR, том 4703 из Lecture Notes in Computer Science, стр. 120-135. Springer, (2007)Context-aware API recommendation using tensor factorization., , , , и . Sci. China Inf. Sci., (февраля 2023)Probabilistic analysis of QoS-aware service composition with explicit environment models., , , и . IET Softw., 14 (1): 59-71 (2020)User Review-Based Change File Localization for Mobile Applications., , , , , и . IEEE Trans. Software Eng., 47 (12): 2755-2770 (2021)