@article{6567,
  author       = {{Johannesmann, Sarah and Düchting, Julia and Webersen, Manuel and Claes, Leander and Henning, Bernd}},
  issn         = {{0171-8096}},
  journal      = {{tm - Technisches Messen}},
  keywords     = {{Continous-fibre reinforced plastics, material parameters, orthotropy, ultrasonics}},
  number       = {{85}},
  pages        = {{478--486}},
  title        = {{{An acoustic waveguide-based approach to the complete characterisation of linear elastic, orthotropic material behaviour}}},
  doi          = {{10.1515/teme-2017-0132}},
  volume       = {{2018}},
  year         = {{2018}},
}

@inproceedings{6568,
  author       = {{Johannesmann, Sarah and Brockschmidt, Tobias and Rump, Friedhelm and Webersen, Manuel and Claes, Leander and Henning, Bernd}},
  booktitle    = {{Sensoren und Messsysteme}},
  pages        = {{231--234}},
  publisher    = {{VDE Verlag GmbH}},
  title        = {{{Acoustic material characterization of prestressed, plate-shaped specimens}}},
  year         = {{2018}},
}

@article{6577,
  author       = {{Webersen, Manuel and Johannesmann, Sarah and Düchting, Julia and Claes, Leander and Henning, Bernd}},
  journal      = {{Ultrasonics}},
  pages        = {{53--62}},
  title        = {{{Guided ultrasonic waves for determining effective orthotropic material parameters of continuous-fiber reinforced thermoplastic plates}}},
  doi          = {{10.1016/j.ultras.2017.10.005}},
  volume       = {{84}},
  year         = {{2018}},
}

@inproceedings{6578,
  author       = {{Webersen, Manuel and Johannesmann, Sarah and Düchting, Julia and Claes, Leander and Henning, Bernd}},
  booktitle    = {{Fortschritte der Akustik - DAGA 2018}},
  pages        = {{1263--1266}},
  title        = {{{Akustische Charakterisierung der richtungsabhängigen elastischen Eigenschaften faserverstärkter Kunststoffe}}},
  year         = {{2018}},
}

@inproceedings{6584,
  author       = {{Feldmann, Nadine and Henning, Bernd}},
  booktitle    = {{Fortschritte der Akustik}},
  pages        = {{1275--1278}},
  title        = {{{Efficient optimisation of initial values for characterising piezoelectric material parameters}}},
  year         = {{2018}},
}

@inproceedings{6586,
  author       = {{Thiel, Christian and Feldmann, Nadine and Henning, Bernd}},
  booktitle    = {{Sensoren und Messsysteme 2018}},
  pages        = {{536--539}},
  publisher    = {{VDE Verlag GmbH}},
  title        = {{{Extraction of Interpretable Features from Temporal Measurements using Approximate Prototypes}}},
  year         = {{2018}},
}

@misc{6593,
  author       = {{Claes, Leander and Feldmann, Nadine and Henning, Bernd}},
  title        = {{{Materialparameter von bleihaltigen und bleifreien Piezokeramiken und ihre Bedeutung in der Anwendung}}},
  year         = {{2018}},
}

@misc{6594,
  author       = {{Claes, Leander and Zeipert, Henning and Koppa, Peter and Tröster, Thomas and Henning, Bernd}},
  title        = {{{Additiv gefertigte, akustische Diffusor-Strukturen für Ultraschallanwendungen}}},
  year         = {{2018}},
}

@misc{6595,
  author       = {{Feldmann, Nadine and Jurgelucks, Benjamin and Claes, Leander and Henning, Bernd}},
  title        = {{{Vollständige Charakterisierung von piezoelektrischen Scheiben mit Ringelektroden}}},
  year         = {{2018}},
}

@misc{6596,
  author       = {{Webersen, Manuel and Johannesmann, Sarah and Brockschmidt, Tobias and Rump, Friedhelm and Claes, Leander and Henning, Bernd}},
  title        = {{{Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren}}},
  year         = {{2018}},
}

@phdthesis{6597,
  author       = {{Juhnke, Jakob}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Models and Constructions for Secure Reputation Systems}}},
  doi          = {{10.17619/UNIPB/1-570}},
  year         = {{2018}},
}

