Edit Profile (opens in new tab) Gouda, Mohamed G. Co-Author Distance Author ID: gouda.mohamed-g Published as: Gouda, Mohamed G.; Gouda, Mohamed; Gouda, M. G. more...less Documents Indexed: 58 Publications since 1982, including 2 Books Co-Authors: 46 Co-Authors with 53 Joint Publications 460 Co-Co-Authors all top 5 Co-Authors 5 single-authored 7 Arora, Anish 5 Cobb, Jorge A. 5 Liu, Alex X. 5 Rosier, Louis E. 4 Anderson, James H. 4 Yu, Yao-Tin 3 Acharya, H. B. 3 Choi, Young-ri 3 Elmallah, Ehab S. 3 Huang, Chin-Tser 3 Jung, Eunjin 2 Chang, Chung-Kuo 2 Haddix, F. Furman 2 Howell, Rodney R. 2 Reaz, Rezwana 2 Singh, Ambuj K. 1 Alam, Mohamed A. 1 Ali, Muqeet 1 Alvisi, Lorenzo 1 Attie, Paul C. 1 Balasubramanian, Praveen 1 Bazzi, Rida A. 1 Brown, Geoffrey M. 1 Burns, James E. 1 Demirbas, Murat 1 Dolev, Shlomi 1 Evangelist, Michael 1 Gurari, Eitan M. 1 Han, Ji-Yun 1 Herman, Ted 1 Heule, Marijn J. H. 1 Karaata, Mehmet Hakan 1 Lai, Ten-Hwang 1 Lee, Huiseng 1 Leung, Lok M. 1 Ma, Huibo H. 1 Manning, Eric G. 1 McGuire, Tommy M. 1 Miller, Raymond E. 1 Musunuri, Ravi 1 Ngu, Anne HH. 1 Schneider, Marco 1 Shmatikov, Vitaly 1 Varghese, George 1 Wong, Edmund L. 1 Wu, Chuanlin all top 5 Serials 6 Information Processing Letters 4 Theoretical Computer Science 4 Computer Networks 3 Acta Informatica 3 IEEE Transactions on Communications 3 IEEE Transactions on Computers 3 Distributed Computing 2 Journal of Parallel and Distributed Computing 2 IEEE Transactions on Software Engineering 2 Advances in Information Security 1 Computing 1 Information and Control 1 Journal of the Association for Computing Machinery 1 SIAM Journal on Computing 1 ACM Transactions on Programming Languages and Systems 1 Science of Computer Programming 1 Computers and Artificial Intelligence 1 Formal Aspects of Computing 1 Computer Networks and ISDN Systems 1 Chicago Journal of Theoretical Computer Science Fields 58 Computer science (68-XX) 7 Information and communication theory, circuits (94-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 39 Publications have been cited 236 times in 176 Documents Cited by ▼ Year ▼ Memory requirements for silent stabilization. Zbl 0933.68156Dolev, Shlomi; Gouda, Mohamed G.; Schneider, Marco 28 1999 Distributed reset. Zbl 1068.68572Arora, Anish; Gouda, Mohamed 26 1994 Stabilizing unison. Zbl 0702.68026Gouda, Mohamed G.; Herman, Ted 21 1990 Token systems that self-stabilize. Zbl 1395.68026Brown, Geoffrey M.; Gouda, Mohamed G.; Wu, Chuan-Lin 17 1989 Stabilization and pseudo-stabilization. Zbl 0818.68027Burns, James E.; Gouda, Mohamed G.; Miller, Raymond E. 10 1993 On deadlock detection in systems of communicating finite state machines. Zbl 0639.68009Gouda, Mohamed G.; Gurari, Eitan M.; Lai, Ten-Hwang; Rosier, Louis E. 10 1987 The elusive atomic register. Zbl 0806.68025Singh, Ambuj K.; Anderson, James H.; Gouda, Mohamed G. 9 1994 The theory of weak stabilization. Zbl 1030.68524Gouda, Mohamed G. 9 2001 The alternator. Zbl 1266.68051Gouda, Mohamed G.; Haddix, F. Furman 9 2007 On the progress of communication between two finite state machines. Zbl 0591.68057Gouda, M. G.; Manning, E. G.; Yu, Y. T. 7 1984 Proving liveness for networks of communicating finite state machines. Zbl 0593.68016Gouda, Mohamed G.; Chang, Chung-Kuo 7 1986 Unboundedness detection for a class of communicating finite-state machines. Zbl 0519.68067Yu, Yao-Tin; Gouda, Mohamed G. 7 1983 Priority networks of communicating finite state machines. Zbl 0563.68021Gouda, Mohamed G.; Rosier, Louis E. 7 1985 Stabilization of general loop-free routing. Zbl 1004.68017Cobb, Jorge A.; Gouda, Mohamed G. 6 2002 Atomic semantics of nonatomic programs. Zbl 0658.68017Anderson, James H.; Gouda, Mohamed G. 5 1988 Optimal dispersal of certificate chains. Zbl 1110.68315Jung, Eunjin; Elmallah, Ehab S.; Gouda, Mohamed G. 4 2004 Closed covers: To verify progress for communicating finite state machines. Zbl 0547.68060Gouda, Mohamed G. 4 1984 The instability of self-stabilization. Zbl 0699.68014Gouda, Mohamed G.; Howell, Rodney R.; Rosier, Louis E. 4 1990 Distributed reset. Zbl 0731.68013Arora, Anish; Gouda, Mohamed 4 1990 Convergence of iteration systems. Zbl 0818.68072Arora, Anish; Attie, Paul; Evangelist, Michael; Gouda, Mohamed 4 1993 Stabilizing certificate dispersal. Zbl 1172.68363Gouda, Mohamed G.; Jung, Eunjin 4 2005 A pursuer-evader game for sensor networks. Zbl 1039.68520Demirbas, Murat; Arora, Anish; Gouda, Mohamed G. 4 2003 Deadlock detection for a class of communicating finite state machines. Zbl 0497.68027Yu, Yao-Tin; Gouda, Mohamed G. 3 1982 A new explanation of the glitch phenomenon. Zbl 0721.94028Anderson, James H.; Gouda, Mohamed G. 3 1991 The stabilizing token ring in three bits. Zbl 0855.68007Gouda, Mohamed G.; Haddix, F. Furman 3 1996 A state-based model of sensor protocols. Zbl 1253.68054Choi, Young-ri; Gouda, Mohamed G. 3 2012 A criterion for atomicity. Zbl 0746.68057Anderson, James H.; Gouda, Mohamed G. 2 1992 Synthesis of communicating finite-state machines with guaranteed progress. Zbl 0555.68035Gouda, Mohamed G.; Yu, Yao-Tin 2 1984 Complete redundancy detection in firewalls. Zbl 1158.68376Liu, Alex X.; Gouda, Mohamed G. 2 2005 Structured firewall design. Zbl 1109.68005Gouda, Mohamed G.; Liu, Alex X. 2 2007 A secure address resolution protocol. Zbl 1056.68038Gouda, Mohamed G.; Huang, Chin-Tser 2 2003 The Austin Protocol Compiler. Zbl 1080.68012McGuire, Tommy M.; Gouda, Mohamed G. 1 2005 On ”A simple protocol whose proof isn’t”: The state machine approach. Zbl 0569.94002Gouda, Mohamed G. 1 1985 Protocol validation by fair progress state exploration. Zbl 0576.68047Gouda, M. G.; Han, Ji-Yun 1 1985 Rankers: A classification of synchronization problems. Zbl 0801.68029Singh, Ambuj K.; Gouda, Mohamed G. 1 1993 Nash equilibria in stabilizing systems. Zbl 1221.68045Gouda, M. G.; Acharya, H. B. 1 2011 Stabilization of max-min fair networks without per-flow state. Zbl 1222.68042Cobb, Jorge A.; Gouda, Mohamed G. 1 2011 A stabilizing solution to the stable path problem. Zbl 1039.68515Cobb, Jorge A.; Gouda, Mohamed G.; Musunuri, Ravi 1 2003 The implication problem of computing policies. Zbl 1428.68088Reaz, Rezwana; Ali, Muqeet; Gouda, Mohamed G.; Heule, Marijn J. H.; Elmallah, Ehab S. 1 2015 The implication problem of computing policies. Zbl 1428.68088Reaz, Rezwana; Ali, Muqeet; Gouda, Mohamed G.; Heule, Marijn J. H.; Elmallah, Ehab S. 1 2015 A state-based model of sensor protocols. Zbl 1253.68054Choi, Young-ri; Gouda, Mohamed G. 3 2012 Nash equilibria in stabilizing systems. Zbl 1221.68045Gouda, M. G.; Acharya, H. B. 1 2011 Stabilization of max-min fair networks without per-flow state. Zbl 1222.68042Cobb, Jorge A.; Gouda, Mohamed G. 1 2011 The alternator. Zbl 1266.68051Gouda, Mohamed G.; Haddix, F. Furman 9 2007 Structured firewall design. Zbl 1109.68005Gouda, Mohamed G.; Liu, Alex X. 2 2007 Stabilizing certificate dispersal. Zbl 1172.68363Gouda, Mohamed G.; Jung, Eunjin 4 2005 Complete redundancy detection in firewalls. Zbl 1158.68376Liu, Alex X.; Gouda, Mohamed G. 2 2005 The Austin Protocol Compiler. Zbl 1080.68012McGuire, Tommy M.; Gouda, Mohamed G. 1 2005 Optimal dispersal of certificate chains. Zbl 1110.68315Jung, Eunjin; Elmallah, Ehab S.; Gouda, Mohamed G. 4 2004 A pursuer-evader game for sensor networks. Zbl 1039.68520Demirbas, Murat; Arora, Anish; Gouda, Mohamed G. 4 2003 A secure address resolution protocol. Zbl 1056.68038Gouda, Mohamed G.; Huang, Chin-Tser 2 2003 A stabilizing solution to the stable path problem. Zbl 1039.68515Cobb, Jorge A.; Gouda, Mohamed G.; Musunuri, Ravi 1 2003 Stabilization of general loop-free routing. Zbl 1004.68017Cobb, Jorge A.; Gouda, Mohamed G. 6 2002 The theory of weak stabilization. Zbl 1030.68524Gouda, Mohamed G. 9 2001 Memory requirements for silent stabilization. Zbl 0933.68156Dolev, Shlomi; Gouda, Mohamed G.; Schneider, Marco 28 1999 The stabilizing token ring in three bits. Zbl 0855.68007Gouda, Mohamed G.; Haddix, F. Furman 3 1996 Distributed reset. Zbl 1068.68572Arora, Anish; Gouda, Mohamed 26 1994 The elusive atomic register. Zbl 0806.68025Singh, Ambuj K.; Anderson, James H.; Gouda, Mohamed G. 9 1994 Stabilization and pseudo-stabilization. Zbl 0818.68027Burns, James E.; Gouda, Mohamed G.; Miller, Raymond E. 10 1993 Convergence of iteration systems. Zbl 0818.68072Arora, Anish; Attie, Paul; Evangelist, Michael; Gouda, Mohamed 4 1993 Rankers: A classification of synchronization problems. Zbl 0801.68029Singh, Ambuj K.; Gouda, Mohamed G. 1 1993 A criterion for atomicity. Zbl 0746.68057Anderson, James H.; Gouda, Mohamed G. 2 1992 A new explanation of the glitch phenomenon. Zbl 0721.94028Anderson, James H.; Gouda, Mohamed G. 3 1991 Stabilizing unison. Zbl 0702.68026Gouda, Mohamed G.; Herman, Ted 21 1990 The instability of self-stabilization. Zbl 0699.68014Gouda, Mohamed G.; Howell, Rodney R.; Rosier, Louis E. 4 1990 Distributed reset. Zbl 0731.68013Arora, Anish; Gouda, Mohamed 4 1990 Token systems that self-stabilize. Zbl 1395.68026Brown, Geoffrey M.; Gouda, Mohamed G.; Wu, Chuan-Lin 17 1989 Atomic semantics of nonatomic programs. Zbl 0658.68017Anderson, James H.; Gouda, Mohamed G. 5 1988 On deadlock detection in systems of communicating finite state machines. Zbl 0639.68009Gouda, Mohamed G.; Gurari, Eitan M.; Lai, Ten-Hwang; Rosier, Louis E. 10 1987 Proving liveness for networks of communicating finite state machines. Zbl 0593.68016Gouda, Mohamed G.; Chang, Chung-Kuo 7 1986 Priority networks of communicating finite state machines. Zbl 0563.68021Gouda, Mohamed G.; Rosier, Louis E. 7 1985 On ”A simple protocol whose proof isn’t”: The state machine approach. Zbl 0569.94002Gouda, Mohamed G. 1 1985 Protocol validation by fair progress state exploration. Zbl 0576.68047Gouda, M. G.; Han, Ji-Yun 1 1985 On the progress of communication between two finite state machines. Zbl 0591.68057Gouda, M. G.; Manning, E. G.; Yu, Y. T. 7 1984 Closed covers: To verify progress for communicating finite state machines. Zbl 0547.68060Gouda, Mohamed G. 4 1984 Synthesis of communicating finite-state machines with guaranteed progress. Zbl 0555.68035Gouda, Mohamed G.; Yu, Yao-Tin 2 1984 Unboundedness detection for a class of communicating finite-state machines. Zbl 0519.68067Yu, Yao-Tin; Gouda, Mohamed G. 7 1983 Deadlock detection for a class of communicating finite state machines. Zbl 0497.68027Yu, Yao-Tin; Gouda, Mohamed G. 3 1982 all cited Publications top 5 cited Publications all top 5 Cited by 249 Authors 13 Tixeuil, Sébastien 9 Datta, Ajoy Kumar 9 Devismes, Stéphane 8 Gouda, Mohamed G. 8 Huang, Shingtsaan 7 Herman, Ted 7 Srimani, Pradip K. 6 Dolev, Shlomi 6 Finkel, Alain 6 Izumi, Taisuke 6 Izumi, Tomoko 6 Larmore, Lawrence L. 6 Masuzawa, Toshimitsu 6 Yen, Hsuchun 5 Antonoiu, Gheorghe 5 Ghosh, Sukumar 5 Gupta, Arobinda 5 Ono, Hirotaka 5 Petit, Franck 5 Potop-Butucaru, Maria Gradinariu 5 Wada, Koichi 4 Anderson, James H. 4 Johnen, Colette 4 Kakugawa, Hirotsugu 4 Korman, Amos 4 Kulkarni, Sandeep S. 4 Kutten, Shay 4 Ravi, S. S. 4 Rosier, Louis E. 3 Chernoy, Viacheslav 3 Dubois, Swan 3 Hunt, Harry Bowen III 3 Kamei, Sayaka 3 Karmakar, Sushanta 3 Marathe, Madhav V. 3 Nesterenko, Mikhail V. 3 Pemmaraju, Sriram V. 3 Rosenkrantz, Daniel J. 3 Shalom, Mordechai 3 Stearns, Richard Edwin 3 Sudo, Yuichi 3 Villain, Vincent 3 Yamauchi, Yukiko 3 Zaks, Shmuel 2 Afek, Yehuda 2 Altisen, Karine 2 Arora, Anish 2 Attie, Paul C. 2 Barrett, Chris L. 2 Beauquier, Joffroy 2 Blin, Lélia 2 Bollig, Benedikt 2 Boulinier, Christian 2 Brzozowski, Janusz Antoni 2 Chen, Nian-Shing 2 Cournier, Alain 2 Ducourthial, Bertrand 2 Howell, Rodney R. 2 Huang, Tetz C. 2 Ilcinkas, David 2 Karaata, Mehmet Hakan 2 Kurgansky, A. N. 2 Lin, Ji-Cherng 2 Nakamura, Junya 2 Ooshita, Fukuhito 2 Peleg, David 2 Suresh, Amrita 2 Tzeng, Chi-Hung 2 Vemula, Priyanka 2 Yamashita, Masafumi 1 Abdulla, Parosh Aziz 1 Abello, James M. 1 Abraham, Uri 1 Acharya, H. B. 1 Akroun, Lakhdar 1 Albuquerque Raymundo Da Silva, Ian 1 Apt, Krzysztof Rafal 1 Arfaoui, Heger 1 Barbanera, Franco 1 Barrett, Christopher L. 1 Bastani, Farokh B. 1 Bérard, Béatrice 1 Biyani, Karun N. 1 Blondin, Michael 1 Boldi, Paolo 1 Bolen, Chase 1 Bonakdarpour, Borzoo 1 Bonomi, Silvia 1 Bougé, Luc 1 Bradbury, Matthew 1 Brown, Geoffrey M. 1 Bui, Alain 1 Burns, James E. 1 Calinescu, Gruia 1 Casbeer, David Wellman 1 Cécé, Gérard 1 Chandrasekhar, Srinivasan 1 Chaudhuri, Pranay Kumar 1 Chen, Chih-Yuan 1 Cherkasova, Ludmila A. ...and 149 more Authors all top 5 Cited in 36 Serials 36 Theoretical Computer Science 31 Distributed Computing 22 Information Processing Letters 8 Journal of Parallel and Distributed Computing 7 Acta Informatica 6 Journal of Computer and System Sciences 6 Information and Computation 4 Computers & Mathematics with Applications 4 International Journal of Foundations of Computer Science 3 Parallel Algorithms and Applications 2 Computing 2 Mathematical Systems Theory 2 Algorithmica 2 Cybernetics and Systems Analysis 2 Formal Methods in System Design 2 Theory of Computing Systems 2 Logical Methods in Computer Science 1 Discrete Applied Mathematics 1 SIAM Journal on Computing 1 SIAM Journal on Control and Optimization 1 Formal Aspects of Computing 1 Real-Time Systems 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Computer Mathematics 1 RAIRO. Informatique Théorique et Applications 1 Journal of Computer and Systems Sciences International 1 Complexity 1 Journal of Combinatorial Optimization 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 The Journal of Logic and Algebraic Programming 1 Sādhanā 1 SIAM Journal on Applied Dynamical Systems 1 Journal of Applied Logic 1 Algorithms 1 Journal of Theoretical Biology 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 11 Fields 169 Computer science (68-XX) 11 Combinatorics (05-XX) 7 Mathematical logic and foundations (03-XX) 6 Operations research, mathematical programming (90-XX) 4 Information and communication theory, circuits (94-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Systems theory; control (93-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Biology and other natural sciences (92-XX) Citations by Year