programme project lead SPORTUNION Österreich Falkestraße 1, 1010 Wien

First Page		Document Content
Date: 2015-02-23 10:16:31 German Sport University Cologne Schröer European Union Abuse Council of Europe The Greens – The Green Alternative States of Germany Europe Ulrike Lunacek Jochen		programme project lead SPORTUNION Österreich Falkestraße 1, 1010 Wien Add to Reading List Source URL: sportunion.at Download Document from Source Website File Size: 520,92 KB Share Document on Facebook

	Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg DocID: 1xViK - View Document
	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–60) DECIDABILITY IN LOCAL AND GLOBAL FIELDS Jochen Koenigsmann DocID: 1xVbU - View Document
	Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington DocID: 1xUYl - 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
	Weakly Equivalent Arrays J¨ urgen Christ Jochen Hoenicke DocID: 1xTgU - View Document