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.
7273 Publications
2020 | Conference Paper | LibreCat-ID: 20755
Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs
M. Feldmann, K. Hinnenthal, C. Scheideler, in: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat
| Files available
| DOI
| arXiv
M. Feldmann, K. Hinnenthal, C. Scheideler, in: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Journal Article | LibreCat-ID: 20836
Data science education
J. Magenheim, C. Schulte, Encyclopedia of Education and Information Technologies. Cham: Springer (2020).
LibreCat
| DOI
J. Magenheim, C. Schulte, Encyclopedia of Education and Information Technologies. Cham: Springer (2020).
2020 | Book Chapter | LibreCat-ID: 20840
Programmieren - Lehren und Lernen mit und über Medien
C. Schulte, L. Budde, F. Winkelnkemper, in: Mobile Medien Im Schulkontext, Springer, 2020, pp. 215–240.
LibreCat
| DOI
C. Schulte, L. Budde, F. Winkelnkemper, in: Mobile Medien Im Schulkontext, Springer, 2020, pp. 215–240.
2020 | Working Paper | LibreCat-ID: 20871
What matters for organizing M&As successfully?
S. Sievers, S. Alexander, What Matters for Organizing M&As Successfully?, 2020.
LibreCat
| DOI
| Download (ext.)
S. Sievers, S. Alexander, What Matters for Organizing M&As Successfully?, 2020.
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 | Conference Paper | LibreCat-ID: 18249 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
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 | 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 | 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 | Conference Paper | LibreCat-ID: 16724
Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models
A. Sharma, H. Wehrheim, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM, n.d.
LibreCat
A. Sharma, H. Wehrheim, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM, n.d.
2020 | Journal Article | LibreCat-ID: 16725
Algorithm Selection for Software Validation Based on Graph Kernels
C. Richter, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (n.d.).
LibreCat
C. Richter, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (n.d.).
2020 | Conference Paper | LibreCat-ID: 16837
PS³—A Domain-specific Modeling Language for Platform-based Smart Service Systems
H. Lüttenberg, in: S. Hofmann, O. Müller, M. Rossi (Eds.), Designing for Digital Transformation. Co-Creating Services with Citizens and Industry. DESRIST 2020, Springer, 2020.
LibreCat
| DOI
H. Lüttenberg, in: S. Hofmann, O. Müller, M. Rossi (Eds.), Designing for Digital Transformation. Co-Creating Services with Citizens and Industry. DESRIST 2020, Springer, 2020.
2020 | Conference Paper | LibreCat-ID: 16903
Time- and Space-Optimal Discrete Clock Synchronization in the Beeping Model
M. Feldmann, A. Khazraei, C. Scheideler, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2020.
LibreCat
| DOI
| arXiv
M. Feldmann, A. Khazraei, C. Scheideler, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2020.
2020 | Conference Paper | LibreCat-ID: 16934 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs
S. Gottschalk, E. Yigitbas, G. Engels, in: B. Shishkov (Ed.), Business Modeling and Software Design, Springer International Publishing, 2020, pp. 276–286.
LibreCat
| Files available
| DOI
S. Gottschalk, E. Yigitbas, G. Engels, in: B. Shishkov (Ed.), Business Modeling and Software Design, Springer International Publishing, 2020, pp. 276–286.