11![Validating SGAC Access Control Policies with Alloy and ProB Nghi Huynh, Marc Frappier, Amel Mammar and R´egine Laleau FA 2018, April 30th Validating SGAC Access Control Policies with Alloy and ProB Nghi Huynh, Marc Frappier, Amel Mammar and R´egine Laleau FA 2018, April 30th](https://www.pdfsearch.io/img/3b31806e0b8f874ecf68d5af06bba83e.jpg) | Add to Reading ListSource URL: alloytools.orgLanguage: English - Date: 2018-06-13 06:07:43
|
---|
12![Compositional Safety Verification with Max-SMT Marc Brockschmidt ∗ , Daniel Larraz † , Albert Oliveras † , Enric Rodr´ıguez-Carbonell † and Albert Rubio Compositional Safety Verification with Max-SMT Marc Brockschmidt ∗ , Daniel Larraz † , Albert Oliveras † , Enric Rodr´ıguez-Carbonell † and Albert Rubio](https://www.pdfsearch.io/img/4e5441545e0df4eb959f310dcf59bea4.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2015-07-15 04:42:02
|
---|
13![Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨ Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨](https://www.pdfsearch.io/img/5e347171801d1ea9f4494bd21eed799f.jpg) | Add to Reading ListSource URL: www.microsoft.comLanguage: English - Date: 2018-01-04 03:04:14
|
---|
14![July 11, 2018 The Honorable Randy Weber, Chair The Honorable Marc Veasey, Ranking Member The Honorable Barbara Comstock, Chair The Honorable Daniel Lipinski, Ranking Member Subcommittee on Energy & Subcommittee on Resear July 11, 2018 The Honorable Randy Weber, Chair The Honorable Marc Veasey, Ranking Member The Honorable Barbara Comstock, Chair The Honorable Daniel Lipinski, Ranking Member Subcommittee on Energy & Subcommittee on Resear](https://www.pdfsearch.io/img/ce1dd28c6c9cfa50c531560046cf8ff4.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-07-11 17:49:58
|
---|
15![Proceedings on Privacy Enhancing Technologies ; ):186–203 Giovanni Cherubin*, Jamie Hayes*, and Marc Juarez* Website Fingerprinting Defenses at the Application Layer Proceedings on Privacy Enhancing Technologies ; ):186–203 Giovanni Cherubin*, Jamie Hayes*, and Marc Juarez* Website Fingerprinting Defenses at the Application Layer](https://www.pdfsearch.io/img/ff791018ad5687f2329d3b70a028aa58.jpg) | Add to Reading ListSource URL: www.petsymposium.orgLanguage: English - Date: 2017-10-04 16:18:51
|
---|
16![InLoc: Indoor Visual Localization with Dense Matching and View Synthesis Hajime Taira1 Masatoshi Okutomi1 Torsten Sattler2 Mircea Cimpoi3 Marc Pollefeys2,4 Josef Sivic3,5 Tomas Pajdla3 Akihiko Torii1 1 Tokyo Institute of InLoc: Indoor Visual Localization with Dense Matching and View Synthesis Hajime Taira1 Masatoshi Okutomi1 Torsten Sattler2 Mircea Cimpoi3 Marc Pollefeys2,4 Josef Sivic3,5 Tomas Pajdla3 Akihiko Torii1 1 Tokyo Institute of](https://www.pdfsearch.io/img/e48bacdece4b87625313afde108a9555.jpg) | Add to Reading ListSource URL: openaccess.thecvf.comLanguage: English - Date: 2018-06-11 13:35:21
|
---|
17![](/pdf-icon.png) | Add to Reading ListSource URL: www.marc.mezzarobba.net- Date: 2018-06-02 06:03:42
|
---|
18![](/pdf-icon.png) | Add to Reading ListSource URL: www.marc.mezzarobba.net- Date: 2017-02-25 04:23:37
|
---|
19![](/pdf-icon.png) | Add to Reading ListSource URL: www.marc.mezzarobba.net- Date: 2018-02-14 12:36:10
|
---|
20![](/pdf-icon.png) | Add to Reading ListSource URL: marc-stevens.nl- Date: 2018-05-19 09:48:28
|
---|