P. M. Melliar-Smith Home Page Coauthor index pubzone.org

P. Michael Melliar-Smith

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang: Mobile Decentralized Search and Retrieval Using SMS and HTTP. MONET 18(1): 22-41 (2013)
2012
j59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yung-Ting Chuang, P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera: Protecting the iTrust Information Retrieval Network against Malicious Attacks. JCSE 6(3): 179-192 (2012)
j58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Honglei Zhang, Hua Chai, Wenbing Zhao, P. Michael Melliar-Smith, Louise E. Moser: Trustworthy Coordination of Web Services Atomic Transactions. IEEE Trans. Parallel Distrib. Syst. 23(8): 1551-1565 (2012)
c108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera, Yung-Ting Chuang: iTrust: Trustworthy Information Publication, Search and Retrieval. ICDCN 2012: 351-366
c107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yung-Ting Chuang, Isai Michel Lombera, P. M. Melliar-Smith, Louise E. Moser: Detecting and defending against malicious attacks in the iTrust information retrieval network. ICOIN 2012: 263-268
c106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher M. Badger, Louise E. Moser, P. Michael Melliar-Smith, Isai Michel Lombera, Yung-Ting Chuang: Declustering the iTrust Search and Retrieval Network to Increase Trustworthiness. WEBIST 2012: 312-322
c105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang: Decentralized search and retrieval for mobile networks using SMS. WiMob 2012: 134-141
2011
j57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Honglei Zhang, Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications. IET Software 5(3): 342-356 (2011)
j56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amir Aminzadeh Gohari, Ryan Pakbaz, P. Michael Melliar-Smith, Louise E. Moser, Volkan Rodoplu: RMR: Reliability Map Routing for Tactical Mobile Ad Hoc Networks. IEEE Journal on Selected Areas in Communications 29(10): 1935-1947 (2011)
c104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser: Leader-Determined Membership Protocol. HASE 2011: 124-129
c103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Isai Michel Lombera, Yung-Ting Chuang, Louise E. Moser, P. M. Melliar-Smith: Decentralized Mobile Search and Retrieval Using SMS and HTTP to Support Social Change. MobiCASE 2011: 152-171
2010
j55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Firat Kart, Louise E. Moser, P. M. Melliar-Smith: An Automated Supply Chain Management System and Its Performance Evaluation. IJISSCM 3(2): 84-107 (2010)
c102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser: Fault Tolerance Middleware for Cloud Computing. IEEE CLOUD 2010: 67-74
c101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yung-Ting Chuang, P. M. Melliar-Smith, Louise E. Moser: A patient-centered health monitoring system. Wireless Health 2010: 196-197
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser: The Low Latency Fault Tolerance System. CoRR abs/1004.1864 (2010)
2009
j54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Schuricht, Zachary Davis, Michael Hu, Shreyas Prasad, P. M. Melliar-Smith, Louise E. Moser: Managing multiple speech-enabled applications in a mobile handheld device. Int. J. Pervasive Computing and Communications 5(3): 332-359 (2009)
c100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gengxin Miao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith: Collaborative Web Data Record Extraction. ICWS 2009: 896-902
c99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. M. Melliar-Smith, Louise E. Moser: O-Ring: A Fault Tolerance and Load Balancing Architecture for Peer-to-Peer Systems. SCCC 2009: 25-33
2008
j53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith: Building a Distributed E-Healthcare System Using SOA. IT Professional 10(2): 24-30 (2008)
j52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser, Yannis Drougas: Resource management using multiple feedback loops in soft real-time distributed object systems. Journal of Systems and Software 81(7): 1144-1162 (2008)
j51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith: A Reservation-based Extended Transaction Protocol for Coordination of Web Services. Int. J. Web Service Res. 5(3): 64-95 (2008)
j50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Extended Transaction Protocol. IEEE Trans. Parallel Distrib. Syst. 19(2): 188-203 (2008)
c98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith: A Collaborative Computing Infrastructure based on atom. CTS 2008: 305-312
c97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith: Collaborative Computing Using the Atom Publishing Protocol. ITNG 2008: 291-296
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith: Service-Oriented Architecture and Web Services. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
j49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. Michael Melliar-Smith, Wenbing Zhao: Building Dependable and Secure Web Services. JSW 2(1): 14-26 (2007)
j48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. Michael Melliar-Smith, Louise E. Moser: Achieving Atomicity for Web Services Using Commutativity of Actions. J. UCS 13(8): 1094-1109 (2007)
c96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Firat Kart, Gengxin Miao, Louise E. Moser, P. M. Melliar-Smith: A Distributed e-Healthcare System Based on the Service Oriented Architecture. IEEE SCC 2007: 652-659
c95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith: Reliable Data Distribution and Consistent Data Replication Using the Atom Syndication Technology. International Conference on Internet Computing 2007: 124-132
2006
j47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Prithviraj Dasgupta, P. M. Melliar-Smith, Louise E. Moser: Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy. International Journal of Information Technology and Decision Making 5(2): 331-352 (2006)
j46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: End-to-end latency of a fault-tolerant CORBA infrastructure. Perform. Eval. 63(4-5): 341-363 (2006)
c94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Wenbing Zhao: Making Web Services Dependable. ARES 2006: 440-448
c93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zachary Davis, Michael Hu, Shreyas Prasad, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser: A Personal Handheld Multi-Modal Shopping Assistant. ICNS 2006: 117
c92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shreyas Prasad, Zachary Davis, Michael Hu, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser: Location-Aware Voice-Enabled Web Services for Mobile Devices. MoMM 2006: 291-300
c91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Hu, Zachary Davis, Shreyas Prasad, Michael Schuricht, P. Michael Melliar-Smith, Louise E. Moser: Speech-Enabled Web Services for Mobile Devices. SWWS 2006: 103-109
2005
j45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Prithviraj Dasgupta, Louise E. Moser, P. M. Melliar-Smith: Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace. Electronic Commerce Research 5(2): 267-292 (2005)
j44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA. IEEE Trans. Dependable Sec. Comput. 2(1): 20-33 (2005)
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
A. V. Singh, Louise E. Moser, P. M. Melliar-Smith: Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA. EDCC 2005: 154-166
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Coordination Protocol for Web Services. ICWS 2005: 49-56
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Deterministic Scheduling for Multithreaded Replicas. WORDS 2005: 74-81
r1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Fault Tolerance for Distributed and Networked Systems. Encyclopedia of Information Science and Technology (II) 2005: 1190-1196
2004
j43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure. Cluster Computing 7(4): 317-330 (2004)
j42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and implementation of a consistent time service for fault-tolerant distributed systems. Comput. Syst. Sci. Eng. 19(5) (2004)
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. M. Melliar-Smith, Louise E. Moser: Progress in Real-Time Fault Tolerance. SRDS 2004: 109-111
2003
j41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Byzantine Fault Detectors for Solving Consensus. Comput. J. 46(1): 16-35 (2003)
j40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Prithviraj Dasgupta, P. M. Melliar-Smith: Dynamic Consumer Profiling and Tiered Pricing Using Software Agents. Electronic Commerce Research 3(3-4): 277-296 (2003)
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith: Demonstration of Fault Tolerance for CORBA Applications. DISCEX (2) 2003: 87-89
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. DSN 2003: 341-350
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith: Transparent TCP Connection Failover. DSN 2003: 383-392
2002
j39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Strongly consistent replication and recovery of fault-tolerant CORBA applications. Comput. Syst. Sci. Eng. 17(2): 103-114 (2002)
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Eternal - a component-based framework for transparent fault-tolerant CORBA. Softw., Pract. Exper. 32(8): 771-788 (2002)
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: On Bootstrapping Replicated CORBA Applications. COMPSAC 2002: 239-245
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, L. A. Tewksbury: Online Upgrades Become Standard. COMPSAC 2002: 982-988
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Lessons Learned in Building a Fault-Tolerant CORBA System. DSN 2002: 39-44
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Unification of Replication and Transaction Processing in Three-Tier Architectures. ICDCS 2002: 290-
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith: The Totem Redundant Ring Protocol. ICDCS 2002: 598-607
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure. IPDPS 2002
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: End-to-End Latency of a Fault-Tolerant CORBA Infrastructure. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 189-198
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Keith Marzullo, P. M. Melliar-Smith, Andreas Polze, Douglas C. Schmidt: Open Research Issues in Building Dependable Middleware (Panel). WORDS 2002: 359-
2001
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket: A multicast group communication protocol, engine, and bridge for CORBA. Concurrency and Computation: Practice and Experience 13(7): 579-603 (2001)
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Interceptors for Java Remote Method Invocation. Concurrency and Computation: Practice and Experience 13(8-9): 755-774 (2001)
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: The SecureRing group communication system. ACM Trans. Inf. Syst. Secur. 4(4): 371-406 (2001)
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Latency analysis of the totem single-ring protocol. IEEE/ACM Trans. Netw. 9(5): 669-680 (2001)
c75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Live Upgrade Techniques for CORBA Applications. DAIS 2001: 257-272
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects. DOA 2001: 310-320
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. DSN 2001: 261-270
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elizabeth M. Royer, P. Michael Melliar-Smith, Louise E. Moser: An analysis of the optimum node density for ad hoc mobile networks. ICC 2001: 857-861
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
K. Berket, Deborah A. Agarwal, P. M. Melliar-Smith, Louise E. Moser: Overview of the InterGroup Protocols. International Conference on Computational Science (1) 2001: 316-325
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Migration Algorithms for Distributed Object Systems. ICDCS 2001: 119-126
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Live Upgrades of CORBA Applications Using Object Replication. ICSM 2001: 488-
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Increasing the Reliability of Three-Tier Applications. ISSRE 2001: 138-147
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Strong Replica Consistency for Fault-Tolerant CORBA Applications. WORDS 2001: 10-20
2000
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser: Flow control in the high-speed Thunder and Lightning ATM network. Computer Communications 23(10): 928-935 (2000)
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Transparent Consistent Replication of Java RMI Objects. DOA 2000: 17-26
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith: A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks. DSN 2000: 337-346
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith: A CORBA Framework for Managing Real-Time Distributed Multimedia Applications. HICSS 2000
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Scheduling for Soft Real-Time Distributed Object Systems. ISORC 2000: 114-121
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Interception in the Aroma system. Java Grande 2000: 107-115
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Gateways for Accessing Fault Tolerance Domains. Middleware 2000: 88-103
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Scheduling of Distributed Method Invocations. RTSS 2000: 57-66
1999
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Analyzing and Measuring the Latency of the Totem Multicast Protocols. Computer Networks 31(1-2): 59-78 (1999)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Using Interceptors to Enhance CORBA. IEEE Computer 32(7): 62-68 (1999)
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith: Byzantine-Resistant Total Ordering Algorithms. Inf. Comput. 150(1): 75-111 (1999)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Prithviraj Dasgupta, Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: MAgNET: Mobile Agents for Networked Electronic Trading. IEEE Trans. Knowl. Data Eng. 11(4): 509-525 (1999)
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket: Multicast Group Communication for CORBA. DOA 1999: 98-107
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan: A Fault Tolerance Framework for CORBA. FTCS 1999: 150-157
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Providing Support for Survivable CORBA Applications with the Immune System. ICDCS 1999: 507-516
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket: A Group Communication Protocol for CORBA. ICPP Workshops 1999: 30-36
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Using Multiple Feedback Loops for Object Profiling, Scheduling and Migration in Soft Real-Time Distributed Object Systems. ISORC 1999: 291-300
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. SRDS 1999: 263-273
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith: Dynamic modeling of replicated objects for dependable soft real-time distributed object systems. WORDS (Jan.) 1999: 48-55
1998
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. M. Melliar-Smith, Louise E. Moser: Surviving Network Partitioning. IEEE Computer 31(3): 62-68 (1998)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ravi K. Budhia, Louise E. Moser, P. M. Melliar-Smith: Performance engineering of the Totem group communication system. Distributed Systems Engineering 5(2): 78-87 (1998)
j26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan: Consistent Object Replication in the external System. TAPOS 4(2): 81-92 (1998)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia: The Totem Multiple-Ring Ordering and Topology Maintenance Protocol. ACM Trans. Comput. Syst. 16(2): 93-132 (1998)
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: The SecureRing Protocols for Securing Group Communication. HICSS (3) 1998: 317-326
c51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser: Flow Control in the High-Speed Thunder and Lightning ATM Network. ICCCN 1998: 243-250
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser: A Lossless, Minimal Latency Protocol for Gigabit ATM Networks. ICNP 1998: 151-
1997
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Replica consistency of CORBA objects in partitionable distributed systems. Distributed Systems Engineering 4(3): 139-150 (1997)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Totally ordered gigabit multicasting. Distributed Systems Engineering 4(4): 229-243 (1997)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith, Laura K. Dillon: A Graphical Environment for the Design of Concurrent Real-Time Systems. ACM Trans. Softw. Eng. Methodol. 6(1): 31-79 (1997)
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Exploiting the Internet Inter-ORB Protocol Interface to Provide CORBA with Fault Tolerance. COOTS 1997: 81-90
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: The Interception Approach to Reliable Distributed CORBA Objects. COOTS 1997: 245-248
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Consistency of Partitionable Object Groups in a CORBA Framework. HICSS (1) 1997: 120-129
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Analyzing the latency of the Totem multicast protocols. ICCCN 1997: 42-50
c45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector. OPODIS 1997: 61-76
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. Michael Melliar-Smith, Louise E. Moser, Priya Narasimhan: Separation of concerns: functionality vs. quality of service. WORDS 1997: 272-274
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. Michael Melliar-Smith, Efstratios Thomopoulos: Probabilistic analysis of real-time dependable systems. WORDS 1997: 306-313
1996
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, Ravi K. Budhia, Colleen A. Lingley-Papadopoulos: Totem: A Fault-Tolerant Multicast Group Communication System. Commun. ACM 39(4): 54-63 (1996)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: Automated Deduction in a Graphical Temporal Logic. Journal of Applied Non-Classical Logics 6(1): 29-47 (1996)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty: Interval Logics and Their Decision Procedures, Part I: An Interval Logic. Theor. Comput. Sci. 166(1&2): 1-47 (1996)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty: Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. Theor. Comput. Sci. 170(1-2): 1-46 (1996)
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: The Real-Time Graphical Interval Logic Toolset. CAV 1996: 446-449
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
W. J. Chun, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal: Applying Distributed Simulation to a Communication Protocol Development Environment. HICSS (1) 1996: 320-329
c40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Reservation-Based Totally Ordered Multicasting. ICDCS 1996: 511-519
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Flow Control Techniques for Multicasting in Gigabit Networks. ICNP 1996: 102-
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith: Probabilistic Duration Automata for Analyzing Real-Time Systems. TACAS 1996: 369-390
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, Priya Narasimhan, P. M. Melliar-Smith: Object-oriented programming of complex fault-tolerant real-time systems. WORDS 1996: 116-119
1995
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon: Axiomatizations of Interval Logics. Fundam. Inform. 24(4): 313-331 (1995)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella: The Totem Single-Ring Ordering and Membership Protocol. ACM Trans. Comput. Syst. 13(4): 311-342 (1995)
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal: The Totem System. FTCS 1995: 61-66
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia: A reliable ordered delivery protocol for interconnected local area networks. ICNP 1995: 365-
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: A Parallel Processing Paradigm for Irregular Applications. IRREGULAR 1995: 249-254
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith: Total Ordering Algorithms for Asynchronous Byzantine Systems. WDAG 1995: 242-256
1994
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith: Classic Squares and Broadcast Squares. Discrete Applied Mathematics 54(1): 89-96 (1994)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, G. Kutty, Y. S. Ramakrishna: Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. Fundam. Inform. 21(4): 257-305 (1994)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: A Graphical Interval Logic for Specifying Concurrent Systems. ACM Trans. Softw. Eng. Methodol. 3(2): 131-165 (1994)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Processor Membership in Asynchronous Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 5(5): 459-473 (1994)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Laura K. Dillon, G. Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna: Visual Specifications for Temporal Reasoning. J. Vis. Lang. Comput. 5(1): 61-81 (1994)
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: A Graphical Methodology for Concurrent System Design. ACM Conference on Computer Science 1994: 52-59
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith, Paul Sweazey: The QuickRing Network. ACM Conference on Computer Science 1994: 233-240
c30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, Yair Amir, P. M. Melliar-Smith, Deborah A. Agarwal: Extended Virtual Synchrony. ICDCS 1994: 56-65
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna: First-Order Future Interval Logic. ICTL 1994: 195-209
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: A System for Automated Deduction in Graphical Interval Logic. ICTL 1994: 540-542
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith: Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. RTSS 1994: 238-248
1993
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Necessary and Sufficient Conditions for Broadcast Consensus Protocols. Distributed Computing 7(2): 75-85 (1993)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Asynchronous Fault-Tolerant Total Ordering Algorithms. SIAM J. Comput. 22(4): 727-750 (1993)
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hossein Moiin, P. M. Melliar-Smith, Louise E. Moser: Better Late Than Never. ACM Conference on Computer Science 1993: 44-51
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith: Analysis of Timing Hazards in Ada Programs. ACM Conference on Computer Science 1993: 326-331
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
G. Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith: A Graphical Interval Logic Toolset for Verifying Concurrent Systems. CAV 1993: 138-153
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty: A Real-Time Interval Logic and Its Decision Procedure. FSTTCS 1993: 173-192
c22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella: Fast Message Ordering and Membership Using a Logical Token-Passing Ring. ICDCS 1993: 551-560
c21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
G. Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Visual Tools for Temporal Reasoning. VL 1993: 152-159
1992
j8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, G. Kutty: An automata-theoretic decision procedure for propositional temporal logic with since and until. Fundam. Inform. 17(3): 271-282 (1992)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty: An Automata-Theoretic Decision Procedure for Future Interval Logic. FSTTCS 1992: 51-67
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: PAL: A Language for Parallel Asynchronous Computation. ICPP (2) 1992: 166-173
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Graphical Specifications for Concurrent Software Systems. ICSE 1992: 214-224
1991
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: A parallel sorting algorithm for a novel model of computation. International Journal of Parallel Programming 20(5): 403-419 (1991)
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. M. Melliar-Smith, Louise E. Moser: Protection against Covert Storage and Timing Channels. CSFW 1991: 209-214
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Membership algorithms for asynchronous distributed systems. ICDCS 1991: 480-488
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. M. Melliar-Smith, Louise E. Moser: Performance Analysis of a Broadcast Communications Protocol. SIGMETRICS 1991: 1-10
1990
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith: The World Banker's Algorithm. J. Parallel Distrib. Comput. 9(4): 369-373 (1990)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, P. M. Melliar-Smith: Formal Verification of Safety-critical Systems. Softw., Pract. Exper. 20(8): 799-821 (1990)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. M. Melliar-Smith, Louise E. Moser, Vivek Agrawala: Broadcast Protocols for Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 1(1): 17-25 (1990)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louise E. Moser, Vikas Kapur, P. M. Melliar-Smith: Probabilistic Language Analysis of Weighted Voting Algorithms. SIGMETRICS 1990: 67-73
1988
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. M. Melliar-Smith: A Graphical Representation of Interval Logic. Concurrency 1988: 106-120
1987
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. M. Melliar-Smith: Extending Interval Logic to Real Time Systems. Temporal Logic in Specification 1987: 224-242
1986
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leslie Lamport, P. M. Melliar-Smith: Byzantine Clock Synchronization. Operating Systems Review 20(3): 10-16 (1986)
1985
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leslie Lamport, P. M. Melliar-Smith: Synchronizing Clocks in the Presence of Faults. J. ACM 32(1): 52-78 (1985)
1984
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leslie Lamport, P. M. Melliar-Smith: Byzantine Clock Synchronization. PODC 1984: 68-74
1983
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard L. Schwartz, P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. The Analysis of Concurrent Systems 1983: 55-65
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Protocol Specification, Testing, and Verification 1983: 3-18
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: An Interval-Based Temporal Logic. Logic of Programs 1983: 443-457
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: An Interval Logic for Higher-Level Temporal Reasoning. PODC 1983: 173-186
1982
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. M. Melliar-Smith, Richard L. Schwartz: Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. IEEE Trans. Computers 31(7): 616-630 (1982)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith: STP: A Mechanized Logic for Specification and Verification. CADE 1982: 32-49
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard L. Schwartz, P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. PSTV 1982: 3-19
1981
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard L. Schwartz, P. M. Melliar-Smith: Temporal Logic Specification of Distributed Systems. ICDCS 1981: 446-454
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard L. Schwartz, P. M. Melliar-Smith: The Finalization Operation for Abstract Types. ICSE 1981: 273-282
1977
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. M. Melliar-Smith, Brian Randell: Software Reliability: The Role of Programmed Exception Handling. Language Design for Reliable Software 1977: 95-100
1974
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell: A program structure for error detection and recovery. Symposium on Operating Systems 1974: 171-187

