Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A System for Automated Deduction in Graphical Interval Logic.

P. Melliar-Smith, L. Moser, Y. Ramakrishna, G. Kutty, and L. Dillon. ICTL, volume 827 of Lecture Notes in Computer Science, page 540-542. Springer, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Moser University of Stuttgart

E. Garrelts

David Moser University of Stuttgart

E. Zafeiriou

Dr. rer. nat. Marie-Louise Lemloh University of Stuttgart

Other publications of authors with the same name

A Distributed Ranking Algorithm for the iTrust Information Search and Retrieval System.B. Peng, L. Moser, P. Melliar-Smith, Y. Chuang, and I. Lombera. WEBIST, page 199-208. SciTePress, (2013)Transparent TCP Connection Failover.R. Koch, S. Hortikar, L. Moser, and P. Melliar-Smith. DSN, page 383-392. IEEE Computer Society, (2003)Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure.W. Zhao, L. Moser, and P. Melliar-Smith. IPDPS, IEEE Computer Society, (2002)Graph Homomorphisms and the Design of Secure Computer Systems.L. Moser. IEEE Symposium on Security and Privacy, page 88-96. IEEE Computer Society, (1987)PAL: A Language for Parallel Asynchronous Computation.A. Das, L. Moser, and P. Melliar-Smith. ICPP (2), page 166-173. CRC Press, (1992)Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector.K. Kihlstrom, L. Moser, and P. Melliar-Smith. OPODIS, page 61-76. Hermes, (1997)A Distributed e-Healthcare System Based on the Service Oriented Architecture.F. Kart, G. Miao, L. Moser, and P. Melliar-Smith. IEEE SCC, page 652-659. IEEE Computer Society, (2007)Live Upgrade Techniques for CORBA Applications.L. Tewksbury, L. Moser, and P. Melliar-Smith. DAIS, volume 198 of IFIP Conference Proceedings, page 257-271. Kluwer, (2001)Broadcast Protocols for Distributed Systems.P. Melliar-Smith, L. Moser, and V. Agrawala. IEEE Trans. Parallel Distrib. Syst., 1 (1): 17-25 (1990)Calculus and Probability Determine the Performance of a Disk Drive.L. Moser. SIAM Review, 34 (4): 635-641 (1992)