Wette, Philip, Martin Dräxler, Arne Schwabe, Felix Wallaschek, Mohammad Hassan Zahraee, and Holger Karl. “MaxiNet: Distributed Emulation of Software-Defined Networks.”https://doi.org/10.1109/IFIPNetworking.2014.6857078__In Proceedings of the 2014 IFIP Networking Conference (Networking 2014), 1–9, 2014.https://doi.org/10.1109/IFIPNetworking.2014.6857078 .
LibreCat: /record/329
DOI: 10.1109/IFIPNetworking.2014.6857078

Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.”https://doi.org/10.1007/978-3-319-15317-9_3__In Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 31–48. LNCS, 2014.https://doi.org/10.1007/978-3-319-15317-9_3 .
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

Wette, Philip, and Holger Karl. “Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms.”https://doi.org/10.1109/ICC.2014.6883825__In Proceedings of the IEEE International Conference on Communications 2014, 3270–76, 2014.https://doi.org/10.1109/ICC.2014.6883825 .
LibreCat: /record/339
DOI: 10.1109/ICC.2014.6883825

Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat: /record/340

Künsemöller, Jörn. Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn, 2014.
LibreCat: /record/343

Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and Heike Wehrheim. “Towards Systematic Configuration for Architecture Validation.” In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat: /record/344

Brangewitz, Sonja, Alexander Jungmann, Ronald Petrlic, and Marie Christin Platenius. “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), 49–57, 2014.
LibreCat: /record/346

Meisner, Sebastian, and Marco Platzner. “Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-Cores for Error Detection.”https://doi.org/10.1007/978-3-319-05960-0_30__In Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), edited by Diana Goehringer, MarcoDomenico Santambrogio, JoãoM.P. Cardoso, and Koen Bertels, 283–90. Lecture Notes in Computer Science. Springer, 2014.https://doi.org/10.1007/978-3-319-05960-0_30 .
LibreCat: /record/347
DOI: 10.1007/978-3-319-05960-0_30

Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”https://doi.org/10.1007/978-3-319-14130-5_14__In Proceedings of the 14th International Conference on Software Reuse (ICSR), 188–203. LNCS, 2014.https://doi.org/10.1007/978-3-319-14130-5_14 .
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

Keller, Matthias, Christoph Robbert, and Holger Karl. “Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds.”https://doi.org/10.1109/UCC.2014.49__In Proceedings of 7th International Conference on Utility and Cloud Computing (UCC), 387--395, 2014.https://doi.org/10.1109/UCC.2014.49 .
LibreCat: /record/354
DOI: 10.1109/UCC.2014.49

Blömer, Johannes, Peter Günther, and Gennadij Liske. “Tampering Attacks in Pairing-Based Cryptography.”https://doi.org/10.1109/FDTC.2014.10__In Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 1--7, 2014.https://doi.org/10.1109/FDTC.2014.10 .
LibreCat: /record/355
DOI: 10.1109/FDTC.2014.10

Dräxler, Sevil, Matthias Keller, and Holger Karl. “Specifying and Placing Chains of Virtual Network Functions.”https://doi.org/10.1109/CloudNet.2014.6968961__In Proceedings of the 3rd International Conference on Cloud Networking (CloudNet), 7–13, 2014.https://doi.org/10.1109/CloudNet.2014.6968961 .
LibreCat: /record/360
DOI: 10.1109/CloudNet.2014.6968961

Roeske, Daniel. Simulating Load-Dependent Operation of Picocells. Universität Paderborn, 2014.
LibreCat: /record/361

Arifulina, Svetlana, Matthias Becker, Marie Christin Platenius, and Sven Walther. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.”https://doi.org/10.1145/2642937.2648621__In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 839–42, 2014.https://doi.org/10.1145/2642937.2648621 .
LibreCat: /record/364
DOI: 10.1145/2642937.2648621

Petrlic, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schäfer, and Christoph Sorge. “Security and Privacy Challenges in On-The-Fly Computing.” In Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 131–42, 2014.
LibreCat: /record/366

Janiuk, Jens, Alexander Mäcker, and Kalman Graffi. “Secure Distributed Data Structures for Peer-to-Peer-Based Social Networks.”https://doi.org/10.1109/CTS.2014.6867595__In Proceedings of the International Conference on Collaboration Technologies and Systems (CTS), 396–405, 2014.https://doi.org/10.1109/CTS.2014.6867595 .
LibreCat: /record/367
DOI: 10.1109/CTS.2014.6867595

