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.
9812 Publications
2020 | Journal Article | LibreCat-ID: 17358
Proof-carrying Approximate Circuits
L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large Scale Integration Systems 28 (2020) 2084–2088.
LibreCat
| DOI
L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large Scale Integration Systems 28 (2020) 2084–2088.
2020 | Journal Article | LibreCat-ID: 17369
Evolution of Application-Specific Cache Mappings
N. Ho, P. Kaufmann, M. Platzner, International Journal of Hybrid Intelligent Systems (2020).
LibreCat
N. Ho, P. Kaufmann, M. Platzner, International Journal of Hybrid Intelligent Systems (2020).
2020 | Conference Paper | LibreCat-ID: 17370
The Online Multi-Commodity Facility Location Problem
J. Castenow, B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020.
LibreCat
| Files available
| DOI
| arXiv
J. Castenow, B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020.
2020 | Conference Paper | LibreCat-ID: 17371
Brief Announcement: A Discrete and Continuous Study of the Max-Chain-Formation Problem: Slow Down to Speed up
J. Castenow, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020.
LibreCat
| Files available
| DOI
| arXiv
J. Castenow, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020.
2020 | Conference Paper | LibreCat-ID: 17398
Fog Seeding Strategies for Information-Centric Heterogeneous Vehicular Networks
I. Turcanu, T. Engel, C. Sommer, in: 2019 IEEE Vehicular Networking Conference (VNC), 2020.
LibreCat
| DOI
I. Turcanu, T. Engel, C. Sommer, in: 2019 IEEE Vehicular Networking Conference (VNC), 2020.
2020 | Conference Paper | LibreCat-ID: 17405
A reference process for the Smart Service business: development and practical implications
M. Frank, J. Gausemeier, N. Hennig-Cardinal von Widdern, C. Koldewey, J.S. Menzefricke, J. Reinhold, in: Proceedings of the ISPIM Connects, International Society for Professional Innovation Management (ISPIM), 2020.
LibreCat
M. Frank, J. Gausemeier, N. Hennig-Cardinal von Widdern, C. Koldewey, J.S. Menzefricke, J. Reinhold, in: Proceedings of the ISPIM Connects, International Society for Professional Innovation Management (ISPIM), 2020.
2020 | Conference Paper | LibreCat-ID: 17406
Scaling Digital Business Models: A Case from the Automotive Industry
J.-K. Becker, K. Joachim, C. Koldewey, J. Reinhold, R. Dumitrescu, in: Proceedings of the 2020 ISPIM Innovation Conference (Virtual) Event “Innovating in Times of Crisis,” ISPIM Innovation Conference, 2020.
LibreCat
J.-K. Becker, K. Joachim, C. Koldewey, J. Reinhold, R. Dumitrescu, in: Proceedings of the 2020 ISPIM Innovation Conference (Virtual) Event “Innovating in Times of Crisis,” ISPIM Innovation Conference, 2020.
2020 | Conference Paper | LibreCat-ID: 17407
Extreme Algorithm Selection with Dyadic Feature Representation
A. Tornede, M.D. Wever, E. Hüllermeier, in: Discovery Science, 2020.
LibreCat
A. Tornede, M.D. Wever, E. Hüllermeier, in: Discovery Science, 2020.
2020 | Conference Paper | LibreCat-ID: 17408
Hybrid Ranking and Regression for Algorithm Selection
J.M. Hanselle, A. Tornede, M.D. Wever, E. Hüllermeier, in: KI 2020: Advances in Artificial Intelligence, 2020.
LibreCat
J.M. Hanselle, A. Tornede, M.D. Wever, E. Hüllermeier, in: KI 2020: Advances in Artificial Intelligence, 2020.
2020 | Book Chapter | LibreCat-ID: 17411
Symmetry in Optimal Control: A Multiobjective Model Predictive Control Approach
K. Flaßkamp, S. Ober-Blöbaum, S. Peitz, in: O. Junge, O. Schütze, G. Froyland, S. Ober-Blöbaum, K. Padberg-Gehle (Eds.), Advances in Dynamics, Optimization and Computation, Springer, Cham, 2020.
LibreCat
| DOI
K. Flaßkamp, S. Ober-Blöbaum, S. Peitz, in: O. Junge, O. Schütze, G. Froyland, S. Ober-Blöbaum, K. Padberg-Gehle (Eds.), Advances in Dynamics, Optimization and Computation, Springer, Cham, 2020.
2020 | Conference Paper | LibreCat-ID: 17424
AutoML for Predictive Maintenance: One Tool to RUL Them All
T. Tornede, A. Tornede, M.D. Wever, F. Mohr, E. Hüllermeier, in: Proceedings of the ECMLPKDD 2020, 2020.
LibreCat
| DOI
T. Tornede, A. Tornede, M.D. Wever, F. Mohr, E. Hüllermeier, in: Proceedings of the ECMLPKDD 2020, 2020.
2020 | Preprint | LibreCat-ID: 17605 | 
Reliable Part-of-Speech Tagging of Historical Corpora through Set-Valued Prediction
S.H. Heid, M.D. Wever, E. Hüllermeier, Journal of Data Mining and Digital Humanities (n.d.).
LibreCat
| Download (ext.)
S.H. Heid, M.D. Wever, E. Hüllermeier, Journal of Data Mining and Digital Humanities (n.d.).
2020 | Conference Paper | LibreCat-ID: 17763 |
Sprachtechnologien für Digitale Assistenten
R. Haeb-Umbach, in: R. Böck, I. Siegert, A. Wendemuth (Eds.), Studientexte Zur Sprachkommunikation: Elektronische Sprachsignalverarbeitung 2020, TUDpress, Dresden, 2020, pp. 227–234.
LibreCat
| Download (ext.)
R. Haeb-Umbach, in: R. Böck, I. Siegert, A. Wendemuth (Eds.), Studientexte Zur Sprachkommunikation: Elektronische Sprachsignalverarbeitung 2020, TUDpress, Dresden, 2020, pp. 227–234.
2020 | Journal Article | LibreCat-ID: 17803 |
Light backscattering from large clusters of densely packed irregular particles
Y. Grynko, Y. Shkuratov, J. Förstner, Journal of Quantitative Spectroscopy and Radiative Transfer 255 (2020) 107234.
LibreCat
| Files available
| DOI
Y. Grynko, Y. Shkuratov, J. Förstner, Journal of Quantitative Spectroscopy and Radiative Transfer 255 (2020) 107234.
2020 | Preprint | LibreCat-ID: 17825
Cooperative Verification via Collective Invariant Generation
J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).
LibreCat
J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).
2020 | Conference (Editor) | LibreCat-ID: 17836
Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings
A. Werneck Richa, C. Scheideler, eds., Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings, Springer, 2020.
LibreCat
| DOI
A. Werneck Richa, C. Scheideler, eds., Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings, Springer, 2020.
2020 | Conference (Editor) | LibreCat-ID: 17839
SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020
C. Scheideler, M. Spear, eds., SPAA ’20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020, ACM, 2020.
LibreCat
| DOI
C. Scheideler, M. Spear, eds., SPAA ’20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020, ACM, 2020.
2020 | Book Chapter | LibreCat-ID: 18789
Opportunities of 3D Machine Learning for Manufacturability Analysis and Component Recognition in the Additive Manufacturing Process Chain
T. Nickchen, G. Engels, J. Lohn, in: Industrializing Additive Manufacturing, Cham, 2020.
LibreCat
| DOI
T. Nickchen, G. Engels, J. Lohn, in: Industrializing Additive Manufacturing, Cham, 2020.
2020 | Journal Article | LibreCat-ID: 18850
Recombination mechanisms of luminescence type gas sensors
M. Poeplau, S. Ester, B. Henning, T. Wagner, Physical Chemistry Chemical Physics (2020).
LibreCat
| DOI
M. Poeplau, S. Ester, B. Henning, T. Wagner, Physical Chemistry Chemical Physics (2020).
2020 | Conference Paper | LibreCat-ID: 18876 |
In-depth Analysis of the Effects of Smart Services on Value Creation
J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, E. Buss, in: Proceedings of the ISPIM Connects Bangkok – Partnering for an Innovative Community, LUT Scientific and Expertise Publications, 2020.
LibreCat
| Files available
J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, E. Buss, in: Proceedings of the ISPIM Connects Bangkok – Partnering for an Innovative Community, LUT Scientific and Expertise Publications, 2020.
2020 | Conference Paper | LibreCat-ID: 20305
Value-centered design of a digital service robotics platform
J.S. Menzefricke, M. Frank, M. Drewel, R. Dumitrescu, in: K. Mpofu, P. Butala (Eds.), Procedia CIRP, 2020, pp. 690–695.
LibreCat
J.S. Menzefricke, M. Frank, M. Drewel, R. Dumitrescu, in: K. Mpofu, P. Butala (Eds.), Procedia CIRP, 2020, pp. 690–695.
2020 | Conference Paper | LibreCat-ID: 20306
Towards Meta-Algorithm Selection
A. Tornede, M.D. Wever, E. Hüllermeier, in: Workshop MetaLearn 2020 @ NeurIPS 2020, 2020.
LibreCat
A. Tornede, M.D. Wever, E. Hüllermeier, in: Workshop MetaLearn 2020 @ NeurIPS 2020, 2020.
2020 | Conference Paper | LibreCat-ID: 20307
Identification of socio-technical changes caused by Industry 4.0
F. Schnasse, J.S. Menzefricke, S. Gabriel, D. Hobscheidt, M. Parlings, A. Kühn, R. Dumitrescu, in: Proceedings of the Hamburg International Conference of Logistics (HICL), 2020.
LibreCat
F. Schnasse, J.S. Menzefricke, S. Gabriel, D. Hobscheidt, M. Parlings, A. Kühn, R. Dumitrescu, in: Proceedings of the Hamburg International Conference of Logistics (HICL), 2020.
2020 | Conference Paper | LibreCat-ID: 20335
The Interdisciplinary Development of an Educational Game for Primary School Children--Lessons Learned
F. Winkelnkemper, C. Schulte, K. Eilerts, D. Bechinie, T. Huhmann, in: EdMedia+ Innovate Learning, 2020, pp. 522–529.
LibreCat
F. Winkelnkemper, C. Schulte, K. Eilerts, D. Bechinie, T. Huhmann, in: EdMedia+ Innovate Learning, 2020, pp. 522–529.
2020 | Conference Paper | LibreCat-ID: 20355
Aligning Strategy and Structure for Smart Service Businesses in Manufacturing
C. Koldewey, J. Gausemeier, N. Chohan, M. Frank, J. Reinhold, R. Dumitrescu, in: IEEE (Ed.), Proceedings of the IEEE International Conference on Technology Management, Operations and Decisions ”Disruptive Technologies and Social Impacts”, n.d.
LibreCat
C. Koldewey, J. Gausemeier, N. Chohan, M. Frank, J. Reinhold, R. Dumitrescu, in: IEEE (Ed.), Proceedings of the IEEE International Conference on Technology Management, Operations and Decisions ”Disruptive Technologies and Social Impacts”, n.d.
2020 | Journal Article | LibreCat-ID: 20363
Systematische Entwicklung von Normstrategien für Smart Services
C. Koldewey, M. Frank, J. Gausemeier, A. Bäsecke, J. Reinhold, R. Dumitrescu, ZWF Zeitschrift für wirtschaftliche Fabrikplanung 115 (2020) 524–528.
LibreCat
| DOI
C. Koldewey, M. Frank, J. Gausemeier, A. Bäsecke, J. Reinhold, R. Dumitrescu, ZWF Zeitschrift für wirtschaftliche Fabrikplanung 115 (2020) 524–528.
2020 | Book Chapter | LibreCat-ID: 20365
Planning a Smart Service Business Integrating External Partners
C. Koldewey, J. Reinhold, R. Dumitrescu, in: P.-J. Barlatier, A.-L. Mention (Eds.), Managing Digital Open Innovation, World Scientific Publishing Company, 2020, pp. 255–298.
LibreCat
| DOI
C. Koldewey, J. Reinhold, R. Dumitrescu, in: P.-J. Barlatier, A.-L. Mention (Eds.), Managing Digital Open Innovation, World Scientific Publishing Company, 2020, pp. 255–298.
2020 | Journal Article | LibreCat-ID: 20372
Light diffraction in slab waveguide lenses simulated with the stepwise angular spectrum method
L. Ebers, M. Hammer, J. Förstner, Optics Express 28 (2020) 36361.
LibreCat
| DOI
L. Ebers, M. Hammer, J. Förstner, Optics Express 28 (2020) 36361.
2020 | Journal Article | LibreCat-ID: 20447
Method for data inventory and classification
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, R. Dumitrescu, Procedia CIRP (2020) 234–239.
LibreCat
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, R. Dumitrescu, Procedia CIRP (2020) 234–239.
2020 | Journal Article | LibreCat-ID: 20448
Data-Driven Product Generation and Retrofit Planning
M. Meyer, M. Frank, M. Massmann, N. Wendt, R. Dumitrescu, Procedia CIRP (2020) 965–970.
LibreCat
M. Meyer, M. Frank, M. Massmann, N. Wendt, R. Dumitrescu, Procedia CIRP (2020) 965–970.
2020 | Journal Article | LibreCat-ID: 20449
Datengetriebene Steigerung der Verfügbarkeit
E. Uhlmann, R. Dumitrescu, J. Polte, M. Meyer, D. Simsek, Wt Werkstattstechnik Online 110 (2020) 532–535.
LibreCat
E. Uhlmann, R. Dumitrescu, J. Polte, M. Meyer, D. Simsek, Wt Werkstattstechnik Online 110 (2020) 532–535.
2020 | Journal Article | LibreCat-ID: 20450
Framework for Data Analytics in Data-Driven Product Planning
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, R. Dumitrescu, Procedia Manufacturing (2020).
LibreCat
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, R. Dumitrescu, Procedia Manufacturing (2020).
2020 | Conference Paper | LibreCat-ID: 20452
Combining Ideas and Artifacts: An Interaction-Focused View on Computing Education Using a Cybersecurity Example
L. Terfloth, L. Budde, C. Schulte, in: Association for Computing Machinery, New York, NY, USA, 2020.
LibreCat
| DOI
L. Terfloth, L. Budde, C. Schulte, in: Association for Computing Machinery, New York, NY, USA, 2020.
2020 | Mastersthesis | LibreCat-ID: 20495
A self stabilizing protocol for well-formed trees in hybrid networks
M. Jochmaring, A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks, 2020.
LibreCat
M. Jochmaring, A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks, 2020.
2020 | Journal Article | LibreCat-ID: 20507
A systematic literature review of model-driven security engineering for cyber–physical systems
J. Geismann, E. Bodden, Journal of Systems and Software 169 (2020) 110697.
LibreCat
| DOI
J. Geismann, E. Bodden, Journal of Systems and Software 169 (2020) 110697.
2020 | Journal Article | LibreCat-ID: 20508
Explaining Static Analysis with Rule Graphs
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
LibreCat
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
2020 | Conference Paper | LibreCat-ID: 20509
PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage
A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, E. Bodden, in: 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
LibreCat
| Download (ext.)
A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, E. Bodden, in: 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
2020 | Conference Paper | LibreCat-ID: 20510
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
LibreCat
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
2020 | Conference Paper | LibreCat-ID: 20511
Computation on Encrypted Data using Dataflow Authentication
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, in: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat
| Download (ext.)
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, in: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
2020 | Conference Paper | LibreCat-ID: 20512
CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs
S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
LibreCat
| Files available
S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
2020 | Dissertation | LibreCat-ID: 20513
CogniCrypt -- The Secure Integration of Cryptographic Software
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.
LibreCat
| Download (ext.)
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.
2020 | Conference Paper | LibreCat-ID: 20514
Model-driven engineering and usability evaluation of self-adaptive user interfaces
E. Yigitbas, in: ACM SIGWEB Newsletter, ACM, 2020.
LibreCat
| DOI
E. Yigitbas, in: ACM SIGWEB Newsletter, ACM, 2020.
2020 | Conference Paper | LibreCat-ID: 20518
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
LibreCat
| DOI
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
2020 | Dissertation | LibreCat-ID: 20521
Model-Driven Information Flow Security Engineering for Cyber-Physical Systems
C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, Paderborn University, 2020.
LibreCat
| DOI
C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, Paderborn University, 2020.
2020 | Book Chapter | LibreCat-ID: 20568 |
GEMINI-Modellierungssprache für Wertschöpfungssysteme
J. Reinhold, C. Koldewey, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide , Campus Verlag, Frankfurt am Main, 2020, pp. 52–56.
LibreCat
| Download (ext.)
J. Reinhold, C. Koldewey, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide , Campus Verlag, Frankfurt am Main, 2020, pp. 52–56.
2020 | Book Chapter | LibreCat-ID: 20570 |
GEMINI-Geschäftsmodellmuster-Kartenset
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 61–66.
LibreCat
| Download (ext.)
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 61–66.
2020 | Book Chapter | LibreCat-ID: 20571 |
Geschäftsmodellvalidierung
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 106–111.
LibreCat
| Download (ext.)
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 106–111.
2020 | Book Chapter | LibreCat-ID: 20573 |
Geschäftsmodell-Roadmapping
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 138–143.
LibreCat
| Download (ext.)
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 138–143.
2020 | Conference Paper | LibreCat-ID: 20695 |
Jointly Optimal Dereverberation and Beamforming
C. Boeddeker, T. Nakatani, K. Kinoshita, R. Haeb-Umbach, in: ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020.
LibreCat
| Files available
| DOI
C. Boeddeker, T. Nakatani, K. Kinoshita, R. Haeb-Umbach, in: ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020.
2020 | Conference Paper | LibreCat-ID: 20700 |
Towards a speaker diarization system for the CHiME 2020 dinner party transcription
C. Boeddeker, T. Cord-Landwehr, J. Heitkaemper, C. Zorila, D. Hayakawa, M. Li, M. Liu, R. Doddipatla, R. Haeb-Umbach, in: Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments, 2020.
LibreCat
| Files available
C. Boeddeker, T. Cord-Landwehr, J. Heitkaemper, C. Zorila, D. Hayakawa, M. Li, M. Liu, R. Doddipatla, R. Haeb-Umbach, in: Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments, 2020.
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: 20750
ReconROS: Flexible Hardware Acceleration for ROS2 Applications
C. Lienen, M. Platzner, B. Rinner, in: Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT), 2020.
LibreCat
C. Lienen, M. Platzner, B. Rinner, in: Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT), 2020.
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: 20834
Machine learning for human learners: opportunities, issues, tensions and threats
M.E. Webb, A. Fluck, J. Magenheim, J. Malyn-Smith, J. Waters, M. Deschênes , J. Zagami, Educational Technology Research and Development (2020) 1–22.
LibreCat
| DOI
M.E. Webb, A. Fluck, J. Magenheim, J. Malyn-Smith, J. Waters, M. Deschênes , J. Zagami, Educational Technology Research and Development (2020) 1–22.
2020 | Journal Article | LibreCat-ID: 20835
< Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik
J. Magenheim, MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 37 (2020) 139–163.
LibreCat
| DOI
J. Magenheim, MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 37 (2020) 139–163.
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 | Journal Article | LibreCat-ID: 20888
A Complexity Theoretical Study of Fuzzy K-Means
J. Blömer, S. Brauer, K. Bujna, ACM Transactions on Algorithms 16 (2020) 1–25.
LibreCat
| DOI
J. Blömer, S. Brauer, K. Bujna, ACM Transactions on Algorithms 16 (2020) 1–25.
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 | 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 | Preprint | LibreCat-ID: 18017
Online Preselection with Context Information under the Plackett-Luce Model
A. El Mesaoudi-Paul, V. Bengs, E. Hüllermeier, ArXiv:2002.04275 (n.d.).
LibreCat
A. El Mesaoudi-Paul, V. Bengs, E. Hüllermeier, ArXiv:2002.04275 (n.d.).
2020 | Conference Paper | LibreCat-ID: 18021
Experiencing and Programming the ENIAC in VR
E. Yigitbas, C.B. Tejedor, G. Engels, in: Proceedings of the Mensch Und Computer 2020 (MuC ’20), 2020.
LibreCat
E. Yigitbas, C.B. Tejedor, G. Engels, in: Proceedings of the Mensch Und Computer 2020 (MuC ’20), 2020.
2020 | Conference Paper | LibreCat-ID: 18022
UCAI 2020 - 1st International Workshop on User-Centered Artificial Intelligence
M. Augstein, D. Buschek, E. Herder, B. Loepp, E. Yigitbas, J. Ziegler, in: Proceedings of the Mensch Und Computer 2020 (MuC ’20), ACM, 2020.
LibreCat
M. Augstein, D. Buschek, E. Herder, B. Loepp, E. Yigitbas, J. Ziegler, in: Proceedings of the Mensch Und Computer 2020 (MuC ’20), ACM, 2020.
2020 | Conference Paper | LibreCat-ID: 18038
QSGG: query simulation in grammar-compressed graphs
S. Böttcher, R. Hartel, S. Peeters, in: Proceedings of The International Workshop on Semantic Big Data, 2020.
LibreCat
| DOI
S. Böttcher, R. Hartel, S. Peeters, in: Proceedings of The International Workshop on Semantic Big Data, 2020.
2020 | Conference Paper | LibreCat-ID: 18039
Pattern Search in Grammar-Compressed Graphs
S. Böttcher, R. Hartel, S. Peeters, in: 2020 Data Compression Conference (DCC) (Poster), 2020.
LibreCat
| DOI
S. Böttcher, R. Hartel, S. Peeters, in: 2020 Data Compression Conference (DCC) (Poster), 2020.
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 | Bachelorsthesis | LibreCat-ID: 18085
Distributed Key Generation for Attribute-Based Signatures
J. Heimann, Distributed Key Generation for Attribute-Based Signatures, 2020.
LibreCat
J. Heimann, Distributed Key Generation for Attribute-Based Signatures, 2020.
2020 | Conference Paper | LibreCat-ID: 18109
VR Training for Warehouse Management
E. Yigitbas, I. Jovanovikj, J. Scholand, G. Engels, in: Proceedings of the 26th ACM Symposium on Virtual Reality Software and Technology (VRST), ACM, 2020.
LibreCat
E. Yigitbas, I. Jovanovikj, J. Scholand, G. Engels, in: Proceedings of the 26th ACM Symposium on Virtual Reality Software and Technology (VRST), ACM, 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 | Journal Article | LibreCat-ID: 18350
Framework and Functionality Patterns for Smart Service Innovation
C. Koldewey, M. Meyer, P. Stockbrügger, R. Dumitrescu, J. Gausemeier, Procedia CIRP (2020) 851–857.
LibreCat
| DOI
C. Koldewey, M. Meyer, P. Stockbrügger, R. Dumitrescu, J. Gausemeier, Procedia CIRP (2020) 851–857.
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.
2020 | Bachelorsthesis | LibreCat-ID: 18639
Enhancing Security by Usage of Universal One-Way Hash Functions
T. Terfort, Enhancing Security by Usage of Universal One-Way Hash Functions, Universität Paderborn, 2020.
LibreCat
T. Terfort, Enhancing Security by Usage of Universal One-Way Hash Functions, Universität Paderborn, 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 | Conference Paper | LibreCat-ID: 23376
SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods
G. Piskachev, L. Nguyen Quang Do, O. Johnson, E. Bodden, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020.
LibreCat
| DOI
G. Piskachev, L. Nguyen Quang Do, O. Johnson, E. Bodden, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020.
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 | Journal Article | LibreCat-ID: 21819 |
Kernel-Based Approximation of the Koopman Generator and Schrödinger Operator
S. Klus, F. Nüske, B. Hamzi, Entropy (2020).
LibreCat
| DOI
| Download (ext.)
S. Klus, F. Nüske, B. Hamzi, Entropy (2020).
2020 | Conference Paper | LibreCat-ID: 7283
Extractive Snippet Generation for Arguments
M. Alshomary, N. Düsterhus, H. Wachsmuth, in: Proceedings of 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2020, pp. 1969–1972.
LibreCat
| Files available
M. Alshomary, N. Düsterhus, H. Wachsmuth, in: Proceedings of 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2020, pp. 1969–1972.
2020 | Conference Paper | LibreCat-ID: 16487 |
Privacy-Preserving Incentive Systems with Highly Efficient Point-Collection
J. Bobolz, F. Eidens, S. Krenn, D. Slamanig, C. Striecks, in: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20), ACM, New York, NY, USA, 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
J. Bobolz, F. Eidens, S. Krenn, D. Slamanig, C. Striecks, in: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20), ACM, New York, NY, USA, 2020.
2020 | Journal Article | LibreCat-ID: 16570
Challenges in Model-Driven Development of Multi-Platform Augmented Reality Applications
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, Softwaretechnik-Trends, Proceedings of the 22st Workshop Software-Reengineering & Evolution (WSRE) & 11h Workshop Design for Future (DFF) (2020).
LibreCat
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, Softwaretechnik-Trends, Proceedings of the 22st Workshop Software-Reengineering & Evolution (WSRE) & 11h Workshop Design for Future (DFF) (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: 16726
Dynamic Provisioning of Network Services on Heterogeneous Resources
H. Razzaghi Kouchaksaraei, A.P. Shivarpatna Venkatesh, A. Churi, M. Illian, H. Karl, in: European Conference on Networks and Communications (EUCNC 2020), n.d.
LibreCat
H. Razzaghi Kouchaksaraei, A.P. Shivarpatna Venkatesh, A. Churi, M. Illian, H. Karl, in: European Conference on Networks and Communications (EUCNC 2020), n.d.
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: 16933 |
Hypothesis-driven Adaptation of Business Models based on Product Line Engineering
S. Gottschalk, F. Rittmeier, G. Engels, in: Proceedings of the 22nd IEEE International Conference on Business Informatics, IEEE, 2020.
LibreCat
| Files available
| DOI
S. Gottschalk, F. Rittmeier, G. Engels, in: Proceedings of the 22nd IEEE International Conference on Business Informatics, IEEE, 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 | Journal Article | LibreCat-ID: 16964
Das Kompetenzzentrum Hochschuldidaktik Mathematik (khdm)
R. Hochmuth, M. Liebendörfer, R. Biehler, A. Eichler, Neues Handbuch Hochschullehre 95 (2020) 117–138.
LibreCat
R. Hochmuth, M. Liebendörfer, R. Biehler, A. Eichler, Neues Handbuch Hochschullehre 95 (2020) 117–138.
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: 17063
An Adaption Mechanism for the Error Threshold of XCSF
T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2020, pp. 1756–1764.
LibreCat
| DOI
T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2020, pp. 1756–1764.
2020 | Conference Paper | LibreCat-ID: 17082
Coflow Scheduling with Performance Guarantees for Data Center Applications
A. Hasnain, H. Karl, in: 2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID), IEEE Computer Society, 2020.
LibreCat
| DOI
| Download (ext.)
A. Hasnain, H. Karl, in: 2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID), IEEE Computer Society, 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: 17089 |
Increasing the sensitivity in the determination of material parameters by using arbitrary loads in ultrasonic transmission measurements
D. Dreiling, D.T. Itner, N. Feldmann, H. Gravenkamp, B. Henning, in: AMA Service GmbH, 2020.
LibreCat
| DOI
| Download (ext.)
D. Dreiling, D.T. Itner, N. Feldmann, H. Gravenkamp, B. Henning, in: AMA Service GmbH, 2020.
2020 | Journal Article | LibreCat-ID: 17092
Dynamic Reliability Management for FPGA-Based Systems
J. Anwer, S. Meisner, M. Platzner, International Journal of Reconfigurable Computing (2020) 1–19.
LibreCat
| DOI
J. Anwer, S. Meisner, M. Platzner, International Journal of Reconfigurable Computing (2020) 1–19.
2020 | Journal Article | LibreCat-ID: 10596
Pareto Explorer: a global/local exploration tool for many-objective optimization problems
O. Schütze, O. Cuate, A. Martín, S. Peitz, M. Dellnitz, Engineering Optimization 52 (2020) 832–855.
LibreCat
| DOI
O. Schütze, O. Cuate, A. Martín, S. Peitz, M. Dellnitz, Engineering Optimization 52 (2020) 832–855.
2020 | Journal Article | LibreCat-ID: 10790
How well do SEM algorithms imitate EM algorithms? A non-asymptotic analysis for mixture models
J. Blömer, S. Brauer, K. Bujna, D. Kuntze, Advances in Data Analysis and Classification 14 (2020) 147–173.
LibreCat
| DOI
J. Blömer, S. Brauer, K. Bujna, D. Kuntze, Advances in Data Analysis and Classification 14 (2020) 147–173.