en
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.
14346 Publications
2020 | Journal Article | LibreCat-ID: 17598
Jointly optimal denoising, dereverberation, and source separation
T. Nakatani, C. Boeddeker, K. Kinoshita, R. Ikeshita, M. Delcroix, R. Haeb-Umbach, IEEE/ACM Transactions on Audio, Speech, and Language Processing (2020) 1–1.
LibreCat
| DOI
| Download (ext.)
T. Nakatani, C. Boeddeker, K. Kinoshita, R. Ikeshita, M. Delcroix, R. Haeb-Umbach, IEEE/ACM Transactions on Audio, Speech, and Language Processing (2020) 1–1.
2020 | Encyclopedia Article | LibreCat-ID: 17752
Zermelo (Z0771, 31.05.2020)
V. Peckhaus, in: Neue Deutsche Biographie, Duncker & Humblot, Berlin, n.d.
LibreCat
V. Peckhaus, in: Neue Deutsche Biographie, Duncker & Humblot, Berlin, n.d.
2020 | Conference (Editor) | LibreCat-ID: 17839
SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020
C. Scheideler, M. Spear, eds., SPAA ’20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020, ACM, 2020.
LibreCat
| DOI
C. Scheideler, M. Spear, eds., SPAA ’20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020, ACM, 2020.
2020 | Journal Article | LibreCat-ID: 16862
What Are We Talking About When We Talk About Technology Pivots? – A Delphi Study
N. Bohn, D. Kundisch, Information & Management 57 (2020).
LibreCat
N. Bohn, D. Kundisch, Information & Management 57 (2020).
2020 | Conference Paper | LibreCat-ID: 17810
Evaluation of time series forecasting approaches for the reliable crack length prediction of riveted aluminium plates given insufficient data
O.K. Aimiyekagbon, A. Bender, W. Sextro, in: PHM Society European Conference, 2020.
LibreCat
O.K. Aimiyekagbon, A. Bender, W. Sextro, in: PHM Society European Conference, 2020.
2020 | Journal Article | LibreCat-ID: 17808
Forming tile shapes with simple robots
R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, C. Scheideler, T. Strothmann, Nat. Comput. 19 (2020) 375–390.
LibreCat
| DOI
R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, C. Scheideler, T. Strothmann, Nat. Comput. 19 (2020) 375–390.
2020 | Conference Paper | LibreCat-ID: 18039
Pattern Search in Grammar-Compressed Graphs
S. Böttcher, R. Hartel, S. Peeters, in: 2020 Data Compression Conference (DCC) (Poster), 2020.
LibreCat
| DOI
S. Böttcher, R. Hartel, S. Peeters, in: 2020 Data Compression Conference (DCC) (Poster), 2020.
2020 | Journal Article | LibreCat-ID: 18147
Installationskunst beschreiben. Die Grammatik des Lokalisierens entdecken
D. Tophinke, Praxis Deutsch 282 (2020) 53–57.
LibreCat
D. Tophinke, Praxis Deutsch 282 (2020) 53–57.
2020 | Conference Paper | LibreCat-ID: 18387
Elevated Temperatures Affecting Efficiency, Overall Performance and Energy Yield of PV Microinverters
S. Krauter, J. Bendfeld, in: Proceedings of the EU PVSEC 2020 , 2020.
LibreCat
S. Krauter, J. Bendfeld, in: Proceedings of the EU PVSEC 2020 , 2020.
2020 | Journal Article | LibreCat-ID: 18534
When Donors Turn into Acceptors: Ground and Excited State Properties of FeII Complexes with Amine-Substituted Tridentate Bis-imidazole-2-ylidene Pyridine Ligands
Y. Vukadinovic, L. Burkhardt, A. Päpcke, A. Miletic, L. Fritsch, B. Altenburger, R. Schoch, A. Neuba, S. Lochbrunner, M. Bauer, Inorganic Chemistry (2020) 8762–8774.
LibreCat
| DOI
Y. Vukadinovic, L. Burkhardt, A. Päpcke, A. Miletic, L. Fritsch, B. Altenburger, R. Schoch, A. Neuba, S. Lochbrunner, M. Bauer, Inorganic Chemistry (2020) 8762–8774.
2020 | Book | LibreCat-ID: 18142
Bildungsdokumentation in KiTa und Grundschule stärkenorientiert gestalten
P. Büker, J. Höke, Bildungsdokumentation in KiTa und Grundschule stärkenorientiert gestalten, Kohlhammer, Stuttgart, 2020.
LibreCat
P. Büker, J. Höke, Bildungsdokumentation in KiTa und Grundschule stärkenorientiert gestalten, Kohlhammer, Stuttgart, 2020.
2020 | Book Chapter | LibreCat-ID: 18779
Die Wiedereinrichtung der Bauhütten in Europa im 19. und 20. Jahrhundert
E.-M. Seng, M. Silvestri, in: I. Chave (Ed.), LE CHANTIER CATHÉDRAL EN EUROPE diffusion et sauvegarde des savoirs, savoir-faire et matériaux du Moyen Âge à nos jours, (im Druck), Paris, 2020.
LibreCat
E.-M. Seng, M. Silvestri, in: I. Chave (Ed.), LE CHANTIER CATHÉDRAL EN EUROPE diffusion et sauvegarde des savoirs, savoir-faire et matériaux du Moyen Âge à nos jours, (im Druck), Paris, 2020.
2020 | Journal Article | LibreCat-ID: 18844
Pall Mall. From the sportsground to the urban pleasure ground
E.-M. Seng, Vortrag Am 17.09.2016 Auf Dem 34. Weltkongreß Für Kunstgeschichte (CIHA) in Beijing (im Druck) (2020).
LibreCat
E.-M. Seng, Vortrag Am 17.09.2016 Auf Dem 34. Weltkongreß Für Kunstgeschichte (CIHA) in Beijing (im Druck) (2020).
2020 | Journal Article | LibreCat-ID: 17853
Combining Egalitarian and Proportional Sharing rules in Team Tournaments to Incentivize Energy-Efficient Behavior in a Principal-Agent Context
C. Hoffmann, K. Thommes, Organization and Environment (2020).
LibreCat
C. Hoffmann, K. Thommes, Organization and Environment (2020).
2020 | Journal Article | LibreCat-ID: 18426
Gier und andere Tugenden: Widersprüchliche Bewertungen der Marktwirtschaft ain Oliver Stones "Wall Street"
M. Schneider, Erzähltes Geld: Finanzmärkte und Krisen in Literatur, Film und Medien (2020) 243.
LibreCat
| Download (ext.)
M. Schneider, Erzähltes Geld: Finanzmärkte und Krisen in Literatur, Film und Medien (2020) 243.
2020 | Book | LibreCat-ID: 18921
PQ³. Paderborner Qualitätsstern zur Einschätzung der Kooperation im Übergang Kita - Grundschule
P. Büker, Julia; Höke, Jana Ogrodowski, Britta Vollmann, PQ3. Paderborner Qualitätsstern zur Einschätzung der Kooperation im Übergang Kita - Grundschule, 3rd ed., 2020.
LibreCat
| Files available
P. Büker, Julia; Höke, Jana Ogrodowski, Britta Vollmann, PQ3. Paderborner Qualitätsstern zur Einschätzung der Kooperation im Übergang Kita - Grundschule, 3rd ed., 2020.
2020 | Book Review | LibreCat-ID: 18995
Breger, Herbert, Kontinuum, Analysis, Informales – Beiträge zur Mathematik und Philosophie von Leibniz, hg. v. W. Li, Springer Spektrum: Heidelberg/Berlin 2016
V. Peckhaus, Mathematical Reviews [MR3917131] (2020).
LibreCat
V. Peckhaus, Mathematical Reviews [MR3917131] (2020).
2020 | Book (Editor) | LibreCat-ID: 19051
Vormärz-Handbuch
N.O. Eke, ed., Vormärz-Handbuch, Aisthesis, Bielefeld, 2020.
LibreCat
N.O. Eke, ed., Vormärz-Handbuch, Aisthesis, Bielefeld, 2020.
2020 | Book Chapter | LibreCat-ID: 19094
Ethische Erinnerungskultur. Peter Weiss‘ Memorial des ‚ganzen‘ Widerstands
N.O. Eke, in: H.-C. Stillmark (Ed.), Peter Weiss erinnernd – Ansichten und Einsichten, Weidler, Berlin, 2020, pp. 51–65.
LibreCat
N.O. Eke, in: H.-C. Stillmark (Ed.), Peter Weiss erinnernd – Ansichten und Einsichten, Weidler, Berlin, 2020, pp. 51–65.
2020 | Journal Article | LibreCat-ID: 19208
Photocatalytic properties of graphene‐supported titania clusters from density‐functional theory
S.V. Badalov, R. Wilhelm, W.G. Schmidt, Journal of Computational Chemistry 41 (2020) 1921–1930.
LibreCat
| DOI
S.V. Badalov, R. Wilhelm, W.G. Schmidt, Journal of Computational Chemistry 41 (2020) 1921–1930.
2020 | Book (Editor) | LibreCat-ID: 19467
Reflexe der immateriellen und materiellen Kultur (bislang 6 Bände, Herausgebertätigkeit Reihe)
E.-M. Seng, F. Göttmann, eds., Reflexe der immateriellen und materiellen Kultur (bislang 6 Bände, Herausgebertätigkeit Reihe), Walter de Gruyter, Berlin, 2020.
LibreCat
E.-M. Seng, F. Göttmann, eds., Reflexe der immateriellen und materiellen Kultur (bislang 6 Bände, Herausgebertätigkeit Reihe), Walter de Gruyter, Berlin, 2020.
2020 | Journal Article | LibreCat-ID: 17358
Proof-carrying Approximate Circuits
L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large Scale Integration Systems 28 (2020) 2084–2088.
LibreCat
| DOI
L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large Scale Integration Systems 28 (2020) 2084–2088.
2020 | Journal Article | LibreCat-ID: 19501
Non-adiabatic transitions in the reaction of fluorine with methane
B. Zhao, U. Manthe, The Journal of Chemical Physics (2020).
LibreCat
| DOI
B. Zhao, U. Manthe, The Journal of Chemical Physics (2020).
2020 | Conference Paper | LibreCat-ID: 19551
Efficient Forward-Secure Threshold Public Key Encryption
R. Kurek, in: J. K. Liu, H. Cui (Eds.), Information Security and Privacy - 25th Australasian Conference, {ACISP} 2020, Perth, WA, Australia, November 30 - December 2, 2020, Proceedings, Springer, 2020, pp. 330–349.
LibreCat
| DOI
R. Kurek, in: J. K. Liu, H. Cui (Eds.), Information Security and Privacy - 25th Australasian Conference, {ACISP} 2020, Perth, WA, Australia, November 30 - December 2, 2020, Proceedings, Springer, 2020, pp. 330–349.
2020 | Conference Paper | LibreCat-ID: 15580
Aspect Phrase Extraction in Sentiment Analysis with Deep Learning
J. Kersting, M. Geierhos, in: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) -- Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020), SCITEPRESS, Setúbal, Portugal, 2020, pp. 391--400.
LibreCat
| Files available
J. Kersting, M. Geierhos, in: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) -- Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020), SCITEPRESS, Setúbal, Portugal, 2020, pp. 391--400.
2020 | Conference Paper | LibreCat-ID: 15256
What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers
J. Kersting, M. Geierhos, in: Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, SCITEPRESS, Setúbal, Portugal, 2020, pp. 263--272.
LibreCat
| Files available
J. Kersting, M. Geierhos, in: Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, SCITEPRESS, Setúbal, Portugal, 2020, pp. 263--272.
2020 | Book (Editor) | LibreCat-ID: 19568
Zeitschrift für deutsche Philologie (Herausgebertätigkeit von Norbert Otto Eke ab Bd. 123, 2004)
N.O. Eke, W. Besch, E. Geulen, T. Klein, N. Oellers, U. Peters, H. Steinecke, H. Tervooren, eds., Zeitschrift für deutsche Philologie (Herausgebertätigkeit von Norbert Otto Eke ab Bd. 123, 2004), Erich Schmidt, Berlin, 2020.
LibreCat
N.O. Eke, W. Besch, E. Geulen, T. Klein, N. Oellers, U. Peters, H. Steinecke, H. Tervooren, eds., Zeitschrift für deutsche Philologie (Herausgebertätigkeit von Norbert Otto Eke ab Bd. 123, 2004), Erich Schmidt, Berlin, 2020.
2020 | Dissertation | LibreCat-ID: 15631
Mobile Resource Allocation
B. Feldkord, Mobile Resource Allocation, Universität Paderborn, 2020.
LibreCat
| Files available
| DOI
B. Feldkord, Mobile Resource Allocation, Universität Paderborn, 2020.
2020 | Conference Paper | LibreCat-ID: 19607
Every Node for Itself: Fully Distributed Service Coordination
S.B. Schneider, L.D. Klenner, H. Karl, in: IEEE International Conference on Network and Service Management (CNSM), IEEE, 2020.
LibreCat
| Files available
S.B. Schneider, L.D. Klenner, H. Karl, in: IEEE International Conference on Network and Service Management (CNSM), IEEE, 2020.
2020 | Journal Article | LibreCat-ID: 6202
Software tools for business model innovation: Current state and future challenges
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, Electronic Markets 30 (2020) 469–494.
LibreCat
| Files available
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, Electronic Markets 30 (2020) 469–494.
2020 | Report | LibreCat-ID: 17512
2018 Global MNC Tax Complexity Survey
T. Hoppe, D. Schanz, A. Schipp, F. Siegel, S. Sturm, C. Sureth-Sloane, 2018 Global MNC Tax Complexity Survey, 2020.
LibreCat
| Files available
| Download (ext.)
T. Hoppe, D. Schanz, A. Schipp, F. Siegel, S. Sturm, C. Sureth-Sloane, 2018 Global MNC Tax Complexity Survey, 2020.
2020 | Journal Article | LibreCat-ID: 19753
Simple Determination of Fast Curing Parameters for Bonded Structures
J. Ditter, T. Aubel, G. Meschut, Adhesion ADHESIVES + SEALANTS (2020).
LibreCat
J. Ditter, T. Aubel, G. Meschut, Adhesion ADHESIVES + SEALANTS (2020).
2020 | Conference (Editor) | LibreCat-ID: 19974
Influence of the process temperature on the forming behaviour and the friction during bulk forming of high nitrogen steel
C.-M. Kuball, R. Jung, B. Uhe, G. Meschut, M. Merklein, eds., Influence of the Process Temperature on the Forming Behaviour and the Friction during Bulk Forming of High Nitrogen Steel, 2020.
LibreCat
| DOI
C.-M. Kuball, R. Jung, B. Uhe, G. Meschut, M. Merklein, eds., Influence of the Process Temperature on the Forming Behaviour and the Friction during Bulk Forming of High Nitrogen Steel, 2020.
2020 | Mastersthesis | LibreCat-ID: 15770
On the complexity of local transformations in SDN overlays
D. Warner, On the Complexity of Local Transformations in SDN Overlays, Universität Paderborn, 2020.
LibreCat
D. Warner, On the Complexity of Local Transformations in SDN Overlays, Universität Paderborn, 2020.
2020 | Conference Paper | LibreCat-ID: 20159
Mincut Sensitivity Data Structures for the Insertion of an Edge
S. Baswana, S. Gupta, T. Knollmann, in: F. Grandoni, G. Herman, P. Sanders (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020), Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2020, pp. 12:1-12:14.
LibreCat
| DOI
S. Baswana, S. Gupta, T. Knollmann, in: F. Grandoni, G. Herman, P. Sanders (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020), Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2020, pp. 12:1-12:14.
2020 | Conference Paper | LibreCat-ID: 18022
UCAI 2020 - 1st International Workshop on User-Centered Artificial Intelligence
M. Augstein, D. Buschek, E. Herder, B. Loepp, E. Yigitbas, J. Ziegler, in: Proceedings of the Mensch Und Computer 2020 (MuC ’20), ACM, 2020.
LibreCat
M. Augstein, D. Buschek, E. Herder, B. Loepp, E. Yigitbas, J. Ziegler, in: Proceedings of the Mensch Und Computer 2020 (MuC ’20), ACM, 2020.
2020 | Journal Article | LibreCat-ID: 17086
Trade and economic development: global causality and development- and openness-related heterogeneity
T. Gries, M. Redlin, International Economics and Economic Policy 17 (2020) 923–944.
LibreCat
| DOI
| Download (ext.)
T. Gries, M. Redlin, International Economics and Economic Policy 17 (2020) 923–944.
2020 | Conference Paper | LibreCat-ID: 16968
Local Gathering of Mobile Robots in Three Dimensions
M. Braun, J. Castenow, F. Meyer auf der Heide, in: Proceedings of the 27th Conference on Structural Information and Communication Complexity (SIROCCO), Springer, 2020.
LibreCat
| Files available
| DOI
| arXiv
M. Braun, J. Castenow, F. Meyer auf der Heide, in: Proceedings of the 27th Conference on Structural Information and Communication Complexity (SIROCCO), Springer, 2020.
2020 | Conference Paper | LibreCat-ID: 20274
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: A. Gotsman, A. Sokolova (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, Springer, 2020, pp. 39–58.
LibreCat
| DOI
E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: A. Gotsman, A. Sokolova (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, Springer, 2020, pp. 39–58.
2020 | Journal Article | LibreCat-ID: 20279
Testing Monotonicity of Machine Learning Models
A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).
LibreCat
A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).
2020 | Conference Paper | LibreCat-ID: 20301
Joining of high-strength steel grades in lightweight structures using single-stage resistance element welding on conventional resistance spot welding machines
H. Günter, G. Meschut, in: 73rd IIW Annual Assembly and International Conference, 2020.
LibreCat
H. Günter, G. Meschut, in: 73rd IIW Annual Assembly and International Conference, 2020.
2020 | Conference Paper | LibreCat-ID: 20306
Towards Meta-Algorithm Selection
A. Tornede, M.D. Wever, E. Hüllermeier, in: Workshop MetaLearn 2020 @ NeurIPS 2020, 2020.
LibreCat
A. Tornede, M.D. Wever, E. Hüllermeier, in: Workshop MetaLearn 2020 @ NeurIPS 2020, 2020.
2020 | Book | LibreCat-ID: 20318
FOREL-Wegweiser: Handlungsempfehlungen für den ressourceneffizienten Leichtbau
J. Göddecke, G. Meschut, M. Gude, H. Lieberwirth, E. Tekkaya, M. Zaeh, M. Stegelmann, M. Müller, K. Böhme, T. Krampitz, M. Zöllner, M. Hahn, F. Schmitz, A. Hofer, S. Grohmann, FOREL-Wegweiser: Handlungsempfehlungen für den ressourceneffizienten Leichtbau , Plattform FOREL, 2020.
LibreCat
J. Göddecke, G. Meschut, M. Gude, H. Lieberwirth, E. Tekkaya, M. Zaeh, M. Stegelmann, M. Müller, K. Böhme, T. Krampitz, M. Zöllner, M. Hahn, F. Schmitz, A. Hofer, S. Grohmann, FOREL-Wegweiser: Handlungsempfehlungen für den ressourceneffizienten Leichtbau , Plattform FOREL, 2020.
2020 | Conference Paper | LibreCat-ID: 16898
A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K
M. Lass, R. Schade, T. Kühne, C. Plessl, in: Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer Society, Los Alamitos, CA, USA, 2020, pp. 1127–1140.
LibreCat
| DOI
| arXiv
M. Lass, R. Schade, T. Kühne, C. Plessl, in: Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer Society, Los Alamitos, CA, USA, 2020, pp. 1127–1140.
2020 | Conference Paper | LibreCat-ID: 20440
An Open Source Approach to Field Testing of WLAN up to IEEE 802.11ad at 60 GHz Using Commodity Hardware
F. Klingler, F. Hauptmeier, C. Sommer, F. Dressler, in: 39th IEEE International Conference on Computer Communications (INFOCOM 2020), Poster Session, IEEE, Virtual Conference, 2020.
LibreCat
| DOI
F. Klingler, F. Hauptmeier, C. Sommer, F. Dressler, in: 39th IEEE International Conference on Computer Communications (INFOCOM 2020), Poster Session, IEEE, Virtual Conference, 2020.
2020 | Journal Article | LibreCat-ID: 15744
Framing and the disposition effect in a scopic regime
M.L. Liêu, M. Pelster, The Quarterly Review of Economics and Finance 78 (2020) 175–185.
LibreCat
| DOI
M.L. Liêu, M. Pelster, The Quarterly Review of Economics and Finance 78 (2020) 175–185.
2020 | Mastersthesis | LibreCat-ID: 20495
A self stabilizing protocol for well-formed trees in hybrid networks
M. Jochmaring, A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks, 2020.
LibreCat
M. Jochmaring, A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks, 2020.
2020 | Conference Paper | LibreCat-ID: 20510
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
LibreCat
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
2020 | Journal Article | LibreCat-ID: 20508
Explaining Static Analysis with Rule Graphs
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
LibreCat
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).