( en | de | ru )

 

Disambiguierung von "Gouda, Mohamed G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analysis of Computing Policies Using SAT Solvers (Short Paper).

, , , und . SSS, Volume 10083 von Lecture Notes in Computer Science, Seite 190-194. (2016)

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.

Khaled Gouda Mohamed Mohamed

Mustafa Mohamed Gouda

Moamen Gouda

Mehdi Goudarzi

Yadollah Moazami Goudarzi

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines., , und . PSTV, Seite 47-56. North-Holland, (1984)Protocol synchronization with sparse timestraps., , und . PSTV, Volume 1 von IFIP Conference Proceedings, Seite 169-184. Chapman & Hall, (1994)The Instability of Self-Stabilization., , und . Acta Inf., 27 (8): 697-724 (1990)Properties of secure transaction protocols., , und . Computer Networks and ISBN Systems, 29 (15): 1809-1821 (1997)Priority Networks of Communicating Finite State Machines., und . SIAM J. Comput., 14 (3): 569-584 (1985)The mote connectivity protocol., , , und . ICCCN, Seite 533-538. IEEE, (2003)The Elusive Atomic Register Revisited., , und . PODC, Seite 206-221. ACM, (1987)Communicating Finite State Machines with Priority Channnels., und . ICALP, Volume 172 von Lecture Notes in Computer Science, Seite 209-221. Springer, (1984)Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks., , und . SSS, Volume 6976 von Lecture Notes in Computer Science, Seite 431-432. Springer, (2011)The Truth System: Can a System of Lying Processes Stabilize?, und . SSS, Volume 4838 von Lecture Notes in Computer Science, Seite 311-324. Springer, (2007)