A Parameterized View on the Complexity of Dependence Logic
J. Kontinen, A. Meier, Y. Mahmood, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2021.
LibreCat: /record/45846
DOI: 10.1007/978-3-030-93100-1_9

HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids
S. Alhaddad, J. Förstner, S. Groth, D. Grünewald, Y. Grynko, F. Hannig, T. Kenter, F.-J. Pfreundt, C. Plessl, M. Schotte, T. Steinke, J. Teich, M. Weiser, F. Wende, in: Euro-Par 2020: Parallel Processing Workshops, Cham, 2021.
LibreCat: /record/21587
DOI: 10.1007/978-3-030-71593-9_15

Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing
A. Ramaswami, T. Kenter, T. Kühne, C. Plessl, in: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, Cham, 2021.
LibreCat: /record/29936
DOI: 10.1007/978-3-030-79025-7_21

A Parameterized View on the Complexity of Dependence Logic
J. Kontinen, A. Meier, Y. Mahmood, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2021.
LibreCat: /record/45823
DOI: 10.1007/978-3-030-93100-1_9

Learning Choice Functions via Pareto-Embeddings
K. Pfannschmidt, E. Hüllermeier, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/19521
DOI: 10.1007/978-3-030-58285-2_30

Hyper-parameterized Dialectic Search for Non-linear Box-Constrained Optimization with Heterogenous Variable Types
M. Sellmann, K. Tierney, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/19561
DOI: 10.1007/978-3-030-53552-0_12

On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions
T. Jager, D. Niehues, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/21396
DOI: 10.1007/978-3-030-38471-5_13

Modeling and Analyzing Architectural Diversity of Open Platforms
B. Jazayeri, S. Schwichtenberg, J. Küster, O. Zimmermann, G. Engels, in: Advanced Information Systems Engineering, Cham, 2020.
LibreCat: /record/17337
DOI: 10.1007/978-3-030-49435-3_3

Using Abstract Contracts for Verifying Evolving Features and Their Interactions
A. Knüppel, S. Krüger, T. Thüm, R. Bubel, S. Krieter, E. Bodden, I. Schaefer, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/20891
DOI: 10.1007/978-3-030-64354-6_5

Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach
A. El Mesaoudi-Paul, D. Weiß, V. Bengs, E. Hüllermeier, K. Tierney, in: Learning and Intelligent Optimization. LION 2020., Springer, Cham, 2020, pp. 216–232.
LibreCat: /record/18014
DOI: 10.1007/978-3-030-53552-0_22