List of Publications (Harry J

First Page		Document Content
Date: 2014-05-16 11:24:54 Total synthesis Epothilone Epoxides Lactams Polyketides Thiazoles Mannich reaction Mulzer Enantioselective synthesis Aldol reaction Synthesis		List of Publications (Harry J Add to Reading List Source URL: orgchem.univie.ac.at Download Document from Source Website File Size: 22,98 KB Share Document on Facebook

	The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz DocID: 1xW26 - View Document
	LNCSModular Synthesis of Sketches Using Models DocID: 1xVZI - View Document
	Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018 DocID: 1xVZF - View Document
	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, DocID: 1xVYM - View Document
	NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract DocID: 1xVX4 - View Document