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

Wette P, Karl H. 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). ; 2015:1--7. doi:10.1109/EWSDN.2015.57
LibreCat: /record/287
DOI: 10.1109/EWSDN.2015.57

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

Koutsopoulos A, Scheideler C, Strothmann TF. 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). Lecture Notes in Computer Science. ; 2015:201-216. doi:10.1007/978-3-319-21741-3_14
LibreCat: /record/242
DOI: 10.1007/978-3-319-21741-3_14

Strothmann TF. 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). LNCS. ; 2015:175--186. doi:10.1007/978-3-319-15612-5_16
LibreCat: /record/243
DOI: 10.1007/978-3-319-15612-5_16

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

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

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

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

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

Jakobs M-C, Wehrheim H. Programs from Proofs of Predicated Dataflow Analyses. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing. SAC ’15. ; 2015:1729-1736. doi:10.1145/2695664.2695690
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

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

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

Wiersema T, Wu S, Platzner M. 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). LNCS. ; 2015:365--372. doi: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. Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure. Transactions on Economics and Computation. 2015;3(1). doi:10.1145/2614687
LibreCat: /record/320
DOI: 10.1145/2614687

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

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

Mohr F. A Metric for Functional Reusability of Services. In: Proceedings of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2015:298--313. doi: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. A deterministic worst-case message complexity optimal solution for resource discovery. Theoretical Computer Science. 2015:67-79. doi:10.1016/j.tcs.2014.11.027
LibreCat: /record/327
DOI: 10.1016/j.tcs.2014.11.027

Bubeck U, Kleine Büning H. Learning Boolean Specifications. Artificial Intelligence. 2015:246-257. doi:10.1016/j.artint.2015.09.003
LibreCat: /record/3343
DOI: 10.1016/j.artint.2015.09.003