Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9766 Publications
2014 | Book Chapter | LibreCat-ID: 8550
Liebendörfer, M., & Ostsieker, L. (2014). Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums. In T. Wassong, D. Frischemeier, P. R. Fischer, R. Hochmuth, & P. Bender (Eds.), Mit Werkzeugen Mathematik und Stochastik lernen – Using Tools for Learning Mathematics and Statistics (pp. 453–462). Wiesbaden: Springer Fachmedien Wiesbaden.
LibreCat
2014 | Conference Paper | LibreCat-ID: 8554
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
2014 | Journal Article | LibreCat-ID: 8557
Liebendörfer, M. (2014). Self-determination and interest development of first-year mathematics students. Oberwolfach Reports, 11(4), 3132–3135.
LibreCat
2014 | Book Chapter | LibreCat-ID: 8561
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
2014 | Mastersthesis | LibreCat-ID: 8842
Jovanovikj, I. (2014). Detection and Resolution of Data-Flow Differences in Business Process Models.
LibreCat
2014 | Conference Paper | LibreCat-ID: 393
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
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3937
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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 394
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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 395
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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 397
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
| Files available
2014 | Conference Paper | LibreCat-ID: 399
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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 401
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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 412
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 (P2P) (pp. 1–10). https://doi.org/10.1109/P2P.2014.6934300
LibreCat
| Files available
| DOI
| arXiv
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim, J. (2014). Hiding software components using functional encryption. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann, P. (2014). Group Signature Schemes with Strong Exculpability. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
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
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn.
LibreCat
| Files available