Brinkmann, Andre, Peter Kling, Friedhelm Meyer auf der Heide, Lars Nagel, Sören Riechers, and Timhttps://doi.org/10.1145/2612669.2612698__Suess. “Scheduling Shared Continuous Resources on Many-Cores.”https://doi.org/10.1145/2612669.2612698__In Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 128–37, 2014.https://doi.org/10.1145/2612669.2612698 .
LibreCat: /record/368
DOI: 10.1145/2612669.2612698

Rath, Timo. RSA-Full Domain Hash Revisited. Universität Paderborn, 2014.
LibreCat: /record/369

Harks, Tobias, Martin Höfer, Kevin Schewior, and Alexander Skopalik. “Routing Games with Progressive Filling.”https://doi.org/10.1109/TNET.2015.2468571__In Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 352–60, 2014.https://doi.org/10.1109/TNET.2015.2468571 .
LibreCat: /record/370
DOI: 10.1109/TNET.2015.2468571

Scheideler, Christian, Alexander Setzer, and Martina Eikel. “RoBuSt: A Crash-Failure-Resistant Distributed Storage System.”https://doi.org/10.1007/978-3-319-14472-6_8__In Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 107--122. LNCS, 2014.https://doi.org/10.1007/978-3-319-14472-6_8 .
LibreCat: /record/371
DOI: 10.1007/978-3-319-14472-6_8

Keller, Matthias, and Holger Karl. “Response Time-Optimized Distributed Cloud Resource Allocation.”https://doi.org/10.1145/2627566.2627570__In Proceedings of the SIGCOMM Workshop on Distributed Cloud Computing, 47--52, 2014.https://doi.org/10.1145/2627566.2627570 .
LibreCat: /record/372
DOI: 10.1145/2627566.2627570

Pahl, David. Reputationssysteme für zusammengesetzte Dienstleistungen. Universität Paderborn, 2014.
LibreCat: /record/373

Herlich, Matthias. Reducing Energy Consumption of Radio Access Networks. Universität Paderborn, 2014.
LibreCat: /record/376

Kniesburges, Sebastian, Andreas Koutsopoulos, and Christian Scheideler. “Re-Chord: A Self-Stabilizing Chord Overlay Network.”https://doi.org/10.1007/s00224-012-9431-2__Theory of Computing Systems, no. 3 (2014): 591–612.https://doi.org/10.1007/s00224-012-9431-2 .
LibreCat: /record/378
DOI: 10.1007/s00224-012-9431-2

Abshoff, Sebastian, Christine Markarian, and Friedhelm Meyer auf der Heide. “Randomized Online Algorithms for Set Cover Leasing Problems.”https://doi.org/10.1007/978-3-319-12691-3_3__In Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 25–34. LNCS, 2014.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, Andreas, Alexander Mäcker, and Friedhelm Meyer auf der Heide. “Quality of Service in Network Creation Games.”https://doi.org/10.1007/978-3-319-13129-0_34__In Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 423–28, 2014.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, Frank, Henning Wachsmuth, Gregor Engels, and Steffen Becker. “PBlaman: Performance Blame Analysis Based on Palladio Contracts.” In Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, 1975–2004, 2014.
LibreCat: /record/3805

Künsemöller, Jörn, Sonja Brangewitz, Holger Karl, and Claus-Jochen Haake. “Provider Competition in Infrastructure-as-a-Service.”https://doi.org/10.1109/SCC.2014.35__In Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 203–10, 2014.https://doi.org/10.1109/SCC.2014.35 .
LibreCat: /record/382
DOI: 10.1109/SCC.2014.35

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs -- Approach and Applications.” In Proceedings of the Software Engineering Conference (SE), 67–68. Lecture Notes in Informatics (LNI), 2014.
LibreCat: /record/383

Awerbuch, Baruch, Andrea W. Richa, Christian Scheideler, Stefan Schmid, and Jin Zhang. “Principles of Robust Medium Access and an Application to Leader Election.”https://doi.org/10.1145/2635818__Transactions on Algorithms, no. 4 (2014).https://doi.org/10.1145/2635818 .
LibreCat: /record/387
DOI: 10.1145/2635818

Wachsmuth, Henning, Martin Trenkmann, Benno Stein, and Gregor Engels. “Modeling Review Argumentation for Robust Sentiment Analysis.” In Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers, 553–64, 2014.
LibreCat: /record/3877

Hammer, Manfred. “Oblique Incidence of Semi-Guided Waves on Rectangular Slab Waveguide Discontinuities: A Vectorial QUEP Solver.”https://doi.org/10.1016/j.optcom.2014.09.087__Optics Communications 338 (2014): 447–56.https://doi.org/10.1016/j.optcom.2014.09.087 .
LibreCat: /record/3890
DOI: 10.1016/j.optcom.2014.09.087

