S. Kniesburges, A. Koutsopoulos, and C. Scheideler, “Re-Chord: A Self-stabilizing Chord Overlay Network,” Theory of Computing Systems, no. 3, pp. 591–612, 2014.
LibreCat: /record/378
DOI: 10.1007/s00224-012-9431-2

S. Abshoff, C. Markarian, and F. Meyer auf der Heide, “Randomized Online Algorithms for Set Cover Leasing Problems,” in Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2014, pp. 25–34.
LibreCat: /record/379
DOI: 10.1007/978-3-319-12691-3_3

A. Cord-Landwehr, A. Mäcker, and F. Meyer auf der Heide, “Quality of Service in Network Creation Games,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 423–428.
LibreCat: /record/380
DOI: 10.1007/978-3-319-13129-0_34

F. Brüseke, H. Wachsmuth, G. Engels, and S. Becker, “PBlaman: performance blame analysis based on Palladio contracts,” in Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, 2014, no. 12, pp. 1975–2004.
LibreCat: /record/3805

J. Künsemöller, S. Brangewitz, H. Karl, and C.-J. Haake, “Provider Competition in Infrastructure-as-a-Service,” in Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 2014, pp. 203–210.
LibreCat: /record/382
DOI: 10.1109/SCC.2014.35

D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs -- Approach and Applications,” in Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat: /record/383

B. Awerbuch, A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Principles of Robust Medium Access and an Application to Leader Election,” Transactions on Algorithms, no. 4, 2014.
LibreCat: /record/387
DOI: 10.1145/2635818

H. Wachsmuth, M. Trenkmann, B. Stein, and G. Engels, “Modeling Review Argumentation for Robust Sentiment Analysis,” in Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers, 2014, pp. 553–564.
LibreCat: /record/3877

M. Hammer, “Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver,” Optics Communications, vol. 338, pp. 447–456, 2014.
LibreCat: /record/3890
DOI: 10.1016/j.optcom.2014.09.087

Z. Huma, C. Gerth, and G. Engels, “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains,” Computer Science - Research and Development, no. 3–4, pp. 333–361, 2014.
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

C. Abu Quba Rana, S. Hassas, F. Usama, M. Alshomary, and C. Gertosio, SoNTRE: The Social Network Transformer into Recommendation Engine,” 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), pp. 169–175, 2014.
LibreCat: /record/3905

S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures. 2014.
LibreCat: /record/2900

M. R. Ackermann, J. Blömer, D. Kuntze, and C. Sohler, “Analysis of Agglomerative Clustering,” Algorithmica, vol. 69, 2014.
LibreCat: /record/2976
DOI: 10.1007/s00453-012-9717-4

J. Blömer, K. Bujna, and D. Kuntze, “A Theoretical and Experimental Comparison of the EM and SEM Algorithm,” in 2014 22nd International Conference on Pattern Recognition, 2014.
LibreCat: /record/2977
DOI: 10.1109/icpr.2014.253

T. Jager, “Die Zukunft der Kryptographie,” Datenschutz und Datensicherheit, no. 7, pp. 445--451, 2014.
LibreCat: /record/3127
DOI: 10.1007/s11623-014-0204-8

N. Fleischhacker, T. Jager, and D. Schröder, “On Tight Security Proofs for Schnorr Signatures,” in Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I, 2014, pp. 512--531.
LibreCat: /record/3128
DOI: 10.1007/978-3-662-45611-8_27

S. Schneider, H. Treharne, and H. Wehrheim, “The behavioural semantics of Event-B refinement,” Formal Asp. Comput., no. 2, pp. 251--280, 2014.
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

B. Tofan, O. Travkin, G. Schellhorn, and H. Wehrheim, “Two approaches for proving linearizability of multiset,” Sci. Comput. Program., pp. 297--314, 2014.
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

G. Schellhorn, J. Derrick, and H. Wehrheim, “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures,” ACM Trans. Comput. Log., no. 4, pp. 31:1--31:37, 2014.
LibreCat: /record/3169
DOI: 10.1145/2629496

J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, and H. Wehrheim, “Quiescent Consistency: Defining and Verifying Relaxed Linearizability,” in FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15