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.

 

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

Modelling the Temporal Aspects of Network Configurations., , , , и . Net-Con, том 229 из IFIP, стр. 269-282. Springer, (2005)Extending Model Checking to Data-Aware Temporal Properties of Web Services., , , , и . WS-FM, том 4937 из Lecture Notes in Computer Science, стр. 31-45. Springer, (2007)Blender plugin implementations for 3D collaborative work., , , , , и . SMC, стр. 2557-2569. IEEE, (2007)Runtime Resource Allocation Model over Network Processors., , , и . IC2E, стр. 556-561. IEEE Computer Society, (2014)Optimal packet classification applicable tothe OpenFlow context., , , , и . HPPN@HPDC, стр. 9-14. ACM, (2013)Keynote 1: Wireless controlled and managed from the cloud., и . Med-Hoc-Net, стр. 1-2. IEEE, (2013)Data plane acceleration for virtual switching in data centers: NP-based approach., , , и . CloudNet, стр. 108-113. IEEE, (2014)CTL Model Checking for Labelled Tree Queries., , и . TIME, стр. 27-35. IEEE Computer Society, (2006)Configuration Logic: A Multi-site Modal Logic., , и . TIME, стр. 131-137. IEEE Computer Society, (2005)The modularity of SNMPv3., , , , и . ISCC, стр. 120-124. IEEE Computer Society, (1998)