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.
617 Publications
2020 | Conference Paper | LibreCat-ID: 16487 | 
Privacy-Preserving Incentive Systems with Highly Efficient Point-Collection
J. Bobolz, F. Eidens, S. Krenn, D. Slamanig, C. Striecks, in: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20), ACM, New York, NY, USA, 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
J. Bobolz, F. Eidens, S. Krenn, D. Slamanig, C. Striecks, in: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20), ACM, New York, NY, USA, 2020.
2020 | Conference Paper | LibreCat-ID: 19606 |
ProConAR: A Tool Support for Model-based AR Product Configuration
S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C. Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer, Cham, 2020.
LibreCat
| Files available
| DOI
S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C. Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer, Cham, 2020.
2020 | Book (Editor) | LibreCat-ID: 54253
Reformation mit Beethoven feiern. 31. Oktober 2020
R. Janus, ed., Reformation mit Beethoven feiern. 31. Oktober 2020, Düsseldorf, 2020.
LibreCat
R. Janus, ed., Reformation mit Beethoven feiern. 31. Oktober 2020, Düsseldorf, 2020.
2020 | Conference Paper | LibreCat-ID: 48895
Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem
V. Roostapour, J. Bossek, F. Neumann, in: Proceedings of the 2020 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2020, pp. 551–559.
LibreCat
| DOI
V. Roostapour, J. Bossek, F. Neumann, in: Proceedings of the 2020 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2020, pp. 551–559.
2020 | Book Chapter | LibreCat-ID: 23522
Scenario Technique
I. Gräßler, P. Scholle, H. Thiele, in: V. Sandor (Ed.), Integrated Design Engineering. Interdisciplinary and Holistic Product Development, Springer International Publishing Switzerland, 2020, pp. 507–529.
LibreCat
| DOI
I. Gräßler, P. Scholle, H. Thiele, in: V. Sandor (Ed.), Integrated Design Engineering. Interdisciplinary and Holistic Product Development, Springer International Publishing Switzerland, 2020, pp. 507–529.
2020 | Conference Paper | LibreCat-ID: 20518
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
LibreCat
| DOI
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
2020 | Conference Paper | LibreCat-ID: 21440
Scenarios in the Loop: Integrated Requirements Analysis and Automotive System Validation
C. Wiecher, S. Japs, L. Kaiser, J. Greenyer, C. Wolff, R. Dumitrescu, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), 2020.
LibreCat
C. Wiecher, S. Japs, L. Kaiser, J. Greenyer, C. Wolff, R. Dumitrescu, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), 2020.
2020 | Journal Article | LibreCat-ID: 29105
Schulstationen in der Pflegeausbildung: Zur Lernförderlichkeit eines komplexen Lehr-Lernarrangements
M. Goller, B. Steffen, D. Lau, Zeitschrift für Berufs- und Wirtschaftspädagogik 116 (2020) 364–390.
LibreCat
| DOI
M. Goller, B. Steffen, D. Lau, Zeitschrift für Berufs- und Wirtschaftspädagogik 116 (2020) 364–390.
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 | Conference (Editor) | LibreCat-ID: 17836
Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings
A. Werneck Richa, C. Scheideler, eds., Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings, Springer, 2020.
LibreCat
| DOI
A. Werneck Richa, C. Scheideler, eds., Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings, Springer, 2020.
2020 | Book Chapter | LibreCat-ID: 37610
Technisches Lernen inklusiv gestalten – Zur Beschaffenheit von Lernbedürfnissen im Kontext technikbezogenen Sachunterrichts
F. Schröer, in: M. Binder, C. Wiesmüller, T. Finkbeiner (Eds.), Technikunterricht: handfest und geistreich - Der Beitrag technischer Bildung zur kulturellen Bildung - Tagungsband zur 21. Tagung der Deutschen Gesellschaft für Technische Bildung in Flensburg vom 20.-21. September 2019. Offenbach am Main, BE.ER Konzept, Karlsruhe, 2020, pp. 119–141.
LibreCat
F. Schröer, in: M. Binder, C. Wiesmüller, T. Finkbeiner (Eds.), Technikunterricht: handfest und geistreich - Der Beitrag technischer Bildung zur kulturellen Bildung - Tagungsband zur 21. Tagung der Deutschen Gesellschaft für Technische Bildung in Flensburg vom 20.-21. September 2019. Offenbach am Main, BE.ER Konzept, Karlsruhe, 2020, pp. 119–141.
2020 | Special Issue | LibreCat-ID: 37536 |
Technosecurity Cultures. Special Issue of ‚Science as Culture‘. Vol. 29(1), März 2020
J. Weber, K. Kämpf, eds., Technosecurity Cultures. Special Issue of ‚Science as Culture‘. Vol. 29(1), März 2020, 2020.
LibreCat
| Download (ext.)
J. Weber, K. Kämpf, eds., Technosecurity Cultures. Special Issue of ‚Science as Culture‘. Vol. 29(1), März 2020, 2020.
2020 | Journal Article | LibreCat-ID: 15605
Test Case Co-Migration Method Patterns
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, Software Engineering 2020 Workshopband (2020).
LibreCat
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, Software Engineering 2020 Workshopband (2020).
2020 | Conference Paper | LibreCat-ID: 48851
The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics
J. Bossek, K. Casel, P. Kerschke, F. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2020, pp. 1286–1294.
LibreCat
| DOI
J. Bossek, K. Casel, P. Kerschke, F. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2020, pp. 1286–1294.
2020 | Book Chapter | LibreCat-ID: 31356
Typen der deutschsprachigen Versepik 1745/1848
S. Elit, in: K. Bremer, S. Elit (Eds.), Forcierte Form. Deutschsprachige Versepik des 20. und 21. Jahrhunderts im europäischen Kontext (Abhandlungen zur Literaturwissenschaft), Stuttgart, 2020, pp. 39–55.
LibreCat
S. Elit, in: K. Bremer, S. Elit (Eds.), Forcierte Form. Deutschsprachige Versepik des 20. und 21. Jahrhunderts im europäischen Kontext (Abhandlungen zur Literaturwissenschaft), Stuttgart, 2020, pp. 39–55.
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 | Conference Paper | LibreCat-ID: 19422
Variation-Aware Test for Logic Interconnects using Neural Networks - A Case Study
A. Sprenger, S. Sadeghi-Kohan, J.D. Reimer, S. Hellebrand, in: IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT’20), October 2020, Virtual Conference - Originally Frascati (Rome), Italy, 2020.
LibreCat
A. Sprenger, S. Sadeghi-Kohan, J.D. Reimer, S. Hellebrand, in: IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT’20), October 2020, Virtual Conference - Originally Frascati (Rome), Italy, 2020.
2020 | Conference Paper | LibreCat-ID: 20276
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp. 143–167.
LibreCat
| DOI
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp. 143–167.
2020 | Conference Paper | LibreCat-ID: 24023
Wide-Band Frequency Synthesizer with Ultra-Low Phase Noise Using an Optical Clock Source
M. Bahmanian, S. Fard, B. Koppelmann, C. Scheytt, in: 2020 IEEE/MTT-S International Microwave Symposium (IMS), IEEE, Los Angeles, CA, USA, USA, 2020.
LibreCat
| Files available
| DOI
M. Bahmanian, S. Fard, B. Koppelmann, C. Scheytt, in: 2020 IEEE/MTT-S International Microwave Symposium (IMS), IEEE, Los Angeles, CA, USA, USA, 2020.
2020 | Journal Article | LibreCat-ID: 27797
World trends in sugar-sweetened beverage and dietary sugar intakes in children and adolescents: a systematic review
K. Della Corte, J. Fife, A. Gardner, B.L. Murphy, L. Kleis, D. Della Corte, L. Schwingshackl, J.D. LeCheminant, A. Buyken, Nutrition Reviews (2020) 274–288.
LibreCat
| DOI
K. Della Corte, J. Fife, A. Gardner, B.L. Murphy, L. Kleis, D. Della Corte, L. Schwingshackl, J.D. LeCheminant, A. Buyken, Nutrition Reviews (2020) 274–288.