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