Liebendörfer, M., Hochmuth, R., Kolter, J., &; Schukajlow, S. (2014). The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers. In C. Nicol, S. Oesterle, P. Liljedahl, &; D. Allan (Eds.), Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education (Vol. 6, p. 153). Vancouver: PME.
LibreCat: /record/8554

Liebendörfer, M. (2014). Self-determination and interest development of first-year mathematics students. Oberwolfach Reports, 11(4), 3132–3135.
LibreCat: /record/8557

Liebendörfer, M., Hochmuth, R., Schreiber, S., Göller, R., Kolter, J., Biehler, R.,  Ostsieker, L. (2014). Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen. In J. Roth &; J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014 (pp. 739–742). Münster: WTM-Verlag.
LibreCat: /record/8561

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