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.
10153 Publications
2018 | Journal Article | LibreCat-ID: 669
Feldotto, M., Leder, L., & Skopalik, A. (2018). Congestion games with mixed objectives. Journal of Combinatorial Optimization, 36(4), 1145–1167. https://doi.org/10.1007/s10878-017-0189-y
LibreCat
| Files available
| DOI
| arXiv
2018 | Book | LibreCat-ID: 6738
Gruber, H., & Harteis, C. (2018). Individual and Social Influences on Professional Learning. Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-97041-7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6761
Jovanovikj, I., Narasimhan, V., Engels, G., & Sauer, S. (2018). Context-specific Quality Evaluation of Test Cases. In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, (pp. 594–601). Madeira, Portugal: SciTePress. https://doi.org/10.5220/0006724405940601
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6763
Jovanovikj, I., Engels, G., Anjorin, A., & Sauer, S. (2018). Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model. In J. Mendling & H. Mouratidis (Eds.), Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs (pp. 133–147). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-92901-9_13
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6828
Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., Travkin, O., & Wehrheim, H. (2018). Mechanized proofs of opacity: a comparison of two techniques. Formal Asp. Comput., 30(5), 597–625. https://doi.org/10.1007/s00165-017-0433-3
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6970 | 
Schneider, S. B., Dräxler, S., & Karl, H. (2018). Trade-offs in Dynamic Resource Allocation in Network Function Virtualization. In IEEE Global Communications Conference (GLOBECOM 2018). Abu Dhabi, UAE: IEEE.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 6972 |
Schneider, S. B., Peuster, M., & Karl, H. (2018). A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms. In IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018). Verona, Italy: IEEE. https://doi.org/10.1109/NFV-SDN.2018.8725795
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6974 |
Schneider, S. B., Peuster, M., Tavernier, W., & Karl, H. (2018). A Fully Integrated Multi-Platform NFV SDK. In IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018). Verona, Italy: IEEE. https://doi.org/10.1109/NFV-SDN.2018.8725794
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 16713
Gölz, C., Voelcker-Rehage, C., Mora, K., Reuter, E.-M., Godde, B., Dellnitz, M., … Vieluf, S. (2018). Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics. Frontiers in Physiology. https://doi.org/10.3389/fphys.2018.01540
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 16714
Vieluf, S., Mora, K., Gölz, C., Reuter, E.-M., Godde, B., Dellnitz, M., … Voelcker-Rehage, C. (2018). Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control. Neuroscience, 203–213. https://doi.org/10.1016/j.neuroscience.2018.07.025
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 16715
Bittracher, A., Koltai, P., Klus, S., Banisch, R., Dellnitz, M., & Schütte, C. (2018). Transition Manifolds of Complex Metastable Systems. Journal of Nonlinear Science, 28, 471–512. https://doi.org/10.1007/s00332-017-9415-0
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16937
Cunha, J., Fernandes, J. P., Kelleher, C., Mendes, J., & Engels, G. (2018). 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). In Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018. Lisbon, Portugal: IEEE. https://doi.org/10.1109/vl/hcc43341.2018
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
Engels, G., Maier, G. W., Ötting, S. K., Steffen, E., & Teetz, A. (2018). Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In S. Wischmann & E. A. Hartmann (Eds.), Zukunft der Arbeit – Eine praxisnahe Betrachtung (pp. 221–231). Berlin, Heidelberg: Springer Verlag. https://doi.org/10.1007/978-3-662-49266-6_16
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 1041
Razzaghi Kouchaksaraei, H., & Karl, H. (2018). Joint Orchestration of Cloud-Based Microservices and Virtual Network Functions. In The Ninth International Conference on Cloud Computing, GRIDs, and Virtualization CLOUD COMPUTING (pp. 153–154). Barcelona, Spain.
LibreCat
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, R. (2018). Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, J. N. (2018). Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1046
John, T., & Szopinski, D. (2018). Towards explaining the popularity of the Business Model Canvas: A dual coding approach. Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany.
LibreCat
| Files available