@inproceedings{conf/nmr/BoothCMG04,
	title = {A unifying semantics for belief change.},
	author = {Richard Booth and Samir Chopra and Thomas Andreas Meyer and Aditya Ghose},
	booktitle = {NMR},
	crossref = {conf/nmr/2004},
	editor = {James P. Delgrande and Torsten Schaub},
	pages = {72-78},
	url = {http://dblp.uni-trier.de/db/conf/nmr/nmr2004.html#BoothCMG04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2663ba90f20715c8308681ec077022d42/dblp},
	description = {dblp},
	ee = {http://www.pims.math.ca/science/2004/NMR/papers/paper10.pdf}, isbn = {92-990021-0-X}, date = {2008-08-21},
	keywords = {dblp }
}

@inproceedings{conf/nmr/ChopraHM02,
	title = {Some logics of belief and disbelief.},
	author = {Samir Chopra and Johannes Heidema and Thomas Andreas Andreas Meyer},
	booktitle = {NMR},
	crossref = {conf/nmr/2002},
	editor = {Salem Benferhat and Enrico Giunchiglia},
	pages = {25-32},
	url = {http://dblp.uni-trier.de/db/conf/nmr/nmr2002.html#ChopraHM02},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/28c5fedf5812c02e87b651ba803388fd0/dblp},
	description = {dblp},
	date = {2008-08-21},
	keywords = {dblp }
}

@inproceedings{conf/nmr/ChopraGM02,
	title = {Iterated revision and the axiom of recovery: a unified treatment via epistemic states.},
	author = {Samir Chopra and Aditya Ghose and Thomas Andreas Meyer},
	booktitle = {NMR},
	crossref = {conf/nmr/2002},
	editor = {Salem Benferhat and Enrico Giunchiglia},
	pages = {117-123},
	url = {http://dblp.uni-trier.de/db/conf/nmr/nmr2002.html#ChopraGM02},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/2a862c4ba96c4e642ad405eefb1893742/dblp},
	description = {dblp},
	date = {2008-08-21},
	keywords = {dblp }
}

@inproceedings{conf/ecai/BoothCMG04,
	title = {A Unifying Semantics for Belief Change.},
	author = {Richard Booth and Samir Chopra and Thomas Andreas Meyer and Aditya Ghose},
	booktitle = {ECAI},
	crossref = {conf/ecai/2004},
	editor = {Ramon López de Mántaras and Lorenza Saitta},
	pages = {793-797},
	publisher = {IOS Press},
	url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2004.html#BoothCMG04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/23e6963d13d590fa3e5612c8f2d4ce264/dblp},
	description = {dblp},
	isbn = {1-58603-452-9}, date = {2008-08-21},
	keywords = {dblp }
}

@inproceedings{conf/ecai/ChopraGM02,
	title = {Iterated revision and the axiom of recovery: A unified treatment via epistemic states.},
	author = {Samir Chopra and Aditya Ghose and Thomas Andreas Meyer},
	booktitle = {ECAI},
	crossref = {conf/ecai/2002},
	editor = {Frank van Harmelen},
	pages = {541-545},
	publisher = {IOS Press},
	url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2002.html#ChopraGM02},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/2b03c3f5c49146cf56cc8860dfcde2131/dblp},
	description = {dblp},
	date = {2008-08-21},
	keywords = {dblp }
}

@inproceedings{conf/tark/BoothCGM03,
	title = {Belief liberation (and retraction).},
	author = {Richard Booth and Samir Chopra and Aditya Ghose and Thomas Andreas Meyer},
	booktitle = {TARK},
	crossref = {conf/tark/2003},
	editor = {Joseph Y. Halpern and Moshe Tennenholtz},
	pages = {159-172},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/tark/tark2003.html#BoothCGM03},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/24b55e966cbfedd42e9d9c04abf6a7113/dblp},
	description = {dblp},
	date = {2008-08-21}, ee = {http://doi.acm.org/10.1145/846241.846263}, isbn = {1-58113-731-1},
	keywords = {dblp }
}

@inproceedings{conf/ecsqaru/MeyerGC01,
	title = {Social Choice, Merging, and Elections.},
	author = {Thomas Andreas Meyer and Aditya Ghose and Samir Chopra},
	booktitle = {ECSQARU},
	crossref = {conf/ecsqaru/2001},
	editor = {Salem Benferhat and Philippe Besnard},
	pages = {466-477},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/ecsqaru/ecsqaru2001.html#MeyerGC01},
	volume = {2143},
	year = {2001},
	biburl = {http://www.bibsonomy.org/bibtex/2c58a810dd772963a5b4df272a4c6690f/dblp},
	description = {dblp},
	date = {2008-08-21}, ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2143&spage=0466}, isbn = {3-540-42464-4},
	keywords = {dblp }
}

@inproceedings{conf/pricai/MeyerGC02,
	title = {Syntactic Representations of Semantic Merging Operations.},
	author = {Thomas Andreas Meyer and Aditya Ghose and Samir Chopra},
	booktitle = {PRICAI},
	crossref = {conf/pricai/2002},
	editor = {Mitsuru Ishizuka and Abdul Sattar},
	pages = {620},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/pricai/pricai2002.html#MeyerGC02},
	volume = {2417},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/2e4b7c2407bb8472c730a54f362666124/dblp},
	description = {dblp},
	date = {2008-08-21}, ee = {http://link.springer.de/link/service/series/0558/bibs/2417/24170620.htm}, isbn = {3-540-44038-0},
	keywords = {dblp }
}

@article{journals/sLogica/BoothCGM05,
	title = {Belief Liberation (and Retraction).},
	author = {Richard Booth and Samir Chopra and Aditya Ghose and Thomas Andreas Meyer},
	journal = {Studia Logica},
	number = {1},
	pages = {47-72},
	url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica79.html#BoothCGM05},
	volume = {79},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2b33c0c757db6ac4eddccb6459834c0d6/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s11225-005-0494-9}, date = {2008-08-21},
	keywords = {dblp }
}

@article{journals/inffus/ChopraGM06,
	title = {Social choice theory, belief merging, and strategy-proofness.},
	author = {Samir Chopra and Aditya K. Ghose and Thomas Andreas Meyer},
	journal = {Information Fusion},
	number = {1},
	pages = {61-79},
	url = {http://dblp.uni-trier.de/db/journals/inffus/inffus7.html#ChopraGM06},
	volume = {7},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2278fd6e7d28ebb099d219b7fe2846db7/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.inffus.2005.05.003}, date = {2008-08-21},
	keywords = {dblp }
}

@inproceedings{conf/atal/Chopra08,
	title = {Business process interoperability: extended abstract.},
	author = {Amit K. Chopra},
	booktitle = {AAMAS (PhD)},
	crossref = {conf/atal/2008phd},
	pages = {1730-1731},
	publisher = {IFAAMAS},
	url = {http://dblp.uni-trier.de/db/conf/atal/aamas2008phd.html#Chopra08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2397ba2fb8792dbad68c2696ef1441b37/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1402782.1402786}, date = {2008-08-19},
	keywords = {dblp }
}

@inproceedings{conf/atal/ChopraS08,
	title = {Constitutive interoperability.},
	author = {Amit K. Chopra and Munindar P. Singh},
	booktitle = {AAMAS (2)},
	crossref = {conf/atal/2008-2},
	editor = {Lin Padgham and David C. Parkes and Jörg Müller and Simon Parsons},
	pages = {797-804},
	publisher = {IFAAMAS},
	url = {http://dblp.uni-trier.de/db/conf/atal/aamas2008-2.html#ChopraS08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/260b9bb2cb94de5920f7d351e5feb9c20/dblp},
	description = {dblp},
	date = {2008-08-18}, ee = {http://doi.acm.org/10.1145/1402298.1402335}, isbn = {978-0-9817381-1-6},
	keywords = {dblp }
}

@article{journals/firstmonday/ChopraK06,
	title = {Disciplining Search/Searching Disciplines: Perspectives from Academic Communities on Metasearch Quality Indicators.},
	author = {Rohit Chopra and Aaron Krowne},
	journal = {First Monday},
	number = {8},
	url = {http://dblp.uni-trier.de/db/journals/firstmonday/firstmonday11.html#ChopraK06},
	volume = {11},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/250dc4c1a6711df55e2c60f1480b921da/dblp},
	description = {dblp},
	ee = {http://www.uic.edu/htbin/cgiwrap/bin/ojs/index.php/fm/article/view/1381}, date = {2008-06-26},
	keywords = {dblp }
}

@inproceedings{conf/dagstuhl/PeppasCF07,
	title = {Distance Semantics for Relevance-Sensitive Belief Revision.},
	author = {Pavlos Peppas and Samir Chopra and Norman Y. Foo},
	booktitle = {Formal Models of Belief Change in Rational Agents},
	crossref = {conf/dagstuhl/2007P7351},
	editor = {Giacomo Bonanno and James P. Delgrande and Jérôme Lang and Hans Rott},
	publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7351.html#PeppasCF07},
	volume = {07351},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2acb54a32b66d5bc7ccd978036de6e861/dblp},
	description = {dblp},
	date = {2008-05-14}, ee = {http://drops.dagstuhl.de/opus/volltexte/2007/1215},
	keywords = {dblp }
}

@article{journals/tcad/BlaauwCSS08,
	title = {Statistical Timing Analysis: From Basic Principles to State of the Art.},
	author = {David Blaauw and Kaviraj Chopra and Ashish Srivastava and Louis Scheffer},
	journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
	number = {4},
	pages = {589-607},
	url = {http://dblp.uni-trier.de/db/journals/tcad/tcad27.html#BlaauwCSS08},
	volume = {27},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2ea1e0bad6d9a0d24efa7bdbdfda50cf2/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1109/TCAD.2007.907047}, date = {2008-04-08},
	keywords = {dblp }
}

@article{journals/tcad/SrivastavaCSSB08,
	title = {A Novel Approach to Perform Gate-Level Yield Analysis and Optimization Considering Correlated Variations in Power and Performance.},
	author = {Ashish Srivastava and Kaviraj Chopra and Saumil Shah and Dennis Sylvester and David Blaauw},
	journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
	number = {2},
	pages = {272-285},
	url = {http://dblp.uni-trier.de/db/journals/tcad/tcad27.html#SrivastavaCSSB08},
	volume = {27},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/28d4a756bfd708428dc454f089e1d4c36/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1109/TCAD.2007.907227}, date = {2008-04-08},
	keywords = {dblp }
}

@article{journals/tcad/RaoCBS07,
	title = {Computing the Soft Error Rate of a Combinational Logic Circuit Using Parameterized Descriptors.},
	author = {Rajeev R. Rao and Kaviraj Chopra and David T. Blaauw and Dennis Sylvester},
	journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
	number = {3},
	pages = {468-479},
	url = {http://dblp.uni-trier.de/db/journals/tcad/tcad26.html#RaoCBS07},
	volume = {26},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/25cabb2c29163717d4961c0917e2739b5/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1109/TCAD.2007.891036}, date = {2008-04-08},
	keywords = {dblp }
}

@article{journals/tcad/ChopraV06,
	title = {Efficient Symbolic Algorithms for Computing the Minimum and Bounded Leakage States.},
	author = {Kaviraj Chopra and Sarma B. K. Vrudhula},
	journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
	number = {12},
	pages = {2820-2832},
	url = {http://dblp.uni-trier.de/db/journals/tcad/tcad25.html#ChopraV06},
	volume = {25},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2ddf55219a0aa0bbe96926be5c8c3b553/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1109/TCAD.2006.882603}, date = {2008-04-08},
	keywords = {dblp }
}

@inproceedings{conf/dalt/ChopraS07,
	title = {Interoperation in Protocol Enactment.},
	author = {Amit K. Chopra and Munindar P. Singh},
	booktitle = {DALT},
	crossref = {conf/dalt/2007},
	editor = {Matteo Baldoni and Tran Cao Son and M. Birna van Riemsdijk and Michael Winikoff},
	pages = {36-49},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/dalt/dalt2007.html#ChopraS07},
	volume = {4897},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2e6d3645e088d1f38adfe029708924ec3/dblp},
	description = {dblp},
	date = {2008-02-12}, ee = {http://dx.doi.org/10.1007/978-3-540-77564-5_3}, isbn = {978-3-540-77563-8},
	keywords = {dblp }
}

@inproceedings{conf/atal/DesaiCCS07,
	title = {Toward verification of commitment protocols and their compositions.},
	author = {Nirmit Desai and Zhengang Cheng and Amit K. Chopra and Munindar P. Singh},
	booktitle = {AAMAS},
	crossref = {conf/atal/2007},
	editor = {Edmund H. Durfee and Makoto Yokoo and Michael N. Huhns and Onn Shehory},
	pages = {33},
	publisher = {IFAAMAS},
	url = {http://dblp.uni-trier.de/db/conf/atal/aamas2007.html#DesaiCCS07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/21f34ca1f65be87ad7e93af5addd3d286/dblp},
	description = {dblp},
	date = {2008-02-05}, ee = {http://doi.acm.org/10.1145/1329125.1329165}, isbn = {978-81-904262-7-5},
	keywords = {dblp }
}