Autor der Publikation

Observations on Self-Stabilizing Graph Algorithms for Anonymous Networks

, , und . Proceedings of the 2nd Workshop on Self-Stabilizing Systems (WSS-95), Seite 7.1--7.15. Las Vegas, NE, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Study of Inequality in the Ethereum Smart Contract Ecosystem., und . IoTSMS, Seite 441-449. IEEE, (2019)Model-driven Validation of SystemC Designs., und . DAC, Seite 29-34. IEEE, (2007)Hardware optimizations for crypto implementations (Invited paper)., und . VDAT, Seite 1-6. IEEE, (2016)The challenge of interoperability: model-based integration for automotive control software., , , , und . DAC, Seite 58:1-58:6. ACM, (2015)Compiling polychronous programs into conditional partial orders for ASIP synthesis., und . FormaliSE, Seite 38-44. ACM, (2014)Verification of unit and dimensional consistencies in polychronous specifications., und . FDL, Seite 1-8. IEEE, (2014)APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications., und . ICNSC, Seite 36-41. IEEE, (2014)Guest Editors' Introduction: Challenges for Reliable Design at the Nanoscale., , , und . IEEE Des. Test Comput., 22 (4): 295-297 (2005)From Text to MITRE Techniques: Exploring the Malicious Use of Large Language Models for Generating Cyber Attack Payloads., , , und . CoRR, (2023)An Insecurity Study of Ethereum Smart Contracts., , , und . SPACE, Volume 12586 von Lecture Notes in Computer Science, Seite 188-207. Springer, (2020)