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.

2345 Publications


2020 | Journal Article | LibreCat-ID: 24016
@article{Schraeder_Geisen_Baumann_Afaneh_Schafran_2020, title={Plastisch- chirurgische Verfahren modifiziert nach Lexer zur Versorgung des Diabetischen Fußsyndroms in der Technischen Orthopädie – ein Standard im Hospital Geseke}, volume={71 (8)}, journal={Orthopädie Technik}, author={Schraeder, Dirk Theodor and Geisen, Bärbel and Baumann, Dirk and Afaneh, Mamoun and Schafran, Tommy}, year={2020}, pages={52–57} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20301
@inproceedings{Günter_Meschut_2020, title={Joining of high-strength steel grades in lightweight structures using single-stage resistance element welding on conventional resistance spot welding machines}, booktitle={73rd IIW Annual Assembly and International Conference}, author={Günter, Heinrich and Meschut, Gerson}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20305
@inproceedings{Menzefricke_Frank_Drewel_Dumitrescu_2020, title={Value-centered design of a digital service robotics platform}, volume={91}, booktitle={Procedia CIRP}, author={Menzefricke, Jörn Steffen and Frank, Maximilian and Drewel, Marvin and Dumitrescu, Roman}, editor={Mpofu, Khumbulani and Butala, PeterEditors}, year={2020}, pages={690–695} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20306
@inproceedings{Tornede_Wever_Hüllermeier_2020, title={Towards Meta-Algorithm Selection}, booktitle={Workshop MetaLearn 2020 @ NeurIPS 2020}, author={Tornede, Alexander and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20307
@inproceedings{Schnasse_Menzefricke_Gabriel_Hobscheidt_Parlings_Kühn_Dumitrescu_2020, title={Identification of socio-technical changes caused by Industry 4.0}, volume={29}, booktitle={Proceedings of the Hamburg International Conference of Logistics (HICL)}, author={Schnasse, Felix and Menzefricke, Jörn Steffen and Gabriel, Stefan and Hobscheidt, Daniela and Parlings, Matthias and Kühn, Arno and Dumitrescu, Roman}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20316
@inproceedings{Krüger_Schmolke_Merdivan_Spohr_Urban_Meschut_2020, title={Concept Development for a Functional Integrated Lightweight Battery Housing with Special Consideration of the Joining Technology}, author={Krüger, Christopher and Schmolke, Tobias and Merdivan, David and Spohr, Sebastian and Urban, Peter and Meschut, Gerson}, year={2020} }
LibreCat
 

2020 | Book | LibreCat-ID: 20318
@book{Göddecke_Meschut_Gude_Lieberwirth_Tekkaya_Zaeh_Stegelmann_Müller_Böhme_Krampitz_et al._2020, title={FOREL-Wegweiser: Handlungsempfehlungen für den ressourceneffizienten Leichtbau }, publisher={Plattform FOREL}, author={Göddecke, Johannes and Meschut, Gerson and Gude, Maik and Lieberwirth, Holger and Tekkaya, Erman and Zaeh, Michael and Stegelmann, Michael and Müller, Michael and Böhme, Kurt and Krampitz, Thomas and et al.}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20321
@inproceedings{Göddecke_Meschut_Teutenberg_Ummenhofer_Albiez_Damm_Matzenmiller_Kötz_2020, series={20. Kolloquium Gemeinsame Forschung in der Klebtechnik}, title={Experimentelle und numerische Untersuchung der Dämpfungseigenschaften geklebter Strukturen unter dynamischer Beanspruchung}, booktitle={20. Kolloquium Gemeinsame Forschung in der Klebtechnik}, author={Göddecke, Johannes and Meschut, Gerson and Teutenberg, Dominik and Ummenhofer, Thomas and Albiez, Matthias and Damm, Jannis and Matzenmiller, Anton and Kötz, Fabian}, editor={DECHEMA, Gesellschaft für Chemische Technik und Biotechnologie e.V. Editor}, year={2020}, collection={20. Kolloquium Gemeinsame Forschung in der Klebtechnik} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20331
@inproceedings{Ditz_Meschut_Schwarze_Smart_2020, title={Entwicklung und Qualifizierung einer rechnergestützten Auswertemethode zur Differenzierung der Versagensanteile klebtechnisch gefügter Proben}, author={Ditz, Michael and Meschut, Gerson and Schwarze, Thomas and Smart, Dominic}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20335
@inproceedings{Winkelnkemper_Schulte_Eilerts_Bechinie_Huhmann_2020, title={The Interdisciplinary Development of an Educational Game for Primary School Children--Lessons Learned}, booktitle={EdMedia+ Innovate Learning}, author={Winkelnkemper, Felix and Schulte, Carsten and Eilerts, Katja and Bechinie, Dominik and Huhmann, Tobias}, year={2020}, pages={522–529} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20348
@inproceedings{Pasic_Wohlers_2020, title={Specification of Software Requirements for Condition Monitoring of Automation Systems}, booktitle={2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE)}, author={Pasic, Faruk and Wohlers, Benedict}, year={2020}, pages={58–67} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20355
@inproceedings{Koldewey_Gausemeier_Chohan_Frank_Reinhold_Dumitrescu, title={Aligning Strategy and Structure for Smart Service Businesses in Manufacturing}, booktitle={Proceedings of the IEEE International Conference on Technology Management, Operations and Decisions ”Disruptive Technologies and Social Impacts”}, author={Koldewey, Christian and Gausemeier, Jürgen and Chohan, Nadia and Frank, Maximilian and Reinhold, Jannik and Dumitrescu, Roman}, editor={IEEEEditor} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20363
@article{Koldewey_Frank_Gausemeier_Bäsecke_Reinhold_Dumitrescu_2020, title={Systematische Entwicklung von Normstrategien für Smart Services}, volume={115}, DOI={10.3139/104.112297}, number={7–8}, journal={ZWF Zeitschrift für wirtschaftliche Fabrikplanung}, publisher={Hanser}, author={Koldewey, Christian and Frank, Maximilian and Gausemeier, Jürgen and Bäsecke, Alexander and Reinhold, Jannik and Dumitrescu, Roman}, year={2020}, pages={524–528} }
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 20365
@inbook{Koldewey_Reinhold_Dumitrescu_2020, series={Open Innovation: Bridging Theory and Practice}, title={Planning a Smart Service Business Integrating External Partners}, volume={Volume 5}, DOI={10.1142/9789811219238_0010}, booktitle={Managing Digital Open Innovation}, publisher={World Scientific Publishing Company}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Barlatier, Pierre-Jean and Mention, Anne-LaureEditors}, year={2020}, pages={255–298}, collection={Open Innovation: Bridging Theory and Practice} }
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20372
@article{Ebers_Hammer_Förstner_2020, title={Light diffraction in slab waveguide lenses simulated with the stepwise angular spectrum method}, volume={28}, DOI={10.1364/oe.409612}, number={24}, journal={Optics Express}, author={Ebers, Lena and Hammer, Manfred and Förstner, Jens}, year={2020}, pages={36361} }
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20378
@inproceedings{Çavdar_Teutenberg_Meschut_Wulf_Hesebeck_Brede_Mayer_Tittmann_Koch_Jäger_et al._2020, title={Lebensdauerberechnung hybrider Verbindungen}, booktitle={20. Kolloquium Gemeinsame Forschung in der Klebtechnik}, author={Çavdar, Serkan and Teutenberg, Dominik and Meschut, Gerson and Wulf, A. and Hesebeck, O. and Brede, M. and Mayer, B. and Tittmann, K. and Koch, I. and Jäger, H. and et al.}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20380
@inproceedings{Çavdar_Meschut_Wulf_Hesebeck_Brede_Mayer_Tittmann_Koch_Jäger_Wacker_et al._2020, title={Berechnen der Lebensdauer hybrider Verbindungen}, booktitle={DVS Congress 2020}, author={Çavdar, Serkan and Meschut, Gerson and Wulf, A. and Hesebeck, O. and Brede, M. and Mayer, B. and Tittmann, K. and Koch, I. and Jäger, H. and Wacker, J.-D. and et al.}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20381
@inproceedings{Çavdar_Meschut_Wulf_Hesebeck_Brede_Mayer_2020, title={Fatigue life prediction of adhesively bonded FRP-aluminium-joints with hyperelastic behavior under cyclic multiaxial stress state}, booktitle={Joining in Car Body Engineering 2020}, author={Çavdar, Serkan and Meschut, Gerson and Wulf, A. and Hesebeck, O. and Brede, M. and Mayer, B.}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20409
@inproceedings{Heyser_Scharr_Nehls_Wiesenmayer_Flügge_Meschut_2020, title={Prozesskettenbegleitende Vorgehensweise beim Mechanischen Fügen}, booktitle={4. Workshop Digitalisierung}, author={Heyser, Per and Scharr, Christian and Nehls, Thomas and Wiesenmayer, Sebastian and Flügge, Wilko and Meschut, Gerson}, year={2020} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20414
@article{Vascellari_Grassi_Canata_Zaffagnini_Gokeler_Jones_2020, title={Hamstrings substitution via anteromedial portal with optional anterolateral ligament reconstruction is the preferred surgical technique for anterior cruciate ligament reconstruction: a survey among ESSKA members.}, DOI={10.1007/s00167-020-06107-0}, journal={Knee Surg Sports Traumatol Arthrosc}, author={Vascellari, A and Grassi, A and Canata, GL and Zaffagnini, S and Gokeler, A and Jones, H}, year={2020} }
LibreCat | DOI | PubMed | Europe PMC
 

2020 | Conference Abstract | LibreCat-ID: 20415
@inproceedings{Keizer_Hijmans_Gokeler_Otten_Brouwer_2020, title={Sagittal knee kinematics in relation with the posterior tibia slope during jump landing after an anterior cruciate ligament reconstruction.}, volume={7}, DOI={10.1186/s40634-020-00289-9}, number={1}, booktitle={J Exp Orthop}, author={Keizer, MNJ and Hijmans, JM and Gokeler, A and Otten, E and Brouwer, RW}, year={2020}, pages={69} }
LibreCat | DOI | PubMed | Europe PMC
 

2020 | Conference Abstract | LibreCat-ID: 20416
@inproceedings{Keizer_Hijmans_Gokeler_Benjaminse_Otten_2020, title={Healthy subjects with lax knees use less knee flexion rather than muscle control to limit anterior tibia translation during landing.}, volume={7}, DOI={10.1186/s40634-020-00246-6}, number={1}, booktitle={J Exp Orthop}, author={Keizer, MNJ and Hijmans, JM and Gokeler, A and Benjaminse, A and Otten, E}, year={2020}, pages={32} }
LibreCat | DOI | PubMed | Europe PMC
 

2020 | Journal Article | LibreCat-ID: 20417
@article{Vascellari_Gokeler_Grassi_Canata_Zaffagnini_Jones_2020, title={Functional progression milestones following anterior cruciate ligament reconstruction are more appropriate than time-based criteria: a survey among the ESSKA.}, volume={28}, number={11}, journal={Knee Surg Sports Traumatol Arthrosc}, author={Vascellari, A and Gokeler, A and Grassi, A and Canata, GL and Zaffagnini, S and Jones, H}, year={2020}, pages={3647–3654} }
LibreCat | PubMed | Europe PMC
 

2020 | Journal Article | LibreCat-ID: 20419
@article{Magnitskaya_Mouton_Gokeler_Nuehrenboerger_Pape_Seil_2020, title={Younger age and hamstring tendon graft are associated with higher IKDC 2000 and KOOS scores during the first year after ACL reconstruction.}, volume={28}, DOI={10.1007/s00167-019-05516-0}, number={3}, journal={Knee Surg Sports Traumatol Arthrosc}, author={Magnitskaya, N and Mouton, C and Gokeler, A and Nuehrenboerger, C and Pape, D and Seil, R}, year={2020}, pages={823–832} }
LibreCat | DOI | PubMed | Europe PMC
 

2020 | Journal Article | LibreCat-ID: 20422
@article{Welling_Benjaminse_Lemmink_Gokeler_2020, title={Passing return to sports tests after ACL reconstruction is associated with greater likelihood for return to sport but fail to identify second injury risk.}, volume={27}, DOI={10.1016/j.knee.2020.03.007}, number={3}, journal={Knee}, author={Welling, W and Benjaminse, A and Lemmink, K and Gokeler, A}, year={2020}, pages={949–957} }
LibreCat | DOI | PubMed | Europe PMC
 

2020 | Journal Article | LibreCat-ID: 20439
@article{Eisenbarth_Wegener_Scheer_Andert_Buse_Klingler_Sommer_Dressler_Reinold_Gries_2020, title={Towards Smart V2X-Connected Powertrains}, DOI={10.1109/MVT.2020.3008018}, journal={IEEE Vehicular Technology Magazine (VTMag)}, publisher={IEEE}, author={Eisenbarth, Markus and Wegener, Marius and Scheer, Ren{\’{e}} and Andert, Jakob and Buse, Dominik S. and Klingler, Florian and Sommer, Christoph and Dressler, Falko and Reinold, Peter and Gries, Rafael}, year={2020} }
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20440
@inproceedings{Klingler_Hauptmeier_Sommer_Dressler_2020, place={Virtual Conference}, title={An Open Source Approach to Field Testing of WLAN up to IEEE 802.11ad at 60 GHz Using Commodity Hardware}, DOI={10.1109/INFOCOMWKSHPS50562.2020.9162717}, booktitle={39th IEEE International Conference on Computer Communications (INFOCOM 2020), Poster Session}, publisher={IEEE}, author={Klingler, Florian and Hauptmeier, Fynn and Sommer, Christoph and Dressler, Falko}, year={2020} }
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20441
@inproceedings{Hardes_Klingler_Sommer_2020, place={Virtual Conference}, title={Modern WLAN for V2X Applications: Exploiting Beamforming for Platooning}, booktitle={12th IEEE Vehicular Networking Conference (VNC 2020)}, publisher={IEEE}, author={Hardes, Tobias and Klingler, Florian and Sommer, Christoph}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20442
@inproceedings{Turcanu_Kim_Klingler_2020, place={Virtual Conference}, title={Poster: Towards 2-Hop Neighbor Management for Heterogeneous Vehicular Networks}, booktitle={12th IEEE Vehicular Networking Conference (VNC 2020)}, publisher={IEEE}, author={Turcanu, Ion and Kim, Minsuk and Klingler, Florian}, year={2020} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20444
@article{Oevel_Odenbach_2020, title={Einfach den blauen Knopf drücken - Die Universität Paderborn entschied sich bereits Mitte März für Big Blue Button, ein offenes Videokonferenz-System, mit dem sich auch Lehr- und Lernprozesse unterstützen lassen}, number={08/2020}, journal={DUZ Wissenschaft & Management}, publisher={DUZ Verlags- und Medienhaus GmbH}, author={Oevel, Gudrun and Odenbach, Christopher}, year={2020}, pages={33–37} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20447
@article{Massmann_Meyer_Frank_von Enzberg_Kühn_Dumitrescu_2020, title={Method for data inventory and classification}, number={93}, journal={Procedia CIRP}, author={Massmann, Melina and Meyer, Maurice and Frank, Maximilian and von Enzberg, Sebastian and Kühn, Arno and Dumitrescu, Roman}, year={2020}, pages={234–239} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20448
@article{Meyer_Frank_Massmann_Wendt_Dumitrescu_2020, title={Data-Driven Product Generation and Retrofit Planning}, number={93}, journal={Procedia CIRP}, author={Meyer, Maurice and Frank, Maximilian and Massmann, Melina and Wendt, Niklas and Dumitrescu, Roman}, year={2020}, pages={965–970} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20449
@article{Uhlmann_Dumitrescu_Polte_Meyer_Simsek_2020, title={Datengetriebene Steigerung der Verfügbarkeit}, volume={110}, number={07–08}, journal={ wt Werkstattstechnik online }, author={Uhlmann, Eckart and Dumitrescu, Roman and Polte, Julian and Meyer, Maurice and Simsek, Deniz}, year={2020}, pages={532–535} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20450
@article{Massmann_Meyer_Frank_von Enzberg_Kühn_Dumitrescu_2020, title={Framework for Data Analytics in Data-Driven Product Planning}, journal={Procedia Manufacturing}, author={Massmann, Melina and Meyer, Maurice and Frank, Maximilian and von Enzberg, Sebastian and Kühn, Arno and Dumitrescu, Roman}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20452
@inproceedings{Terfloth_Budde_Schulte_2020, place={New York, NY, USA}, title={Combining Ideas and Artifacts: An Interaction-Focused View on Computing Education Using a Cybersecurity Example}, DOI={10.1145/3428029.3428052}, publisher={Association for Computing Machinery}, author={Terfloth, Lutz and Budde, Lea and Schulte, Carsten}, year={2020} }
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20457
@article{Gebel_Lehmann_Granacher_2020, title={Balance task difficulty affects postural sway and cortical activity in healthy adolescents.}, volume={238}, DOI={10.1007/s00221-020-05810-1}, number={5}, journal={Exp Brain Res}, author={Gebel, A and Lehmann, T and Granacher, U}, year={2020}, pages={1323–1333} }
LibreCat | DOI | PubMed | Europe PMC
 

2020 | Journal Article | LibreCat-ID: 20469
@article{Tischer_Bode_Buhs_Marquass_Nehrer_Vogt_Zinser_Angele_Spahn_Welsch_et al._2020, title={Platelet-rich plasma (PRP) as therapy for cartilage, tendon and muscle damage - German working group position statement.}, volume={7}, DOI={10.1186/s40634-020-00282-2}, number={1}, journal={J Exp Orthop}, author={Tischer, T and Bode, G and Buhs, M and Marquass, B and Nehrer, S and Vogt, S and Zinser, W and Angele, P and Spahn, G and Welsch, GH and et al.}, year={2020}, pages={64} }
LibreCat | DOI | PubMed | Europe PMC
 

2020 | Journal Article | LibreCat-ID: 20490
@article{Anders_Müller_Skjæret-Maroni_Vereijken_Baumeister_2020, title={The influence of motor tasks and cut-off parameter selection on artifact subspace reconstruction in EEG recordings}, volume={85}, journal={Medical & Biological Engineering & Computing}, author={Anders, P and Müller, H and Skjæret-Maroni, N and Vereijken, B and Baumeister, Jochen}, year={2020}, pages={2673–2683} }
LibreCat
 

2020 | Mastersthesis | LibreCat-ID: 20495
@book{Jochmaring_2020, title={A self stabilizing protocol for well-formed trees in hybrid networks}, author={Jochmaring, Moritz}, year={2020} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20496
@article{Streiter_Fischer_Wiebeler_Reichert_Langenickel_Zeitler_Deibel_2020, title={Impact of Chlorine on the Internal Transition Rates and Excited States of the Thermally Delayed Activated Fluorescence Molecule 3CzClIPN}, DOI={10.1021/acs.jpcc.0c03341}, journal={The Journal of Physical Chemistry C}, author={Streiter, Martin and Fischer, Tillmann G. and Wiebeler, Christian and Reichert, Sebastian and Langenickel, Jörn and Zeitler, Kirsten and Deibel, Carsten}, year={2020}, pages={15007–15014} }
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20501
@article{Rosenthal_Lindner_Gerstmann_Meier_Schmidt_Wilhelm_2020, title={A photoredox catalysed Heck reaction via hole transfer from a Ru(II)-bis(terpyridine) complex to graphene oxide }, volume={10}, DOI={10.1039/d0ra08749a}, number={42930–42937}, journal={Royal Society of Chemistry }, author={Rosenthal, Marta and Lindner, Jörg K N and Gerstmann, Uwe and Meier, Armin and Schmidt, W Gero and Wilhelm, René}, year={2020} }
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 20507
@article{Geismann_Bodden_2020, title={A systematic literature review of model-driven security engineering for cyber–physical systems}, volume={169}, DOI={https://doi.org/10.1016/j.jss.2020.110697}, journal={Journal of Systems and Software}, author={Geismann, Johannes and Bodden, Eric}, year={2020}, pages={110697} }
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20508
@article{Nguyen Quang Do_Bodden_2020, title={Explaining Static Analysis with Rule Graphs}, journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2020} }
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20509
@inproceedings{Fischer_Janneck_Kussmaul_Krätzschmar_Kerschbaum_Bodden_2020, title={PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage}, booktitle={2020 IEEE Computer Security Foundations Symposium (CSF)}, author={Fischer, Andreas and Janneck, Jonas and Kussmaul, Jörn and Krätzschmar, Nikolas and Kerschbaum, Florian and Bodden, Eric}, year={2020} }
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20510
@inproceedings{Benz_Krogh Kristensen_Luo_P. Borges Jr._Bodden_Zeller_2020, title={Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis}, booktitle={International Conference for Software Engineering (ICSE)}, author={Benz, Manuel and Krogh Kristensen, Erik and Luo, Linghui and P. Borges Jr., Nataniel and Bodden, Eric and Zeller, Andreas}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20511
@inproceedings{Fischer_Fuhry_Kerschbaum_Bodden_2020, title={Computation on Encrypted Data using Dataflow Authentication}, booktitle={Privacy Enhancing Technologies Symposium (PETS/PoPETS)}, author={Fischer, Andreas and Fuhry, Benny and Kerschbaum, Florian and Bodden, Eric}, year={2020} }
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20512
@inproceedings{Krüger_Ali_Bodden_2020, title={CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs}, booktitle={International Symposium on Code Generation and Optimization (CGO)}, author={Krüger, Stefan and Ali, Karim and Bodden, Eric}, year={2020}, pages={185–198} }
LibreCat | Files available
 

2020 | Dissertation | LibreCat-ID: 20513
@book{Krüger_2020, title={CogniCrypt -- The Secure Integration of Cryptographic Software}, publisher={Universitaetsbibliothek Paderborn}, author={Krüger, Stefan}, year={2020} }
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20514
@inproceedings{Yigitbas_2020, title={Model-driven engineering and usability evaluation of self-adaptive user interfaces}, DOI={https://doi.org/10.1145/3427478.3427480}, number={2}, booktitle={ACM SIGWEB Newsletter}, publisher={ACM}, author={Yigitbas, Enes}, year={2020} }
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20516
@inproceedings{Holtmann_Steghofer_Rath_Schmelter_2020, title={Cutting through the Jungle: Disambiguating Model-based Traceability Terminology}, DOI={10.1109/re48521.2020.00014}, booktitle={2020 IEEE 28th International Requirements Engineering Conference (RE)}, publisher={IEEE}, author={Holtmann, Jörg and Steghofer, Jan-Philipp and Rath, Michael and Schmelter, David}, year={2020} }
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20518
@inproceedings{Koch_Dziwok_Holtmann_Bodden_2020, title={Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers}, DOI={10.1145/3365438.3410946}, booktitle={ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)}, publisher={ACM}, author={Koch, Thorsten and Dziwok, Stefan and Holtmann, Jörg and Bodden, Eric}, year={2020} }
LibreCat | DOI
 

2020 | Dissertation | LibreCat-ID: 20521
@book{Gerking_2020, title={Model-Driven Information Flow Security Engineering for Cyber-Physical Systems}, DOI={10.17619/UNIPB/1-1033}, publisher={Paderborn University}, author={Gerking, Christopher}, year={2020} }
LibreCat | DOI
 

2020 | Conference Abstract | LibreCat-ID: 20567
@inproceedings{Otroshi_Meschut_Masendorf_Esderts_2020, title={Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile}, author={Otroshi, Mortaza and Meschut, Gerson and Masendorf, Lukas and Esderts, Alfons}, year={2020} }
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 20568 | OA
@inbook{Reinhold_Koldewey_Dumitrescu_2020, place={Frankfurt am Main}, title={GEMINI-Modellierungssprache für Wertschöpfungssysteme}, booktitle={Der Geschäftsmodell-Toolguide }, publisher={Campus Verlag}, author={Reinhold, Jannik and Koldewey, Christian and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={52–56} }
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20570 | OA
@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={GEMINI-Geschäftsmodellmuster-Kartenset}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={61–66} }
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20571 | OA
@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={Geschäftsmodellvalidierung}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={106–111} }
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20573 | OA
@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={Geschäftsmodell-Roadmapping}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={138–143} }
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 20644
@article{Volmert_Weber_Meier_2020, title={Nanoantennas embedded in zinc oxide for second harmonic generation enhancement}, volume={128}, DOI={10.1063/5.0012813}, number={4043107}, journal={Journal of Applied Physics}, author={Volmert, Ruth and Weber, Nils and Meier, Cedrik}, year={2020} }
LibreCat | DOI | WoS
 

2020 | Conference Paper | LibreCat-ID: 20647
@inproceedings{Aßmuth_Teutenberg_Meschut_Stepanov_Stalling_Ihde_Mayer_2020, title={Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas}, booktitle={20. Kolloquium Gemeinsame Forschung in der Klebtechnik}, author={Aßmuth, Verena and Teutenberg, Dominik and Meschut, Gerson and Stepanov, Sergey and Stalling, Annika and Ihde, Jörg and Mayer, Bernd}, editor={DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V.Editor}, year={2020}, pages={97–98} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20650
@inproceedings{Aßmuth_Teutenberg_Meschut_2020, title={Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile}, booktitle={20. Kolloquium Gemeinsame Forschung in der Klebtechnik}, author={Aßmuth, Verena and Teutenberg, Dominik and Meschut, Gerson}, editor={DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V.Editor}, year={2020}, pages={99–101} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20652
@inproceedings{Aßmuth_Teutenberg_Meschut_Philipp_Stammen_Dilger_2020, title={Lokales Konzept zur Auslegung von elastischen Klebverbindungen (LoKAl)}, booktitle={20. Kolloquium Gemeinsame Forschung in der Klebtechnik}, author={Aßmuth, Verena and Teutenberg, Dominik and Meschut, Gerson and Philipp, Jens and Stammen, Elisabeth and Dilger, Klaus}, editor={DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V.Editor}, year={2020}, pages={85–87} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20673
@article{Aßmuth_Teutenberg_Meschut_Stepanov_Ihde_Mayer_2020, title={Aktivieren für robuste Klebprozesse - Wie lange sind plasmaaktivierte Polymeroberflächen offen?}, volume={71}, number={11}, journal={Plastverarbeiter}, publisher={Hüthig GmbH}, author={Aßmuth, Verena and Teutenberg, Dominik and Meschut, Gerson and Stepanov, Sergey and Ihde, Jörg and Mayer, Bernd}, year={2020}, pages={22–25} }
LibreCat | Files available
 

2020 | Book | LibreCat-ID: 20674
@book{Aßmuth_Teutenberg_Meschut_Stepanov_Ihde_Mayer_2020, place={Frankfurt am Main}, title={Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse}, publisher={DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. }, author={Aßmuth, Verena and Teutenberg, Dominik and Meschut, Gerson and Stepanov, Sergey and Ihde, Jörg and Mayer, Bernd}, year={2020} }
LibreCat
 

2020 | Book | LibreCat-ID: 20676
@book{Aßmuth_Teutenberg_Meschut_2020, place={Frankfurt am Main}, title={Analyse rezepturabhängiger und alterungsbedingter Enthaftungserscheinungen geklebter SMC-Bauteile}, publisher={DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V.}, author={Aßmuth, Verena and Teutenberg, Dominik and Meschut, Gerson}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20695 | OA
@inproceedings{Boeddeker_Nakatani_Kinoshita_Haeb-Umbach_2020, title={Jointly Optimal Dereverberation and Beamforming}, DOI={10.1109/icassp40776.2020.9054393}, booktitle={ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)}, author={Boeddeker, Christoph and Nakatani, Tomohiro and Kinoshita, Keisuke and Haeb-Umbach, Reinhold}, year={2020} }
LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 20700 | OA
@inproceedings{Boeddeker_Cord-Landwehr_Heitkaemper_Zorila_Hayakawa_Li_Liu_Doddipatla_Haeb-Umbach_2020, title={Towards a speaker diarization system for the CHiME 2020 dinner party transcription}, booktitle={Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments}, author={Boeddeker, Christoph and Cord-Landwehr, Tobias and Heitkaemper, Jens and Zorila, Catalin and Hayakawa, Daichi and Li, Mohan and Liu, Min and Doddipatla, Rama and Haeb-Umbach, Reinhold}, year={2020} }
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20701
@inproceedings{Pariente_Cornell_Cosentino_Sivasankaran_Tzinis_Heitkaemper_Olvera_Stöter_Hu_Martín-Doñas_et al._2020, title={Asteroid: The PyTorch-Based Audio Source Separation Toolkit for Researchers}, DOI={10.21437/interspeech.2020-1673}, booktitle={Interspeech 2020}, author={Pariente, Manuel and Cornell, Samuele and Cosentino, Joris and Sivasankaran, Sunit and Tzinis, Efthymios and Heitkaemper, Jens and Olvera, Michel and Stöter, Fabian-Robert and Hu, Mathieu and Martín-Doñas, Juan M. and et al.}, year={2020} }
LibreCat | DOI
 

2020 | Special Issue | LibreCat-ID: 20703
@book{Orientierungen in der digitalen Welt_2020, DOI={10.21240/mpaed/39.x}, year={2020} }
LibreCat | DOI
 

2020 | Book (Editor) | LibreCat-ID: 20705 | OA
@book{Herzig_Klar_Martin_Meister_2020, title={Orientierungen in der digitalen Welt}, DOI={10.21240/mpaed/39.x}, year={2020} }
LibreCat | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 20707
@article{Herzig_Klar_Martin_Meister_2020, title={Editorial: Orientierungen in der digitalen Welt}, DOI={10.21240/mpaed/39/2020.12.12.x}, journal={Orientierungen in der digitalen Welt}, author={Herzig, Bardo and Klar, Tilman-Mathies and Martin, Alexander and Meister, Dorothee M.}, year={2020}, pages={i–vii} }
LibreCat | DOI
 

2020 | Report | LibreCat-ID: 20712
@book{Schubert_Bodden_Hermann_2020, title={Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries}, author={Schubert, Philipp and Bodden, Eric and Hermann, Ben}, year={2020} }
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20723
@inproceedings{Ivanjko_Meschut_2020, title={Einsatzgrenzenerweiterung und Flexibilitätssteigerung von einseitig wirkenden mechanischen Fügeverfahren durch prozessintegrierte Fügeteilerwärmung für den stahlintensiven Leichtbau}, booktitle={10. Fügetechnisches Gemeinschaftskolloquium}, author={Ivanjko, Martin and Meschut, Gerson}, editor={FOSTA, EFB, DVSEditor}, year={2020} }
LibreCat
 

2020 | Preprint | LibreCat-ID: 20748
@article{Witschen_Wiersema_Platzner, title={Search Space Characterization for AxC Synthesis}, journal={Fifth Workshop on Approximate Computing (AxC 2020)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco} }
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20750
@inproceedings{Lienen_Platzner_Rinner_2020, title={ReconROS: Flexible Hardware Acceleration for ROS2 Applications}, booktitle={Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)}, author={Lienen, Christian and Platzner, Marco and Rinner, Bernhard}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20755
@inproceedings{Feldmann_Hinnenthal_Scheideler_2020, title={Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs}, DOI={10.4230/LIPIcs.OPODIS.2020.31}, booktitle={Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)}, publisher={Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, author={Feldmann, Michael and Hinnenthal, Kristian and Scheideler, Christian}, year={2020} }
LibreCat | Files available | DOI | arXiv
 

2020 | Conference Paper | LibreCat-ID: 20812
@inproceedings{Jean_Maslovskaya_2020, title={Injectivity of the inverse optimal control problem for control-affine systems}, DOI={10.1109/cdc40024.2019.9028877}, booktitle={2019 IEEE 58th Conference on Decision and Control (CDC)}, author={Jean, Frederic and Maslovskaya, Sofya}, year={2020} }
LibreCat | DOI
 

2020 | Bachelorsthesis | LibreCat-ID: 20820
@book{Thiele_2020, title={Implementing Machine Learning Functions as PYNQ FPGA Overlays}, author={Thiele, Simon}, year={2020} }
LibreCat
 

2020 | Mastersthesis | LibreCat-ID: 20821
@book{Jaganath_2020, title={Extension and Evaluation of Python-based High-Level Synthesis Tool Flows}, author={Jaganath, Vivek}, year={2020} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20834
@article{Webb_Fluck_Magenheim_Malyn-Smith_Waters_Deschênes _Zagami_2020, title={Machine learning for human learners: opportunities, issues, tensions and threats}, DOI={10.1007/s11423-020-09858-2}, journal={Educational Technology Research and Development}, publisher={Springer}, author={Webb, Mary E and Fluck, Andrew and Magenheim, Johannes and Malyn-Smith, Joyce and Waters, Juliet and Deschênes , Michelle and Zagami, Jason}, year={2020}, pages={1–22} }
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20835
@article{Magenheim_2020, title={< Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik}, volume={37}, DOI={10.21240/mpaed/37/2020.07.08.X}, journal={MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung}, author={Magenheim, Johannes}, year={2020}, pages={139–163} }
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20836
@article{Magenheim_Schulte_2020, title={Data science education}, DOI={10.1007/978-3-030-10576-1_253}, journal={Encyclopedia of Education and Information Technologies. Cham: Springer}, author={Magenheim, Johannes and Schulte, Carsten}, year={2020} }
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 20840
@inbook{Schulte_Budde_Winkelnkemper_2020, title={Programmieren - Lehren und Lernen mit und über Medien}, DOI={10.1007/978-3-658-29039-9}, booktitle={Mobile Medien im Schulkontext}, publisher={Springer}, author={Schulte, Carsten and Budde, Lea and Winkelnkemper, Felix}, year={2020}, pages={215–240} }
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20843
@inproceedings{Wu_Tinkloh_Tröster_Zinn_2020, title={Residual stress measurement in GFRP/steel hybrid components}, booktitle={Proceedings of the 4th International Conference Hybrid 2020 Materials and Structures}, author={Wu, Tao and Tinkloh, Steffen Rainer and Tröster, Thomas and Zinn, Wolfgang}, year={2020} }
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 20847
@inbook{Zentgraf_Chen_Li_Zhang_2020, title={Plasmonic metasurfaces for controlling harmonic generations}, DOI={10.1049/SBEW540E_ch8}, booktitle={Nanoantennas and Plasmonics: Modelling, design and fabrication}, publisher={The Institution of Engineering and Technology}, author={Zentgraf, Thomas and Chen, Shumei and Li, Guixin and Zhang, Shuang}, editor={Werner, Douglas H. and Campbell, Sawyer D. and Kang, LeiEditors}, year={2020} }
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20848
@article{Tischendorf_Simmler_Weinberger_Bieber_Reddemann_Fröde_Lindner_Pitsch_Kneer_Tiemann_et al._2020, title={Examination of the evolution of iron oxide nanoparticles in flame spray pyrolysis by tailored in situ particle sampling techniques}, DOI={10.1016/j.jaerosci.2020.105722}, number={105722}, journal={Journal of Aerosol Science}, author={Tischendorf, R. and Simmler, M. and Weinberger, C. and Bieber, M. and Reddemann, M. and Fröde, F. and Lindner, J. and Pitsch, H. and Kneer, R. and Tiemann, M. and et al.}, year={2020} }
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20852
@inproceedings{Unruh_Hein_Meschut_2020, title={Analytische Auslegung der Schwingfestigkeit geclinchter Verbindungen}, booktitle={10. Fügetechnisches Gemeinschaftskolloquium}, author={Unruh, Eduard and Hein, David and Meschut, Gerson}, editor={FOSTA, EFB, DVSEditor}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20853
@inproceedings{Bähr_Sommer_Unruh_Hein_Meschut_2020, title={Charakterisierung und Modellierung von Kerbeffekten durch Mischverbindungen in Karosseriebauteilen aus höchstfesten Stählen}, author={Bähr, Philipp and Sommer, Silke and Unruh, Eduard and Hein, David and Meschut, Gerson}, editor={FOSTA, EFB, DVSEditor}, year={2020} }
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20854 | OA
@article{Camberg_Tröster_2020, series={ IOP Conference Series: Materials Science and Engineering}, title={A simplified method for the evaluation of the layer compression test using one 3D digital image correlation system and considering the material anisotropy by the equibiaxial Lankford parameter}, DOI={10.1088/1757-899X/967/1/012077}, author={Camberg, Alan Adam and Tröster, Thomas}, year={2020}, collection={ IOP Conference Series: Materials Science and Engineering} }
LibreCat | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20856 | OA
@inproceedings{Camberg_Erhart_Tröster_2020, title={Predicting fracture at non-isothermal forming conditions: A temperature dependent extension of the LS-DYNA GISSMO fracture indicator framework}, DOI={10.13140/RG.2.2.23924.17288}, author={Camberg, Alan Adam and Erhart, Tobias and Tröster, Thomas}, year={2020} }
LibreCat | DOI | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20860
@inbook{Strauß_Schäfer-Althaus_2020, place={Heidelberg}, title={Transient Bodies, Bodies in Transition: An Introduction}, booktitle={Transient Bodies in Anglophone Literature and Culture}, publisher={Winter}, author={Strauß, Sara and Schäfer-Althaus, Sarah}, editor={Strauß, Sara and Schäfer-Althaus, Sarah Editors}, year={2020}, pages={7–22} }
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 20861
@inbook{Strauß_2020, place={Heidelberg}, title={Ageing (Female) Bodies and Mortality in Eighteenth-Century Poetry}, booktitle={Transient Bodies in Anglophone Literature and Culture}, publisher={Winter}, author={Strauß, Sara}, editor={Strauß, Sara and Schäfer-Althaus, SarahEditors}, year={2020}, pages={205–226} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20862
@article{Strauß_2020, title={Visualising Memory Loss and the Politics of Representation in Contemporary Portraiture}, volume={27}, number={1}, journal={Journal for the Study of British Cultures}, author={Strauß, Sara}, year={2020}, pages={63–76} }
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20866
@article{Sievers_Degen_Kim_Kengelbach_2020, title={How Private Equity can leverage downturn M&A for value creation}, journal={M&A Review Europe }, author={Sievers, Sönke and Degen, Dominik and Kim, Daniel and Kengelbach, Jens}, year={2020} }
LibreCat | Download (ext.)
 

2020 | Working Paper | LibreCat-ID: 20871
@book{Sievers_Alexander_2020, title={What matters for organizing M&As successfully?}, DOI={10.2139/ssrn.3679155}, author={Sievers, Sönke and Alexander, Schmitz}, year={2020} }
LibreCat | DOI | Download (ext.)
 

2020 | Report | LibreCat-ID: 20873
@book{Sievers_Keienburg_Degen_Söllner_Kashyrkin_2020, title={Alternative Deals Gain Traction}, publisher={The Boston Consulting Group, Inc., M&A Report}, author={Sievers, Sönke and Keienburg, Georg and Degen, Dominik and Söllner, Tobias and Kashyrkin, Anton}, year={2020} }
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 20874
@article{Sievers_Degen_Kim_Kengelbach_2020, title={Downturn M&A: Die Erfolgsstrategie der Stunde?}, journal={M&A Review}, author={Sievers, Sönke and Degen, Dominik and Kim, Daniel and Kengelbach, Jens}, year={2020}, pages={266–271} }
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 20882
@article{Hoffmann_Thommes_2020, title={Can digital feedback increase employee performance and energy efficiency in firms? Evidence from a field experiment}, DOI={10.1016/j.jebo.2020.09.034}, journal={Journal of Economic Behavior & Organization}, author={Hoffmann, Christin and Thommes, Kirsten}, year={2020}, pages={49–65} }
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20883
@article{Grund_Harbring_Thommes_Tilkes_2020, title={Decisions on Extending Group Membership—Evidence from a Public Good Experiment}, DOI={10.3390/g11040061}, number={61}, journal={Games}, author={Grund, Christian and Harbring, Christine and Thommes, Kirsten and Tilkes, Katja Rebecca}, year={2020} }
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20888
@article{Blömer_Brauer_Bujna_2020, title={A Complexity Theoretical Study of Fuzzy K-Means}, volume={16}, DOI={10.1145/3409385}, number={4}, journal={ACM Transactions on Algorithms}, author={Blömer, Johannes and Brauer, Sascha and Bujna, Kathrin}, year={2020}, pages={1–25} }
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 20891
@inbook{Knüppel_Krüger_Thüm_Bubel_Krieter_Bodden_Schaefer_2020, place={Cham}, title={Using Abstract Contracts for Verifying Evolving Features and Their Interactions}, DOI={10.1007/978-3-030-64354-6_5}, booktitle={Lecture Notes in Computer Science}, author={Knüppel, Alexander and Krüger, Stefan and Thüm, Thomas and Bubel, Richard and Krieter, Sebastian and Bodden, Eric and Schaefer, Ina}, year={2020} }
LibreCat | DOI
 

Filters and Search Terms

year=2020

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed