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.

 

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

Efficient SMT-Based Model Checking for Signal Temporal Logic., , и . ASE, стр. 343-354. IEEE, (2021)Improving shepherding tasks through destination-orientated actions., , , и . IJCNN, стр. 1-9. IEEE, (2021)General design of reversible sequential machines based on reversible logic elements., , и . Theor. Comput. Sci., (2015)On Brownian cellular automata., и . Automata, стр. 278-291. Luniver Press, Frome, UK, (2008)Synchronization of Protein Motors Modeled by Asynchronous Cellular Automata., , , , и . ACRI, том 3305 из Lecture Notes in Computer Science, стр. 571-580. Springer, (2004)Mobility-Aware and Migration-Enabled Online Edge User Allocation in Mobile Edge Computing., , , , , , , , , и . ICWS, стр. 91-98. IEEE, (2019)Facilitating interdisciplinary design specification of "smart" homes for aging in place., , , , , , , и . MIE, том 124 из Studies in Health Technology and Informatics, стр. 45-50. IOS Press, (2006)Dualboard: integrated user interface between typing and handwriting., , и . SIGGRAPH ASIA (Posters), стр. 24:1-24:2. ACM, (2017)Universal 2-State Asynchronous Cellular Automaton with Inner-Independent Transitions., , и . IWNC, том 2 из Proceedings in Information and Communications Technology, стр. 107-116. Springer, (2009)Characterizing the Class of Deterministic Context-Free Languages by Semi-Right-Terminating Uniquely Parsable Grammars., и . Recent Topics in Mathematical and Computational Linguistics, стр. 207-217. Editura Academiei Române, Bucuresti, (2000)