Cachan - PDFSEARCH.IO - Document Search Engine

Cachan
Results: 458

#	Item
281	Reconciling Weighted MSO and Probabilistic CTL Benedikt Bollig and Paul Gastin LSV, ENS Cachan, INRIA, CNRS, FRANCE Chennai, 1 February 2010 Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2010-02-02 00:57:14
282	Chapitre 7 L’évolution de la responsabilité du fait des produits alimentaires, Alessandro STANZIANI CNRS-IDHE, ENS de Cachan Add to Reading List Source URL: www.reds.msh-paris.fr Language: French - Date: 2011-04-08 05:28:08
283	64 VEILLE ET ANALYSES Dossier d’actualité Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: French - Date: 2011-09-08 05:45:26
284	Polynomial Interrupt Timed Automata B´eatrice B´erard1 , Serge Haddad2 , Claudine Picaronny2 , Mohab Safey El Din1 , and Mathieu Sassolas3 1 arXiv:1504.04541v1 [cs.FL] 17 Apr 2015 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-05-05 05:47:04 Algebraic geometry Polynomial Valuation
285	Quasi-Metric Spaces A Few Pearls in the Theory of Quasi-Metric Spaces Jean Goubault-Larrecq Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-07-09 05:01:45 Metric Complete metric space Quasi-isometry Geometry Metric geometry Metric space
286	A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – France Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2011-01-31 10:48:50 Petri net Formal language Computer science Mathematics Applied mathematics Models of computation Concurrency Diagrams
287	1 On life in academia Serge Abiteboul Senior Researcher INRIA &Professor ENS Cachan Add to Reading List Source URL: abiteboul.com Language: English - Date: 2014-10-16 05:59:54 Doctor of Philosophy École Normale Supérieure de Cachan Computer science France Academia Grandes écoles Serge Abiteboul National Institute for Research in Computer Science and Control
288	Polynomial Constraints for Sets with Cardinality Bounds Bruno Marnette1 , Viktor Kuncak2 , and Martin Rinard2 1 ENS de Cachan, France Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-09-24 10:36:03 Algebra Papyrus 1 Mathematics Commutative algebra Localization Radon–Nikodym theorem Cardinal number Symbol Norm
289	Decidability of trace equivalence for protocols with nonces R´emy Chr´etien∗ † , V´eronique Cortier∗ , and St´ephanie Delaune † Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-05-28 08:43:13 Modal logic Metalogic Model theory Symbol
290	Specifying and Verifying Concurrent C Programs with TLA+ Amira Methni1,4(B) , Matthieu Lemerre2 , Belgacem Ben Hedia1 , Serge Haddad3 , and Kamel Barkaoui4 1 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-05-28 08:33:18 Computer programming Data types Call stack Stack Model checking Pointer Temporal logic of actions Final Software engineering Computing Subroutines

UPDATE