BibTeX records: Negin Arhami

download as .bib file

@inproceedings{DBLP:conf/lpar/ArhamiS15,
  author    = {Negin Arhami and
               Geoff Sutcliffe},
  editor    = {Ansgar Fehnker and
               Annabelle McIver and
               Geoff Sutcliffe and
               Andrei Voronkov},
  title     = {Automated Theorem Proving by Translation to Description Logic},
  booktitle = {20th International Conferences on Logic for Programming, Artificial
               Intelligence and Reasoning - Short Presentations, {LPAR} 2015, Suva,
               Fiji, November 24-28, 2015},
  series    = {EPiC Series in Computing},
  volume    = {35},
  pages     = {1--14},
  publisher = {EasyChair},
  year      = {2015},
  url       = {https://doi.org/10.29007/xgq9},
  doi       = {10.29007/xgq9},
  timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/ArhamiS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ArhamiS14,
  author    = {Negin Arhami and
               Geoff Sutcliffe},
  editor    = {Stephan Schulz and
               Leonardo de Moura and
               Boris Konev},
  title     = {The Efficiency of Automated Theorem Proving by Translation to Less
               Expressive Logics},
  booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
               2014, Vienna, Austria, 2014},
  series    = {EPiC Series in Computing},
  volume    = {31},
  pages     = {2--11},
  publisher = {EasyChair},
  year      = {2014},
  url       = {https://doi.org/10.29007/kvb1},
  doi       = {10.29007/kvb1},
  timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/ArhamiS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ZonouzBA12,
  author    = {Saman A. Zonouz and
               Robin Berthier and
               Negin Arhami},
  title     = {Towards incorporating human intelligence into online security solutions},
  booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
               Workshops, {DSN} 2012, Boston, MA, USA, June 25-28, 2012},
  pages     = {1--2},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://doi.org/10.1109/DSNW.2012.6264684},
  doi       = {10.1109/DSNW.2012.6264684},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/dsn/ZonouzBA12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics