Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence Logic.”https://doi.org/10.1007/978-3-030-93100-1_9__In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2021.https://doi.org/10.1007/978-3-030-93100-1_9 .

Alhaddad, Samer, Jens Förstner, Stefan Groth, Daniel Grünewald, Yevgen Grynko, Frank Hannig, Tobias Kenter, et al. “HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids.”https://doi.org/10.1007/978-3-030-71593-9_15__In Euro-Par 2020: Parallel Processing Workshops. Cham, 2021.https://doi.org/10.1007/978-3-030-71593-9_15 .

Ramaswami, Arjun, Tobias Kenter, Thomas Kühne, and Christian Plessl. “Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing.”https://doi.org/10.1007/978-3-030-79025-7_21__In Applied Reconfigurable Computing. Architectures, Tools, and Applications. Cham: Springer International Publishing, 2021.https://doi.org/10.1007/978-3-030-79025-7_21 .

Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence Logic.”https://doi.org/10.1007/978-3-030-93100-1_9__In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2021.https://doi.org/10.1007/978-3-030-93100-1_9 .

Pfannschmidt, Karlson, and Eyke Hüllermeier. “Learning Choice Functions via Pareto-Embeddings.”https://doi.org/10.1007/978-3-030-58285-2_30__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-58285-2_30 .

Sellmann, Meinolf, and Kevin Tierney. “Hyper-Parameterized Dialectic Search for Non-Linear Box-Constrained Optimization with Heterogenous Variable Types.”https://doi.org/10.1007/978-3-030-53552-0_12__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-53552-0_12 .

Jager, Tibor, and David Niehues. “On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions.”https://doi.org/10.1007/978-3-030-38471-5_13__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-38471-5_13 .

Jazayeri, Bahar, Simon Schwichtenberg, Jochen Küster, Olaf Zimmermann, and Gregor Engels. “Modeling and Analyzing Architectural Diversity of Open Platforms.”https://doi.org/10.1007/978-3-030-49435-3_3__In Advanced Information Systems Engineering. Cham, 2020.https://doi.org/10.1007/978-3-030-49435-3_3 .

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.”https://doi.org/10.1007/978-3-030-64354-6_5__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-64354-6_5 .

El Mesaoudi-Paul, Adil, Dimitri Weiß, Viktor Bengs, Eyke Hüllermeier, and Kevin Tierney. “Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach.”https://doi.org/10.1007/978-3-030-53552-0_22__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 .