D'Souza, D.; Ezudheen, P.; Garg, P.; Madhusudan, P.; Neider, D.: Horn-ICE Learning for Synthesizing Invariants and Contracts. (2017), 18 S.

Deshmukh, J. V.; Jin, X.; Majumdar, R.; Prabhu, V.: Parameter Optimization in Control Software using Statistical Fault Localization Techniques. (2017), 12 S.

Duch-Brown, N.; Martens, B.; Mueller-Langer, F.: The Economics of Ownership, Access and Trade in Digital Data. JRC Digital Economy Working Paper 2017-01 (2017), 46 S.

Duraj, L.; Künnemann, M.; Polak, A.: Tight Conditional Lower Bounds for Longest Common Increasing Subsequence. (2017), 18 S.

England, M.; Errami, H.; Grigoriev, D.; Radulescu, O.; Sturm, T.; Weber, A.: Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. (2017), 15 S.

Even, G.; Levi, R.; Medina, M.: Faster and Simpler Distributed Algorithms for Testing and Correcting Graph Properties in the CONGEST-Model. (2017), 14 S.

Felbo, B.; Mislove, A.; Søgaard, A.; Rahwan, I.; Lehmann, S.: Using millions of emoji occurrences to learn any-domain representations for detecting sentiment, emotion and sarcasm. arXiv, 1708.00524 (2017)

Fijalkow, N.; Ohlmann, P.; Ouaknine, J.; Pouly, A.; Worrell, J.: Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. (2017), 13 S.

Fontaine, P.; Ogawa, M.; Sturm, T.; Vu, X. T.: Subtropical Satisfiability. (2017), 17 S.

Frank, B.; Poese, I.; Smaragdakis, G.; Uhlig, S.; Feldmann, A.: Content-aware Traffic Engineering. (2017), 14 S.

Garg, D.; Hritcu, C.; Patrignani, M.; Stronati, M.; Swasey, D.: Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). (2017), 3 S.

Garg, J.; Hoefer, M.; Mehlhorn, K.: Approximating the Nash Social Welfare with Budget-Additive Valuations. (2017), 22 S.

Georg, C.-P.; Rose, M.; Opolot, D.: Informal Intellectual Collaboration with Central Colleagues. Kiel Working Paper 2084 (2017), 67 S.

Grgić-Hlača, N.; Zafar, M. B.; Gummadi, K.; Weller, A.: On Fairness, Diversity and Randomness in Algorithmic Decision Making. (2017), 7 S.

Hirnschall, C.; Singla, A.; Tschiatschek, S.; Krause, A.: Learning User Preferences to Incentivize Exploration in the Sharing Economy. (2017), 18 S.

Hoefer, M.; Kodric, B.: Combinatorial Secretary Problems with Ordinal Information. (2017), 16 S.

Hübschle, A.: The Groenewald Criminal Network: Background, Legislative Loopholes and Recommendations. The Global Observatory of Transnational Criminal Networks - Research Paper 11 (2017), 21 S.

Hui, K.; Yates, A.; Berberich, K.; de Melo, G.: PACRR: A Position-Aware Neural IR Model for Relevance Matching. (2017), 10 S.

Hui, K.; Yates, A.; Berberich, K.; de Melo, G.: RE-PACRR: A Context and Density-Aware Neural Information Retrieval Model. (2017), 8 S.

Ikenmeyer, C.; Lysikov, V.: Strassen's 2x2 Matrix Multiplication Algorithm: A Conceptual Perspective. (2017), 5 pages S.