1![DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405
DATACITE DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405
DATACITE](https://www.pdfsearch.io/img/88f7e4b7186e5ba8bafcc51c7a780b7d.jpg) | Add to Reading ListSource URL: workshop-oc.github.ioLanguage: English - Date: 2018-09-10 10:16:09
|
---|
2![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/6cd0a8c24e5f8735ab5a2da83e723cae.jpg) | Add to Reading ListSource URL: www.sos.arkansas.govLanguage: English - Date: 2018-01-04 16:40:32
|
---|
3![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
|
---|
4![NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract](https://www.pdfsearch.io/img/59ab9acdaa852795627c1e5438e869db.jpg) | Add to Reading ListSource URL: netcomplete.ethz.chLanguage: English - Date: 2018-05-02 12:52:55
|
---|
5![Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland](https://www.pdfsearch.io/img/15d3bc590dc52944955b250e73aab1e2.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:56:02
|
---|
6![Economy Class Crypto: Exploring Weak Cipher Usage in Avionic Communications via ACARS Matthew Smith1 , Daniel Moser2 , Martin Strohmeier1 , Vincent Lenders3 , and Ivan Martinovic1 1 Economy Class Crypto: Exploring Weak Cipher Usage in Avionic Communications via ACARS Matthew Smith1 , Daniel Moser2 , Martin Strohmeier1 , Vincent Lenders3 , and Ivan Martinovic1 1](https://www.pdfsearch.io/img/99b718811a281b8f59a321ec3050a0b0.jpg) | Add to Reading ListSource URL: www.lenders.chLanguage: English - Date: 2017-04-23 04:47:48
|
---|
7![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
|
---|
8![OpenSky Report 2018: Assessing the Integrity of Crowdsourced Mode S and ADS-B Data Matthias Sch¨afer¶‡∗ , Martin Strohmeier¶† , Matthew Smith¶† , Markus Fuchs¶‡ , Vincent Lenders¶§ , Ivan Martinovic¶† OpenSky Report 2018: Assessing the Integrity of Crowdsourced Mode S and ADS-B Data Matthias Sch¨afer¶‡∗ , Martin Strohmeier¶† , Matthew Smith¶† , Markus Fuchs¶‡ , Vincent Lenders¶§ , Ivan Martinovic¶†](https://www.pdfsearch.io/img/e8791a734e8b8de030e97e5911489bf7.jpg) | Add to Reading ListSource URL: www.lenders.chLanguage: English - Date: 2018-08-23 02:40:40
|
---|
9![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/959333a62af525ebfec4a7f2c5e291e2.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|