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 polynomial time parallel algorithm for graph isomorphism using a quasipolynomial number of processors., , и . CoRR, (2020)Generalized Counters and Reversal Complexity.. Int. J. Found. Comput. Sci., 19 (6): 1403-1412 (2008)Probabilistic Model Checking of Incomplete Models., и . CoRR, (2017)Traveling Agents and Indirect Epidemic Transmission., и . KES-AMSTA, том 241 из Smart Innovation, Systems and Technologies, стр. 371-383. Springer, (2021)EpiStrat: A Tool for Comparing Strategies for Tackling Urban Epidemic Outbreaks., , и . ICSH, том 10347 из Lecture Notes in Computer Science, стр. 256-267. Springer, (2017)Interference automata.. Theor. Comput. Sci., 403 (1): 89-103 (2008)Traffic Intersections as Agents: A model checking approach for analysing communicating agents., , , и . SAC, стр. 109-118. ACM, (2023)Statistical Model Checking for Probabilistic Temporal Epistemic Logics., и . ICAART (1), стр. 53-63. SCITEPRESS, (2022)Development of Scheduler for Real Time and Embedded System Domain., , , и . AINA Workshops, стр. 1-6. IEEE Computer Society, (2008)Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems., и . PRIMA, том 12568 из Lecture Notes in Computer Science, стр. 420-427. Springer, (2020)