Charlton College of Business Business Partnerships Charlton College of Business Business Innovation Research Center (BIRC) Charlton College of Business

First Page		Document Content
Date: 2015-01-19 11:58:28 Education Academia Higher education New England Association of Schools and Colleges Association of Public and Land-Grant Universities University of Massachusetts		Charlton College of Business Business Partnerships Charlton College of Business Business Innovation Research Center (BIRC) Charlton College of Business Add to Reading List Source URL: www.umassd.edu Download Document from Source Website File Size: 464,11 KB Share Document on Facebook

	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University DocID: 1xUmF - View Document
	Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst DocID: 1xUlu - View Document
	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University DocID: 1xUff - View Document
	Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat DocID: 1xU7X - View Document
	CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content John Holowczak and Amir Houmansadr College of Information and Computer Sciences University of Massachusetts Amherst DocID: 1xTmX - View Document