Mohamed G. Gouda Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHrishikesh B. Acharya, Mohamed G. Gouda: Linear-Time Verification of Firewalls. ICNP 2009: 133-140
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda: Consistent Fixed Points and Negative Gain. PDCAT 2009: 299-305
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHrishikesh B. Acharya, Mohamed G. Gouda: Brief announcement: the theory of network tracing. PODC 2009: 318-319
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Hrishikesh B. Acharya: Nash Equilibria in Stabilizing Systems. SSS 2009: 311-324
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHrishikesh B. Acharya, Mohamed G. Gouda: A Theory of Network Tracing. SSS 2009: 62-74
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda: Brief Announcement: Consistent Fixed Points and Negative Gain. SSS 2009: 771-772
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex X. Liu, Mohamed G. Gouda: Firewall Policy Queries. IEEE Trans. Parallel Distrib. Syst. 20(6): 766-777 (2009)
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRida A. Bazzi, Young-ri Choi, Mohamed G. Gouda: Hop chains: Secure routing and the establishment of distinct identities. Theor. Comput. Sci. 410(6-7): 467-480 (2009)
2008
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Alex X. Liu, Mansoor Jafry: Verification of Distributed Firewalls. GLOBECOM 2008: 2013-2017
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYan Li, Mohamed G. Gouda: Sources and Monitors: A Trust Model for Peer-to-Peer Networks. ICCCN 2008: 285-290
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew R. Dalton, William P. McCartney, Kajari Ghosh Dastidar, Jason O. Hallstrom, Nigamanth Sridhar, Ted Herman, William Leal, Anish Arora, Mohamed G. Gouda: DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language. ICCCN 2008: 541-547
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda: Stabilization of Max-Min Fair Networks without Per-flow State. SSS 2008: 156-172
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaehwan Choi, Sooel Son, Mohamed G. Gouda, Jorge Arturo Cobb: Pharewell to Phishing. SSS 2008: 233-245
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Alex X. Liu: Formal Specification and Verification of a Secure Micropayment Protocol. I. J. Network Security 7(1): 81-87 (2008)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex X. Liu, Mohamed G. Gouda: Diverse Firewall Design. IEEE Trans. Parallel Distrib. Syst. 19(9): 1237-1251 (2008)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni: Logarithmic keying. TAAS 3(4): (2008)
2007
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund L. Wong, Praveen Balasubramanian, Lorenzo Alvisi, Mohamed G. Gouda, Vitaly Shmatikov: Truth in advertising: lightweight verification of route integrity. PODC 2007: 147-156
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoung-ri Choi, Mohamed G. Gouda: Stabilization of Flood Sequencing Protocols in Sensor Networks. SSS 2007: 139-153
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Yan Li: The Truth System: Can a System of Lying Processes Stabilize? SSS 2007: 311-324
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda: Reliable bursty convergecast in wireless sensor networks. Computer Communications 30(13): 2560-2576 (2007)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Alex X. Liu, Lok M. Leung, Mohamed A. Alam: SPP: An anti-phishing single password protocol. Computer Networks 51(13): 3715-3726 (2007)
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Alex X. Liu: Structured firewall design. Computer Networks 51(4): 1106-1120 (2007)
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, F. Furman Haddix: The alternator. Distributed Computing 20(1): 21-28 (2007)
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet Hakan Karaata, Mohamed G. Gouda: A Stabilizing Deactivation/Reactivation Protocol. IEEE Trans. Computers 56(7): 881-888 (2007)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda: Optimal Dispersal of Certificate Chains. IEEE Trans. Parallel Distrib. Syst. 18(4): 474-484 (2007)
2006
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmitanand S. Aiyer, Lorenzo Alvisi, Mohamed G. Gouda: Key Grids: A Protocol Family for Assigning Symmetric Keys. ICNP 2006: 178-186
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRida A. Bazzi, Young-ri Choi, Mohamed G. Gouda: Hop Chains: Secure Routing and the Establishment of Distinct Identities. OPODIS 2006: 365-379
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Jorge Arturo Cobb, Chin-Tser Huang: Fault Masking in Tri-redundant Systems. SSS 2006: 304-313
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah: Logarithmic Keying of Communication Networks. SSS 2006: 314-323
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora: Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215]. Computer Communications 29(11): 2167 (2006)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora: Secret instantiation in ad-hoc networks. Computer Communications 29(2): 200-215 (2006)
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEunjin Jung, Alex X. Liu, Mohamed G. Gouda: Key bundles and parcels: Secure communication in many groups. Computer Networks 50(11): 1781-1798 (2006)
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEunjin Jung, Mohamed G. Gouda: Vulnerability analysis of certificate graphs. IJSN 1(1/2): 13-23 (2006)
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChin-Tser Huang, Mohamed G. Gouda, E. N. Elnozahy: Convergence of IPsec in presence of resets. J. High Speed Networks 15(2): 173-183 (2006)
2005
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex X. Liu, Mohamed G. Gouda: Complete Redundancy Detection in Firewalls. DBSec 2005: 193-206
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Rajiv Ramnath, Prasun Sinha, Emre Ertin, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Mukundan Sridharan, Santosh Kumar, Hui Cao, Nick Seddon, Chris Anderson, Ted Herman, Chen Zhang, Nishank Trivedi, Mohamed G. Gouda, Young-ri Choi, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker: Project ExScal (Short Abstract). DCOSS 2005: 393-394
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Alex X. Liu: A Model of Stateful Firewalls and Its Properties. DSN 2005: 128-137
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLF. Furman Haddix, Mohamed G. Gouda: A General Alternator. IASTED PDCS 2005: 409-413
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Kuipers, Alex X. Liu, Aashin Gautam, Mohamed G. Gouda: Zmail: Zero-Sum Free Market Control of Spam. ICDCS Workshops 2005: 20-26
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChin-Tser Huang, Mohamed G. Gouda: State Checksum and Its Role in System Stabilization. ICDCS Workshops 2005: 29-34
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda: Reliable bursty convergecast in wireless sensor networks. MobiHoc 2005: 266-276
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Young-ri Choi: A State-Based Model of Sensor Protocols. OPODIS 2005: 246-260
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Rajiv Ramnath, Emre Ertin, Prasun Sinha, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Hui Cao, Mukundan Sridharan, Santosh Kumar, Nick Seddon, Chris Anderson, Ted Herman, Nishank Trivedi, Chen Zhang, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, Mohamed G. Gouda, Young-ri Choi, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker: ExScal: Elements of an Extreme Scale Wireless Sensor Network. RTCSA 2005: 102-108
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Eunjin Jung: Stabilizing Certificate Dispersal. Self-Stabilizing Systems 2005: 140-152
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: Self-Stabilizing Systems, Part 1. J. High Speed Networks 14(1): 1-2 (2005)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda, Deepinder P. Sidhu: Hello again: Stabilization of the Hello protocol in OSPF. J. High Speed Networks 14(1): 39-57 (2005)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: Self-Stabilizing Systems, Part 2. J. High Speed Networks 14(2): 107 (2005)
2004
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda: Optimal Dispersal of Certificate Chains. DISC 2004: 435-449
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex X. Liu, Mohamed G. Gouda: Diverse Firewall Design. DSN 2004: 595-604
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Alex X. Liu: Formal Specification and Verification of a Micropayment Protocol. ICCCN 2004: 489-494
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Alex X. Liu: Firewall Design: Consistency, Completeness, and Compactness. ICDCS 2004: 320-327
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Eunjin Jung: Certificate Dispersal in Ad-Hoc Networks. ICDCS 2004: 616-623
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex X. Liu, Mohamed G. Gouda, Huibo H. Ma, Anne H. H. Ngu: Firewall Queries. OPODIS 2004: 197-212
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Young-ri Choi, Anish Arora: Sentries and Sleepers in Sensor Networks. OPODIS 2004: 384-399
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Prabal Dutta, Sandip Bapat, Vinod Kulathumani, Hongwei Zhang, Vinayak Naik, Vineet Mittal, Hui Cao, Murat Demirbas, Mohamed G. Gouda, Young-ri Choi, Ted Herman, Sandeep S. Kulkarni, Umamaheswaran Arumugam, Mikhail Nesterenko, Adnan Vora, Mark Miyashita: A line in the sand: a wireless sensor network for target detection, classification, and tracking. Computer Networks 46(5): 605-634 (2004)
2003
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChin-Tser Huang, Mohamed G. Gouda, E. N. Elnozahy: Convergence of IPsec in Presence of Resets. ICDCS Workshops 2003: 22-27
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEunjin Jung, Alex X. Liu, Mohamed G. Gouda: Key Bundels and Parcels: Secure Communication in Many Groups. Networked Group Communication 2003: 119-130
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurat Demirbas, Anish Arora, Mohamed G. Gouda: A Pursuer-Evader Game for Sensor Networks. Self-Stabilizing Systems 2003: 1-16
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda, Ravi Musunuri: A Stabilizing Solution to the Stable Path Problem. Self-Stabilizing Systems 2003: 169-183
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Chin-Tser Huang: A secure address resolution protocol. Computer Networks 41(1): 57-71 (2003)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVinayak Naik, Anish Arora, Sandip Bapat, Mohamed G. Gouda: Dependable Systems - Whisper: Local Secret Maintenance in Sensor Networks. IEEE Distributed Systems Online 4(9): (2003)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Marco Schneider: Maximizable routing metrics. IEEE/ACM Trans. Netw. 11(4): 663-675 (2003)
2002
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Chin-Tser Huang, E. N. Elnozahy: Key Trees and the Security of Interval Multicast. ICDCS 2002: 467-468
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: Multiphase Stabilization. IEEE Trans. Software Eng. 28(2): 201-208 (2002)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire: Hop integrity in computer networks. IEEE/ACM Trans. Netw. 10(3): 308-319 (2002)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda: Stabilization of General Loop-Free Routing. J. Parallel Distrib. Comput. 62(5): 922-944 (2002)
2001
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: The Theory of Weak Stabilization. WSS 2001: 114-123
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Chin-Tser Huang, Anish Arora: On the Security and Vulnerability of PING. WSS 2001: 124-135
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda: Stabilization of Routing in Directed Networks. WSS 2001: 51-66
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaozhou (Steve) Li, Yang Richard Yang, Mohamed G. Gouda, Simon S. Lam: Batch rekeying for secure group communications. WWW 2001: 525-534
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: Elements of security: Closure, convergence, and protection. Inf. Process. Lett. 77(2-4): 109-114 (2001)
2000
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire: Hop Integrity in Computer Networks. ICNP 2000: 3-11
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChung Kei Wong, Mohamed G. Gouda, Simon S. Lam: Secure group communications using key graphs. IEEE/ACM Trans. Netw. 8(1): 16-30 (2000)
1999
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlaa Youssef, Hussein M. Abdel-Wahab, Kurt Maly, Mohamed G. Gouda: General and Scalable State Feedback for Multimedia Systems. ISCC 1999: 187-193
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Marco Schneider: Stabilization of maximal metric trees. WSS 1999: 10-17
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, F. Furman Haddix: The alternator. WSS 1999: 48-53
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Mohamed G. Gouda, Marco Schneider: Memory Requirements for Silent Stabilization. Acta Inf. 36(6): 447-462 (1999)
1998
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Tommy M. McGuire: Accelerated Heartbeat Protocols. ICDCS 1998: 202-209
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Marco Schneider: Maximizable Routing Metrics. ICNP 1998: 71-
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChung Kei Wong, Mohamed G. Gouda, Simon S. Lam: Secure Group Communications Using Key Graphs. SIGCOMM 1998: 68-79
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda, Amal El-Nahas: Time-shift scheduling - fair scheduling of flows in high-speed networks. IEEE/ACM Trans. Netw. 6(3): 274-285 (1998)
1997
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda: Balanced Routing. ICNP 1997: 277-284
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, F. Furman Haddix: The linear alternator. WSS 1997: 31-47
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Mohamed G. Gouda: Delay-insensitive stabilization. WSS 1997: 95-109
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Varghese, Anish Arora, Mohamed G. Gouda: Self-Stabilization by Tree Correction. Chicago J. Theor. Comput. Sci. 1997: (1997)
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda: The Request Reply Family of Group Routing Protocols. IEEE Trans. Computers 46(6): 659-672 (1997)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda: Flow theory. IEEE/ACM Trans. Netw. 5(5): 661-674 (1997)
1996
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah E. Chodrow, Mohamed G. Gouda: Sentries for the Execution of Concurrent Programs. ICDCS 1996: 11-18
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda: Group Routing without Group Routing Tables. ICDCS 1996: 344-351
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda, Amal El-Nahas: Time-Shift Scheduling: Fair Scheduling of Flows in High Speed Networks. ICNP 1996: 6-13
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Mohamed G. Gouda, Marco Schneider: Memory Requirements for Silent Stabilization (Extended Abstract). PODC 1996: 27-34
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: Network Protocols Between Exact Specifications and Pragmatic Implementations. ACM Comput. Surv. 28(4es): 43 (1996)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda: Group routing without group routing tables: an exercise in protocol design. Computer Communications 19(14): 1161-1174 (1996)
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHussein M. Abdel-Wahab, Mohamed G. Gouda: Systems of Recall Broadcast. Inf. Sci. 90(1-4): 1-17 (1996)
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, F. Furman Haddix: The Stabilizing Token Ring in Three Bits. J. Parallel Distrib. Comput. 35(1): 43-48 (1996)
1995
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: Stabilizing Client/Server Protocols without the Tears. FORTE 1995: 5-19
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Sanjoy Paul: A wireless link protocol: design by refinement. ICNP 1995: 192-200
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: The Triumph and Tribulation of System Stabilization. WDAG 1995: 1-18
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Mohamed G. Gouda: Load Balancing: An Exercise in Constrainted Convergence. WDAG 1995: 183-197
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah E. Chodrow, Mohamed G. Gouda: Implementation of the Sentry System. Softw., Pract. Exper. 25(4): 373-387 (1995)
1994
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Mohamed G. Gouda, George Varghese: Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance. ICDCS 1994: 424-431
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames C. Browne, E. Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Roberto J. Bayardo Jr., Sarah E. Chodrow, David Gadbois, F. Furman Haddix, Thomas W. Hetherington, Lance Obermeyer, Duu-Chung Tsou, Chih-Kan Wang, Rwo-Hsi Wang: A New Approach to Modularity in Rule-Based Programming. ICTAI 1994: 18-25
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Arturo Cobb, Mohamed G. Gouda, Prathima Agrawal: Protocol synchronization with sparse timestraps. PSTV 1994: 169-184
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Mohamed G. Gouda: Distributed Reset. IEEE Trans. Computers 43(9): 1026-1038 (1994)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: Stabilizing Observers. Inf. Process. Lett. 52(2): 99-103 (1994)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmbuj K. Singh, James H. Anderson, Mohamed G. Gouda: The Elusive Atomic Register. J. ACM 41(2): 311-339 (1994)
1993
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: Protocol Verification Made Simple: A Tutorial. Computer Networks and ISDN Systems 25(9): 969-980 (1993)
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames E. Burns, Mohamed G. Gouda, Raymond E. Miller: Stabilization and Pseudo-Stabilization. Distributed Computing 7(1): 35-42 (1993)
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda: Convergence of Iteration Systems. Distributed Computing 7(1): 43-53 (1993)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Mohamed G. Gouda: Closure and Convergence: A Foundation of Fault-Tolerant Computing. IEEE Trans. Software Eng. 19(11): 1015-1027 (1993)
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmbuj K. Singh, Mohamed G. Gouda: Rankers: A Classification of Synchronization Problems. Sci. Comput. Program. 21(3): 191-223 (1993)
1992
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Mohamed G. Gouda: Closure and Convergence: A Formulation of Fault-Tolerant Computing. FTCS 1992: 396-403
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda: Asynchronous Unison (Extended Abstract). ICDCS 1992: 486-493
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: The Two-Dimensional Window Protocol. PSTV 1992: 365-379
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah E. Chodrow, Mohamed G. Gouda: The Sentry System. SRDS 1992: 230-237
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames H. Anderson, Jae-Heon Yang, Mohamed G. Gouda: The Granularity of Waiting (Extended Abstract). WDAG 1992: 313-328
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames H. Anderson, Mohamed G. Gouda: A Criterion for Atomicity. Formal Asp. Comput. 4(3): 273-298 (1992)
1991
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Shlomi Dolev, Mohamed G. Gouda: Maintaining Digital Clocks In Step. WDAG 1991: 71-79
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames H. Anderson, Mohamed G. Gouda: A New Explanation of the Glitch Phenomenon. Acta Inf. 28(4): 297-309 (1991)
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Nicholas J. Multari: Stabilizing Communication Protocols. IEEE Trans. Computers 40(4): 448-458 (1991)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Ted Herman: Adaptive Programming. IEEE Trans. Software Eng. 17(9): 911-921 (1991)
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChung-Kuo Chang, Mohamed G. Gouda: On the Minimum Requirements for Independent Recovery in Distributed Systems. Inf. Process. Lett. 37(1): 1-7 (1991)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Shlomi Dolev, Mohamed G. Gouda: Maintaining Digital Clocks in Step. Parallel Processing Letters 1: 11-18 (1991)
1990
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda: Convergence of Iteration Systems (Extended Abstract). CONCUR 1990: 70-82
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Mohamed G. Gouda: Distributed Reset (Extended Abstract). FSTTCS 1990: 316-331
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Michael Evangelist: Convergence/response tradeoffs in concurrent systems. SPDP 1990: 188-192
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Mohamed G. Gouda, Ted Herman: Composite Routing Protocols. SPDP 1990: 70-78
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Ted Herman: Stabilizing Unison. Inf. Process. Lett. 35(4): 171-175 (1990)
1989
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Rodney R. Howell, Louis E. Rosier: System Simulation and the Sensitivity of Self-Stabilization. MFCS 1989: 249-258
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller: Block Acknowledgement: Redesigning the Window Protocol. SIGCOMM 1989: 128-135
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Rodney R. Howell, Louis E. Rosier: The Instability of Self-Stabilization. Acta Inf. 27(8): 697-724 (1989)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeoffrey M. Brown, Mohamed G. Gouda, Chuan-lin Wu: Token Systems that Self-Stabilize. IEEE Trans. Computers 38(6): 845-852 (1989)
1988
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Nicholas F. Maxemchuk, U. Mukherji, Krishan K. Sabnani: Delivery and discrimination: the Seine protocol. SIGCOMM 1988: 292-302
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames H. Anderson, Mohamed G. Gouda: Atomic Semantics of Nonatomic Programs. Inf. Process. Lett. 28(2): 99-103 (1988)
1987
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmbuj K. Singh, James H. Anderson, Mohamed G. Gouda: The Elusive Atomic Register Revisited. PODC 1987: 206-221
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChung-Kuo Chang, Mohamed G. Gouda: Independent Recovery. SRDS 1987: 93-104
1986
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Chung-Kuo Chang: Proving Liveness for Networks of Communicating Finite State Machines. ACM Trans. Program. Lang. Syst. 8(1): 154-182 (1986)
1985
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Khe-Sing The: Modeling physical layer protocols using communicating finite state machines. SIGCOMM 1985: 54-62
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChing-Hua Chow, Mohamed G. Gouda, Simon S. Lam: A Discipline for Constructing Multiphase Communication Protocols ACM Trans. Comput. Syst. 3(4): 315-343 (1985)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Ji-Yun Han: Protocol Validation by Fair Progress State Exploration. Computer Networks 9: 353-361 (1985)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Hui-Seng Lee: Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines. IEEE Trans. Software Eng. 11(10): 1240-1251 (1985)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Louis E. Rosier: Priority Networks of Communicating Finite State Machines. SIAM J. Comput. 14(3): 569-584 (1985)
1984
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Louis E. Rosier: Communicating Finite State Machines with Priority Channnels. ICALP 1984: 209-221
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Chung-Kuo Chang: A Technique for Proving Liveness of Communicating Finite State Machines with Examples. PODC 1984: 38-49
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Yann Hwang, Umeshwar Dayal, Mohamed G. Gouda: Using Semiouterjoins to Process Queries in Multidatabase Systems. PODS 1984: 153-162
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Ching-Hua Chow, Simon S. Lam: On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines. PSTV 1984: 47-56
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChing-Hua Chow, Mohamed G. Gouda, Simon S. Lam: On Constructing Multi-Phase Communication Protocols. PSTV 1984: 57-68
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChing-Hua Chow, Mohamed G. Gouda, Simon S. Lam: An exercise in constructing multi-phase communication protocols. Computer Communication Review 14(2): 42-49 (1984)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: Closed Covers: To Verify Progress for Communicating Finite State Machines. IEEE Trans. Software Eng. 10(6): 846-855 (1984)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Eric G. Manning, Yao-Tin Yu: On the Progress of Communications between Two Finite State Machines Information and Control 63(3): 200-216 (1984)
1983
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: An Example for Constructing Communicating Machines by Step-Wise Refinement. Protocol Specification, Testing, and Verification 1983: 63-74
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYao-Tin Yu, Mohamed G. Gouda: Unboundedness Detection for a Class of Communicating Finite-State Machines. Inf. Process. Lett. 17(5): 235-240 (1983)
1982
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Bijendra N. Jain: Necessary and Sufficient Conditions to Detect Message Duplication in Protocol Hierarchies. PSTV 1982: 317
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYao-Tin Yu, Mohamed G. Gouda: Deadlock Detection for a Class of Communicating Finite State Machine. PSTV 1982: 319
1981
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Umeshwar Dayal: Optimal Semijoin Schedules For Query Processing in Local Distributed Database Systems. SIGMOD Conference 1981: 164-175
1980
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Eric G. Manning, Yao-Tin Yu: On the progress of communication between two machines. Operating Systems Engineering 1980: 369-389
1979
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, D. Body, W. Wood: Global and Local Models for the Specification and Verification of Distributed Systems. Berkeley Workshop 1979: 155-
1978
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda: A Hierarchial Controller for Concurrent Accessing of Distributed Databases. Computer Architecture for Non-Numeric Processing 1978: 65-70
1976
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Eric G. Manning: Protocol Machines: A Concise Formal Model and its Automatic Implementation. ICCC 1976: 346-350
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Eric G. Manning: On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures. ICSE 1976: 256-262

