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.
9726 Publications
2020 | Report | LibreCat-ID: 20712
Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries
P. Schubert, E. Bodden, B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.
LibreCat
| Files available
P. Schubert, E. Bodden, B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.
2020 | Preprint | LibreCat-ID: 20748
Search Space Characterization for AxC Synthesis
L.M. Witschen, T. Wiersema, M. Platzner, Fifth Workshop on Approximate Computing (AxC 2020) (n.d.).
LibreCat
| Files available
L.M. Witschen, T. Wiersema, M. Platzner, Fifth Workshop on Approximate Computing (AxC 2020) (n.d.).
2020 | Conference Paper | LibreCat-ID: 20755
Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs
M. Feldmann, K. Hinnenthal, C. Scheideler, in: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat
| Files available
| DOI
| arXiv
M. Feldmann, K. Hinnenthal, C. Scheideler, in: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 20820
Implementing Machine Learning Functions as PYNQ FPGA Overlays
S. Thiele, Implementing Machine Learning Functions as PYNQ FPGA Overlays, 2020.
LibreCat
S. Thiele, Implementing Machine Learning Functions as PYNQ FPGA Overlays, 2020.
2020 | Mastersthesis | LibreCat-ID: 20821
Extension and Evaluation of Python-based High-Level Synthesis Tool Flows
V. Jaganath, Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows, 2020.
LibreCat
V. Jaganath, Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows, 2020.
2020 | Journal Article | LibreCat-ID: 20836
Data science education
J. Magenheim, C. Schulte, Encyclopedia of Education and Information Technologies. Cham: Springer (2020).
LibreCat
| DOI
J. Magenheim, C. Schulte, Encyclopedia of Education and Information Technologies. Cham: Springer (2020).
2020 | Book Chapter | LibreCat-ID: 20840
Programmieren - Lehren und Lernen mit und über Medien
C. Schulte, L. Budde, F. Winkelnkemper, in: Mobile Medien Im Schulkontext, Springer, 2020, pp. 215–240.
LibreCat
| DOI
C. Schulte, L. Budde, F. Winkelnkemper, in: Mobile Medien Im Schulkontext, Springer, 2020, pp. 215–240.
2020 | Conference Paper | LibreCat-ID: 20854 |
A simplified method for the evaluation of the layer compression test using one 3D digital image correlation system and considering the material anisotropy by the equibiaxial Lankford parameter
A.A. Camberg, T. Tröster, (2020).
LibreCat
| DOI
| Download (ext.)
A.A. Camberg, T. Tröster, (2020).
2020 | Book Chapter | LibreCat-ID: 20860
Transient Bodies, Bodies in Transition: An Introduction
S. Strauß, S. Schäfer-Althaus, in: S. Strauß, S. Schäfer-Althaus (Eds.), Transient Bodies in Anglophone Literature and Culture, Winter, Heidelberg, 2020, pp. 7–22.
LibreCat
S. Strauß, S. Schäfer-Althaus, in: S. Strauß, S. Schäfer-Althaus (Eds.), Transient Bodies in Anglophone Literature and Culture, Winter, Heidelberg, 2020, pp. 7–22.
2020 | Book Chapter | LibreCat-ID: 20861
Ageing (Female) Bodies and Mortality in Eighteenth-Century Poetry
S. Strauß, in: S. Strauß, S. Schäfer-Althaus (Eds.), Transient Bodies in Anglophone Literature and Culture, Winter, Heidelberg, 2020, pp. 205–226.
LibreCat
S. Strauß, in: S. Strauß, S. Schäfer-Althaus (Eds.), Transient Bodies in Anglophone Literature and Culture, Winter, Heidelberg, 2020, pp. 205–226.
2020 | Journal Article | LibreCat-ID: 20862
Visualising Memory Loss and the Politics of Representation in Contemporary Portraiture
S. Strauß, Journal for the Study of British Cultures 27 (2020) 63–76.
LibreCat
S. Strauß, Journal for the Study of British Cultures 27 (2020) 63–76.
2020 | Working Paper | LibreCat-ID: 20871
What matters for organizing M&As successfully?
S. Sievers, S. Alexander, What Matters for Organizing M&As Successfully?, 2020.
LibreCat
| DOI
| Download (ext.)
S. Sievers, S. Alexander, What Matters for Organizing M&As Successfully?, 2020.
2020 | Book Chapter | LibreCat-ID: 20891
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
| DOI
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.
2020 | Journal Article | LibreCat-ID: 17995
Excess noise in Al x Ga 1 − xAs/GaAs based quantum rings
C. Riha, S.S. Buchholz, O. Chiatti, A.D. Wieck, D. Reuter, S.F. Fischer, Applied Physics Letters (2020).
LibreCat
| DOI
C. Riha, S.S. Buchholz, O. Chiatti, A.D. Wieck, D. Reuter, S.F. Fischer, Applied Physics Letters (2020).
2020 | Book Chapter | LibreCat-ID: 18014
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
| DOI
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.
2020 | Bachelorsthesis | LibreCat-ID: 18066
Approaches for Competetive Routing through Intersections of Hole Abstractions in Hybrid Communication Networks
M. Skowronek, Approaches for Competetive Routing through Intersections of Hole Abstractions in Hybrid Communication Networks, Universität Paderborn, 2020.
LibreCat
M. Skowronek, Approaches for Competetive Routing through Intersections of Hole Abstractions in Hybrid Communication Networks, Universität Paderborn, 2020.
2020 | Conference Paper | LibreCat-ID: 18249 |
Model-based Product Configuration in Augmented Reality Applications
S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C. Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer, Cham, 2020.
LibreCat
| Files available
| DOI
S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C. Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer, Cham, 2020.
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 | Dissertation | LibreCat-ID: 18520
Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks
A. Setzer, Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks, Universität Paderborn, 2020.
LibreCat
| DOI
A. Setzer, Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks, Universität Paderborn, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 18637 |
A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes
P. Schürmann, A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes, Universität Paderborn, 2020.
LibreCat
| Files available
P. Schürmann, A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes, Universität Paderborn, 2020.