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, Jakob. Models and Constructions for Secure Reputation Systems. Universität Paderborn, 2018, doi:10.17619/UNIPB/1-570.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 669
Feldotto, Matthias, et al. “Congestion Games with Mixed Objectives.” Journal of Combinatorial Optimization, vol. 36, no. 4, Springer Nature, 2018, pp. 1145–67, doi:10.1007/s10878-017-0189-y.
LibreCat
| Files available
| DOI
| arXiv
2018 | Book | LibreCat-ID: 6738
Gruber, Hans, and Christian Harteis. Individual and Social Influences on Professional Learning. Springer International Publishing, 2018, doi:10.1007/978-3-319-97041-7.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6743
Wolters, Dennis. “Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken.” die hochschullehre, no. 4, 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6761
Jovanovikj, Ivan, et al. “Context-Specific Quality Evaluation of Test Cases.” Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, SciTePress, 2018, pp. 594–601, doi:10.5220/0006724405940601.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6763
Jovanovikj, Ivan, et al. “Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model.” Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, edited by Jan Mendling and Haralambos Mouratidis, Springer International Publishing, 2018, pp. 133–47, doi:https://doi.org/10.1007/978-3-319-92901-9_13.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6828
Derrick, John, et al. “Mechanized Proofs of Opacity: A Comparison of Two Techniques.” Formal Asp. Comput., vol. 30, no. 5, 2018, pp. 597–625, doi:10.1007/s00165-017-0433-3.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
Doherty, Simon, et al. “Making Linearizability Compositional for Partially Ordered Executions.” Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–29, doi:10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, Simon, et al. “Making Linearizability Compositional for Partially Ordered Executions.” Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–29, doi:10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6839
Doherty, Simon, et al. “Brief Announcement: Generalising Concurrent Correctness to Weak Memory.” 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3, doi:10.4230/LIPIcs.DISC.2018.45.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6967
Derakhshanmanesh, Mahdi, et al. “Model-Integrating Development of Software Systems: A Flexible Component-Based Approach.” Software & Systems Modeling, 2018, pp. 1–30.
LibreCat
2018 | Conference Paper | LibreCat-ID: 6970 | 
Schneider, Stefan Balthasar, et al. “Trade-Offs in Dynamic Resource Allocation in Network Function Virtualization.” IEEE Global Communications Conference (GLOBECOM 2018), IEEE, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 6972 |
Schneider, Stefan Balthasar, et al. “A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms.” 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, Stefan Balthasar, et al. “A Fully Integrated Multi-Platform NFV SDK.” 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, Zhaoshi, et al. “Breaking the Synchronization Bottleneck with Reconfigurable Transactional Execution.” IEEE Computer Architecture Letters, 2018, pp. 147–50, doi:10.1109/lca.2018.2828402.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16421
Ceissler, Ciro, et al. “Automatic Offloading of Cluster Accelerators.” 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, Leonardo, and Andreas Koch. “A Case Study in Using OpenCL on FPGAs: Creating an Open-Source Accelerator of the AutoDock Molecular Docking Software.” FSP Workshop 2018; Fifth International Workshop on FPGAs for Software Programmers, 2018, pp. 1–10.
LibreCat
2018 | Conference Paper | LibreCat-ID: 16435
Kemper, Philipp, et al. “Competitive Evaluation of Energy Management Strategies for Hybrid Electric Vehicle Based on Real World Driving.” 2017 European Modelling Symposium (EMS), 2018, doi:10.1109/ems.2017.35.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16437
Rehlaender, Philipp, et al. “A Fuel Cell Vehicle Thermal System Model.” 2018 IEEE International Energy Conference (ENERGYCON), 2018, doi:10.1109/energycon.2018.8398814.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16439
Rehlaender, Philipp, et al. “A Novel Predictive Energy Management System.” 2017 European Modelling Symposium (EMS), 2018, doi:10.1109/ems.2017.34.
LibreCat
| DOI