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.
2435 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 | Journal Article | LibreCat-ID: 6743
Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken
D. Wolters, die hochschullehre (2018).
LibreCat
| Download (ext.)
D. Wolters, die hochschullehre (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: 6839
Brief Announcement: Generalising Concurrent Correctness to Weak Memory
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3.
LibreCat
| DOI
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3.
2018 | Journal Article | LibreCat-ID: 6967
Model-integrating development of software systems: a flexible component-based approach
M. Derakhshanmanesh, J. Ebert, M. Grieger, G. Engels, Software & Systems Modeling (2018) 1–30.
LibreCat
M. Derakhshanmanesh, J. Ebert, M. Grieger, G. Engels, Software & Systems Modeling (2018) 1–30.
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: 16416
Breaking the Synchronization Bottleneck with Reconfigurable Transactional Execution
Z. Li, L. Liu, Y. Deng, S. Yin, S. Wei, IEEE Computer Architecture Letters (2018) 147–150.
LibreCat
| DOI
Z. Li, L. Liu, Y. Deng, S. Yin, S. Wei, IEEE Computer Architecture Letters (2018) 147–150.
2018 | Conference Paper | LibreCat-ID: 16421
Automatic Offloading of Cluster Accelerators
C. Ceissler, R. Nepomuceno, M. Pereira, G. Araujo, in: 2018 IEEE 26th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2018.
LibreCat
| DOI
C. Ceissler, R. Nepomuceno, M. Pereira, G. Araujo, in: 2018 IEEE 26th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2018.
2018 | Conference Paper | LibreCat-ID: 16425
A Case Study in Using OpenCL on FPGAs: Creating an Open-Source Accelerator of the AutoDock Molecular Docking Software
L. Solis-Vasquez, A. Koch, in: FSP Workshop 2018; Fifth International Workshop on FPGAs for Software Programmers, 2018, pp. 1–10.
LibreCat
L. Solis-Vasquez, A. Koch, in: FSP Workshop 2018; Fifth International Workshop on FPGAs for Software Programmers, 2018, pp. 1–10.
2018 | Conference Paper | LibreCat-ID: 16435
Competitive Evaluation of Energy Management Strategies for Hybrid Electric Vehicle Based on Real World Driving
P. Kemper, P. Rehlaender, U. Witkowski, A. Schwung, in: 2017 European Modelling Symposium (EMS), 2018.
LibreCat
| DOI
P. Kemper, P. Rehlaender, U. Witkowski, A. Schwung, in: 2017 European Modelling Symposium (EMS), 2018.
2018 | Conference Paper | LibreCat-ID: 16437
A fuel cell vehicle thermal system model
P. Rehlaender, P. Kemper, A. Schwung, U. Witkowski, in: 2018 IEEE International Energy Conference (ENERGYCON), 2018.
LibreCat
| DOI
P. Rehlaender, P. Kemper, A. Schwung, U. Witkowski, in: 2018 IEEE International Energy Conference (ENERGYCON), 2018.
2018 | Conference Paper | LibreCat-ID: 16439
A Novel Predictive Energy Management System
P. Rehlaender, P. Kemper, A. Schwung, U. Witkowski, in: 2017 European Modelling Symposium (EMS), 2018.
LibreCat
| DOI
P. Rehlaender, P. Kemper, A. Schwung, U. Witkowski, in: 2017 European Modelling Symposium (EMS), 2018.
2018 | Conference Paper | LibreCat-ID: 16440
Control of a fuel cell vehicle thermal management system
P. Rehlaender, P. Kemper, A. Schwung, U. Witkowski, in: 2018 IEEE International Energy Conference (ENERGYCON), 2018.
LibreCat
| DOI
P. Rehlaender, P. Kemper, A. Schwung, U. Witkowski, in: 2018 IEEE International Energy Conference (ENERGYCON), 2018.