dblp.uni-trier.dewww.uni-trier.de

Louise E. Moser Vis

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

*2009
134EEGengxin Miao, Jun'ichi Tatemura, Wang-Pin Hsiung, Arsany Sawires, Louise E. Moser: Extracting data records from the web using tag path clustering. WWW 2009: 981-990
2008
133EEFirat Kart, Louise E. Moser, P. Michael Melliar-Smith: Collaborative Computing Using the Atom Publishing Protocol. ITNG 2008: 291-296
132EELouise E. Moser, P. M. Melliar-Smith: Service-Oriented Architecture and Web Services. Wiley Encyclopedia of Computer Science and Engineering 2008
131EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Extended Transaction Protocol. IEEE Trans. Parallel Distrib. Syst. 19(2): 188-203 (2008)
130EEFirat Kart, Louise E. Moser, P. Michael Melliar-Smith: Building a Distributed E-Healthcare System Using SOA. IT Professional 10(2): 24-30 (2008)
129EEWenbing 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)
128EEVana 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)
2007
127EEFirat 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
126 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
125EEP. Michael Melliar-Smith, Louise E. Moser: Achieving Atomicity for Web Services Using Commutativity of Actions. J. UCS 13(8): 1094-1109 (2007)
124EELouise E. Moser, P. Michael Melliar-Smith, Wenbing Zhao: Building Dependable and Secure Web Services. JSW 2(1): 14-26 (2007)
2006
123EELouise E. Moser, P. M. Melliar-Smith, Wenbing Zhao: Making Web Services Dependable. ARES 2006: 440-448
122EEZachary Davis, Michael Hu, Shreyas Prasad, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser: A Personal Handheld Multi-Modal Shopping Assistant. ICNS 2006: 117
121 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
120 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
119EEPrithviraj 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)
118EEWenbing 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)
2005
117EEA. 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
116EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Coordination Protocol for Web Services. ICWS 2005: 49-56
115EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Deterministic Scheduling for Multithreaded Replicas. WORDS 2005: 74-81
114 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
113EEPrithviraj 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)
112EEWenbing 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)
2004
111 K. H. (Kane) Kim, Paul D. Ezhilchelvan, Jörg Kaiser, Louise E. Moser, Edgar Nett, Neeraj Suri: Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow? SRDS 2004: 102
110EEP. M. Melliar-Smith, Louise E. Moser: Progress in Real-Time Fault Tolerance. SRDS 2004: 109-111
109EEWenbing 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)
108 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)
2003
107EELouise E. Moser, P. M. Melliar-Smith: Demonstration of Fault Tolerance for CORBA Applications. DISCEX (2) 2003: 87-89
106EEWenbing 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
105EERuppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith: Transparent TCP Connection Failover. DSN 2003: 383-392
104EEKim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Byzantine Fault Detectors for Solving Consensus. Comput. J. 46(1): 16-35 (2003)
2002
103EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: On Bootstrapping Replicated CORBA Applications. COMPSAC 2002: 239-245
102EELouise E. Moser, P. M. Melliar-Smith, L. A. Tewksbury: Online Upgrades Become Standard. COMPSAC 2002: 982-988
101EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Lessons Learned in Building a Fault-Tolerant CORBA System. DSN 2002: 39-44
100EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Unification of Replication and Transaction Processing in Three-Tier Architectures. ICDCS 2002: 290-
99EERuppert R. Koch, Louise E. Moser, P. M. Melliar-Smith: The Totem Redundant Ring Protocol. ICDCS 2002: 598-607
98EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure. IPDPS 2002
97EEWenbing 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
96 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)
95 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)
2001
94 L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Live Upgrade Techniques for CORBA Applications. DAIS 2001: 257-272
93EEL. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects. DOA 2001: 310-320
92EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. DSN 2001: 261-270
91EEVana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Migration Algorithms for Distributed Object Systems. ICDCS 2001: 119-126
90EEL. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Live Upgrades of CORBA Applications Using Object Replication. ICSM 2001: 488-
89EEWenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Increasing the Reliability of Three-Tier Applications. ISSRE 2001: 138-147
88EEK. 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
87EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Strong Replica Consistency for Fault-Tolerant CORBA Applications. WORDS 2001: 10-20
86EEKim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: The SecureRing group communication system. ACM Trans. Inf. Syst. Secur. 4(4): 371-406 (2001)
85 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)
84 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)
83EEEfstratios 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)
2000
82EENitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Transparent Consistent Replication of Java RMI Objects. DOA 2000: 17-26
81EERuppert 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
80EEVana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith: A CORBA Framework for Managing Real-Time Distributed Multimedia Applications. HICSS 2000
79EEVana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Scheduling for Soft Real-Time Distributed Object Systems. ISORC 2000: 114-121
78EENitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Interception in the Aroma system. Java Grande 2000: 107-115
77EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Gateways for Accessing Fault Tolerance Domains. Middleware 2000: 88-103
76EEMichael 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)
1999
75EELouise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket: Multicast Group Communication for CORBA. DOA 1999: 98-107
74EELouise E. Moser, P. M. Melliar-Smith, Priya Narasimhan: A Fault Tolerance Framework for CORBA. FTCS 1999: 150-157
73EEPriya 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
72EELouise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket: A Group Communication Protocol for CORBA. ICPP Workshops 1999: 30-36
71EEVana 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
70EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. SRDS 1999: 263-273
69EEEfstratios 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)
68 Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Using Interceptors to Enhance CORBA. IEEE Computer 32(7): 62-68 (1999)
67EEPrithviraj 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)
66 Louise E. Moser, P. M. Melliar-Smith: Byzantine-Resistant Total Ordering Algorithms. Inf. Comput. 150(1): 75-111 (1999)
1998
65EEKim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: The SecureRing Protocols for Securing Group Communication. HICSS (3) 1998: 317-326
64 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
63EEMichael D. Santos, P. M. Melliar-Smith, Louise E. Moser: A Lossless, Minimal Latency Protocol for Gigabit ATM Networks. ICNP 1998: 151-
62EEDeborah 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)
61EERavi 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)
60 P. M. Melliar-Smith, Louise E. Moser: Surviving Network Partitioning. IEEE Computer 31(3): 62-68 (1998)
59 Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan: Consistent Object Replication in the external System. TAPOS 4(2): 81-92 (1998)
1997
58EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: The Interception Approach to Reliable Distributed CORBA Objects. COOTS 1997: 245-248
57EEPriya 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
56EEPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Consistency of Partitionable Object Groups in a CORBA Framework. HICSS (1) 1997: 120-129
55EEEfstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Analyzing the latency of the Totem multicast protocols. ICCCN 1997: 42-50
54 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
53EELouise 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)
52EEPriya 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)
51EEXiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Totally ordered gigabit multicasting. Distributed Systems Engineering 4(4): 229-243 (1997)
1996
50EELouise 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
49EEW. 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
48 Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Reservation-Based Totally Ordered Multicasting. ICDCS 1996: 511-519
47EEXiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Flow Control Techniques for Multicasting in Gigabit Networks. ICNP 1996: 102-
46 Louise E. Moser, P. M. Melliar-Smith: Probabilistic Duration Automata for Analyzing Real-Time Systems. TACAS 1996: 369-390
45 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)
44 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): (1996)
43EEY. 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)
42EEY. 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)
1995
41 Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal: The Totem System. FTCS 1995: 61-66
40EEDeborah 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-
39 Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: A Parallel Processing Paradigm for Irregular Applications. IRREGULAR 1995: 249-254
38EELouise E. Moser, P. M. Melliar-Smith: Total Ordering Algorithms for Asynchronous Byzantine Systems. WDAG 1995: 242-256
37EEYair 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)
36 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)
1994
35EEMarcos Valerio, Louise E. Moser, P. M. Melliar-Smith, Paul Sweazey: The QuickRing Network. ACM Conference on Computer Science 1994: 233-240
34EEG. 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
33 Louise E. Moser, Yair Amir, P. M. Melliar-Smith, Deborah A. Agarwal: Extended Virtual Synchrony. ICDCS 1994: 56-65
32 G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna: First-Order Future Interval Logic. ICTL 1994: 195-209
31 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
30 Louise E. Moser, P. M. Melliar-Smith: Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. IEEE Real-Time Systems Symposium 1994: 238-248
29EELaura 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)
28EEMarcos Valerio, Louise E. Moser, P. M. Melliar-Smith: Classic Squares and Broadcast Squares. Discrete Applied Mathematics 54(1): 89-96 (1994)
27 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)
26EELouise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Processor Membership in Asynchronous Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 5(5): 459-473 (1994)
25 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)
1993
24EELouise E. Moser, P. M. Melliar-Smith: Analysis of Timing Hazards in Ada Programs. ACM Conference on Computer Science 1993: 326-331
23EEHossein Moiin, P. M. Melliar-Smith, Louise E. Moser: Better Late Than Never. ACM Conference on Computer Science 1993: 44-51
22EEG. 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
21EEY. 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
20 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
19 G. Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Visual Tools for Temporal Reasoning. VL 1993: 152-159
18 Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Necessary and Sufficient Conditions for Broadcast Consensus Protocols. Distributed Computing 7(2): 75-85 (1993)
17 Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Asynchronous Fault-Tolerant Total Ordering Algorithms. SIAM J. Comput. 22(4): 727-750 (1993)
1992
16EEDeborah A. Agarwal, Louise E. Moser: A Graphical Interface for Analysis of Communication Protocols. ACM Conference on Computer Science 1992: 149-156
15EEY. 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
14 Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: PAL: A Language for Parallel Asynchronous Computation. ICPP (2) 1992: 166-173
13EELaura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Graphical Specifications for Concurrent Software Systems. ICSE 1992: 214-224
12 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)
1991
11 P. M. Melliar-Smith, Louise E. Moser: Protection against Covert Storage and Timing Channels. CSFW 1991: 209-214
10EELouise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Membership algorithms for asynchronous distributed systems. ICDCS 1991: 480-488
9 P. M. Melliar-Smith, Louise E. Moser: Performance Analysis of a Broadcast Communications Protocol. SIGMETRICS 1991: 1-10
1990
8EELouise E. Moser, Vikas Kapur, P. M. Melliar-Smith: Probabilistic Language Analysis of Weighted Voting Algorithms. SIGMETRICS 1990: 67-73
7EEP. M. Melliar-Smith, Louise E. Moser, Vivek Agrawala: Broadcast Protocols for Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 1(1): 17-25 (1990)
6EELouise E. Moser: Data Dependency Graphs for Ada Programs. IEEE Trans. Software Eng. 16(5): 498-509 (1990)
5 Louise E. Moser, P. M. Melliar-Smith: The World Banker's Algorithm. J. Parallel Distrib. Comput. 9(4): 369-373 (1990)
4 Louise E. Moser, P. M. Melliar-Smith: Formal Verification of Safety-critical Systems. Softw., Pract. Exper. 20(8): 799-821 (1990)
1989
3 Louise E. Moser: A Logic of Knowledge and Belief for Reasoning about Computer Security. CSFW 1989: 47-63
1988
2EELouise E. Moser: A Decision Procedure for Unquantified Formulas of Graph Theory. CADE 1988: 344-357
1987
1 Louise E. Moser: Graph Homomorphisms and the Design of Secure Computer Systems. IEEE Symposium on Security and Privacy 1987: 88-96

