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