Basavaraju, M., Chandran, L. S., Rajendraprasad, D., &; Ramaswamy, A. (2014). Rainbow connection number of graph power and graph products. Graphs and Combinatorics, 30(6), 1363–1382.

Basavaraju, M., Chandran, L. S., Rajendraprasad, D., &; Ramaswamy, A. (2014). Rainbow connection number and radius. Graphs and Combinatorics, 30(2), 275–285.

Keil, R., Selke, H., &; Winkelnkemper, F. (2014). Twenty years of learning with the World Wide Web (S. Trahasch, R.  Pl  "o tzner, G. Schneider, C. Gayer, D. Sassiat, &; N. W  "o hrle, Eds.; pp. 51–60).

Winkelnkemper, F., &; Keil,  Reinhard. (2014). Zwischen Design und Flexibilit\'22at - Zur Ergonomie des Flat Design (A. Butz &; J. Schlichter, Eds.; Vol. 2014, pp. 255–264). Oldenbourg Verlag.

Jakoblew , M., Keil, R., &; Winkelnkemper, F. (2014). Forschendes Lernen durch semantisches Positionieren. In P. Forbrig &;  Johannes Magenheim (Eds.), Proceedings der HDI 2014 (pp. 74–84). Universit\'22at Rostock.

Keil, R., &; Schild, C. (2014). Hypothesengeleitete Gestaltung von Benutzungsoberfl\'22achen. 265–274.

Keil,  Reinhard. (2014). Knowledge integration processes and distributed knowledge organization (S. A. Keller, R. Schneider, &; B. Volk, Eds.; pp. 162–179). De Gruyter Saur.

Wette, P., Dräxler, M., Schwabe, A., Wallaschek, F., Zahraee, M. H., &; Karl, H. (2014). MaxiNet: Distributed Emulation of Software-Defined Networks. In Proceedings of the 2014 IFIP Networking Conference (Networking 2014) (pp. 1–9).https://doi.org/10.1109/IFIPNetworking.2014.6857078 

Walther, S., &; Wehrheim, H. (2014). Verified Service Compositions by Template-Based Construction. In I. Lanese &; E. Madelaine (Eds.), Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS) (pp. 31–48).https://doi.org/10.1007/978-3-319-15317-9_3 

Wette, P., &; Karl, H. (2014). Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms. In Proceedings of the IEEE International Conference on Communications 2014 (pp. 3270–3276).https://doi.org/10.1109/ICC.2014.6883825 

Korth, P. (2014). Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn.

Künsemöller, J. (2014). Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn.

Becker, M., Becker, S., Besova, G., Walther, S., &; Wehrheim, H. (2014). Towards Systematic Configuration for Architecture Validation. In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session).

Brangewitz, S., Jungmann, A., Petrlic, R., &; Platenius, M. C. (2014). Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION) (pp. 49–57).

Meisner, S., &; Platzner, M. (2014). Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection. In D. Goehringer, M. Santambrogio, J. P. Cardoso, &; K. Bertels (Eds.), Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC) (pp. 283–290). Springer.https://doi.org/10.1007/978-3-319-05960-0_30 

Mohr, F., &; Walther, S. (2014). Template-based Generation of Semantic Services. In Proceedings of the 14th International Conference on Software Reuse (ICSR) (pp. 188–203).https://doi.org/10.1007/978-3-319-14130-5_14 

Keller, M., Robbert, C., &; Karl, H. (2014). Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds. In Proceedings of 7th International Conference on Utility and Cloud Computing (UCC) (pp. 387--395).https://doi.org/10.1109/UCC.2014.49 

Blömer, J., Günther, P., &; Liske, G. (2014). Tampering attacks in pairing-based cryptography. In Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC) (pp. 1--7).https://doi.org/10.1109/FDTC.2014.10 

Dräxler, S., Keller, M., &; Karl, H. (2014). Specifying and Placing Chains of Virtual Network Functions. In Proceedings of the 3rd International Conference on Cloud Networking (CloudNet) (pp. 7–13).https://doi.org/10.1109/CloudNet.2014.6968961 

Roeske, D. (2014). Simulating load-dependent operation of picocells. Universität Paderborn.

Arifulina, S., Becker, M., Platenius, M. C., &; Walther, S. (2014). SeSAME: Modeling and Analyzing High-Quality Service Compositions. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) (pp. 839–842).https://doi.org/10.1145/2642937.2648621 

Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., &; Sorge, C. (2014). Security and Privacy Challenges in On-The-Fly Computing. In Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014) (pp. 131–142).

Janiuk, J., Mäcker, A., &; Graffi, K. (2014). Secure Distributed Data Structures for Peer-to-Peer-based Social Networks. In Proceedings of the International Conference on Collaboration Technologies and Systems (CTS) (pp. 396–405).https://doi.org/10.1109/CTS.2014.6867595 

Brinkmann, A., Kling, P., Meyer auf der Heide, F., Nagel, L., Riechers, S., &; Suess, T. (2014). Scheduling Shared Continuous Resources on Many-Cores. Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 128–137.https://doi.org/10.1145/2612669.2612698 

Rath, T. (2014). RSA-Full Domain Hash Revisited. Universität Paderborn.

Harks, T., Höfer, M., Schewior, K., &; Skopalik, A. (2014). Routing Games with Progressive Filling. In Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14) (pp. 352–360).https://doi.org/10.1109/TNET.2015.2468571 

Scheideler, C., Setzer, A., &; Eikel, M. (2014). RoBuSt: A Crash-Failure-Resistant Distributed Storage System. In Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS) (pp. 107--122).https://doi.org/10.1007/978-3-319-14472-6_8 

Keller, M., &; Karl, H. (2014). Response Time-Optimized Distributed Cloud Resource Allocation. In Proceedings of the SIGCOMM workshop on Distributed cloud computing (pp. 47--52).https://doi.org/10.1145/2627566.2627570 

Pahl, D. (2014). Reputationssysteme für zusammengesetzte Dienstleistungen. Universität Paderborn.

Herlich, M. (2014). Reducing Energy Consumption of Radio Access Networks. Universität Paderborn.

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 

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 

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 

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).

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 

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

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 

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).

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 

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 

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.

Brauer, S. (2014). A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures.

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 

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 

Jager, T. (2014). Die Zukunft der Kryptographie. Datenschutz Und Datensicherheit, (7), 445--451.https://doi.org/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 

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 

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 

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 

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