BibTeX records: Katia Hristova

download as .bib file

@inproceedings{DBLP:conf/amast/TekleHL08,
  author    = {K. Tuncay Tekle and
               Katia Hristova and
               Yanhong A. Liu},
  editor    = {Jos{\'{e}} Meseguer and
               Grigore Rosu},
  title     = {Generating Specialized Rules and Programs for Demand-Driven Analysis},
  booktitle = {Algebraic Methodology and Software Technology, 12th International
               Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5140},
  pages     = {346--361},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79980-1\_26},
  doi       = {10.1007/978-3-540-79980-1\_26},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/amast/TekleHL08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HristovaTL07,
  author    = {Katia Hristova and
               K. Tuncay Tekle and
               Yanhong A. Liu},
  editor    = {Michael Leuschel and
               Andreas Podelski},
  title     = {Efficient trust management policy analysis from rules},
  booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 14-16, 2007,
               Wroclaw, Poland},
  pages     = {211--220},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://doi.org/10.1145/1273920.1273950},
  doi       = {10.1145/1273920.1273950},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/HristovaTL07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HristovaRLS06,
  author    = {Katia Hristova and
               Tom Rothamel and
               Yanhong A. Liu and
               Scott D. Stoller},
  editor    = {Vugranam C. Sreedhar and
               Steve Zdancewic},
  title     = {Efficient type inference for secure information flow},
  booktitle = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
               for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages     = {85--94},
  publisher = {{ACM}},
  year      = {2006},
  url       = {https://doi.org/10.1145/1134744.1134759},
  doi       = {10.1145/1134744.1134759},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pldi/HristovaRLS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HristovaL06,
  author    = {Katia Hristova and
               Yanhong A. Liu},
  editor    = {E. Allen Emerson and
               Kedar S. Namjoshi},
  title     = {Improved Algorithm Complexities for Linear Temporal Logic Model Checking
               of Pushdown Systems},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
               Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3855},
  pages     = {190--206},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11609773\_13},
  doi       = {10.1007/11609773\_13},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/vmcai/HristovaL06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics