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
Witschen LM, Wiersema T, Platzner M. Search Space Characterization for AxC Synthesis. Fifth Workshop on Approximate Computing (AxC 2020).
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20755
Feldmann M, Hinnenthal K, Scheideler C. Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs. In: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.OPODIS.2020.31
LibreCat
| Files available
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 20836
Magenheim J, Schulte C. Data science education. Encyclopedia of Education and Information Technologies Cham: Springer. 2020. doi:10.1007/978-3-030-10576-1_253
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20840
Schulte C, Budde L, Winkelnkemper F. Programmieren - Lehren und Lernen mit und über Medien. In: Mobile Medien Im Schulkontext. Springer; 2020:215-240. doi:10.1007/978-3-658-29039-9
LibreCat
| DOI
2020 | Working Paper | LibreCat-ID: 20871
Sievers S, Alexander S. What Matters for Organizing M&As Successfully?; 2020. doi:10.2139/ssrn.3679155
LibreCat
| DOI
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20891
Knüppel A, Krüger S, Thüm T, et al. Using Abstract Contracts for Verifying Evolving Features and Their Interactions. In: Lecture Notes in Computer Science. ; 2020. doi:10.1007/978-3-030-64354-6_5
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 18014
El Mesaoudi-Paul A, Weiß D, Bengs V, Hüllermeier E, Tierney K. Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach. In: Learning and Intelligent Optimization. LION 2020. Vol 12096. Lecture Notes in Computer Science. Cham: Springer; 2020:216-232. doi:10.1007/978-3-030-53552-0_22
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18249 | 
Gottschalk S, Yigitbas E, Schmidt E, Engels G. Model-based Product Configuration in Augmented Reality Applications. In: Bernhaupt R, Ardito C, Sauer S, eds. Human-Centered Software Engineering. HCSE 2020. Vol 12481. Lecture Notes in Computer Science. Cham: Springer; 2020. doi:10.1007/978-3-030-64266-2_5
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 18276
Tornede A, Wever MD, Werner S, Mohr F, Hüllermeier E. Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis. In: ACML 2020. ; 2020.
LibreCat
| Download (ext.)
2020 | Book (Editor) | LibreCat-ID: 22465
Meister DM, Mindt I, eds. Mobile Medien Im Schulkontext. Wiesbaden; 2020. doi:10.1007/978-3-658-29039-9
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 22466
Meister D, Mindt I. Einleitung. In: Mobile Medien im Schulkontext. Vol 41. Medienbildung und Gesellschaft. Wiesbaden: Springer VS; 2020:1-6. doi:10.1007/978-3-658-29039-9
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 22467
Mindt I, Kaymak Y. Digitale Elemente im Englischunterricht. In: Meister D, Mindt I, eds. Mobile Medien im Schulkontext. Vol 41. Medienbildung und Gesellschaft. Springer VS; 2020:155-174. doi:https://doi.org/10.1007/978-3-658-29039-9_8
LibreCat
| DOI
2020 | Book Review | LibreCat-ID: 22477
Mindt I. 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. 2020;31(3):247-248. doi:https://doi.org/10.33675/ANGL/2020/3/18
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 22493
Hübner C. Beitrag zur Bewertung der funktionalen Sicherheit von Federkraftbremsen. Düren: Shaker Verlag GmbH; 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 22501
Tominski J. Entwurf Eines Simulationsmodells Zur Beurteilung Und Beeinflussung Des Dynamischen Betriebsverhalten von Spindelhubantrieben Mit Trapezgewindespindel. Shaker Verlag GmbH; 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 23377
Piskachev G, Petrasch T, Späth J, Bodden E. AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In: Lecture Notes in Computer Science. ; 2020. doi:10.1007/978-3-030-54997-8_34
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 4627
Kaimann D. Ancillary market signaling: A two-stage model of economic reputation on ancillary market success. Applied Economics Letters. 2020;27(16):1366-1370. doi:10.1080/13504851.2019.1683136
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 16724
Sharma A, Wehrheim H. Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models. In: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). ACM.
LibreCat
2020 | Journal Article | LibreCat-ID: 16725
Richter C, Hüllermeier E, Jakobs M-C, Wehrheim H. Algorithm Selection for Software Validation Based on Graph Kernels. Journal of Automated Software Engineering.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16837
Lüttenberg H. PS3—A Domain-specific Modeling Language for Platform-based Smart Service Systems. In: Hofmann S, Müller O, Rossi M, eds. Designing for Digital Transformation. Co-Creating Services with Citizens and Industry. DESRIST 2020. Vol 12388. Lecture Notes in Computer Science. Springer; 2020. doi:10.1007/978-3-030-64823-7_42
LibreCat
| DOI