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.
7924 Publications
2020 | Journal Article | LibreCat-ID: 20836
Magenheim, J., & Schulte, C. (2020). Data science education. Encyclopedia of Education and Information Technologies. Cham: Springer. https://doi.org/10.1007/978-3-030-10576-1_253
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20840
Schulte, C., Budde, L., & Winkelnkemper, F. (2020). Programmieren - Lehren und Lernen mit und über Medien. In Mobile Medien im Schulkontext (pp. 215–240). Springer. https://doi.org/10.1007/978-3-658-29039-9
LibreCat
| DOI
2020 | Working Paper | LibreCat-ID: 20871
Sievers, S., & Alexander, S. (2020). What matters for organizing M&As successfully? https://doi.org/10.2139/ssrn.3679155
LibreCat
| DOI
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20891
Knüppel, A., Krüger, S., Thüm, T., Bubel, R., Krieter, S., Bodden, E., & Schaefer, I. (2020). Using Abstract Contracts for Verifying Evolving Features and Their Interactions. In Lecture Notes in Computer Science. https://doi.org/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. (2020). Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach. In Learning and Intelligent Optimization. LION 2020. (Vol. 12096, pp. 216–232). Cham: Springer. https://doi.org/10.1007/978-3-030-53552-0_22
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18249 | 
Gottschalk, S., Yigitbas, E., Schmidt, E., & Engels, G. (2020). Model-based Product Configuration in Augmented Reality Applications. In R. Bernhaupt, C. Ardito, & S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020 (Vol. 12481). Cham: Springer. https://doi.org/10.1007/978-3-030-64266-2_5
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 18276
Tornede, A., Wever, M. D., Werner, S., Mohr, F., & Hüllermeier, E. (2020). Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis. ACML 2020. 12th Asian Conference on Machine Learning, Bangkok, Thailand.
LibreCat
| Download (ext.)
2020 | Book (Editor) | LibreCat-ID: 22465
Meister, D. M., & Mindt, I. (Eds.). (2020). Mobile Medien im Schulkontext. Wiesbaden. https://doi.org/10.1007/978-3-658-29039-9
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 22466
Meister, D., & Mindt, I. (2020). Einleitung. In Mobile Medien im Schulkontext (Vol. 41, pp. 1–6). Wiesbaden: Springer VS. https://doi.org/10.1007/978-3-658-29039-9
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 22467
Mindt, I., & Kaymak, Y. (2020). Digitale Elemente im Englischunterricht. In D. Meister & I. Mindt (Eds.), Mobile Medien im Schulkontext (Vol. 41, pp. 155–174). Springer VS. https://doi.org/10.1007/978-3-658-29039-9_8
LibreCat
| DOI
2020 | Book Review | LibreCat-ID: 22477
Mindt, I. (2020). 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. https://doi.org/10.33675/ANGL/2020/3/18
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 22493
Hübner, C. (2020). Beitrag zur Bewertung der funktionalen Sicherheit von Federkraftbremsen. Düren: Shaker Verlag GmbH.
LibreCat
2020 | Dissertation | LibreCat-ID: 22501
Tominski, J. (2020). Entwurf eines Simulationsmodells zur Beurteilung und Beeinflussung des dynamischen Betriebsverhalten von Spindelhubantrieben mit Trapezgewindespindel. Shaker Verlag GmbH.
LibreCat
2020 | Book Chapter | LibreCat-ID: 23377
Piskachev, G., Petrasch, T., Späth, J., & Bodden, E. (2020). AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-030-54997-8_34
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16724
Sharma, A., & Wehrheim, H. (n.d.). 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. (n.d.). Algorithm Selection for Software Validation Based on Graph Kernels. Journal of Automated Software Engineering.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16837
Lüttenberg, H. (2020). PS3—A Domain-specific Modeling Language for Platform-based Smart Service Systems. In S. Hofmann, O. Müller, & M. Rossi (Eds.), Designing for Digital Transformation. Co-Creating Services with Citizens and Industry. DESRIST 2020 (Vol. 12388). Kristiansand, Norway: Springer. https://doi.org/10.1007/978-3-030-64823-7_42
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16903
Feldmann, M., Khazraei, A., & Scheideler, C. (2020). Time- and Space-Optimal Discrete Clock Synchronization in the Beeping Model. In Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM. https://doi.org/10.1145/3350755.3400246
LibreCat
| DOI
| arXiv
2020 | Conference Paper | LibreCat-ID: 16934 |
Gottschalk, S., Yigitbas, E., & Engels, G. (2020). Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs. In B. Shishkov (Ed.), Business Modeling and Software Design (Vol. 391, pp. 276–286). Potsdam: Springer International Publishing. https://doi.org/10.1007/978-3-030-52306-0_18
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 16968
Braun, M., Castenow, J., & Meyer auf der Heide, F. (2020). Local Gathering of Mobile Robots in Three Dimensions. In Proceedings of the 27th Conference on Structural Information and Communication Complexity (SIROCCO). Paderborn: Springer. https://doi.org/10.1007/978-3-030-54921-3_4
LibreCat
| Files available
| DOI
| arXiv