Huma, Zille, Christian Gerth, and Gregor Engels. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.”https://doi.org/10.1007/s00450-014-0254-z__Computer Science - Research and Development, no. 3–4 (2014): 333–61.https://doi.org/10.1007/s00450-014-0254-z .
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

Abu Quba Rana, Chamsi, Salima Hassas, Fayyad Usama, Milad Alshomary, and Christine Gertosio. “ISoNTRE: The Social Network Transformer into Recommendation Engine.” 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), 2014, 169–75.
LibreCat: /record/3905

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

Ackermann, Marcel Rudolf, Johannes Blömer, Daniel Kuntze, and Christian Sohler. “Analysis of Agglomerative Clustering.”https://doi.org/10.1007/s00453-012-9717-4__Algorithmica 69 (2014).https://doi.org/10.1007/s00453-012-9717-4 .
LibreCat: /record/2976
DOI: 10.1007/s00453-012-9717-4

Blömer, Johannes, Kathrin Bujna, and Daniel Kuntze. “A Theoretical and Experimental Comparison of the EM and SEM Algorithm.”https://doi.org/10.1109/icpr.2014.253__In 2014 22nd International Conference on Pattern Recognition. IEEE, 2014.https://doi.org/10.1109/icpr.2014.253 .
LibreCat: /record/2977
DOI: 10.1109/icpr.2014.253

Jager, Tibor. “Die Zukunft Der Kryptographie.”https://doi.org/10.1007/s11623-014-0204-8__Datenschutz Und Datensicherheit, no. 7 (2014): 445--451.https://doi.org/10.1007/s11623-014-0204-8 .
LibreCat: /record/3127
DOI: 10.1007/s11623-014-0204-8

Fleischhacker, Nils, Tibor Jager, and Dominique Schröder. “On Tight Security Proofs for Schnorr Signatures.”https://doi.org/10.1007/978-3-662-45611-8_27__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, 512--531, 2014.https://doi.org/10.1007/978-3-662-45611-8_27 .
LibreCat: /record/3128
DOI: 10.1007/978-3-662-45611-8_27

Schneider, Steve, Helen Treharne, and Heike Wehrheim. “The Behavioural Semantics of Event-B Refinement.”https://doi.org/10.1007/s00165-012-0265-0__Formal Asp. Comput., no. 2 (2014): 251--280.https://doi.org/10.1007/s00165-012-0265-0 .
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

Tofan, Bogdan, Oleg Travkin, Gerhard Schellhorn, and Heike Wehrheim. “Two Approaches for Proving Linearizability of Multiset.”https://doi.org/10.1016/j.scico.2014.04.001__Sci. Comput. Program., 2014, 297--314.https://doi.org/10.1016/j.scico.2014.04.001 .
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

Schellhorn, Gerhard, John Derrick, and Heike Wehrheim. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.”https://doi.org/10.1145/2629496__ACM Trans. Comput. Log., no. 4 (2014): 31:1--31:37.https://doi.org/10.1145/2629496 .
LibreCat: /record/3169
DOI: 10.1145/2629496

Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, and Heike Wehrheim. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.”https://doi.org/10.1007/978-3-319-06410-9_15__In FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones, Pekka Pihlajasaari, and Jun Sun, 200--214. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-06410-9_15 .
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

Travkin, Oleg, and Heike Wehrheim. “Handling TSO in Mechanized Linearizability Proofs.”https://doi.org/10.1007/978-3-319-13338-6_11__In Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 132--147. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-13338-6_11 .
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via I with Zones.”https://doi.org/10.1007/978-3-319-11737-9_14__In Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 203--218. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-11737-9_14 .
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

A. Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing LTL Properties in Event-B Refinement.”https://doi.org/10.1007/978-3-319-10181-1_14__In Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 221--237. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-10181-1_14 .
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing LTL Properties in Event-B Refinement.” CoRR, 2014.
LibreCat: /record/3174

Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via I.” CoRR, 2014.
LibreCat: /record/3175

Keil, Reinhard, Harald Selke, and Felix Winkelnkemper. “Twenty Years of Learning with the World Wide Web.” Edited by Stephan Trahasch, Rolf   Pl  "o tzner , Gerhard Schneider, Claudia  Gayer, Daniel Sassiat, and Nicole W  "o hrle. Lecture Notes in Informatics (LNI), 2014.
LibreCat: /record/27166

Winkelnkemper, Felix, and Reinhard Keil. “Zwischen Design Und Flexibilit\'22at - Zur Ergonomie Des Flat Design.” edited by Andreas Butz and Johann  Schlichter, 2014:255–64. Oldenbourg Verlag, 2014.
LibreCat: /record/27167