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.
9682 Publications
2020 | Conference Paper | LibreCat-ID: 18276
Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis
A. Tornede, M.D. Wever, S. Werner, F. Mohr, E. Hüllermeier, in: ACML 2020, 2020.
LibreCat
| Download (ext.)
A. Tornede, M.D. Wever, S. Werner, F. Mohr, E. Hüllermeier, in: ACML 2020, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 18648
Algorithmen für selbststabilisierende Skip+-Delaunaygraphen
A. Guggenmos, Algorithmen Für Selbststabilisierende Skip+-Delaunaygraphen, Universität Paderborn, 2020.
LibreCat
A. Guggenmos, Algorithmen Für Selbststabilisierende Skip+-Delaunaygraphen, Universität Paderborn, 2020.
2020 | Book (Editor) | LibreCat-ID: 22465
Mobile Medien im Schulkontext
D.M. Meister, I. Mindt, eds., Mobile Medien Im Schulkontext, Wiesbaden, 2020.
LibreCat
| DOI
D.M. Meister, I. Mindt, eds., Mobile Medien Im Schulkontext, Wiesbaden, 2020.
2020 | Book Chapter | LibreCat-ID: 22466
Einleitung
D. Meister, I. Mindt, in: Mobile Medien im Schulkontext, Springer VS, Wiesbaden, 2020, pp. 1–6.
LibreCat
| DOI
D. Meister, I. Mindt, in: Mobile Medien im Schulkontext, Springer VS, Wiesbaden, 2020, pp. 1–6.
2020 | Book Chapter | LibreCat-ID: 22467
Digitale Elemente im Englischunterricht
I. Mindt, Y. Kaymak, in: D. Meister, I. Mindt (Eds.), Mobile Medien im Schulkontext, Springer VS, Wiesbaden, 2020, pp. 155–174.
LibreCat
| DOI
I. Mindt, Y. Kaymak, in: D. Meister, I. Mindt (Eds.), Mobile Medien im Schulkontext, Springer VS, Wiesbaden, 2020, pp. 155–174.
2020 | Book Review | LibreCat-ID: 22477
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
I. Mindt, 31 (2020) 247–248.
LibreCat
| DOI
I. Mindt, 31 (2020) 247–248.
2020 | Dissertation | LibreCat-ID: 22493
Beitrag zur Bewertung der funktionalen Sicherheit von Federkraftbremsen
C. Hübner, Beitrag zur Bewertung der funktionalen Sicherheit von Federkraftbremsen, Shaker Verlag GmbH, Düren, 2020.
LibreCat
C. Hübner, Beitrag zur Bewertung der funktionalen Sicherheit von Federkraftbremsen, Shaker Verlag GmbH, Düren, 2020.
2020 | Dissertation | LibreCat-ID: 22501
Entwurf eines Simulationsmodells zur Beurteilung und Beeinflussung des dynamischen Betriebsverhalten von Spindelhubantrieben mit Trapezgewindespindel
J. Tominski, Entwurf Eines Simulationsmodells Zur Beurteilung Und Beeinflussung Des Dynamischen Betriebsverhalten von Spindelhubantrieben Mit Trapezgewindespindel, Shaker Verlag GmbH, 2020.
LibreCat
J. Tominski, Entwurf Eines Simulationsmodells Zur Beurteilung Und Beeinflussung Des Dynamischen Betriebsverhalten von Spindelhubantrieben Mit Trapezgewindespindel, Shaker Verlag GmbH, 2020.
2020 | Journal Article | LibreCat-ID: 22963
Design and Objective Evaluation of Filter- and Optimization-based Motion Cueing Strategies for a Hybrid Kinematics Driving Simulator with 5 Degrees of Freedom
P. Biemelt, S. Gausemeier, A. Trächtler, International Journal On Advances in Systems and Measurements 13 (2020) 203–219.
LibreCat
P. Biemelt, S. Gausemeier, A. Trächtler, International Journal On Advances in Systems and Measurements 13 (2020) 203–219.
2020 | Conference Paper | LibreCat-ID: 22964
Design and Evaluation of a Novel Filter-Based Motion Cueing Strategy for a Hybrid Kinematics Driving Simulator with 5 Degrees of Freedom
P. Biemelt, S. Mertin, N. Rüddenklau, S. Gausemeier, A. Trächtler, in: Proceedings of the Driving Simulation Conference Europe VR, Driving Simulation Association, 2020, pp. 85–92.
LibreCat
P. Biemelt, S. Mertin, N. Rüddenklau, S. Gausemeier, A. Trächtler, in: Proceedings of the Driving Simulation Conference Europe VR, Driving Simulation Association, 2020, pp. 85–92.
2020 | Book Chapter | LibreCat-ID: 23377
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat
| DOI
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: Lecture Notes in Computer Science, Cham, 2020.
2020 | Conference Paper | LibreCat-ID: 16724
Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models
A. Sharma, H. Wehrheim, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM, n.d.
LibreCat
A. Sharma, H. Wehrheim, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM, n.d.
2020 | Journal Article | LibreCat-ID: 16725
Algorithm Selection for Software Validation Based on Graph Kernels
C. Richter, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (n.d.).
LibreCat
C. Richter, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (n.d.).
2020 | Conference Paper | LibreCat-ID: 16837
PS³—A Domain-specific Modeling Language for Platform-based Smart Service Systems
H. Lüttenberg, in: S. Hofmann, O. Müller, M. Rossi (Eds.), Designing for Digital Transformation. Co-Creating Services with Citizens and Industry. DESRIST 2020, Springer, 2020.
LibreCat
| DOI
H. Lüttenberg, in: S. Hofmann, O. Müller, M. Rossi (Eds.), Designing for Digital Transformation. Co-Creating Services with Citizens and Industry. DESRIST 2020, Springer, 2020.
2020 | Journal Article | LibreCat-ID: 16902
Survey on Algorithms for Self-Stabilizing Overlay Networks
M. Feldmann, C. Scheideler, S. Schmid, ACM Computing Surveys (2020).
LibreCat
| DOI
M. Feldmann, C. Scheideler, S. Schmid, ACM Computing Surveys (2020).
2020 | Conference Paper | LibreCat-ID: 16903
Time- and Space-Optimal Discrete Clock Synchronization in the Beeping Model
M. Feldmann, A. Khazraei, C. Scheideler, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2020.
LibreCat
| DOI
| arXiv
M. Feldmann, A. Khazraei, C. Scheideler, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2020.
2020 | Conference Paper | LibreCat-ID: 16934 |
Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs
S. Gottschalk, E. Yigitbas, G. Engels, in: B. Shishkov (Ed.), Business Modeling and Software Design, Springer International Publishing, 2020, pp. 276–286.
LibreCat
| Files available
| DOI
S. Gottschalk, E. Yigitbas, G. Engels, in: B. Shishkov (Ed.), Business Modeling and Software Design, Springer International Publishing, 2020, pp. 276–286.
2020 | Conference Paper | LibreCat-ID: 16968
Local Gathering of Mobile Robots in Three Dimensions
M. Braun, J. Castenow, F. Meyer auf der Heide, in: Proceedings of the 27th Conference on Structural Information and Communication Complexity (SIROCCO), Springer, 2020.
LibreCat
| Files available
| DOI
| arXiv
M. Braun, J. Castenow, F. Meyer auf der Heide, in: Proceedings of the 27th Conference on Structural Information and Communication Complexity (SIROCCO), Springer, 2020.
2020 | Conference Paper | LibreCat-ID: 17084
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
N. Weidmann, A. Anjorin, in: H. Wehrheim, J. Cabot (Eds.), Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, Springer, Cham, 2020.
LibreCat
| DOI
N. Weidmann, A. Anjorin, in: H. Wehrheim, J. Cabot (Eds.), Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, Springer, Cham, 2020.
2020 | Conference Paper | LibreCat-ID: 17085
Modeling and Analyzing Architectural Diversity of Open Platforms
B. Schwichtenberg, S. Schwichtenberg, J. Küster, O. Zimmermann, G. Engels, in: Advanced Information Systems Engineering, Cham, 2020.
LibreCat
| DOI
B. Schwichtenberg, S. Schwichtenberg, J. Küster, O. Zimmermann, G. Engels, in: Advanced Information Systems Engineering, Cham, 2020.