Cachan - PDFSEARCH.IO - Document Search Engine

Cachan
Results: 458

#	Item
311	The Complexity of Model Checking Multi-Stack Systems Benedikt Bollig Laboratoire Sp´ecification et V´erification, ´ Ecole Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-08-22 11:45:56 Mathematics Symbol Nested word Temporal logic Interpretation Structure Linguistics Normal distribution Formal languages Model theory Logic
312	V´erification de protocoles cryptographiques : Algorithmes de combinaison pour d´ecider des propri´et´es d’´equivalence Laboratory, institution and university LSV, ENS Cachan and LORIA, Nancy universit´es. The in Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: French - Date: 2013-10-22 03:22:58
313	PDF Document Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2011-07-19 05:12:56
314	T (+ u (+ B Í http://www.lsv.ens-cachan.fr/~delaune/ Stéphanie Delaune Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-01 04:59:16 Cryptography Communications protocol Cryptographic primitive Dines Bjørner Computing Data Information Cryptographic protocols
315	Master 2 Concepteur audiovisuel : représentations plurimédia de l’histoire, de la société et de la science Ecole normale supérieure de Cachan (ENSC) Institut national de l’audiovisuel (INA) Ecole nationale des c Add to Reading List Source URL: www.ina-expert.com Language: French
316	Master 2 Documentaire Concepteur audiovisuel : représentations plurimédia de l’histoire, de la société et de la science Ecole normale supérieure de Cachan (ENSC), Institut national de l’audiovisuel (INA), Ecole Add to Reading List Source URL: www.ina-expert.com Language: French
317	Parameterized Verification of Communicating Automata under Context Bounds Benedikt Bollig1 , Paul Gastin1 , and Jana Schubert2 1 LSV, ENS Cachan & CNRS {bollig,gastin}@lsv.ens-cachan.fr Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-09-19 10:50:53 Ω-automaton Automata theory Tree automaton Nondeterministic finite automaton
318	ENS Cachan PLAN P1,P3 bis Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2015-02-18 03:11:37
319	Research Internship, M2 level. Title Query enumeration and nowhere dense graphs Supervisor Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-11-06 06:27:37 Theoretical computer science Dense graph Graph theory Enumeration Algorithm Mathematics Mathematical logic Combinatorics
320	Research internship Petri net unfolding of biological networks Topic: Logic and Verification Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Laurent Fribourg Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:18:54 Petri net Model checking Gene regulatory network Petri Actor model Computer science Computing Science Concurrency Networks Diagrams

UPDATE