Damien - PDFSEARCH.IO - Document Search Engine

Damien
Results: 1013

#	Item
261	Automating Separation Logic Using SMT Ruzica Piskac1 , Thomas Wies2 , and Damien Zufferey3 1 2 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-04-10 17:08:40
262	Random Number Selection in Self-Assembly David Doty⋆ , Jack H. Lutz⋆⋆ , Matthew J. Patitz⋆ ⋆ ⋆ , Scott M. Summers† , and Damien Woods‡ Abstract. We investigate methods for exploiting nondeterminism inhere Add to Reading List Source URL: www.self-assembly.net Language: English - Date: 2009-06-03 15:00:59
263	An efficient and simple way to test the security of Java CardsTM? Serge Chaumette and Damien Sauveron??,? ? ? LaBRI, Laboratoire Bordelais de Recherche en Informatique UMR 5800 – Universite Bordeauxcours de la L Add to Reading List Source URL: damien.sauveron.fr Language: English - Date: 2013-02-26 15:54:34
264	Good Network Updates for Bad Packets Arne Ludwig, Matthias Rost, Damien Foucard, Stefan Schmid 1 Add to Reading List Source URL: www.net.t-labs.tu-berlin.de - Date: 2014-11-03 12:55:42
265	A Correct Abstract Machine for Safe Ambients? Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 2 Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2012-10-03 08:42:33
266	Brzozowski’s and up-to algorithms for must testing? Filippo Bonchi1 , Georgiana Caltais2 , Damien Pous1 , Alexandra Silva3?? 1 ENS Lyon, U. de Lyon, CNRS, INRIA, UCBL Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2014-02-18 05:08:41
267	Hardness of k-LWE and Applications in Traitor Tracing San Ling1 , Duong Hieu Phan2 , Damien Stehlé3 , and Ron Steinfeld4 1 3 Add to Reading List Source URL: users.monash.edu.au Language: English - Date: 2014-07-03 23:35:40
268	Coalgebraic up-to techniques Damien Pous1? CNRS, LIP, ENS Lyon, France 1 Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2014-02-18 05:08:39
269	Weak Bisimulation Up to Elaboration Damien Pous ENS Lyon Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that e Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2012-10-03 08:42:33
270	Using Bisimulation Proof Techniques for the Analysis of Distributed Abstract Machines Damien Pous ∗ ENS Lyon, France. Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2012-10-03 08:42:33

UPDATE