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.

 

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

Alvis - Modelling Language for Concurrent Systems., , и . Intelligent Decision Systems in Large-Scale Distributed Environments, том 362 из Studies in Computational Intelligence, Springer, (2011)Robust PI - The Simulation Robust Library Component for Pioneer 3DX., и . MATES, том 8076 из Lecture Notes in Computer Science, стр. 115-123. Springer, (2013)RobustHX - The Robust Middleware Library for Hexor Robots., и . SIMPAR, том 6472 из Lecture Notes in Computer Science, стр. 241-250. Springer, (2010)Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation., , и . CS&P, том 1032 из CEUR Workshop Proceedings, стр. 409-420. CEUR-WS.org, (2013)Simulation of Multi-agent Systems with Alvis Toolkit., , , и . ICAISC (2), том 10246 из Lecture Notes in Computer Science, стр. 599-608. Springer, (2017)Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot., , и . KI, том 4667 из Lecture Notes in Computer Science, стр. 485-488. Springer, (2007)Formal Modelling and Verification of Concurrent Systems with XCCS., и . ISPDC, стр. 454-458. IEEE Computer Society, (2008)Alvis Virtual Machine.. FedCSIS, том 2 из Annals of Computer Science and Information Systems, стр. 1639-1645. (2014)Formal Description of Alvis Language with α0 System Layer., , , и . Fundam. Informaticae, 129 (1-2): 161-176 (2014)Communication between agents in Alvis language., , , и . MIXDES, стр. 448-453. IEEE, (2016)