|
Search the dblp DataBase
Paul S. Miner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Steven D. Johnson, Paul S. Miner
Integrated reasoning support in system design: design derivation and theorem proving. [Citation Graph (0, 0)][DBLP] CHARME, 1997, pp:255-272 [Conf]
- Elizabeth Latronico, Paul S. Miner, Philip Koopman
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. [Citation Graph (0, 0)][DBLP] DSN, 2004, pp:275-284 [Conf]
- Paul S. Miner, James F. Leathrum
Verification of IEEE Compliant Subtractive Division Algorithms. [Citation Graph (0, 0)][DBLP] FMCAD, 1996, pp:64-78 [Conf]
- Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon
A Unified Fault-Tolerance Protocol. [Citation Graph (0, 0)][DBLP] FORMATS/FTRTFT, 2004, pp:167-182 [Conf]
- Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson
Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit. [Citation Graph (0, 0)][DBLP] Symposium on Reliable Distributed Systems, 1994, pp:128-137 [Conf]
- Steven D. Johnson, Paul S. Miner, Albert John Camilleri
Studies of the Single Pulser in Various Reasoning Systems. [Citation Graph (0, 0)][DBLP] TPCD, 1994, pp:126-145 [Conf]
- Lee Pike, Jeffrey Maddalon, Paul S. Miner, Alfons Geser
Abstractions for Fault-Tolerant Distributed System Verification. [Citation Graph (0, 0)][DBLP] TPHOLs, 2004, pp:257-270 [Conf]
- Frederic L. Swern, Salvatore J. Bavuso, Anna L. Martensen, Paul S. Miner
The Effects of Latent Faults on Highly Reliable Computer Systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 1987, v:36, n:8, pp:1000-1005 [Journal]
Search in 0.002secs, Finished in 0.002secs
|