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.
2296 Publications
2018 | Dissertation | LibreCat-ID: 6597
Juhnke, J. (2018). Models and Constructions for Secure Reputation Systems. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-570
LibreCat
| DOI
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 | Journal Article | LibreCat-ID: 6743
Wolters, D. (2018). Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken. die hochschullehre, (4).
LibreCat
| Download (ext.)
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: 6839
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). 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 (pp. 45:1-45:3). https://doi.org/10.4230/LIPIcs.DISC.2018.45
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6967
Derakhshanmanesh, M., Ebert, J., Grieger, M., & Engels, G. (2018). Model-integrating development of software systems: a flexible component-based approach. Software & Systems Modeling, 1–30.
LibreCat
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: 16416
Li, Z., Liu, L., Deng, Y., Yin, S., & Wei, S. (2018). Breaking the Synchronization Bottleneck with Reconfigurable Transactional Execution. IEEE Computer Architecture Letters, 147–150. https://doi.org/10.1109/lca.2018.2828402
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16421
Ceissler, C., Nepomuceno, R., Pereira, M., & Araujo, G. (2018). Automatic Offloading of Cluster Accelerators. In 2018 IEEE 26th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM). https://doi.org/10.1109/fccm.2018.00058
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16425
Solis-Vasquez, L., & Koch, A. (2018). 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 (pp. 1–10).
LibreCat
2018 | Conference Paper | LibreCat-ID: 16435
Kemper, P., Rehlaender, P., Witkowski, U., & Schwung, A. (2018). Competitive Evaluation of Energy Management Strategies for Hybrid Electric Vehicle Based on Real World Driving. In 2017 European Modelling Symposium (EMS). https://doi.org/10.1109/ems.2017.35
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16437
Rehlaender, P., Kemper, P., Schwung, A., & Witkowski, U. (2018). A fuel cell vehicle thermal system model. In 2018 IEEE International Energy Conference (ENERGYCON). https://doi.org/10.1109/energycon.2018.8398814
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16439
Rehlaender, P., Kemper, P., Schwung, A., & Witkowski, U. (2018). A Novel Predictive Energy Management System. In 2017 European Modelling Symposium (EMS). https://doi.org/10.1109/ems.2017.34
LibreCat
| DOI