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.
9931 Publications
2018 | Misc | LibreCat-ID: 6595
@book{Feldmann_Jurgelucks_Claes_Henning_2018, place={Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck}, title={Vollständige Charakterisierung von piezoelektrischen Scheiben mit Ringelektroden}, author={Feldmann, Nadine and Jurgelucks, Benjamin and Claes, Leander and Henning, Bernd}, year={2018} }
LibreCat
2018 | Misc | LibreCat-ID: 6596
@book{Webersen_Johannesmann_Brockschmidt_Rump_Claes_Henning_2018, place={Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck}, title={Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren}, author={Webersen, Manuel and Johannesmann, Sarah and Brockschmidt, Tobias and Rump, Friedhelm and Claes, Leander and Henning, Bernd}, year={2018} }
LibreCat
2018 | Dissertation | LibreCat-ID: 6597
@book{Juhnke_2018, title={Models and Constructions for Secure Reputation Systems}, DOI={10.17619/UNIPB/1-570}, publisher={Universität Paderborn}, author={Juhnke, Jakob}, year={2018} }
LibreCat
| DOI
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 | 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: 16713
@article{Gölz_Voelcker-Rehage_Mora_Reuter_Godde_Dellnitz_Reinsberger_Vieluf_2018, title={Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics}, DOI={10.3389/fphys.2018.01540}, journal={Frontiers in Physiology}, author={Gölz, Christian and Voelcker-Rehage, Claudia and Mora, Karin and Reuter, Eva-Maria and Godde, Ben and Dellnitz, Michael and Reinsberger, Claus and Vieluf, Solveig}, year={2018} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 16714
@article{Vieluf_Mora_Gölz_Reuter_Godde_Dellnitz_Reinsberger_Voelcker-Rehage_2018, title={Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control}, DOI={10.1016/j.neuroscience.2018.07.025}, journal={Neuroscience}, author={Vieluf, Solveig and Mora, Karin and Gölz, Christian and Reuter, Eva-Maria and Godde, Ben and Dellnitz, Michael and Reinsberger, Claus and Voelcker-Rehage, Claudia}, year={2018}, pages={203–213} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 16715
@article{Bittracher_Koltai_Klus_Banisch_Dellnitz_Schütte_2018, title={Transition Manifolds of Complex Metastable Systems}, volume={28}, DOI={10.1007/s00332-017-9415-0}, journal={Journal of Nonlinear Science}, author={Bittracher, Andreas and Koltai, Péter and Klus, Stefan and Banisch, Ralf and Dellnitz, Michael and Schütte, Christof}, year={2018}, pages={471–512} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16937
@inproceedings{Cunha_Fernandes_Kelleher_Mendes_Engels_2018, title={2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)}, DOI={10.1109/vl/hcc43341.2018}, booktitle={Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018}, publisher={IEEE}, author={Cunha, Jácome and Fernandes, Joao Paulo and Kelleher, Caitlin and Mendes, Jorge and Engels, Gregor}, year={2018} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
@inbook{Engels_Maier_Ötting_Steffen_Teetz_2018, place={Berlin, Heidelberg}, title={Gerechtigkeit in flexiblen Arbeits- und Managementprozessen}, DOI={10.1007/978-3-662-49266-6_16}, booktitle={Zukunft der Arbeit – Eine praxisnahe Betrachtung}, publisher={Springer Verlag}, author={Engels, Gregor and Maier, Günter W. and Ötting, Sonja K. and Steffen, Eckhard and Teetz, Alexander}, editor={Wischmann, Steffen and Hartmann, Ernst AndreasEditors}, year={2018}, pages={221–231} }
LibreCat
| DOI