91![1 A Localization Approach for Crowdsourced Air Traffic Communication Networks Martin Strohmeier∗ , Vincent Lenders+ , Ivan Martinovic∗ of Oxford, United Kingdom + armasuisse, Switzerland 1 A Localization Approach for Crowdsourced Air Traffic Communication Networks Martin Strohmeier∗ , Vincent Lenders+ , Ivan Martinovic∗ of Oxford, United Kingdom + armasuisse, Switzerland](https://www.pdfsearch.io/img/dd5bea487a94bcee3805a0ff50fd1298.jpg) | Add to Reading ListSource URL: www.lenders.chLanguage: English - Date: 2016-10-29 04:58:47
|
---|
92![This space is reserved for the EPiC Series header, do not use it Checkable Proofs for First-Order Theorem Proving∗ Giles Reger1 and Martin Suda2 1 This space is reserved for the EPiC Series header, do not use it Checkable Proofs for First-Order Theorem Proving∗ Giles Reger1 and Martin Suda2 1](https://www.pdfsearch.io/img/c45d1989a299c50011f907bd35b60a2e.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:50
|
---|
93![Arkansas Secretary of State Q Mark Martin Capitol Citation Request Form Arkansas Secretary of State Q Mark Martin Capitol Citation Request Form](https://www.pdfsearch.io/img/762b6a14e259a08ed765a0be5782c2e7.jpg) | Add to Reading ListSource URL: www.sos.arkansas.govLanguage: English - Date: 2017-11-17 12:40:20
|
---|
94![Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2](https://www.pdfsearch.io/img/be19ae07e8e483cb8ed885222a3612ab.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
95![Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch](https://www.pdfsearch.io/img/b0bab394fbe574197f1e2613361a2928.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
96![Code Completion with Statistical Language Models Veselin Raychev Martin Vechev Eran Yahav Code Completion with Statistical Language Models Veselin Raychev Martin Vechev Eran Yahav](https://www.pdfsearch.io/img/3603407044bf8ba24299ef38acbcfa52.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:56:01
|
---|
97![NetHide: Secure and Practical Network Topology Obfuscation Roland Meier◦, Petar Tsankov◦, Vincent Lenders, Laurent Vanbever◦, Martin Vechev◦ ◦ ETH Zürich, NetHide: Secure and Practical Network Topology Obfuscation Roland Meier◦, Petar Tsankov◦, Vincent Lenders, Laurent Vanbever◦, Martin Vechev◦ ◦ ETH Zürich,](https://www.pdfsearch.io/img/5dc6dbb682ffe6dff35c424dd2f2030c.jpg) | Add to Reading ListSource URL: nsg.ee.ethz.chLanguage: English - Date: 2018-06-15 12:22:06
|
---|
98![What is the Point of an SMT-LIB Problem? ∗ Giles Reger and Martin Riener University of Manchester, Manchester, UK What is the Point of an SMT-LIB Problem? ∗ Giles Reger and Martin Riener University of Manchester, Manchester, UK](https://www.pdfsearch.io/img/71e4020a8bcee5db7307dc0ef0f32115.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2018-07-19 05:32:19
|
---|
99![DASHTrails: An Approach for Modeling and Analysis of Distribution-Adapted Sequential Hypotheses and Trails Martin Atzmueller and Andreas Schmidt and Mark Kibanov University of Kassel, Research Center for Information Syst DASHTrails: An Approach for Modeling and Analysis of Distribution-Adapted Sequential Hypotheses and Trails Martin Atzmueller and Andreas Schmidt and Mark Kibanov University of Kassel, Research Center for Information Syst](https://www.pdfsearch.io/img/98fc9a47886a352b215f7df3706b5734.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:45:19
|
---|
100![Institut für Technische Informatik und Kommunikationsnetze Martin Müller Institut für Technische Informatik und Kommunikationsnetze Martin Müller](https://www.pdfsearch.io/img/dc029eda202a10fe2a2fe78d51625fd1.jpg) | Add to Reading ListSource URL: nsg.ee.ethz.chLanguage: English - Date: 2016-11-21 15:52:13
|
---|