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.

 

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

Privacy and verifiability in voting systems: Methods, developments and trends., , и . Comput. Sci. Rev., (2013)Sequential Control of Boolean Networks with Temporary and Permanent Perturbations., и . CoRR, (2020)Cones and foci: A mechanical framework for protocol verification., , и . Formal Methods Syst. Des., 29 (1): 1-31 (2006)Adapting the UPPAAL Model of a Distributed Lift System., , и . FSEN, том 4767 из Lecture Notes in Computer Science, стр. 81-97. Springer, (2007)Semantic and Relational Spaces in Science of Science: Deep Learning Models for Article Vectorisation., , , и . CoRR, (2020)Analysis of a distributed system for lifting trucks., , и . J. Log. Algebraic Methods Program., 55 (1-2): 21-56 (2003)Cloud Computing-Assisted Dose Verification System and Method for Tumor Pain Treatment., , , , , , , , , и 5 other автор(ы). IEEE Access, (2020)DeepCity: A Feature Learning Framework for Mining Location Check-ins., и . CoRR, (2016)A new decomposition-based method for detecting attractors in synchronous Boolean networks., , , и . Sci. Comput. Program., (2019)A Decomposition-based Approach towards the Control of Boolean Networks., , , и . BCB, стр. 11-20. ACM, (2018)