1![Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3 Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3](https://www.pdfsearch.io/img/02e0864d490b9b2e71d448da9087832a.jpg) | Add to Reading ListSource URL: repository.ist.ac.atLanguage: English - Date: 2018-02-08 07:01:31
|
---|
2![Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in](https://www.pdfsearch.io/img/19b405999637aad38098d8a80db1cfa8.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
3![CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A](https://www.pdfsearch.io/img/c717133c83549641701f8e6f0305a7c0.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 15:56:37
|
---|
4![Thinking Fast and Slow with Deep Learning and Tree Search Thomas Anthony1, , Zheng Tian1 , and David Barber1,2 arXiv:1705.08439v4 [cs.AI] 3 Dec 2017 Thinking Fast and Slow with Deep Learning and Tree Search Thomas Anthony1, , Zheng Tian1 , and David Barber1,2 arXiv:1705.08439v4 [cs.AI] 3 Dec 2017](https://www.pdfsearch.io/img/7a08d54ba6f3ed839d87b38878ec73e6.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2017-12-04 21:14:29
|
---|
5![Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1 Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1](https://www.pdfsearch.io/img/fce10f9a9e6ed29a85645217e4740ccc.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2015-02-14 13:21:39
|
---|
6![CURRICULUM VITAE Thomas Willwacher Zurich, September 30, 2016 Personal Data Date of Birth: Citizenship: CURRICULUM VITAE Thomas Willwacher Zurich, September 30, 2016 Personal Data Date of Birth: Citizenship:](https://www.pdfsearch.io/img/01b7c6e6b653369fe2842e548ec8d209.jpg) | Add to Reading ListSource URL: people.math.ethz.chLanguage: English - Date: 2016-09-29 09:52:44
|
---|
7![October 12, 2018 VIA UPS and Electronic Mail Mr. Thomas Vo Chief Executive Officer Baton LLCNortheast 91st Street October 12, 2018 VIA UPS and Electronic Mail Mr. Thomas Vo Chief Executive Officer Baton LLCNortheast 91st Street](https://www.pdfsearch.io/img/20002a98fc0022225d0e565188a42bc7.jpg) | Add to Reading ListSource URL: www.fda.govLanguage: English |
---|
8![Einschreiben / vorab per E-Mail Eidg. Finanzmarktaufsicht FINMA Prof. Dr. Thomas Jutzi EinsteinstrasseBern Einschreiben / vorab per E-Mail Eidg. Finanzmarktaufsicht FINMA Prof. Dr. Thomas Jutzi EinsteinstrasseBern](https://www.pdfsearch.io/img/fa76388c6b1ca3f94a804639d74f3612.jpg) | Add to Reading ListSource URL: www.forumoar.chLanguage: German - Date: 2013-05-29 12:07:20
|
---|
9![New Generic Attacks Against Hash-based MACs Ga¨etan Leurent1 , Thomas Peyrin2 , and Lei Wang2 1 Universit´e Catholique de Louvain, Belgium New Generic Attacks Against Hash-based MACs Ga¨etan Leurent1 , Thomas Peyrin2 , and Lei Wang2 1 Universit´e Catholique de Louvain, Belgium](https://www.pdfsearch.io/img/b4184348d12158ac2ad820cb7ccc1179.jpg) | Add to Reading ListSource URL: who.rocq.inria.frLanguage: English - Date: 2018-06-14 07:12:35
|
---|
10![SWIFT: Predictive Fast Reroute Thomas Holterbach ETH Zürich / CAIDA SIGCOMM 24th August 2017 SWIFT: Predictive Fast Reroute Thomas Holterbach ETH Zürich / CAIDA SIGCOMM 24th August 2017](https://www.pdfsearch.io/img/24023c6823b4dc7fce75aecc2b9c69fc.jpg) | Add to Reading ListSource URL: swift.ethz.chLanguage: English - Date: 2017-09-11 06:28:39
|
---|