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.
7266 Publications
2020 | Conference Paper | LibreCat-ID: 20700 | 
Boeddeker, Christoph, Tobias Cord-Landwehr, Jens Heitkaemper, Catalin Zorila, Daichi Hayakawa, Mohan Li, Min Liu, Rama Doddipatla, and Reinhold Haeb-Umbach. “Towards a Speaker Diarization System for the CHiME 2020 Dinner Party Transcription.” In Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments, 2020.
LibreCat
| Files available
2020 | Report | LibreCat-ID: 20712
Schubert, Philipp, Eric Bodden, and Ben Hermann. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Search Space Characterization for AxC Synthesis.” Fifth Workshop on Approximate Computing (AxC 2020), n.d.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20755
Feldmann, Michael, Kristian Hinnenthal, and Christian Scheideler. “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. https://doi.org/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. https://doi.org/10.1007/978-3-030-10576-1_253.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20840
Schulte, Carsten, Lea Budde, and Felix Winkelnkemper. “Programmieren - Lehren Und Lernen Mit Und Über Medien.” In Mobile Medien Im Schulkontext, 215–40. Springer, 2020. https://doi.org/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. https://doi.org/10.2139/ssrn.3679155.
LibreCat
| DOI
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20891
Knüppel, Alexander, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, and Ina Schaefer. “Using Abstract Contracts for Verifying Evolving Features and Their Interactions.” In Lecture Notes in Computer Science. Cham, 2020. https://doi.org/10.1007/978-3-030-64354-6_5.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 18014
El Mesaoudi-Paul, Adil, Dimitri Weiß, Viktor Bengs, Eyke Hüllermeier, and Kevin Tierney. “Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach.” In Learning and Intelligent Optimization. LION 2020., 12096:216–32. Lecture Notes in Computer Science. Cham: Springer, 2020. https://doi.org/10.1007/978-3-030-53552-0_22.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18249 |
Gottschalk, Sebastian, Enes Yigitbas, Eugen Schmidt, and Gregor Engels. “Model-Based Product Configuration in Augmented Reality Applications.” In Human-Centered Software Engineering. HCSE 2020, edited by Regina Bernhaupt, Carmelo Ardito, and Stefan Sauer, Vol. 12481. Lecture Notes in Computer Science. Cham: Springer, 2020. https://doi.org/10.1007/978-3-030-64266-2_5.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 18276
Tornede, Alexander, Marcel Dominik Wever, Stefan Werner, Felix Mohr, and Eyke Hüllermeier. “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, Dorothee M., and Ilka Mindt, eds. Mobile Medien Im Schulkontext. Wiesbaden, 2020. https://doi.org/10.1007/978-3-658-29039-9.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 22466
Meister, Dorothee, and Ilka Mindt. “Einleitung.” In Mobile Medien im Schulkontext, 41:1–6. Medienbildung und Gesellschaft. Wiesbaden: Springer VS, 2020. https://doi.org/10.1007/978-3-658-29039-9.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 22467
Mindt, Ilka, and Yasemin Kaymak. “Digitale Elemente im Englischunterricht.” In Mobile Medien im Schulkontext, edited by Dorothee Meister and Ilka Mindt, 41:155–74. Medienbildung und Gesellschaft. Wiesbaden: Springer VS, 2020. 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,” 2020. 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. Düren: 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, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” In Lecture Notes in Computer Science. Cham, 2020. https://doi.org/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.” In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). ACM, n.d.
LibreCat
2020 | Journal Article | LibreCat-ID: 16725
Richter, Cedric, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Algorithm Selection for Software Validation Based on Graph Kernels.” Journal of Automated Software Engineering, n.d.
LibreCat