% BibTex file for the research papers of Michael Carl Tschantz.

@InProceedings{tn09measuring,
  author = 	 {Michael Carl Tschantz and Aditya V. Nori},
  title = 	 {Measuring the Loss of Privacy from Statistics},
  booktitle =    {QA '09: Workshop on Quantitative Analysis of Software},
  year = 	 2009,
  month = 	 {June},
}

@InProceedings{tw08extracting,
  author =       {Michael Carl Tschantz and Jeannette M. Wing},
  title =        {Extracting Conditional Confidentiality Policies},
  booktitle =    {SEFM '08: Proceedings of the Sixth IEEE International Conferences on Software Engineering and Formal Methods},
  year = 	 2008,
  month = 	 {November},
}

@TechReport{tw08extracting,
  author =       {Michael Carl Tschantz and Jeannette M. Wing},
  title =        {Extracting Conditional Confidentiality Policies},
  institution =  {School of Computer Science, Carnegie Mellon University},
  year =         2008,
  number =       {CMU-CS-08-127},
  month = 	 may,
}

@TechReport{tw07confidentiality,
  author = 	 {Michael Carl Tschantz and Jeannette M. Wing},
  title = 	 {Confidentiality Policies and Their Extraction from Programs},
  institution =  {School of Computer Science, Carnegie Mellon University},
  year = 	 2007,
  number = 	 {CMU-CS-07-108},
  month = 	 feb,
}

@TechReport{gt08from,
  author = 	 {Deepak Garg and Michael Carl Tschantz},
  title = 	 {From Indexed Lax Logic to Intuitionistic Logic},
  institution =  {School of Computer Science, Carnegie Mellon University},
  year = 	 2008,
  number = 	 {CMU-CS-07-167},
  month = 	 jan,
}


@InProceedings{tk06towards,
  author = 	 {Michael Carl Tschantz and Shriram Krishnamurthi},
  title = 	 {Towards Reasonability Properties for Access-Control Policy Languages},
  booktitle = {SACMAT '06: Proceedings of the eleventh ACM symposium on Access control models and technologies},
  year = 	 2006,
  month = 	 {June},
}

@TechReport{tk06towards-extended,
  author = 	 {Michael Carl Tschantz and Shriram Krishnamurthi},
  title = 	 {Towards Reasonability Properties for Access-Control Policy Languages with Extended {XACML} Analysis},
  institution =  {Computer Science Department, Brown University},
  year = 	 2006,
  number = 	 {CS-06-04},
  month = 	 apr,
}

@Misc{t05clarity,
  author = 	 {Michael Carl Tschantz},
  title = 	 {The Clarity of Languages for Access-Control Policies},
  howpublished = {Undergraduate Honors Thesis, Department of Computer Science, Brown University},
  month = 	 may,
  year = 	 2005,
}

@TechReport{gmmt05soundness,
  author = 	 {Michael Matthew Greenberg and Casey Marks and Leo Alexander Meyerovich and Michael Carl Tschantz},
  title = 	 {The Soundness and Completeness of Margrave with Respect to a Subset of XACML},
  institution =  {Computer Science Department, Brown University},
  year = 	 2005,
  number = 	 {CS-05-05},
  month = 	 apr,
}

@inproceedings{fkmt05verification,
 author = {Kathi Fisler and Shriram Krishnamurthi and Leo A. Meyerovich and Michael Carl Tschantz},
 title = {Verification and change-impact analysis of access-control policies},
 booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering},
 year = {2005},
 isbn = {1-59593-963-2},
 pages = {196--205},
 location = {St. Louis, MO, USA},
 doi = {http://doi.acm.org/10.1145/1062455.1062502},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{bgglnt04botticelli,
 AUTHOR = {Michael Benisch and Amy Greenwald and Ioanna Grypari and Roger Lederman and Victor Naroditskiy and Michael Carl Tschantz}, 
 TITLE = {Botticelli: A Supply Chain Management Agent},
 BOOKTITLE = {Third International Joint Conference on Autonomous Agents and Multiagent Systems {AAMAS}~'04}, 
 PAGES = {1174--1181},
 ADDRESS = {New York},
 MONTH = jul,
 YEAR = {2004}
}

@inproceedings{bbbgt04supplier,
 AUTHOR = {Sarah Bell and Michael Benisch and Maggie Benthal and Amy Greenwald and Michael Carl Tschantz},
 TITLE = {Multi-period Online Optimization in TAC SCM: The Supplier Offer Acceptance Problem}, 
 BOOKTITLE = {Workshop on Trading Agent Design and Analysis},
 ADDRESS = {New York},
 MONTH = jul,
 YEAR = {2004}
}%aka Supplier Offer Selection in {TAC} {SCM}

@inproceedings{bgnt04stochastic,
 AUTHOR = {Micheal Benisch and Amy Greenwald and Victor Naroditskiy and Michael Carl Tschantz},
 TITLE = {A Stochastic Programming Approach to Scheduling in {TAC} {SCM}},
 BOOKTITLE = {{ACM} Electronic Commerce Conference {ECC}~'04},
 PAGES = {152--160},
 ADDRESS = {New York},
 MONTH = may,
 YEAR = {2004}
}

@article{bgglnt04botticelli2,
 AUTHOR = {Michael Benisch and Amy Greenwald and Ioanna Grypari and Roger Lederman and Victor Naroditskiy and Michael Carl Tschantz}, 
 TITLE = {Botticelli: A Supply Chain Management Agent Designed to Optimize under Uncertainty},
 JOURNAL = {SIGecon Exchanges},
 VOLUME = {4},
 ISSUE = {3},
 PAGES = {29-37},
 YEAR = {2004}
}