Coauthor Index

1Hussein M. Abdel-Wahab [67] [87]
2Hrishikesh B. Acharya [155] [156] [157] [158] [159] [160]
3Prathima Agrawal [58]
4Amitanand S. Aiyer [135]
5Mohamed A. Alam [140]
6Lorenzo Alvisi [135] [144]
7Chris Anderson [118] [125]
8James H. Anderson [26] [27] [42] [44] [45] [55]
9Mahesh Aramugam [118] [125]
10Anish Arora [34] [36] [37] [38] [43] [49] [51] [52] [57] [60] [62] [76] [77] [93] [100] [103] [106] [107] [118] [120] [125] [130] [131] [141] [150]
11Umamaheswaran Arumugam [106]
12Paul C. Attie [37] [52]
13Praveen Balasubramanian [144]
14Sandip Bapat [100] [106] [118] [125]
15Roberto J. Bayardo (Roberto J. Bayardo Jr.) [59]
16Rida A. Bazzi [134] [153]
17D. Body [4]
18Geoffrey M. Brown [29] [31]
19James C. Browne [59]
20James E. Burns [53]
21Hui Cao [106] [118] [125]
22Chung-Kuo Chang [17] [24] [25] [39]
23Sarah E. Chodrow [46] [59] [61] [73]
24Taehwan Choi [148]
25Young-ri Choi [106] [107] [118] [119] [120] [125] [134] [141] [143] [153]
26C. Edward Chow (Ching-Hua Chow) [13] [14] [15] [22]
27Jorge Arturo Cobb [58] [68] [71] [72] [74] [75] [79] [80] [92] [95] [102] [115] [133] [148] [149]
28Jean-Michel Couvreur [48]
29David E. Culler [118] [125]
30Andrew R. Dalton [150]
31Kajari Ghosh Dastidar [150]
32Umeshwar Dayal [6] [16]
33Murat Demirbas [103] [106]
34Shlomi Dolev [38] [43] [70] [84]
35Prabal Dutta [106] [118] [125]
36Amal El-Nahas [71] [80]
37Ehab S. Elmallah [113] [132] [136] [145] [155] [159]
38E. N. Elnozahy (Elmootazbellah (Mootaz) Elnozahy) [89] [96] [98] [105] [127]
39E. Allen Emerson [59]
40Emre Ertin [118] [125]
41Michael Evangelist [35] [37] [52]
42Bill Ferriera [118] [125]
43Nissim Francez [48]
44David Gadbois [59]
45Aashin Gautam [122]
46Mike Grimmer [118] [125]
47F. Furman Haddix [59] [66] [78] [85] [123] [138]
48Jason O. Hallstrom [150]
49Ji-Yun Han [21]
50Ted Herman [33] [34] [40] [106] [118] [125] [150]
51Thomas W. Hetherington [59]
52Rodney R. Howell [30] [32]
53Chin-Tser Huang [89] [93] [96] [98] [101] [105] [121] [127] [133]
54Hai-Yann Hwang [16]
55Mansoor Jafry [152]
56Bijendra N. Jain (Bijendra Nath Jain) [8]
57Eunjin Jung [104] [109] [113] [117] [128] [129] [136]
58Mehmet Hakan Karaata [137]
59Benjamin Kuipers [122]
60Vinodkrishnan Kulathumani (Vinod Kulathumani) [106] [118] [125]
61Sandeep S. Kulkarni [106] [118] [125] [130] [131] [132] [145]
62Santosh Kumar [118] [125]
63Simon S. Lam [13] [14] [15] [22] [81] [88] [91]
64William Leal [150]
65Hui-Seng Lee [20]
66Lok M. Leung [140]
67Xiaozhou Li (Xiaozhou (Steve) Li) [91]
68Yan Li [142] [151]
69Alex X. Liu (Xiang-Yang Alex Liu) [104] [108] [110] [111] [112] [122] [124] [126] [129] [139] [140] [146] [147] [152] [154]
70Huibo H. Ma [108]
71Kurt Maly [87]
72Eric G. Manning [1] [2] [5] [11]
73Nicholas F. Maxemchuk [28]
74William P. McCartney [150]
75Tommy M. McGuire [83] [89] [96]
76Raymond E. Miller [31] [53]
77Daniel P. Miranker (Dan Miranker) [59]
78Vineet Mittal [106]
79Mark Miyashita [106]
80Aloysius K. Mok [59]
81U. Mukherji [28]
82Nicholas J. Multari [41]
83Ravi Musunuri [102]
84Vinayak Naik [100] [106] [118] [125]
85Mikhail Nesterenko [106] [118] [125]
86Anne H. H. Ngu (Anne Hee Hiong Ngu) [108]
87Lance Obermeyer [59]
88Ken Parker [118] [125]
89Sanjoy Paul [64]
90Rajiv Ramnath [118] [125]
91Louis E. Rosier [18] [19] [30] [32]
92Krishan K. Sabnani [28]
93Marco Schneider [70] [82] [84] [86] [99]
94Nick Seddon [118] [125]
95Romil Shah [118] [125]
96Cory Sharp [118] [125]
97Vitaly Shmatikov [144]
98Deepinder P. Sidhu [115]
99Ambuj K. Singh [26] [50] [55]
100Prasun Sinha [118] [125]
101Sooel Son [148]
102Nigamanth Sridhar [150]
103Mukundan Sridharan [118] [125]
104Khe-Sing The [23]
105Gilman Tolle [118] [125]
106Nishank Trivedi [118] [125]
107Duu-Chung Tsou [59]
108George Varghese [60] [76]
109Adnan Vora [106]
110Chih-Kan Wang [59]
111Limin Wang [118] [125]
112Rwo-Hsi Wang [59]
113Chung Kei Wong [81] [88]
114Edmund L. Wong [144]
115W. Wood [4]
116Chuan-lin Wu [29]
117Jae-Heon Yang [45]
118Yang Richard Yang [91]
119Alaa Youssef [87]
120Yao-Tin Yu [5] [7] [9] [11]
121Chen Zhang [118] [125]
122Hongwei Zhang [106] [118] [120] [125] [141]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)