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
@article{Feldotto_Leder_Skopalik_2018, title={Congestion games with mixed objectives}, volume={36}, DOI={10.1007/s10878-017-0189-y}, number={4}, journal={Journal of Combinatorial Optimization}, publisher={Springer Nature}, author={Feldotto, Matthias and Leder, Lennart and Skopalik, Alexander}, year={2018}, pages={1145–1167} }
LibreCat
| Files available
| DOI
| arXiv
2018 | Book | LibreCat-ID: 6738
@book{Gruber_Harteis_2018, place={Cham}, title={Individual and Social Influences on Professional Learning}, DOI={10.1007/978-3-319-97041-7}, publisher={Springer International Publishing}, author={Gruber, Hans and Harteis, Christian}, year={2018} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6743
@article{Wolters_2018, title={Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken}, number={4}, journal={die hochschullehre}, author={Wolters, Dennis}, year={2018} }
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6761
@inproceedings{Jovanovikj_Narasimhan_Engels_Sauer_2018, title={Context-specific Quality Evaluation of Test Cases}, DOI={10.5220/0006724405940601}, booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,}, publisher={SciTePress}, author={Jovanovikj, Ivan and Narasimhan, Vishwak and Engels, Gregor and Sauer, Stefan}, year={2018}, pages={594–601} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6763
@inproceedings{Jovanovikj_Engels_Anjorin_Sauer_2018, place={Cham}, title={Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model}, DOI={https://doi.org/10.1007/978-3-319-92901-9_13}, booktitle={Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs}, publisher={Springer International Publishing}, author={Jovanovikj, Ivan and Engels, Gregor and Anjorin, Anthony and Sauer, Stefan}, editor={Mendling, Jan and Mouratidis, HaralambosEditors}, year={2018}, pages={133–147} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6828
@article{Derrick_Doherty_Dongol_Schellhorn_Travkin_Wehrheim_2018, title={Mechanized proofs of opacity: a comparison of two techniques}, volume={30}, DOI={10.1007/s00165-017-0433-3}, number={5}, journal={Formal Asp. Comput.}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, year={2018}, pages={597–625} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Making Linearizability Compositional for Partially Ordered Executions}, DOI={10.1007/978-3-319-98938-9\_7}, booktitle={Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={110–129} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Making Linearizability Compositional for Partially Ordered Executions}, DOI={10.1007/978-3-319-98938-9\_7}, booktitle={Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={110–129} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6839
@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Brief Announcement: Generalising Concurrent Correctness to Weak Memory}, DOI={10.4230/LIPIcs.DISC.2018.45}, booktitle={32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={45:1-45:3} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6967
@article{Derakhshanmanesh_Ebert_Grieger_Engels_2018, title={Model-integrating development of software systems: a flexible component-based approach}, journal={Software & Systems Modeling}, author={Derakhshanmanesh, Mahdi and Ebert, Jürgen and Grieger, Marvin and Engels, Gregor}, year={2018}, pages={1–30} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 6970 | 
@inproceedings{Schneider_Dräxler_Karl_2018, title={Trade-offs in Dynamic Resource Allocation in Network Function Virtualization}, booktitle={IEEE Global Communications Conference (GLOBECOM 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Dräxler, Sevil and Karl, Holger}, year={2018} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 6972 |
@inproceedings{Schneider_Peuster_Karl_2018, title={A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms}, DOI={10.1109/NFV-SDN.2018.8725795}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Peuster, Manuel and Karl, Holger}, year={2018} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6974 |
@inproceedings{Schneider_Peuster_Tavernier_Karl_2018, title={A Fully Integrated Multi-Platform NFV SDK}, DOI={10.1109/NFV-SDN.2018.8725794}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Peuster, Manuel and Tavernier, Wouter and Karl, Holger}, year={2018} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 16416
@article{Li_Liu_Deng_Yin_Wei_2018, title={Breaking the Synchronization Bottleneck with Reconfigurable Transactional Execution}, DOI={10.1109/lca.2018.2828402}, journal={IEEE Computer Architecture Letters}, author={Li, Zhaoshi and Liu, Leibo and Deng, Yangdong and Yin, Shouyi and Wei, Shaojun}, year={2018}, pages={147–150} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16421
@inproceedings{Ceissler_Nepomuceno_Pereira_Araujo_2018, title={Automatic Offloading of Cluster Accelerators}, DOI={10.1109/fccm.2018.00058}, booktitle={2018 IEEE 26th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)}, author={Ceissler, Ciro and Nepomuceno, Ramon and Pereira, Marcio and Araujo, Guido}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16425
@inproceedings{Solis-Vasquez_Koch_2018, title={A Case Study in Using OpenCL on FPGAs: Creating an Open-Source Accelerator of the AutoDock Molecular Docking Software}, booktitle={FSP Workshop 2018; Fifth International Workshop on FPGAs for Software Programmers}, author={Solis-Vasquez, Leonardo and Koch, Andreas}, year={2018}, pages={1–10} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 16435
@inproceedings{Kemper_Rehlaender_Witkowski_Schwung_2018, title={Competitive Evaluation of Energy Management Strategies for Hybrid Electric Vehicle Based on Real World Driving}, DOI={10.1109/ems.2017.35}, booktitle={2017 European Modelling Symposium (EMS)}, author={Kemper, Philipp and Rehlaender, Philipp and Witkowski, Ulf and Schwung, Andreas}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16437
@inproceedings{Rehlaender_Kemper_Schwung_Witkowski_2018, title={A fuel cell vehicle thermal system model}, DOI={10.1109/energycon.2018.8398814}, booktitle={2018 IEEE International Energy Conference (ENERGYCON)}, author={Rehlaender, Philipp and Kemper, Philipp and Schwung, Andreas and Witkowski, Ulf}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16439
@inproceedings{Rehlaender_Kemper_Schwung_Witkowski_2018, title={A Novel Predictive Energy Management System}, DOI={10.1109/ems.2017.34}, booktitle={2017 European Modelling Symposium (EMS)}, author={Rehlaender, Philipp and Kemper, Philipp and Schwung, Andreas and Witkowski, Ulf}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16440
@inproceedings{Rehlaender_Kemper_Schwung_Witkowski_2018, title={Control of a fuel cell vehicle thermal management system}, DOI={10.1109/energycon.2018.8398815}, booktitle={2018 IEEE International Energy Conference (ENERGYCON)}, author={Rehlaender, Philipp and Kemper, Philipp and Schwung, Andreas and Witkowski, Ulf}, year={2018} }
LibreCat
| DOI