Network-wide Configuration Synthesis arXiv:1611.02537v1 [cs.NI] 8 Nov 2016 Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨

Source URL: people.ee.ethz.ch

• Computing
• Network architecture
• Internet architecture
• Information and communications technology
• Internet Standards
• Routing protocols
• Internet protocols
• Computer networking
• Open Shortest Path First
• Datalog
• Router
• Forwarding plane

OpenSky Report 2017: Mode S and ADS-B Usage of Military and other State Aircraft Matthias Sch¨afer∗ , Martin Strohmeier† , Matthew Smith† , Markus Fuchs‡ , Vincent Lenders§ , Marc Liechti¶ , Ivan Martinovic†

Source URL: www.lenders.ch

NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology

Source URL: gruss.cc

• Computer hardware
• Computer architecture
• Computing
• Side-channel attacks
• Computer security
• X86 architecture
• Central processing unit
• Computer memory
• Spectre
• Microarchitecture
• CPU cache
• Meltdown

Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a

Source URL: qav.comlab.ox.ac.uk

• Computational complexity theory
• Dynamic programming
• Markov processes
• Stochastic control
• Analysis of algorithms
• Markov decision process
• Reinforcement learning
• Time complexity
• PP
• Reachability

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

Source URL: vanbever.eu

• Internet architecture
• Computing
• Network architecture
• Routing
• Information and communications technology
• Computer networking
• Internet protocols
• Traceroute
• Hop
• Network topology
• Forwarding plane
• Computer network

DOMAIN SPECIFIC LANGUAGES FOR EFFICIENT SATELLITE CONTROL SOFTWARE DEVELOPMENT Andreas Wortmann, Martin Beet OHB System AG, Universitätsallee 27-29, 28359 Bremen, Germany, Email: Tel.: +

Source URL: mbeddr.com

• Computing
• Software engineering
• Software architecture
• Information and communications technology
• Domain-specific language
• Software development
• Software
• Component-based software engineering
• Application software

Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Source URL: mirror.clarkson.edu

• Computer programming
• Software engineering
• Computing
• Recursion
• Type theory
• Data types
• Theoretical computer science
• Functional programming
• Recursive data type
• Inductive data type
• Corecursion
• Mutual recursion

SparkTrails: A MapReduce Implementation of HypTrails for Comparing Hypotheses About Human Trails Martin Becker Hauke Mewes

Source URL: gdac.uqam.ca

• Philosophy of science
• Computing
• Design of experiments
• Scientific method
• Science
• Probability and statistics
• Bayesian inference
• Statistical forecasting
• Statistical hypothesis testing
• Apache Spark
• Hypothesis

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: nsg.ee.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

Arkansas Secretary of State Q Mark Martin Arkansas Diamond Award

Source URL: www.sos.arkansas.gov

• Postal system
• Arkansas
• Email
• Address
• United States