Search the dblp DataBase
Jørgen F. Søgaard-Andersen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- William R. Bevier, Jørgen F. Søgaard-Andersen
Mechanically Checked Proofs of Kernel Specification. [Citation Graph (0, 0)][DBLP]
CAV, 1991, pp:70-82 [Conf] - Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants
Computer-Assisted Simulation Proofs. [Citation Graph (0, 0)][DBLP]
CAV, 1993, pp:305-319 [Conf] - Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen
At-Most-Once Message Delivery. A Case Study in Algorithm Verification. [Citation Graph (0, 0)][DBLP]
CONCUR, 1992, pp:317-324 [Conf] - Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen
Correctness of At-Most-Once Message Delivery Protocols. [Citation Graph (0, 0)][DBLP]
FORTE, 1993, pp:385-400 [Conf] - Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
Liveness in Timed and Untimed Systems. [Citation Graph (0, 0)][DBLP]
ICALP, 1994, pp:166-177 [Conf] - Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
Liveness in Timed and Untimed Systems. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1998, v:141, n:2, pp:119-171 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002