From post

Observations on Self-Stabilizing Graph Algorithms for Anonymous Networks

, , и . Proceedings of the 2nd Workshop on Self-Stabilizing Systems (WSS-95), стр. 7.1--7.15. Las Vegas, NE, (1995)

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.

 

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

ArkThor: Threat Categorization Based on Malware's C2 Communication., , , , и . ICISSP, стр. 203-210. SCITEPRESS, (2024)A detailed analysis of the effective-load-carrying-capacity behavior of plug-in electric vehicles in the power grid., , и . ISGT, стр. 1-8. IEEE, (2012)SCGPSim: a fast SystemC simulator on GPUs., , , и . ASP-DAC, стр. 149-154. IEEE, (2010)Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models., , и . ASP-DAC, стр. 723-728. IEEE, (2013)Metamodeling: What is it good for?. IEEE Des. Test Comput., 26 (3): 96 (2009)A Distributed Real-Time Event Correlation Architecture for SCADA Security., и . Critical Infrastructure Protection, том 417 из IFIP Advances in Information and Communication Technology, стр. 81-93. Springer, (2013)Cyber security impacts on all-PMU state estimator - a case study on co-simulation platform GECO., , , , и . SmartGridComm, стр. 587-592. IEEE, (2012)Communication network modeling and simulation for Wide Area Measurement applications., , , , , и . ISGT, стр. 1-6. IEEE, (2012)Model-Driven Validation of SystemC Designs., и . EURASIP J. Embed. Syst., (2008)Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems., и . Formal Methods Syst. Des., 28 (2): 91-92 (2006)