CURRICULUM VITAE PERSONAL INFORMATION Name

First Page		Document Content
Date: 2014-07-07 06:03:56 ETH Zurich Transdisciplinarity Social simulation Agent-based model Academic degree Ludwig Maximilian University of Munich Knowledge Education Munich Multi-agent systems		CURRICULUM VITAE PERSONAL INFORMATION Name Add to Reading List Source URL: www.uns.ethz.ch Download Document from Source Website File Size: 122,86 KB Share Document on Facebook

	Security BSides Munich Conference Sponsoring Kit SpringMünchen, Germany www.bsidesmunich.org DocID: 1xVO1 - View Document
	Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on DocID: 1xUVp - View Document
	Security BSides Munich Konferenz Sponsoring Kit FrühlingMünchen, Deutschland www.bsidesmunich.org DocID: 1xUbB - View Document
	Paper accepted at the European Conf. on Computer Vision (ECCV), Munich, Semi-Dense 3D Reconstruction with a Stereo Event Camera Yi Zhou1,2 , Guillermo Gallego3 , Henri Rebecq3 , Laurent Kneip4 , Hongdong Li1,2 , a DocID: 1xU8u - View Document
	On Using Results of Code-level Bounded Model Checking in Assurance Cases Carmen Cˆ arlan, Daniel Ratiu, and Bernhard Sch¨atz fortiss GmbH, Munich, email: Siemens CT, Munich, email: daniel.ratiu@sieme DocID: 1xTu2 - View Document