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.
7524 Publications
2020 | Preprint | LibreCat-ID: 20748
Search Space Characterization for AxC Synthesis
L.M. Witschen, T. Wiersema, M. Platzner, Fifth Workshop on Approximate Computing (AxC 2020) (n.d.).
LibreCat
| Files available
L.M. Witschen, T. Wiersema, M. Platzner, Fifth Workshop on Approximate Computing (AxC 2020) (n.d.).
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 | 
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 | Journal Article | LibreCat-ID: 4627
Ancillary market signaling: A two-stage model of economic reputation on ancillary market success
D. Kaimann, Applied Economics Letters 27 (2020) 1366–1370.
LibreCat
| Files available
| DOI
D. Kaimann, Applied Economics Letters 27 (2020) 1366–1370.
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.