1![Prof. Dr. Martin Fränzle Department of Computing Science University of OldenburgOldenburg Germany Email: Prof. Dr. Martin Fränzle Department of Computing Science University of OldenburgOldenburg Germany Email:](https://www.pdfsearch.io/img/98a51149181a74fd9250849f6c21d58d.jpg) | Add to Reading ListSource URL: www.avacs.org- Date: 2015-09-07 03:31:28
|
---|
2![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
|
---|
3![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
|
---|
4![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
|
---|
5![AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK](https://www.pdfsearch.io/img/b2f469c5be6f8c1d33f4d72cb348932b.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-10-06 05:17:59
|
---|
6![Cryptanalysis of KeeLoq with COPACOBANA Martin Novotný1,2, Timo Kasper1 Horst Görtz Institute for IT-Security Ruhr University Bochum 1 Cryptanalysis of KeeLoq with COPACOBANA Martin Novotný1,2, Timo Kasper1 Horst Görtz Institute for IT-Security Ruhr University Bochum 1](https://www.pdfsearch.io/img/4174bea91854d93ee223da334b3e80a9.jpg) | Add to Reading ListSource URL: www.hyperelliptic.orgLanguage: English - Date: 2009-09-22 19:00:54
|
---|
7![Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK](https://www.pdfsearch.io/img/b6a382f968a31de76c173b6704016346.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2018-07-19 05:32:19
|
---|
8![Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK](https://www.pdfsearch.io/img/51e1f2082ee580d8acd90bbac7790eb6.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 16:49:46
|
---|
9![COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory](https://www.pdfsearch.io/img/2f51cc3e1da5a4f4e58fb727bef0e3e3.jpg) | Add to Reading ListSource URL: www.uregina.ca- Date: 2018-09-17 16:41:16
|
---|
10![Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria](https://www.pdfsearch.io/img/564a98119db0354b1fb4bfb220c6e38a.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-08 03:28:45
|
---|