Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.”https://doi.org/10.1109/ACSD.2015.13__In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 1–9, 2015.https://doi.org/10.1109/ACSD.2015.13 .

Wette, Philip, and Holger Karl. “HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks.”https://doi.org/10.1109/EWSDN.2015.57__In Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 1--7, 2015.https://doi.org/10.1109/EWSDN.2015.57 .

Scheideler, Christian, Alexander Setzer, and Thim Frederik Strothmann. “Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures.”https://doi.org/10.4230/LIPIcs.OPODIS.2015.24__In Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS). Leibniz International Proceedings in Informatics (LIPIcs), 2015.https://doi.org/10.4230/LIPIcs.OPODIS.2015.24 .

Koutsopoulos, Andreas, Christian Scheideler, and Thim Frederik Strothmann. “Towards a Universal Approach for the Finite Departure Problem in Overlay Networks.”https://doi.org/10.1007/978-3-319-21741-3_14__In Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 201–16. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-21741-3_14 .

Strothmann, Thim Frederik. “The Impact of Communication Patterns on Distributed Locally Self-Adjusting Binary Search Trees.”https://doi.org/10.1007/978-3-319-15612-5_16__In Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), 175--186. LNCS, 2015.https://doi.org/10.1007/978-3-319-15612-5_16 .

Monien, Burkhard, and Marios Mavronicolas. “The Complexity of Pure Equilibria in Mix-Weighted Congestion Games on Parallel Links.”https://doi.org/10.1016/j.ipl.2015.07.012__Information Processing Letters 115, no. 12 (2015): 927–31.https://doi.org/10.1016/j.ipl.2015.07.012 .

Becker, Matthias, Sebastian Lehrig, and Steffen Becker. “Systematically Deriving Quality Metrics for Cloud Computing Systems.”https://doi.org/10.1145/2668930.2688043__In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 169--174. ICPE ’15. New York, NY, USA, 2015.https://doi.org/10.1145/2668930.2688043 .

Schwabe, Arne, and Holger Karl. “SynRace: Decentralized Load-Adaptive Multi-Path Routing without Collecting Statistics.”https://doi.org/10.1109/EWSDN.2015.58__In Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 37–42, 2015.https://doi.org/10.1109/EWSDN.2015.58 .

Gutt, Dominik, and Dennis Kundisch. “Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings?” In INFORMS Annual Meeting, 2015.

Brosig, Fabian, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, and Samuel Kounev. “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures.”https://doi.org/10.1109/TSE.2014.2362755__Transactions on Software Engineering, no. 2 (2015): 157--175.https://doi.org/10.1109/TSE.2014.2362755 .

Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.”https://doi.org/10.1145/2695664.2695690__In Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729–36. SAC ’15, 2015.https://doi.org/10.1145/2695664.2695690 .

Hallmann, Corinna, and Leena Suhl. “Optimizing Water Tanks in Water Distribution Systems by Combining Network Reduction, Mathematical Optimization and Hydraulic Simulation.”https://doi.org/10.1007/s00291-015-0403-1__OR Spectrum, 2015, 1–19.https://doi.org/10.1007/s00291-015-0403-1 .

Markarian, Christine, and Friedhelm Meyer auf der Heide. “Online Resource Leasing.”https://doi.org/10.1145/2767386.2767454__In Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC), 343–44, 2015.https://doi.org/10.1145/2767386.2767454 .

Wiersema, Tobias, Sen Wu, and Marco Platzner. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.”https://doi.org/10.1007/978-3-319-16214-0_32__In Proceedings of the International Symposium in Reconfigurable Computing (ARC), 365--372. LNCS, 2015.https://doi.org/10.1007/978-3-319-16214-0_32 .

Caragiannis, Ioannis, Angelo Fanelli, Nick Gravin, and Alexander Skopalik. “Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure.”https://doi.org/10.1145/2614687__Transactions on Economics and Computation 3, no. 1 (2015).https://doi.org/10.1145/2614687 .

Blömer, Johannes, Jakob Juhnke, and Christina Kolb. “Anonymous and Publicly Linkable Reputation Systems.”https://doi.org/10.1007/978-3-662-47854-7_29__In Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC), 478--488. LNCS, 2015.https://doi.org/10.1007/978-3-662-47854-7_29 .

Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.”https://doi.org/10.1186/s13174-015-0022-8__Journal of Internet Services and Applications, no. 1 (2015): 1–18.https://doi.org/10.1186/s13174-015-0022-8 .

Mohr, Felix. “A Metric for Functional Reusability of Services.”https://doi.org/10.1007/978-3-319-14130-5_21__In Proceedings of the 14th International Conference on Software Reuse (ICSR), 298--313. LNCS, 2015.https://doi.org/10.1007/978-3-319-14130-5_21 .

Kniesburges, Sebastian, Andreas Koutsopoulos, and Christian Scheideler. “A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery.”https://doi.org/10.1016/j.tcs.2014.11.027__Theoretical Computer Science, 2015, 67–79.https://doi.org/10.1016/j.tcs.2014.11.027 .

Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.”https://doi.org/10.1016/j.artint.2015.09.003__Artificial Intelligence, 2015, 246–57.https://doi.org/10.1016/j.artint.2015.09.003 .