DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405 DATACITE

Source URL: workshop-oc.github.io

• Academic publishing
• Publishing
• Identifiers
• Information science
• Knowledge
• Technical communication
• Electronic documents
• Index
• DataCite
• Initiative for Open Citations
• Crossref
• Digital object identifier

Arkansas Secretary of State Q Mark Martin Capitol Citation Request Form

Source URL: www.sos.arkansas.gov

• Scouting
• Advancement and recognition in the Boy Scouts of America
• Scouting in the Philippines
• Eagle Scout
• Boy Scouting
• Scout troop
• Gold Award
• Scouts
• Email

Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1

Source URL: csl.sri.com

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract

Source URL: netcomplete.ethz.ch

• Computing
• Network architecture
• Routing protocols
• Internet Standards
• Data transmission
• Internet protocols
• Internet architecture
• Computer networking
• Border Gateway Protocol
• Open Shortest Path First
• IS-IS
• Convergence

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Probability and statistics
• Probability theory
• Artificial intelligence
• Machine learning
• Computational statistics
• Graphical models
• Computational linguistics
• Natural language processing
• Conditional random field
• Probabilistic programming language
• Inference
• Support vector machine

Economy Class Crypto: Exploring Weak Cipher Usage in Avionic Communications via ACARS Matthew Smith1 , Daniel Moser2 , Martin Strohmeier1 , Vincent Lenders3 , and Ivan Martinovic1 1

Source URL: www.lenders.ch

• Aircraft instruments
• Aviation
• Avionics
• Technology
• Electronics
• ACARS
• ARINC
• VHF Data Link
• SATCOM
• Data link
• Pilot report
• Flight plan

Prof. Dr. Martin Fränzle Department of Computing Science University of OldenburgOldenburg Germany Email:

Source URL: www.avacs.org

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¶†

Source URL: www.lenders.ch

• Electronics
• Radio
• Telecommunications engineering
• Air traffic control
• Avionics
• OpenSky Network
• Radar
• Automatic dependent surveillance broadcast
• Wireless
• Flightradar24
• Global Positioning System
• Data integrity

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: seahorn.github.io

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming