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.
9839 Publications
2020 | Book Chapter | LibreCat-ID: 20891
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
A. Knüppel, S. Krüger, T. Thüm, R. Bubel, S. Krieter, E. Bodden, I. Schaefer, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat
| DOI
A. Knüppel, S. Krüger, T. Thüm, R. Bubel, S. Krieter, E. Bodden, I. Schaefer, in: Lecture Notes in Computer Science, Cham, 2020.
2020 | Book Chapter | LibreCat-ID: 18014
Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach
A. El Mesaoudi-Paul, D. Weiß, V. Bengs, E. Hüllermeier, K. Tierney, in: Learning and Intelligent Optimization. LION 2020., Springer, Cham, 2020, pp. 216–232.
LibreCat
| DOI
A. El Mesaoudi-Paul, D. Weiß, V. Bengs, E. Hüllermeier, K. Tierney, in: Learning and Intelligent Optimization. LION 2020., Springer, Cham, 2020, pp. 216–232.
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 | Conference Paper | LibreCat-ID: 18249 | 
Model-based Product Configuration in Augmented Reality Applications
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 | Conference Paper | LibreCat-ID: 18276
Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis
A. Tornede, M.D. Wever, S. Werner, F. Mohr, E. Hüllermeier, in: ACML 2020, 2020.
LibreCat
| Download (ext.)
A. Tornede, M.D. Wever, S. Werner, F. Mohr, E. Hüllermeier, in: ACML 2020, 2020.
2020 | Dissertation | LibreCat-ID: 18520
Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks
A. Setzer, Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks, Universität Paderborn, 2020.
LibreCat
| DOI
A. Setzer, Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks, Universität Paderborn, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 18637 |
A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes
P. Schürmann, A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes, Universität Paderborn, 2020.
LibreCat
| Files available
P. Schürmann, A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes, Universität Paderborn, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 18639
Enhancing Security by Usage of Universal One-Way Hash Functions
T. Terfort, Enhancing Security by Usage of Universal One-Way Hash Functions, Universität Paderborn, 2020.
LibreCat
T. Terfort, Enhancing Security by Usage of Universal One-Way Hash Functions, Universität Paderborn, 2020.
2020 | Working Paper | LibreCat-ID: 22161
Digitale mehrseitige Plattformen – Besser verstehen, wie digitale Plattformen funktionieren
D. Kundisch, Digitale mehrseitige Plattformen – Besser verstehen, wie digitale Plattformen funktionieren, 2020.
LibreCat
D. Kundisch, Digitale mehrseitige Plattformen – Besser verstehen, wie digitale Plattformen funktionieren, 2020.
2020 | Conference Abstract | LibreCat-ID: 22294
Entwicklung eines Gitterfüllkörpers ENVIPAC 4 unterstützt durch prädiktive Modellierung
J.F. Maćkowiak, J. Maćkowiak, A.H.J. Salten, E. Kenig, in: 10. ProcessNet-Jahrestagung und 34. DECHEMA-Jahrestagung der Biotechnologen, Web-Konferenz, 2020.
LibreCat
J.F. Maćkowiak, J. Maćkowiak, A.H.J. Salten, E. Kenig, in: 10. ProcessNet-Jahrestagung und 34. DECHEMA-Jahrestagung der Biotechnologen, Web-Konferenz, 2020.
2020 | Book (Editor) | LibreCat-ID: 22465
Mobile Medien im Schulkontext
D.M. Meister, I. Mindt, eds., Mobile Medien Im Schulkontext, Wiesbaden, 2020.
LibreCat
| DOI
D.M. Meister, I. Mindt, eds., Mobile Medien Im Schulkontext, Wiesbaden, 2020.
2020 | Book Chapter | LibreCat-ID: 22466
Einleitung
D. Meister, I. Mindt, in: Mobile Medien im Schulkontext, Springer VS, Wiesbaden, 2020, pp. 1–6.
LibreCat
| DOI
D. Meister, I. Mindt, in: Mobile Medien im Schulkontext, Springer VS, Wiesbaden, 2020, pp. 1–6.
2020 | Book Chapter | LibreCat-ID: 22467
Digitale Elemente im Englischunterricht
I. Mindt, Y. Kaymak, in: D. Meister, I. Mindt (Eds.), Mobile Medien im Schulkontext, Springer VS, Wiesbaden, 2020, pp. 155–174.
LibreCat
| DOI
I. Mindt, Y. Kaymak, in: D. Meister, I. Mindt (Eds.), Mobile Medien im Schulkontext, Springer VS, Wiesbaden, 2020, pp. 155–174.
2020 | Book Review | LibreCat-ID: 22477
Kristin Bech and Ruth Möhlig-Falke, eds. Grammar – Discourse – Context: Grammar and Usage in Language Variation and Change. Berlin and Boston, MA: De Gruyter, 2019
I. Mindt, 31 (2020) 247–248.
LibreCat
| DOI
I. Mindt, 31 (2020) 247–248.
2020 | Dissertation | LibreCat-ID: 22493
Beitrag zur Bewertung der funktionalen Sicherheit von Federkraftbremsen
C. Hübner, Beitrag zur Bewertung der funktionalen Sicherheit von Federkraftbremsen, Shaker Verlag GmbH, Düren, 2020.
LibreCat
C. Hübner, Beitrag zur Bewertung der funktionalen Sicherheit von Federkraftbremsen, Shaker Verlag GmbH, Düren, 2020.
2020 | Dissertation | LibreCat-ID: 22501
Entwurf eines Simulationsmodells zur Beurteilung und Beeinflussung des dynamischen Betriebsverhalten von Spindelhubantrieben mit Trapezgewindespindel
J. Tominski, Entwurf Eines Simulationsmodells Zur Beurteilung Und Beeinflussung Des Dynamischen Betriebsverhalten von Spindelhubantrieben Mit Trapezgewindespindel, Shaker Verlag GmbH, 2020.
LibreCat
J. Tominski, Entwurf Eines Simulationsmodells Zur Beurteilung Und Beeinflussung Des Dynamischen Betriebsverhalten von Spindelhubantrieben Mit Trapezgewindespindel, Shaker Verlag GmbH, 2020.
2020 | Journal Article | LibreCat-ID: 22646
Self-assembly of highly ordered DNA origami lattices at solid-liquid interfaces by controlling cation binding and exchange
Y. Xin, S. Martinez Rivadeneira, G. Grundmeier, M. Castro, A. Keller, Nano Research 13 (2020) 3142–3150.
LibreCat
| DOI
Y. Xin, S. Martinez Rivadeneira, G. Grundmeier, M. Castro, A. Keller, Nano Research 13 (2020) 3142–3150.
2020 | Book Chapter | LibreCat-ID: 23377
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat
| DOI
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: Lecture Notes in Computer Science, Cham, 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 | Book Chapter | LibreCat-ID: 16508
Inwiefern können Praxisphasen im Studium zu einer Theorie-Praxis-Relationierung beitragen? Implikationen für die professionelle Entwicklung angehender Lehrkräfte.
C. Harteis, C. Caruso, in: K. Rheinländer, D. Scholl (Eds.), Verlängerte Praxisphasen in der universitären Lehrerbildung: Spannungsfelder zwischen Theorie, Praxis und der Bestimmung von Professionalisierung , Klinkhardt, Bad Heilbrunn, 2020, pp. 58–73.
LibreCat
C. Harteis, C. Caruso, in: K. Rheinländer, D. Scholl (Eds.), Verlängerte Praxisphasen in der universitären Lehrerbildung: Spannungsfelder zwischen Theorie, Praxis und der Bestimmung von Professionalisierung , Klinkhardt, Bad Heilbrunn, 2020, pp. 58–73.