Blanckenstein, Johannes, and Holger Karl. “Energy-Efficient Clock Synchronization Using Wake-up Receivers.”10.1109/SOFTCOM.2014.7039090__22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014, 2014, pp. 408--413, doi:10.1109/SOFTCOM.2014.7039090.
LibreCat: /record/763
DOI: 10.1109/SOFTCOM.2014.7039090

Beister, Frederic, and Holger Karl. “Predicting Mobile Video Inter-Download Times with Hidden Markov Models.”10.1109/WiMOB.2014.6962195__IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2014, Larnaca, Cyprus, October 8-10, 2014, 2014, pp. 359--364, doi:10.1109/WiMOB.2014.6962195.
LibreCat: /record/765
DOI: 10.1109/WiMOB.2014.6962195

Mehraghdam, Sevil, et al. “Specifying and Placing Chains of Virtual Network Functions.” CoRR, 2014.
LibreCat: /record/766

Wette, Philip, and Holger Karl. “DCT<sup>2</sup>Gen: A Versatile TCP Traffic Generator for Data Centers.” CoRR, 2014.
LibreCat: /record/767

Schwabe, Arne, and Holger Karl. “Adding Geographical Embedding to AS Topology Generation.” CoRR, 2014.
LibreCat: /record/768

Jovanovikj, Ivan. Detection and Resolution of Data-Flow Differences in Business Process Models. 2014.
LibreCat: /record/8842

Foreback, Dianne, et al. “On Stabilizing Departures in Overlay Networks.”10.1007/978-3-319-11764-5_4__Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62, doi:10.1007/978-3-319-11764-5_4.
LibreCat: /record/393
DOI: 10.1007/978-3-319-11764-5_4

Schwichtenberg, Simon, et al. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.”10.1007/978-3-319-09195-2_12__Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–95, doi:10.1007/978-3-319-09195-2_12.
LibreCat: /record/394
DOI: 10.1007/978-3-319-09195-2_12

Abshoff, Sebastian, et al. “Multilevel Network Games.”10.1007/978-3-319-13129-0_36__Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–40, doi:10.1007/978-3-319-13129-0_36.
LibreCat: /record/395
DOI: 10.1007/978-3-319-13129-0_36

Scheideler, Christian, et al. “Minimum Linear Arrangement of Series-Parallel Graphs.” Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.
LibreCat: /record/397

Wiersema, Tobias, et al. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.”10.1109/FPT.2014.7082771__Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–74, doi:10.1109/FPT.2014.7082771.
LibreCat: /record/399
DOI: 10.1109/FPT.2014.7082771

Platenius, Marie Christin, et al. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.”10.1007/978-3-319-14886-1_2__Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17, doi:10.1007/978-3-319-14886-1_2.
LibreCat: /record/401
DOI: 10.1007/978-3-319-14886-1_2

Arifulina, Svetlana, et al. “Market-Optimized Service Specification and Matching.”10.1007/978-3-662-45391-9_47__Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch et al., 2014, pp. 543–50, doi:10.1007/978-3-662-45391-9_47.
LibreCat: /record/402
DOI: 10.1007/978-3-662-45391-9_47

Jakobs, Marie-Christine, et al. “Integrating Software and Hardware Verification.”10.1007/978-3-319-10181-1_19__Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 2014, pp. 307–22, doi:10.1007/978-3-319-10181-1_19.
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

Platenius, Marie Christin, et al. “Integrating Service Matchers into a Service Market Architecture.”10.1007/978-3-319-09970-5_19__Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 2014, pp. 210–17, doi:10.1007/978-3-319-09970-5_19.
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

Feldotto, Matthias, et al. “HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths.”10.1109/P2P.2014.6934300__Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P), 2014, pp. 1–10, doi:10.1109/P2P.2014.6934300.
LibreCat: /record/412
DOI: 10.1109/P2P.2014.6934300
arXiv: 1408.0395

Jochheim, Janek. Hiding Software Components Using Functional Encryption. Universität Paderborn, 2014.
LibreCat: /record/414

Bemmann, Pascal. Group Signature Schemes with Strong Exculpability. Universität Paderborn, 2014.
LibreCat: /record/416

Besova, Galina, et al. “Grammar-Based Model Transformations.”10.1016/j.cl.2015.05.003__Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat: /record/418