Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Jørgen F. Søgaard-Andersen

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1998
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/SegalaGSL98
- ask others
Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch: Liveness in Timed and Untimed Systems. Inf. Comput. 141(2): 119-171 (1998)
1994
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/GawlickSSL94
- ask others
Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch: Liveness in Timed and Untimed Systems. ICALP 1994: 166-177
1993
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/Sogaard-AndersenGGLP93
- ask others
Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants: Computer-Assisted Simulation Proofs. CAV 1993: 305-319
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/forte/LampsonLS93
- ask others
Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen: Correctness of At-Most-Once Message Delivery Protocols. FORTE 1993: 385-400
1992
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/LampsonLS92
- ask others
Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen: At-Most-Once Message Delivery. A Case Study in Algorithm Verification. CONCUR 1992: 317-324
1991
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/BevierS91
- ask others
William R. Bevier, Jørgen F. Søgaard-Andersen: Mechanically Checked Proofs of Kernel Specification. CAV 1991: 70-82

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?