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.
7252 Publications
2020 | Preprint | LibreCat-ID: 20748
Witschen, Linus Matthias, et al. “Search Space Characterization for AxC Synthesis.” Fifth Workshop on Approximate Computing (AxC 2020).
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20755
Feldmann, Michael, et al. “Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs.” 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, Johannes, and Carsten Schulte. “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, Carsten, et al. “Programmieren - Lehren Und Lernen Mit Und Über Medien.” Mobile Medien Im Schulkontext, Springer, 2020, pp. 215–40, doi:10.1007/978-3-658-29039-9.
LibreCat
| DOI
2020 | Working Paper | LibreCat-ID: 20871
Sievers, Sönke, and Schmitz Alexander. 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, Alexander, et al. “Using Abstract Contracts for Verifying Evolving Features and Their Interactions.” 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, Adil, et al. “Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach.” Learning and Intelligent Optimization. LION 2020., vol. 12096, Springer, 2020, pp. 216–32, doi:10.1007/978-3-030-53552-0_22.
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 18066
Skowronek, Michael. Approaches for Competetive Routing through Intersections of Hole Abstractions in Hybrid Communication Networks. Universität Paderborn, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 18249 | 
Gottschalk, Sebastian, et al. “Model-Based Product Configuration in Augmented Reality Applications.” Human-Centered Software Engineering. HCSE 2020, edited by Regina Bernhaupt et al., vol. 12481, Springer, 2020, doi:10.1007/978-3-030-64266-2_5.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 18276
Tornede, Alexander, et al. “Run2Survive: A Decision-Theoretic Approach to Algorithm Selection Based on Survival Analysis.” ACML 2020, 2020.
LibreCat
| Download (ext.)
2020 | Dissertation | LibreCat-ID: 18520
Setzer, Alexander. Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks. Universität Paderborn, 2020, doi:10.17619/UNIPB/1-1026.
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 18648
Guggenmos, Andreas. Algorithmen Für Selbststabilisierende Skip+-Delaunaygraphen. Universität Paderborn, 2020.
LibreCat
2020 | Book (Editor) | LibreCat-ID: 22465
Meister, Dorothee M., and Ilka Mindt, editors. Mobile Medien Im Schulkontext. 2020, doi:10.1007/978-3-658-29039-9.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 22466
Meister, Dorothee, and Ilka Mindt. “Einleitung.” Mobile Medien im Schulkontext, vol. 41, Springer VS, 2020, pp. 1–6, doi:10.1007/978-3-658-29039-9.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 22467
Mindt, Ilka, and Yasemin Kaymak. “Digitale Elemente im Englischunterricht.” Mobile Medien im Schulkontext, edited by Dorothee Meister and Ilka Mindt, vol. 41, Springer VS, 2020, pp. 155–74, doi:https://doi.org/10.1007/978-3-658-29039-9_8.
LibreCat
| DOI
2020 | Book Review | LibreCat-ID: 22477
Mindt, Ilka. 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. Vol. 31, no. 3, 2020, pp. 247–48, doi:https://doi.org/10.33675/ANGL/2020/3/18.
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 22493
Hübner, Christoph. Beitrag zur Bewertung der funktionalen Sicherheit von Federkraftbremsen. Shaker Verlag GmbH, 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 22501
Tominski, Johannes. 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, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-54997-8_34.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16724
Sharma, Arnab, and Heike Wehrheim. “Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models.” Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM.
LibreCat