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.

 

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

Towards a Feature Interaction Algebra.. FIW, стр. 217-231. IOS Press, (1998)Lower bounds on the computational power of an optical model of computation., и . Nat. Comput., 7 (1): 95-108 (2008)Teaching graph algorithms to children of all ages.. ITiCSE, стр. 34-39. ACM, (2012)Software engineering as a model of understanding for learning and problem solving., и . ICER, стр. 87-97. ACM, (2005)Applying a Dependency Mechanism for Voting Protocol Models Using Event-B., , и . FORTE, том 10321 из Lecture Notes in Computer Science, стр. 124-138. Springer, (2017)Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements., , и . ISARCS, том 6150 из Lecture Notes in Computer Science, стр. 89-108. Springer, (2010)Just like paper and the 3-colour protocol: A voting interface requirements engineering case study., , и . REVOTE, стр. 66-75. IEEE Computer Society, (2011)Cyber-Physical Systems Engineering: An Introduction., , , , и . ISoLA (3), том 11246 из Lecture Notes in Computer Science, стр. 407-410. Springer, (2018)E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future.. B, том 4355 из Lecture Notes in Computer Science, стр. 1. Springer, (2007)Weaving a Formal Methods Education with Problem-Based Learning.. ISoLA, том 17 из Communications in Computer and Information Science, стр. 460-472. Springer, (2008)