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

Foreback, D., Koutsopoulos, A., Nesterenko, M., Scheideler, C., &; Strothmann, T. F. (2014). On Stabilizing Departures in Overlay Networks. In Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (pp. 48--62).https://doi.org/10.1007/978-3-319-11764-5_4 
LibreCat: /record/393
DOI: 10.1007/978-3-319-11764-5_4

Hoekstra, H. J. W. M., &; Hammer, M. (2014). General relation for group delay and the relevance of group delay for refractometric sensing. Journal of the Optical Society of America B, 31(7).https://doi.org/10.1364/josab.31.001561 
LibreCat: /record/3937
DOI: 10.1364/josab.31.001561

Schwichtenberg, S., Gerth, C., Huma, Z., &; Engels, G. (2014). Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA) (pp. 180–195).https://doi.org/10.1007/978-3-319-09195-2_12 
LibreCat: /record/394
DOI: 10.1007/978-3-319-09195-2_12

Abshoff, S., Cord-Landwehr, A., Jung, D., &; Skopalik, A. (2014). Multilevel Network Games. In Proceedings of the 10th International Conference on Web and Internet Economics (WINE) (pp. 435–440).https://doi.org/10.1007/978-3-319-13129-0_36 
LibreCat: /record/395
DOI: 10.1007/978-3-319-13129-0_36

Scheideler, C., Eikel, M., &; Setzer, A. (2014). Minimum Linear Arrangement of Series-Parallel Graphs. In Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA) (pp. 168--180).
LibreCat: /record/397

Wiersema, T., Drzevitzky, S., &; Platzner, M. (2014). Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In Proceedings of the International Conference on Field-Programmable Technology (FPT) (pp. 167–174).https://doi.org/10.1109/FPT.2014.7082771 
LibreCat: /record/399
DOI: 10.1109/FPT.2014.7082771

Platenius, M. C., Arifulina, S., Petrlic, R., &; Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet (pp. 6–17).https://doi.org/10.1007/978-3-319-14886-1_2 
LibreCat: /record/401
DOI: 10.1007/978-3-319-14886-1_2

Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., &; Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, &; S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550).https://doi.org/10.1007/978-3-662-45391-9_47 
LibreCat: /record/402
DOI: 10.1007/978-3-662-45391-9_47

Jakobs, M.-C., Platzner, M., Wiersema, T., &; Wehrheim, H. (2014). Integrating Software and Hardware Verification. In E. Albert &; E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (iFM) (pp. 307–322).https://doi.org/10.1007/978-3-319-10181-1_19 
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

Platenius, M. C., Becker, S., &; Schäfer, W. (2014). Integrating Service Matchers into a Service Market Architecture. In P. Avgeriou &; U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014) (pp. 210–217).https://doi.org/10.1007/978-3-319-09970-5_19 
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

Feldotto, M., Scheideler, C., &; Graffi, K. (2014). HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. In Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P) (pp. 1–10).https://doi.org/10.1109/P2P.2014.6934300 
LibreCat: /record/412
DOI: 10.1109/P2P.2014.6934300
arXiv: 1408.0395

Jochheim, J. (2014). Hiding software components using functional encryption. Universität Paderborn.
LibreCat: /record/414

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

Besova, G., Steenke, D., &; Wehrheim, H. (2014). Grammar-based model transformations. In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD) (pp. 1601–1610).https://doi.org/10.1016/j.cl.2015.05.003 
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

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

Lippert, J. (2014). Fujisaki-Okamoto Transformation. Universität Paderborn.
LibreCat: /record/421

Dornseifer, V. (2014). Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn.
LibreCat: /record/426

Mohr, F. (2014). Estimating Functional Reusability of Services. In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC) (pp. 411–418).
LibreCat: /record/428

Kling, P. (2014). Energy-efficient Scheduling Algorithms. Universität Paderborn.
LibreCat: /record/431