@article{669,
  abstract     = {{We study a new class of games which generalizes congestion games andits bottleneck variant. We introduce congestion games with mixed objectives to modelnetwork scenarios in which players seek to optimize for latency and bandwidths alike.We characterize the (non-)existence of pure Nash equilibria (PNE), the convergenceof improvement dynamics, the quality of equilibria and show the complexity of thedecision problem. For games that do not possess PNE we give bounds on the approx-imation ratio of approximate pure Nash equilibria.}},
  author       = {{Feldotto, Matthias and Leder, Lennart and Skopalik, Alexander}},
  issn         = {{1382-6905}},
  journal      = {{Journal of Combinatorial Optimization}},
  number       = {{4}},
  pages        = {{1145--1167}},
  publisher    = {{Springer Nature}},
  title        = {{{Congestion games with mixed objectives}}},
  doi          = {{10.1007/s10878-017-0189-y}},
  volume       = {{36}},
  year         = {{2018}},
}

@book{6738,
  author       = {{Gruber, Hans and Harteis, Christian}},
  isbn         = {{9783319970394}},
  issn         = {{2210-5549}},
  publisher    = {{Springer International Publishing}},
  title        = {{{Individual and Social Influences on Professional Learning}}},
  doi          = {{10.1007/978-3-319-97041-7}},
  year         = {{2018}},
}

@article{6743,
  author       = {{Wolters, Dennis}},
  journal      = {{die hochschullehre}},
  number       = {{4}},
  title        = {{{Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken}}},
  year         = {{2018}},
}

@inproceedings{6761,
  author       = {{Jovanovikj, Ivan and Narasimhan, Vishwak and Engels, Gregor and Sauer, Stefan}},
  booktitle    = {{Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,}},
  isbn         = {{978-989-758-283-7}},
  location     = {{Madeira, Portugal}},
  pages        = {{594--601}},
  publisher    = {{SciTePress}},
  title        = {{{Context-specific Quality Evaluation of Test Cases}}},
  doi          = {{10.5220/0006724405940601}},
  year         = {{2018}},
}

@inproceedings{6763,
  abstract     = {{Existing test cases represent important assets, which are worth reusing in software migration projects. The benefit is twofold, reuse of relevant information as well cost saving by avoiding design of new test cases. As test cases are implemented in the same or a compatible technology as the system they are testing, they have to somehow follow the system migration, i.e., they should be co-migrated. Due to the size of the test case set, and often missing conformity in the structure of the test cases, migration of test cases is a quite challenging task. As model-driven engineering has been established to manage those complex tasks, we apply it in the test case domain. In this paper, we propose a generic migration method based on model-driven reengineering techniques. Our method which involves reverse engineering, restructuring, and forward engineering is applied in an industrial case study where appropriate tooling was developed as well.}},
  author       = {{Jovanovikj, Ivan and Engels, Gregor and Anjorin, Anthony and Sauer, Stefan}},
  booktitle    = {{Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs}},
  editor       = {{Mendling, Jan and Mouratidis, Haralambos}},
  isbn         = {{978-3-319-92901-9}},
  location     = {{Tallinn, Estonia}},
  pages        = {{133--147}},
  publisher    = {{Springer International Publishing}},
  title        = {{{Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model}}},
  doi          = {{https://doi.org/10.1007/978-3-319-92901-9_13}},
  year         = {{2018}},
}

@article{6828,
  author       = {{Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}},
  journal      = {{Formal Asp. Comput.}},
  number       = {{5}},
  pages        = {{597--625}},
  title        = {{{Mechanized proofs of opacity: a comparison of two techniques}}},
  doi          = {{10.1007/s00165-017-0433-3}},
  volume       = {{30}},
  year         = {{2018}},
}

@inproceedings{6836,
  author       = {{Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}},
  booktitle    = {{Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings}},
  pages        = {{110--129}},
  title        = {{{Making Linearizability Compositional for Partially Ordered Executions}}},
  doi          = {{10.1007/978-3-319-98938-9\_7}},
  year         = {{2018}},
}

@inproceedings{6838,
  author       = {{Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}},
  booktitle    = {{Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings}},
  pages        = {{110--129}},
  title        = {{{Making Linearizability Compositional for Partially Ordered Executions}}},
  doi          = {{10.1007/978-3-319-98938-9\_7}},
  year         = {{2018}},
}

@inproceedings{6839,
  author       = {{Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}},
  booktitle    = {{32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018}},
  pages        = {{45:1--45:3}},
  title        = {{{Brief Announcement: Generalising Concurrent Correctness to Weak Memory}}},
  doi          = {{10.4230/LIPIcs.DISC.2018.45}},
  year         = {{2018}},
}