Isenberg, T. (2015). Incremental Inductive Verification of Parameterized Timed Systems. In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD) (pp. 1–9).https://doi.org/10.1109/ACSD.2015.13 
LibreCat: /record/285
DOI: 10.1109/ACSD.2015.13

Wette, P., &; Karl, H. (2015). HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks. In Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015) (pp. 1--7).https://doi.org/10.1109/EWSDN.2015.57 
LibreCat: /record/287
DOI: 10.1109/EWSDN.2015.57

Scheideler, C., Setzer, A., &; Strothmann, T. F. (2015). Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures. In Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS).https://doi.org/10.4230/LIPIcs.OPODIS.2015.24 
LibreCat: /record/241
DOI: 10.4230/LIPIcs.OPODIS.2015.24

Koutsopoulos, A., Scheideler, C., &; Strothmann, T. F. (2015). Towards a Universal Approach for the Finite Departure Problem in Overlay Networks. In Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) (pp. 201–216).https://doi.org/10.1007/978-3-319-21741-3_14 
LibreCat: /record/242
DOI: 10.1007/978-3-319-21741-3_14

Strothmann, T. F. (2015). The impact of communication patterns on distributed locally self-adjusting binary search trees. In Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM) (pp. 175--186).https://doi.org/10.1007/978-3-319-15612-5_16 
LibreCat: /record/243
DOI: 10.1007/978-3-319-15612-5_16

Monien, B., &; Mavronicolas, M. (2015). The complexity of pure equilibria in mix-weighted congestion games on parallel links. Information Processing Letters, 115(12), 927–931.https://doi.org/10.1016/j.ipl.2015.07.012 
LibreCat: /record/244
DOI: 10.1016/j.ipl.2015.07.012

Becker, M., Lehrig, S., &; Becker, S. (2015). Systematically Deriving Quality Metrics for Cloud Computing Systems. In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering (pp. 169--174). New York, NY, USA.https://doi.org/10.1145/2668930.2688043 
LibreCat: /record/245
DOI: 10.1145/2668930.2688043

Schwabe, A., &; Karl, H. (2015). SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics. In Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015) (pp. 37–42).https://doi.org/10.1109/EWSDN.2015.58 
LibreCat: /record/247
DOI: 10.1109/EWSDN.2015.58

Gutt, D., &; Kundisch, D. (2015). Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings? In INFORMS Annual Meeting. Philadelphia, USA.
LibreCat: /record/259

Brosig, F., Meier, P., Becker, S., Koziolek, A., Koziolek, H., &; Kounev, S. (2015). Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures. Transactions on Software Engineering, (2), 157--175.https://doi.org/10.1109/TSE.2014.2362755 
LibreCat: /record/260
DOI: 10.1109/TSE.2014.2362755

Jakobs, M.-C., &; Wehrheim, H. (2015). Programs from Proofs of Predicated Dataflow Analyses. In Proceedings of the 30th Annual ACM Symposium on Applied Computing (pp. 1729–1736).https://doi.org/10.1145/2695664.2695690 
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

Hallmann, C., &; Suhl, L. (2015). Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation. OR Spectrum, 1–19.https://doi.org/10.1007/s00291-015-0403-1 
LibreCat: /record/263
DOI: 10.1007/s00291-015-0403-1

Markarian, C., &; Meyer auf der Heide, F. (2015). Online Resource Leasing. In Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC) (pp. 343–344).https://doi.org/10.1145/2767386.2767454 
LibreCat: /record/266
DOI: 10.1145/2767386.2767454

Wiersema, T., Wu, S., &; Platzner, M. (2015). On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach. In Proceedings of the International Symposium in Reconfigurable Computing (ARC) (pp. 365--372).https://doi.org/10.1007/978-3-319-16214-0_32 
LibreCat: /record/269
DOI: 10.1007/978-3-319-16214-0_32

Caragiannis, I., Fanelli, A., Gravin, N., &; Skopalik, A. (2015). Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure. Transactions on Economics and Computation, 3(1).https://doi.org/10.1145/2614687 
LibreCat: /record/320
DOI: 10.1145/2614687

Blömer, J., Juhnke, J., &; Kolb, C. (2015). Anonymous and Publicly Linkable Reputation Systems. In Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC) (pp. 478--488).https://doi.org/10.1007/978-3-662-47854-7_29 
LibreCat: /record/322
DOI: 10.1007/978-3-662-47854-7_29

Jungmann, A., &; Mohr, F. (2015). An approach towards adaptive service composition in markets of composed services. Journal of Internet Services and Applications, (1), 1–18.https://doi.org/10.1186/s13174-015-0022-8 
LibreCat: /record/323
DOI: 10.1186/s13174-015-0022-8

Mohr, F. (2015). A Metric for Functional Reusability of Services. In Proceedings of the 14th International Conference on Software Reuse (ICSR) (pp. 298--313).https://doi.org/10.1007/978-3-319-14130-5_21 
LibreCat: /record/324
DOI: 10.1007/978-3-319-14130-5_21

Kniesburges, S., Koutsopoulos, A., &; Scheideler, C. (2015). A deterministic worst-case message complexity optimal solution for resource discovery. Theoretical Computer Science, 67–79.https://doi.org/10.1016/j.tcs.2014.11.027 
LibreCat: /record/327
DOI: 10.1016/j.tcs.2014.11.027

Bubeck, U., &; Kleine Büning, H. (2015). Learning Boolean Specifications. Artificial Intelligence, 246–257.https://doi.org/10.1016/j.artint.2015.09.003 
LibreCat: /record/3343
DOI: 10.1016/j.artint.2015.09.003