Coauthor Index

1Deborah A. Agarwal
[c71] [j25] [j21] [c41] [j16] [c36] [c35] [c30] [c22]
2Vivek Agrawala
[j12] [j10] [j9] [c16] [j4]
3Yair Amir
[j16] [c30] [c22]
4Christopher M. Badger
[c106]
5K. Berket
[j37] [c71] [c59] [c56]
6Ravi K. Budhia
[j27] [j25] [j21] [c35]
7Hua Chai
[j58]
8Xiaomin Chen
[j23] [c40] [c39]
9Yung-Ting Chuang
[j60] [j59] [c108] [c107] [c106] [c105] [c103] [c101]
10W. J. Chun
[c41]
11P. Ciarfella
[j16] [c22]
12Amitabha Das
[c34] [c19] [j7]
13Prithviraj Dasgupta
[j47] [j45] [j40] [j29]
14Zachary Davis
[j54] [c93] [c92] [c91]
15Laura K. Dillon
[j22] [j20] [j19] [j18] [c42] [j17] [j13] [j11] [c29] [c28] [c24] [c23] [c21] [j8] [c20] [c18]
16Yannis Drougas
[j52]
17Amir Aminzadeh Gohari
[j56]
18James J. Horning (Jim Horning)
[c1]
19Sanjay Hortikar
[c84]
20Michael Hu
[j54] [c93] [c92] [c91]
21Vana Kalogeraki
[j52] [c70] [c64] [c63] [c60] [c55] [c53]
22Vikas Kapur
[c14]
23Firat Kart
[j55] [c100] [j53] [j51] [c98] [c97] [c96] [c95]
24Kim Potter Kihlstrom
[j41] [j35] [c57] [c52] [c45]
25Ruppert R. Koch
[c84] [c79] [j37] [c65] [c59] [c56]
26G. Kutty
[j22] [j20] [j19] [j18] [c42] [j17] [j14] [j13] [j11] [c32] [c29] [c28] [c24] [c23] [c21] [j8] [c20] [c18]
27Leslie Lamport
[j3] [j2] [c11]
28Hugh C. Lauer
[c1]
29Colleen A. Lingley-Papadopoulos
[j21]
30Isai Michel Lombera
[j60] [j59] [c108] [c107] [c106] [c105] [c103]
31Keith Marzullo
[c76]
32Gengxin Miao
[c100] [c96]
33Hossein Moiin
[c26]
34Louise E. Moser
[j60] [j59] [j58] [c108] [c107] [c106] [c105] [j57] [j56] [c104] [c103] [j55] [c102] [c101] [i1] [j54] [c100] [c99] [j53] [j52] [j51] [j50] [c98] [c97] [p1] [j49] [j48] [c96] [c95] [j47] [j46] [c94] [c93] [c92] [c91] [j45] [j44] [c90] [c89] [c88] [r1] [j43] [j42] [c87] [j41] [c86] [c85] [c84] [j39] [j38] [c83] [c82] [c81] [c80] [c79] [c78] [c77] [j37] [j36] [j35] [j34] [c75] [c74] [c73] [c72] [c71] [c70] [c69] [c68] [c67] [j33] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [j32] [j31] [j30] [j29] [c59] [c58] [c57] [c56] [c55] [c54] [c53] [j28] [j27] [j26] [j25] [c52] [c51] [c50] [j24] [j23] [j22] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [j21] [j20] [j19] [j18] [c42] [c41] [c40] [c39] [c38] [c37] [j17] [j16] [c36] [c35] [c34] [c33] [j15] [j14] [j13] [j12] [j11] [c32] [c31] [c30] [c29] [c28] [c27] [j10] [j9] [c26] [c25] [c24] [c23] [c22] [c21] [j8] [c20] [c19] [c18] [j7] [c17] [c16] [c15] [j6] [j5] [j4] [c14]
35Nitya Narasimhan
[j36] [c66] [c62] [j29]
36Priya Narasimhan
[j39] [j38] [c81] [c76] [j37] [c73] [c67] [c61] [j31] [c59] [c58] [c57] [c54] [j26] [j24] [c49] [c48] [c47] [c44] [c37]
37Ryan Pakbaz
[j56]
38Andreas Polze
[c76]
39Shreyas Prasad
[j54] [c93] [c92] [c91]
40Y. S. Ramakrishna
[j22] [j20] [j19] [j18] [c42] [j17] [j14] [j13] [j11] [c32] [c29] [c28] [c24] [c23] [c21] [j8] [c20] [c18]
41Brian Randell
[c2] [c1]
42Volkan Rodoplu
[j56]
43Elizabeth M. Royer
[c72]
44Michael D. Santos
[j33] [c51] [c50]
45Douglas C. Schmidt
[c76]
46Michael Schuricht
[j54] [c93] [c92] [c91]
47Richard L. Schwartz
[c10] [c9] [c8] [c7] [j1] [c6] [c5] [c4] [c3]
48Robert E. Shostak
[c6]
49A. V. Singh
[c90]
50Paul Sweazey
[c31]
51L. A. Tewksbury
[c82] [c75] [c74] [c69]
52Efstratios Thomopoulos
[j34] [j32] [c46] [c43]
53Marcos Valerio
[j15] [c31]
54Friedrich H. Vogt
[c9] [c8] [c7]
55Honglei Zhang
[j58] [j57]
56Wenbing Zhao
[j58] [j57] [c104] [c102] [i1] [j51] [j50] [j49] [j46] [c94] [j44] [c89] [c88] [r1] [j43] [j42] [c85] [c83] [c80] [c78] [c77] [c68]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 09:42:01 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page