@article{SadrGrefGEMS11,
  title = "Experimenting with Transitive Verbs in a DisCoCat",
  author = "Edward Grefenstette and Mehrnoosh Sadrzadeh",
  year = "2011",
  journal = "Proceedings of the GEMS 2011 Workshop on GEometrical Models of Natural Language Semantics",
  url = "http://www.aclweb.org/anthology-new/W/W11/W11-2507.pdf",
}
@misc{LORI-long,
  title = "Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic",
  author = "Minghui Ma and Alessandra Palmigiano and Mehrnoosh Sadrzadeh",
  year = "2011",
  journal = "submitted to THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION,  Guangzhou, China, October 2011",
}
@article{GrefSadrzadehEMNLP2011,
  title = "Experimental Support for a Categorical Compositional Distributional Model of Meaning",
  author = "Edward Grefenstette and Mehrnoosh Sadrzadeh",
  year = "2011",
  journal = "Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing",
  url = "http://www.aclweb.org/anthology-new/D/D11/D11-1129.pdf",
}
@article{SadrGrefQI11,
  title = "A Compositional Distributional Semantics, Two Concrete Constructions,  and some Experimental Evaluations",
  author = "Mehrnoosh Sadrzadeh and Edward Grefenstette",
  year = "2011",
  affiliation = "Department of Computer Science, University of Oxford",
  journal = "Lecture Notes in Computer Science",
  pages = "35--47",
  publisher = "Springer",
  url = "http://arxiv.org/abs/1105.1702",
  volume = "7052",
}
@article{GrefenstetteSadrzadehClarkCoeckePulman2010,
  title = "Concrete Sentence Spaces for Compositional Distributional Models of Meaning",
  author = "Edward Grefenstette and Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke and Stephen Pulman",
  year = "2011",
  journal = "Proceedings of the 9th International Conference on Computational Semantics (IWCS11)",
  pages = "125--134",
  url = "http://www.aclweb.org/anthology/W/W11/W11-0114.pdf",
}
@article{JoLLi,
  title = "Semantic Vector Space and Functional Models for Pregroup Grammars",
  author = "A. Preller and M. Sadrzadeh",
  year = "2011",
  journal = "Journal of Logic Language Information (JoLLI), to appear.",
}
@article{PrakashSadr,
  title = "Learning in a Changing World: an algebraic modal logical approach",
  author = "Prakash Panagaden and Mehrnoosh Sadrzadeh",
  year = "2010",
  editor = "M. Johnson and D. Pavlovic",
  journal = "LNCS proceedings of AMAST, 2010.",
}
@article{Makkai,
  title = "An Adventure into Hungarian Word Order with Cyclic Pregroups",
  author = "Mehrnoosh Sadrzadeh",
  year = "2010",
  editor = "P. Scott and R. Seely",
  journal = "AMS-CRM proceedings of Makkai Fest.",
}
@techreport{RR-10-11,
  title = "A Cut-Free Sequent Calculus for Algebraic Dynamic Epistemic Logic",
  author = "Roy Dyckhoff and Mehrnoosh Sadrzadeh",
  year = "2010",
  institution = "OUCL",
  month = "June",
  number = "RR-10-11",
  pages = "35",
}
@techreport{RR-10-10,
  title = "Learning in a changing world via algebraic modal logic",
  author = "Prakash Panangaden and Mehrnoosh Sadrzadeh",
  year = "2010",
  institution = "OUCL",
  month = "June",
  number = "RR-10-10",
  pages = "37",
}
@inproceedings{CasadioSadr,
  title = "Clitic Movement in Pregroup Grammar: a Cross-linguistic Approach",
  author = "Claudia Casadio and Mehrnoosh Sadrzadeh",
  year = "2010",
  journal = "Lecture Notes in Artificial Intelligence, Proceedings of Eighth International Tbilisi Symposium on Language, Logic and Computation, September 2009",
}
@article{RSL,
  title = "Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about  Information",
  author = "Mehrnoosh Sadrzadeh and Roy Dyckhoff",
  year = "2010",
  journal = "Review of Symbolic Logic",
  pages = "351-373",
  volume = "3",
}
@article{ClarkCoeckeSadr,
  title = "Mathematical Foundations for a Compositional Distributed Model of Meaning",
  author = "B. Coecke, M. Sadrzadeh and S. Clark",
  year = "2010",
  editor = "Johan van Bentham and Michael Moortgat and Wojciech Buszkowski",
  journal = "Lambek Festschirft, Linguistic Analysis, vol. 36",
  url = "http://arxiv.org/submit/10256/preview",
  volume = "36",
}
@techreport{KreinerSadrRoy,
  title = "Implementation of a cut-free sequent calculus for logics with adjoint modalities",
  author = "J. Kriener, M. Sadrzadeh and R. Dyckhoff",
  year = "2009",
  journal = "Computing Research Repository",
  url = "http://arxiv.org/abs/0903.2448",
  volume = "abs/0903.2448",
}
@article{AnneSadr,
  title = "Bell States as Negation in Natural Languages",
  author = "Anne Preller and Mehrnoosh Sadrzadeh",
  year = "2009",
  journal = "ENTCS, QPL, University of Oxford, April 2009.",
}
@article{RoySadr,
  title = "Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about  Information",
  author = "Mehrnoosh Sadrzadeh and Roy Dyckhoff",
  year = "2009",
  journal = "Electronic Notes in Theoretical Computer Science",
  keywords = "positive modal logic, epistemic, doxastic, distributive lattice, Galois connection, adjunction, information, belief, proof theory",
  note = "Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)",
  pages = "451 - 470",
  url = "http://www.sciencedirect.com/science/article/B75H1-4X0X56M-T/2/170c882596cbeb7b4f8b5076b35d5c77",
  volume = "249",
}
@article{Simon-Mehrs,
  title = "Aximo: Automated Axiomatic Reasoning for Information Update",
  author = "Simon Richards and Mehrnoosh Sadrzadeh",
  year = "2009",
  journal = "Electronic Notes in Theoretical Computer Science (ENTCS)",
}
@article{Ric-Mehrs,
  title = "A Runs-and-Systems Semantics for Logics of Announcement",
  author = "Riccardo Pucella and Mehrnoosh Sadrzadeh",
  year = "2009",
  journal = "LNCS, volume 6006,  Subseries FoLLI-LNAI",
  publisher = "University of Amsterdam",
}
@article{ClarkCoeckeSadr,
  title = "A Distributional  Compositional Model of Meaning",
  author = "S. Clark, B. Coecke, M. Sadrzadeh",
  year = "2008",
  journal = "QI, College Publications, University of Oxford, March 2008.",
  location = "University of Oxford",
  publisher = "College Publications",
  series = "Proceedings of Conference on Quantum Interactions",
}
@inproceedings{DhontSadr,
  title = "Classical Knowledge for Quantum Security",
  author = "Ellie D'hondt and Mehrnoosh Sadrzadeh",
  year = "2008",
  booktitle = "ENTCS proceedings of  QPL, Iceland, April 2008.",
  journal = "ENTCS proceedings of  QPL, Iceland, April 2008.",
  location = "Iceland",
  series = "Electronic Notes in Theoretical Computer Science",
}
@inbook{PersPregroup,
  title = "Pregroup Analysis of Persian Sentences",
  author = "Mehrnoosh Sadrzadeh",
  year = "2008",
  booktitle = "Recent computational algebraic approaches to morphology and syntax",
  editor = "C. Casadio and J. Lambek",
  location = "Milan",
  publisher = "Polimetrica",
}
@article{SadrOckham,
  title = "Ockham's Razor and Reasoning about Information Flow",
  author = "Mehrnoosh Sadrzadeh",
  year = "2008",
  journal = "Synthese",
  note = "Knowledge Rationality Action Issue",
  pages = "391 - 408",
  volume = "167",
}
@inproceedings{SadrQI,
  title = "High Level Quantum Structures  in Linguistics and Multi Agent Systems",
  author = "Mehrnoosh Sadrzadeh",
  year = "2007",
  journal = "QI, AAAI Publications, Stanford University, March 2007.",
  publisher = "Stanford University",
  series = "Proceedings  of the  AAAI Spring Symposium on Quantum Interaction",
}
@article{CirsteaSadr,
  title = "Coalgebraic Epistemic Update without Change of Model",
  author = "C. Cirstea and M. Sadrzadeh",
  year = "2007",
  journal = "LNCS, CALCO, Bergen, August 2007.",
  series = "Lecture Notes in Computer Science",
}
@article{BaltagCoeckeSadr,
  title = "Epistemic Actions as Resources",
  author = "A. Baltag, B. Coecke, M. Sadrzadeh",
  year = "2007",
  journal = "Journal of Logic and Computation",
  pages = "555-585",
  volume = "17",
}
@phdthesis{SadrThesis,
  title = "Actions and Resources in Epistemic Logic",
  author = "Mehrnoosh Sadrzadeh",
  year = "2006",
}
@article{BaltagSadr,
  title = "The Algebra of Multi-Agent Dynamic Belief Revision",
  author = "A. Baltag and M. Sadrzadeh",
  year = "2006",
  journal = "Electronic Notes in Theoretical Computer Science",
}
@article{ClarkCoeckeSadr2,
  title = "Relating Algebraic and Coalgebraic Logics of Knowledge and Update",
  author = "C. Cirstea and M. Sadrzadeh",
  year = "2006",
  journal = "LOFT, University of Liverpool, 2006.",
  publisher = "University of Liverpool",
  series = "Proceedings of  the 7'th conference on Logic and the Foundations of Game and Decision Theory",
}
@inbook{MarionSadr,
  title = "Reasoning about Knowledge in Linear Logic: Modalities and Complexity",
  author = "M. Marion and M. Sadrzadeh",
  year = "2004",
  booktitle = "Logic, Epistemology, and the Unity of Science",
  editor = "S. Rahman, J. Symons, D. M. Gabbay, J. P. van Bendegem",
  location = "Dordrecht",
  publisher = "Kluwer",
}
@article{SadrCoq,
  title = "Modal Linear Logic in Higher Order Logic, an experiment in Coq",
  author = "Mehrnoosh Sadrzadeh",
  year = "2003",
  journal = "Emerging Trends, TPHOLS, Rome, 2003.",
  location = "Rome",
  series = "Emerging Trends Proceedings of Theorem Proving in Higher Order Logics (TPHOLS)",
}