See discussions, stats, and author profiles for this publication at: https: www.researchgate.net publicationSlideshow Dataset · February 2016 READS - Grandes coles - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-07-06 08:56:52 Grandes coles Cachan Education in France cole Normale Suprieure Ens le-de-France		See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publicationSlideshow Dataset · February 2016 READS Add to Reading List Source URL: people.ee.ethz.ch Download Document from Source Website File Size: 1,26 MB Share Document on Facebook

	Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48 DocID: 1xVmr - View Document
	PDF Document DocID: 1wlBx - View Document
	Scenario realizability with constraint optimization Rouwaida Abdallah1 , Arnaud Gotlieb2 , Lo¨ıc H´elou¨et3 ,Claude Jard4 1 ENS Cachan (antenne de Bretagne), 2 SIMULA, Norway, 3 INRIA Rennes, DocID: 1vsbB - View Document
	Handling Infinitely Branching WSTS? Michael Blondin1 , Alain Finkel2 , and Pierre McKenzie1 1 Universit´e de Montr´eal and ENS Cachan {blondimi, mckenzie}@iro.umontreal.ca DocID: 1vn6X - View Document