BibTeX records: Jonathan M. Silverman

download as .bib file

@inproceedings{DBLP:conf/cmg/PalmerBSTV85,
  author    = {Annette S. Palmer and
               James C. Browne and
               Jonathan M. Silverman and
               Anand R. Tripathi and
               Rajkumar Velpuri},
  title     = {A Performance Model of a Fault-Tolerant Distributed System for Evaluating
               Reliability Mechanisms},
  booktitle = {Eleventh International Computer Measurement Group Conference, Dallas,
               TX, USA, December 9-13, 1985, Proceedings},
  pages     = {363--378},
  year      = {1985},
  crossref  = {DBLP:conf/cmg/1985},
  url       = {http://www.cmg.org/?s2member\_file\_download=/proceedings/1985/85INT046.pdf},
  timestamp = {Mon, 22 Sep 2014 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmg/PalmerBSTV85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/BrowneDFPSTW84,
  author    = {James C. Browne and
               James E. Dutton and
               Vincent Fernandes and
               Annette S. Palmer and
               Jonathan M. Silverman and
               Anand R. Tripathi and
               Pong{-}Sheng Wang},
  title     = {Zeus: An object-oriented distributed operating system for reliable
               applications},
  booktitle = {Proceedings of the 1984 {ACM} Annual Conference on Computer Science:
               The fifth generation challenge, San Francisco, CA, USA, October 1984},
  pages     = {179--188},
  year      = {1984},
  crossref  = {DBLP:conf/acm/1984},
  url       = {https://doi.org/10.1145/800171.809620},
  doi       = {10.1145/800171.809620},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acm/BrowneDFPSTW84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Silverman84,
  author    = {Jonathan M. Silverman},
  title     = {Communications in a Distributed Computer Testbed},
  booktitle = {Proceedings of the 4th International Conference on Distributed Computing
               Systems, San Francisco, California, USA, May 14-18, 1984},
  pages     = {108--116},
  year      = {1984},
  crossref  = {DBLP:conf/icdcs/1984},
  timestamp = {Wed, 27 Nov 2013 16:54:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdcs/Silverman84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Silverman83,
  author    = {Jonathan M. Silverman},
  title     = {Reflections on the Verification of the Security of an Operating System
               Kernel},
  booktitle = {Proceedings of the Ninth {ACM} Symposium on Operating System Principles,
               {SOSP} 1983, Bretton Woods, New Hampshire, USA, October 10-13, 1983},
  pages     = {143--154},
  year      = {1983},
  crossref  = {DBLP:conf/sosp/1983},
  url       = {https://doi.org/10.1145/800217.806623},
  doi       = {10.1145/800217.806623},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/Silverman83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmg/1985,
  editor    = {Donald R. Deese and
               H. Pat Artis and
               Bernard Domanski and
               John P. Pilch and
               Sue Felix and
               Sidney Finehirsh and
               Jason G. Shane and
               Gordon R. Stauffer},
  title     = {Eleventh International Computer Measurement Group Conference, Dallas,
               TX, USA, December 9-13, 1985, Proceedings},
  publisher = {Computer Measurement Group},
  year      = {1985},
  timestamp = {Wed, 16 Oct 2002 10:21:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmg/1985},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acm/1984,
  editor    = {Richard L. Muller and
               James J. Pottmyer},
  title     = {Proceedings of the 1984 {ACM} Annual Conference on Computer Science:
               The fifth generation challenge, San Francisco, CA, USA, October 1984},
  publisher = {{ACM}},
  year      = {1984},
  isbn      = {0-89791-144-X},
  timestamp = {Fri, 29 Sep 2017 18:24:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acm/1984},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdcs/1984,
  title     = {Proceedings of the 4th International Conference on Distributed Computing
               Systems, San Francisco, California, USA, May 14-18, 1984},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
  isbn      = {0-8186-0534-0},
  timestamp = {Wed, 27 Nov 2013 16:54:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdcs/1984},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/1983,
  editor    = {Jerome H. Saltzer and
               Roy Levin and
               David D. Redell},
  title     = {Proceedings of the Ninth {ACM} Symposium on Operating System Principles,
               {SOSP} 1983, Bretton Woods, New Hampshire, USA, October 10-13, 1983},
  publisher = {{ACM}},
  year      = {1983},
  url       = {https://doi.org/10.1145/800217},
  doi       = {10.1145/800217},
  isbn      = {0-89791-115-6},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/1983},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier