11![The Real First Class? Inferring Confidential Corporate Mergers and Government Relations from Air Traffic Communication Martin Strohmeier∗ , Matthew Smith∗ , Vincent Lenders† , Ivan Martinovic∗ ∗ University of The Real First Class? Inferring Confidential Corporate Mergers and Government Relations from Air Traffic Communication Martin Strohmeier∗ , Matthew Smith∗ , Vincent Lenders† , Ivan Martinovic∗ ∗ University of](https://www.pdfsearch.io/img/aa83c70307520cfe288fcf91a7631035.jpg) | Add to Reading ListSource URL: www.lenders.chLanguage: English - Date: 2018-06-20 05:13:12
|
---|
12![Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca](https://www.pdfsearch.io/img/7717a91e077469e33eec23725a4bbe84.jpg) | Add to Reading ListSource URL: forsyte.atLanguage: English - Date: 2018-06-26 03:55:02
|
---|
13![Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2 Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2](https://www.pdfsearch.io/img/9110e2a7508f936b79ba681c030d525c.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-05-09 09:40:14
|
---|
14![Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Martin Vechev, Laurent Vanbever net2text.ethz.ch Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Martin Vechev, Laurent Vanbever net2text.ethz.ch](https://www.pdfsearch.io/img/543de649d92475913b73f6674e641eab.jpg) | Add to Reading ListSource URL: nsg.ee.ethz.chLanguage: English - Date: 2018-04-26 04:27:22
|
---|
15![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/c441528c355433c0fcb651a68cb96c54.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
16![Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗](https://www.pdfsearch.io/img/10af4479e30944af68e15edbe102a708.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
17![Ordered Treemap Layouts Martin Wattenberg Dow Jones / SmartMoney.com and Digital Media Center, Columbia University Ordered Treemap Layouts Martin Wattenberg Dow Jones / SmartMoney.com and Digital Media Center, Columbia University](https://www.pdfsearch.io/img/0356b76cefa1b7e412aea49575dbdbcc.jpg) | Add to Reading ListSource URL: cvs.cs.umd.eduLanguage: English - Date: 2015-10-05 10:51:36
|
---|
18![Net 2 Text Hey network, what are you up to? * Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev Net 2 Text Hey network, what are you up to? * Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev](https://www.pdfsearch.io/img/fa613b6d73c09a87595c5e540c438f28.jpg) | Add to Reading ListSource URL: nsg.ee.ethz.chLanguage: English - Date: 2018-04-18 04:24:08
|
---|
19![Your Botnet is My Botnet: Analysis of a Botnet Takeover Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard Kemmerer, Christopher Kruegel, and Giovanni Vigna University of California Your Botnet is My Botnet: Analysis of a Botnet Takeover Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard Kemmerer, Christopher Kruegel, and Giovanni Vigna University of California](https://www.pdfsearch.io/img/6d701ab709d198909890cabb4fe37f69.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2015-02-12 10:29:36
|
---|
20![Arkansas Secretary of State Q Mark Martin Application for Secretary of State Certificate of Recognition Arkansas Secretary of State Q Mark Martin Application for Secretary of State Certificate of Recognition](https://www.pdfsearch.io/img/65fa96c4c2323430180ed65c8264081b.jpg) | Add to Reading ListSource URL: www.sos.arkansas.govLanguage: English - Date: 2017-11-15 15:28:53
|
---|