Lijun Zhang : Publications

Click here to download all publications in a single bibtex file

@article{InfoComLogical,
  title = "Probabilistic Logical Characterization",
  author = "Holger Hermanns and Augusto Parma and Roberto Segala and Björn Wachter and Lijun Zhang",
  year = "2011",
  journal = "Information and Computation",
  url = "portal.acm.org/citation.cfm?id=1924850",
}

@inproceedings{WZ10,
  title = "Best Probabilistic Transformers",
  author = "Björn Wachter and Lijun Zhang",
  year = "2010",
  booktitle = "VMCAI",
  pages = "362-379",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/vmcai10.pdf",
}

@inproceedings{Wachter08,
  title = "Probabilistic CEGAR",
  author = "Holger Hermanns and Björn Wachter and Lijun Zhang",
  year = "2008",
  booktitle = "CAV",
  editor = "Aarti Gupta and Sharad Malik",
  note = "Princeton, NJ, USA",
  pages = "162--175",
  publisher = "Springer Verlag",
  series = "LNCS",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/cav08.pdf",
  volume = "5123",
}