101![Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University](https://www.pdfsearch.io/img/3ed3a6ad87b94095b081e4cc85d80249.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.fr- Date: 2015-06-23 07:14:34
|
---|
102![Foundations for Decision Problems in Separation Logic with General Inductive Predicates Timos Antonopoulos1 , Nikos Gorogiannis2 , Christoph Haase3∗ , Max Kanovich4 , and Jo¨el Ouaknine1 1 Foundations for Decision Problems in Separation Logic with General Inductive Predicates Timos Antonopoulos1 , Nikos Gorogiannis2 , Christoph Haase3∗ , Max Kanovich4 , and Jo¨el Ouaknine1 1](https://www.pdfsearch.io/img/c9526b2d093e985a0b3a637203298a20.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.fr- Date: 2014-01-22 10:58:58
|
---|
103![ν-Petri Nets Fast-Growing Complexity Backward Coverability ν-Petri Nets Fast-Growing Complexity Backward Coverability](https://www.pdfsearch.io/img/645b963b44aca687c68c2c325b4a9ced.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.fr- Date: 2016-03-15 05:37:09
|
---|
104![Compositional analysis of Boolean networks using local fixed-point iterations A. Le Co¨ent1 , L. Fribourg2 , and R. Soulat3 1 CMLA, ENS Cachan, CNRS, Universit´e Paris-Saclay 61 av. du Pr´esident Wilson, 94235 Cachan Compositional analysis of Boolean networks using local fixed-point iterations A. Le Co¨ent1 , L. Fribourg2 , and R. Soulat3 1 CMLA, ENS Cachan, CNRS, Universit´e Paris-Saclay 61 av. du Pr´esident Wilson, 94235 Cachan](https://www.pdfsearch.io/img/3811974c7c259a38df44ee3ec44a2572.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.fr- Date: 2016-07-22 03:37:02
|
---|
105![M´ ethodes Math´ ematiques pour la Physique ENS de Cachan, M´ ethodes Math´ ematiques pour la Physique ENS de Cachan,](https://www.pdfsearch.io/img/ee1907a98c24402ead791143f769a165.jpg) | Add to Reading ListSource URL: desvillettes.perso.math.cnrs.fr- Date: 2012-06-01 10:10:54
|
---|
106![Journées Apprentissages’2013 (JA’2013) Comment développer les capacités d’apprendre à apprendre ? Sous-titre : Métacognition et analyse cognitive : application aux stratégies pédagogiques Page web : http://w Journées Apprentissages’2013 (JA’2013) Comment développer les capacités d’apprendre à apprendre ? Sous-titre : Métacognition et analyse cognitive : application aux stratégies pédagogiques Page web : http://w](https://www.pdfsearch.io/img/2a037976894828db96188206ae9edcce.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.fr- Date: 2013-04-05 11:58:32
|
---|
107![See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publicationSlideshow Dataset · February 2016 READS See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publicationSlideshow Dataset · February 2016 READS](https://www.pdfsearch.io/img/94a6e24ad460725fdba4925696a3a028.jpg) | Add to Reading ListSource URL: people.ee.ethz.chLanguage: English - Date: 2016-07-06 08:56:52
|
---|
108![Enseignement Enseignement et sciences cognitives Entretien avec Alain Finkel Alain Finkel enseigne surtout les Sciences Cognitives appliquées aux Techniques d’Apprentissages à l’ENS Cachan. Il répond aux question Enseignement Enseignement et sciences cognitives Entretien avec Alain Finkel Alain Finkel enseigne surtout les Sciences Cognitives appliquées aux Techniques d’Apprentissages à l’ENS Cachan. Il répond aux question](https://www.pdfsearch.io/img/0b229665e5438bcededd4ecfc1e6669e.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.frLanguage: French - Date: 2007-01-16 11:19:08
|
---|
109![École Normale Supérieure de Cachan Modélisation des phénomènes de la nature P. Gabriel École Normale Supérieure de Cachan Modélisation des phénomènes de la nature P. Gabriel](https://www.pdfsearch.io/img/4d58a21f64f620b8da042ce13d2679b1.jpg) | Add to Reading ListSource URL: pgabriel.perso.math.cnrs.frLanguage: French - Date: 2015-11-16 12:54:29
|
---|
110![Brief Announcement: TheToolkit for Building Your Own Balls-into-Bins Algorithm Pierre Bertrand1 and Christoph Lenzen2 1 Ecole Normale Suprieure Cachan Brief Announcement: TheToolkit for Building Your Own Balls-into-Bins Algorithm Pierre Bertrand1 and Christoph Lenzen2 1 Ecole Normale Suprieure Cachan](https://www.pdfsearch.io/img/6b0bf37656a1f1deca1de3df26362eef.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-05-29 10:12:02
|
---|