Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/entcs/AbujaradK09,
  author       = {Fuad Abujarad and
                  Sandeep S. Kulkarni},
  editor       = {Leo Marcus},
  title        = {Weakest Invariant Generation for Automated Addition of Fault-Tolerance},
  booktitle    = {Proceedings of the Workshop on Logical Aspects of Fault Tolerance,
                  LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {2},
  pages        = {3--15},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.010},
  doi          = {10.1016/J.ENTCS.2009.12.010},
  timestamp    = {Fri, 24 Feb 2023 15:58:26 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AbujaradK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CastroM09,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  editor       = {Leo Marcus},
  title        = {Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance},
  booktitle    = {Proceedings of the Workshop on Logical Aspects of Fault Tolerance,
                  LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {2},
  pages        = {17--34},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.011},
  doi          = {10.1016/J.ENTCS.2009.12.011},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CastroM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FitzsimonsT09,
  author       = {Joseph F. Fitzsimons and
                  Jason Twamley},
  editor       = {Leo Marcus},
  title        = {Quantum Fault Tolerance in Systems with Restricted Control},
  booktitle    = {Proceedings of the Workshop on Logical Aspects of Fault Tolerance,
                  LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {2},
  pages        = {35--49},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.012},
  doi          = {10.1016/J.ENTCS.2009.12.012},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FitzsimonsT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Marcus09,
  author       = {Leo Marcus},
  editor       = {Leo Marcus},
  title        = {Preface},
  booktitle    = {Proceedings of the Workshop on Logical Aspects of Fault Tolerance,
                  LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {2},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.009},
  doi          = {10.1016/J.ENTCS.2009.12.009},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Marcus09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lics/2009laft,
  editor       = {Leo Marcus},
  title        = {Proceedings of the Workshop on Logical Aspects of Fault Tolerance,
                  LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/258/issue/2},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/2009laft.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}