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 | 
@inproceedings{Boeddeker_Cord-Landwehr_Heitkaemper_Zorila_Hayakawa_Li_Liu_Doddipatla_Haeb-Umbach_2020, title={Towards a speaker diarization system for the CHiME 2020 dinner party transcription}, booktitle={Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments}, author={Boeddeker, Christoph and Cord-Landwehr, Tobias and Heitkaemper, Jens and Zorila, Catalin and Hayakawa, Daichi and Li, Mohan and Liu, Min and Doddipatla, Rama and Haeb-Umbach, Reinhold}, year={2020} }
LibreCat
| Files available
2020 | Report | LibreCat-ID: 20712
@book{Schubert_Bodden_Hermann_2020, title={Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries}, author={Schubert, Philipp and Bodden, Eric and Hermann, Ben}, year={2020} }
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
@article{Witschen_Wiersema_Platzner, title={Search Space Characterization for AxC Synthesis}, journal={Fifth Workshop on Approximate Computing (AxC 2020)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20755
@inproceedings{Feldmann_Hinnenthal_Scheideler_2020, title={Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs}, DOI={10.4230/LIPIcs.OPODIS.2020.31}, booktitle={Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)}, publisher={Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, author={Feldmann, Michael and Hinnenthal, Kristian and Scheideler, Christian}, year={2020} }
LibreCat
| Files available
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 20836
@article{Magenheim_Schulte_2020, title={Data science education}, DOI={10.1007/978-3-030-10576-1_253}, journal={Encyclopedia of Education and Information Technologies. Cham: Springer}, author={Magenheim, Johannes and Schulte, Carsten}, year={2020} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20840
@inbook{Schulte_Budde_Winkelnkemper_2020, title={Programmieren - Lehren und Lernen mit und über Medien}, DOI={10.1007/978-3-658-29039-9}, booktitle={Mobile Medien im Schulkontext}, publisher={Springer}, author={Schulte, Carsten and Budde, Lea and Winkelnkemper, Felix}, year={2020}, pages={215–240} }
LibreCat
| DOI
2020 | Working Paper | LibreCat-ID: 20871
@book{Sievers_Alexander_2020, title={What matters for organizing M&As successfully?}, DOI={10.2139/ssrn.3679155}, author={Sievers, Sönke and Alexander, Schmitz}, year={2020} }
LibreCat
| DOI
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20891
@inbook{Knüppel_Krüger_Thüm_Bubel_Krieter_Bodden_Schaefer_2020, place={Cham}, title={Using Abstract Contracts for Verifying Evolving Features and Their Interactions}, DOI={10.1007/978-3-030-64354-6_5}, booktitle={Lecture Notes in Computer Science}, author={Knüppel, Alexander and Krüger, Stefan and Thüm, Thomas and Bubel, Richard and Krieter, Sebastian and Bodden, Eric and Schaefer, Ina}, year={2020} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 18014
@inbook{El Mesaoudi-Paul_Weiß_Bengs_Hüllermeier_Tierney_2020, place={Cham}, series={Lecture Notes in Computer Science}, title={Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach}, volume={12096}, DOI={10.1007/978-3-030-53552-0_22}, booktitle={Learning and Intelligent Optimization. LION 2020.}, publisher={Springer}, author={El Mesaoudi-Paul, Adil and Weiß, Dimitri and Bengs, Viktor and Hüllermeier, Eyke and Tierney, Kevin}, year={2020}, pages={216–232}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18249 |
@inproceedings{Gottschalk_Yigitbas_Schmidt_Engels_2020, place={Cham}, series={Lecture Notes in Computer Science}, title={Model-based Product Configuration in Augmented Reality Applications}, volume={12481}, DOI={10.1007/978-3-030-64266-2_5}, booktitle={Human-Centered Software Engineering. HCSE 2020}, publisher={Springer}, author={Gottschalk, Sebastian and Yigitbas, Enes and Schmidt, Eugen and Engels, Gregor}, editor={Bernhaupt, Regina and Ardito, Carmelo and Sauer, StefanEditors}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 18276
@inproceedings{Tornede_Wever_Werner_Mohr_Hüllermeier_2020, title={Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis}, booktitle={ACML 2020}, author={Tornede, Alexander and Wever, Marcel Dominik and Werner, Stefan and Mohr, Felix and Hüllermeier, Eyke}, year={2020} }
LibreCat
| Download (ext.)
2020 | Book (Editor) | LibreCat-ID: 22465
@book{Meister_Mindt_2020, place={Wiesbaden}, title={Mobile Medien im Schulkontext}, DOI={10.1007/978-3-658-29039-9}, year={2020} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 22466
@inbook{Meister_Mindt_2020, place={Wiesbaden}, series={Medienbildung und Gesellschaft}, title={Einleitung}, volume={41}, DOI={10.1007/978-3-658-29039-9}, booktitle={Mobile Medien im Schulkontext}, publisher={Springer VS}, author={Meister, Dorothee and Mindt, Ilka}, year={2020}, pages={1–6}, collection={Medienbildung und Gesellschaft} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 22467
@inbook{Mindt_Kaymak_2020, place={Wiesbaden}, series={Medienbildung und Gesellschaft}, title={Digitale Elemente im Englischunterricht}, volume={41}, DOI={https://doi.org/10.1007/978-3-658-29039-9_8}, booktitle={Mobile Medien im Schulkontext}, publisher={Springer VS}, author={Mindt, Ilka and Kaymak, Yasemin}, editor={Meister, Dorothee and Mindt, Ilka}, year={2020}, pages={155–174}, collection={Medienbildung und Gesellschaft} }
LibreCat
| DOI
2020 | Book Review | LibreCat-ID: 22477
@article{Mindt_2020, title={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}, volume={31}, DOI={https://doi.org/10.33675/ANGL/2020/3/18}, number={3}, author={Mindt, Ilka}, year={2020}, pages={247–248} }
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 22493
@book{Hübner_2020, place={Düren}, title={Beitrag zur Bewertung der funktionalen Sicherheit von Federkraftbremsen}, publisher={Shaker Verlag GmbH}, author={Hübner, Christoph}, year={2020} }
LibreCat
2020 | Dissertation | LibreCat-ID: 22501
@book{Tominski_2020, title={Entwurf eines Simulationsmodells zur Beurteilung und Beeinflussung des dynamischen Betriebsverhalten von Spindelhubantrieben mit Trapezgewindespindel}, publisher={Shaker Verlag GmbH}, author={Tominski, Johannes}, year={2020} }
LibreCat
2020 | Book Chapter | LibreCat-ID: 23377
@inbook{Piskachev_Petrasch_Späth_Bodden_2020, place={Cham}, title={AuthCheck: Program-State Analysis for Access-Control Vulnerabilities}, DOI={10.1007/978-3-030-54997-8_34}, booktitle={Lecture Notes in Computer Science}, author={Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16724
@inproceedings{Sharma_Wehrheim, title={Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models}, booktitle={Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).}, publisher={ACM}, author={Sharma, Arnab and Wehrheim, Heike} }
LibreCat
2020 | Journal Article | LibreCat-ID: 16725
@article{Richter_Hüllermeier_Jakobs_Wehrheim, title={Algorithm Selection for Software Validation Based on Graph Kernels}, journal={Journal of Automated Software Engineering}, publisher={Springer}, author={Richter, Cedric and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike} }
LibreCat