LSV-2 - PDFSEARCH.IO - Document Search Engine

LSV-2
Results: 45

#	Item
31	Modeling and Verifying Ad Hoc Routing Protocols ⋆ Mathilde Arnaud1,2 , V´eronique Cortier2 , and St´ephanie Delaune1 1 2 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2009-07-06 12:39:27
32	Automated verification of equivalence properties of cryptographic protocols� Rohit Chadha1 , S¸tefan Ciobˆac˘a1 , and Steve Kremer1,2 1 LSV, ENS Cachan & CNRS & INRIA Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-12-05 06:09:36
33	Election verifiability in electronic voting protocols? ?? Steve Kremer1 , Mark Ryan2 , and Ben Smyth2,3 1 2 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2011-08-02 11:02:31
34	D4-2: Results on case studies from literature Steve Kremer LSV, CNRS & ENS Cachan & INRIA The results presented in this report are based on joint work with S. Delaune, M. Ryan and B. Smyth In this report we give an over Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2011-02-18 04:23:56
35	The Odds of Staying on Budget Christoph Haase1? and Stefan Kiefer2 1 Laboratoire Sp´ecification et V´erification (LSV), CNRS & ENS de Cachan, France 2 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-04-22 06:12:56 Markov chain Markov decision process Stochastic process Probability space PP Statistics Markov processes Quantum complexity theory
36	Document No. : QP-LSV-06-R01-01 Page No. : 1 OF 2 Reference : Add to Reading List Source URL: www.sla.gov.sg Language: English - Date: 2014-09-12 00:03:51 Surveying Surveyor Program Intranet Engineering Legal professions Land management Geodesy
37	REACHABILITY IN VECTOR ADDITION SYSTEMS DEMYSTIFIED arXiv:1503.00745v1 [cs.LO] 2 Mar 2015 ´ OME Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-04 03:33:45 Order theory General topology Scheme theory Algebraic structures Ideals Proj construction Model theory Sheaf Net Mathematics Abstract algebra Topology
38	IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE arXiv:1402.0705v2 [cs.LO] 25 Sep[removed]SYLVAIN SCHMITZ Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-04 05:44:40 Deduction Rules of inference Converse Traditional logic Entailment Reachability Sequent calculus Implicational propositional calculus Logic Propositional calculus Proof theory
39	Gesamtwertung Brillen Federer Ski Nachwuchs Cup 2015 Mädchen U11 Rang 1 2 3 Add to Reading List Source URL: www.lsv.li Language: German - Date: 2015-02-03 08:32:58
40	45 . Internationale Crosslaufserie[removed]TS LUSTENAU PLATZIERUNGEN 2. Lauf ca. 4 km PLATZ Add to Reading List Source URL: www.lsv-feldkirch.at Language: German - Date: 2015-02-03 05:37:28

UPDATE