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