Kniesburges, S., Koutsopoulos, A., &; Scheideler, C. (2014). Re-Chord: A Self-stabilizing Chord Overlay Network. Theory of Computing Systems, (3), 591–612.https://doi.org/10.1007/s00224-012-9431-2 
LibreCat: /record/378
DOI: 10.1007/s00224-012-9431-2

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

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

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

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

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

Awerbuch, B., Richa, A. W., Scheideler, C., Schmid, S., &; Zhang, J. (2014). Principles of Robust Medium Access and an Application to Leader Election. Transactions on Algorithms, (4).https://doi.org/10.1145/2635818 
LibreCat: /record/387
DOI: 10.1145/2635818

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

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

Huma, Z., Gerth, C., &; Engels, G. (2014). On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development, (3–4), 333–361.https://doi.org/10.1007/s00450-014-0254-z 
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

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

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

Ackermann, M. R., Blömer, J., Kuntze, D., &; Sohler, C. (2014). Analysis of Agglomerative Clustering. Algorithmica, 69.https://doi.org/10.1007/s00453-012-9717-4 
LibreCat: /record/2976
DOI: 10.1007/s00453-012-9717-4

Blömer, J., Bujna, K., &; Kuntze, D. (2014). A Theoretical and Experimental Comparison of the EM and SEM Algorithm. In 2014 22nd International Conference on Pattern Recognition. IEEE.https://doi.org/10.1109/icpr.2014.253 
LibreCat: /record/2977
DOI: 10.1109/icpr.2014.253

Jager, T. (2014). Die Zukunft der Kryptographie. Datenschutz Und Datensicherheit, (7), 445--451.https://doi.org/10.1007/s11623-014-0204-8 
LibreCat: /record/3127
DOI: 10.1007/s11623-014-0204-8

Fleischhacker, N., Jager, T., &; Schröder, D. (2014). 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 (pp. 512--531).https://doi.org/10.1007/978-3-662-45611-8_27 
LibreCat: /record/3128
DOI: 10.1007/978-3-662-45611-8_27

Schneider, S., Treharne, H., &; Wehrheim, H. (2014). The behavioural semantics of Event-B refinement. Formal Asp. Comput., (2), 251--280.https://doi.org/10.1007/s00165-012-0265-0 
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

Tofan, B., Travkin, O., Schellhorn, G., &; Wehrheim, H. (2014). Two approaches for proving linearizability of multiset. Sci. Comput. Program., 297--314.https://doi.org/10.1016/j.scico.2014.04.001 
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

Schellhorn, G., Derrick, J., &; Wehrheim, H. (2014). A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Trans. Comput. Log., (4), 31:1--31:37.https://doi.org/10.1145/2629496 
LibreCat: /record/3169
DOI: 10.1145/2629496

Derrick, J., Dongol, B., Schellhorn, G., Tofan, B., Travkin, O., &; Wehrheim, H. (2014). Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In C. B. Jones, P. Pihlajasaari, &; J. Sun (Eds.), FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 200--214).https://doi.org/10.1007/978-3-319-06410-9_15 
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15