Coauthor Index

1Deborah A. Agarwal [16] [20] [33] [37] [40] [41] [45] [49] [62] [88]
2Vivek Agrawala [7] [10] [17] [18] [26]
3Yair Amir [20] [33] [37]
4K. Berket [72] [75] [85] [88]
5Ravi K. Budhia [40] [45] [61] [62]
6Xiaomin Chen [47] [48] [51]
7W. J. Chun [49]
8P. Ciarfella [20] [37]
9Amitabha Das [14] [39]
10Prithviraj Dasgupta [67] [113] [119]
11Zachary Davis [120] [121] [122]
12Laura K. Dillon [12] [13] [15] [19] [21] [22] [25] [29] [31] [32] [36] [42] [43] [44] [50] [53]
13Yannis Drougas [128]
14Paul D. Ezhilchelvan (Paul Devadoss Ezhilchelvan) [111]
15Sanjay Hortikar [105]
16Wang-Pin Hsiung [134]
17Michael Hu [120] [121] [122]
18Jörg Kaiser [111]
19Vana Kalogeraki [71] [79] [80] [91] [128]
20Vikas Kapur [8]
21Firat Kart [126] [127] [129] [130] [133]
22Kim Potter Kihlstrom [54] [65] [73] [86] [104]
23K. H. (Kane) Kim (K. H. Kim, Kane Kim) [111]
24Ruppert R. Koch [72] [75] [81] [85] [99] [105]
25G. Kutty [12] [13] [15] [19] [21] [22] [25] [27] [29] [31] [32] [34] [36] [42] [43] [44] [50] [53]
26Colleen A. Lingley-Papadopoulos [45]
27P. M. Melliar-Smith (P. Michael Melliar-Smith) [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133]
28Gengxin Miao [127] [134]
29Hossein Moiin [23]
30Nitya Narasimhan [67] [78] [82] [84]
31Priya Narasimhan [52] [56] [57] [58] [59] [68] [70] [73] [74] [75] [77] [85] [87] [92] [95] [96] [101]
32Edgar Nett [111]
33Shreyas Prasad [120] [121] [122]
34Y. S. Ramakrishna [12] [13] [15] [19] [21] [22] [25] [27] [29] [31] [32] [34] [36] [42] [43] [44] [50] [53]
35Michael D. Santos [63] [64] [76]
36Arsany Sawires [134]
37Michael Schuricht [120] [121] [122]
38A. V. Singh [117]
39Neeraj Suri [111]
40Paul Sweazey [35]
41Jun'ichi Tatemura [134]
42L. A. Tewksbury [90] [93] [94] [102]
43Efstratios Thomopoulos [55] [69] [83]
44Marcos Valerio [28] [35]
45Wenbing Zhao [89] [97] [98] [100] [103] [106] [108] [109] [112] [114] [115] [116] [118] [123] [124] [129] [131]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)