BibTeX records: Gabriela Steren

• > Home > Persons > Gabriela Steren

@article{DBLP:journals/logcom/SterenB17,
  author       = {Gabriela Steren and
                  Eduardo Bonelli},
  title        = {The first-order hypothetical logic of proofs},
  journal      = {J. Log. Comput.},
  volume       = {27},
  number       = {4},
  pages        = {1023--1066},
  year         = {2017},
  url          = {https://doi.org/10.1093/logcom/exv090},
  doi          = {10.1093/LOGCOM/EXV090},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/SterenB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lu/BonelliS14,
  author       = {Eduardo Bonelli and
                  Gabriela Steren},
  title        = {Hypothetical Logic of Proofs},
  journal      = {Logica Universalis},
  volume       = {8},
  number       = {1},
  pages        = {103--140},
  year         = {2014},
  url          = {https://doi.org/10.1007/s11787-014-0098-0},
  doi          = {10.1007/S11787-014-0098-0},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/BonelliS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SterenB14,
  author       = {Gabriela Steren and
                  Eduardo Bonelli},
  editor       = {Valeria de Paiva and
                  Mario R. F. Benevides and
                  Vivek Nigam and
                  Elaine Pimentel},
  title        = {Intuitionistic Hypothetical Logic of Proofs},
  booktitle    = {Proceedings of the 6th Workshop on Intuitionistic Modal Logic and
                  Applications, {IMLA} 2013, in association with {UNILOG} 2013, Rio
                  de Janeiro, Brazil, April 7, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {300},
  pages        = {89--103},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.entcs.2013.12.013},
  doi          = {10.1016/J.ENTCS.2013.12.013},
  timestamp    = {Tue, 22 Nov 2022 11:54:17 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SterenB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/FriasGSB06,
  author       = {Marcelo F. Frias and
                  Rodolfo Gamarra and
                  Gabriela Steren and
                  Lorena Bourg},
  editor       = {Renate A. Schmidt},
  title        = {Monotonicity Analysis Can Speed Up Verification},
  booktitle    = {Relations and Kleene Algebra in Computer Science, 9th International
                  Conference on Relational Methods in Computer Science and 4th International
                  Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester,
                  UK, August 29-September 2, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4136},
  pages        = {177--191},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11828563\_12},
  doi          = {10.1007/11828563\_12},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/FriasGSB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/FriasGSB05,
  author       = {Marcelo F. Frias and
                  Rodolfo Gamarra and
                  Gabriela Steren and
                  Lorena Bourg},
  editor       = {David F. Redmiles and
                  Thomas Ellman and
                  Andrea Zisman},
  title        = {A strategy for efficient verification of relational specifications,
                  based on monotonicity analysis},
  booktitle    = {20th {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
  pages        = {305--308},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1101908.1101956},
  doi          = {10.1145/1101908.1101956},
  timestamp    = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/FriasGSB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}