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.

 

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

Frameworks Based on Templates for Rigorous Model-driven Development, , и . Electronic Notes in Theoretical Computer Science, (октября 2007)Refactoring in Maintenance and Development of Z Specifications and Proofs, , и . Electronic Notes in Theoretical Computer Science, 70 (3): 50--69 (ноября 2002)Computability and Complexity of Unconventional Computing Devices., , и . CoRR, (2017)Visualising Random Boolean Network Dynamics: Effects of Perturbations and Canalisation.. ECAL (1), том 5777 из Lecture Notes in Computer Science, стр. 369-376. Springer, (2009)MetaChem: An Algebraic Framework for Artificial Chemistries., , и . CoRR, (2019)Penrose Life: Ash and Oscillators., , и . ECAL, том 3630 из Lecture Notes in Computer Science, стр. 471-480. Springer, (2005)Using PVS to Prove a Z Refinement: A Case Study., , и . FME, том 1313 из Lecture Notes in Computer Science, стр. 573-588. Springer, (1997)A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs., и . ICARIS, том 3627 из Lecture Notes in Computer Science, стр. 43-55. Springer, (2005)Segregation with Communication., и . ZB, том 1878 из Lecture Notes in Computer Science, стр. 451-470. Springer, (2000)Modelling and Evaluating Restricted ESNs., , и . UCNC, том 14003 из Lecture Notes in Computer Science, стр. 186-201. Springer, (2023)