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.

9783 Publications


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
 

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
 

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
 

2020 | Preprint | LibreCat-ID: 17605 | OA
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.)
 

2020 | Conference Paper | LibreCat-ID: 17763 | OA
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.)
 

2020 | Journal Article | LibreCat-ID: 17803 | OA
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
 

2020 | Preprint | LibreCat-ID: 17825
Cooperative Verification via Collective Invariant Generation
J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).
LibreCat
 

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
 

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
 

2020 | Book Chapter | LibreCat-ID: 18789 LibreCat | DOI
 

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
 

2020 | Conference Paper | LibreCat-ID: 18876 | OA
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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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.)
 

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.)
 

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
 

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.)
 

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
 

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.)
 

2020 | Conference Paper | LibreCat-ID: 20514 LibreCat | DOI
 

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
 

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
 

2020 | Book Chapter | LibreCat-ID: 20568 | OA
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.)
 

2020 | Book Chapter | LibreCat-ID: 20570 | OA
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.)
 

2020 | Book Chapter | LibreCat-ID: 20571 | OA
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.)
 

2020 | Book Chapter | LibreCat-ID: 20573 | OA
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.)
 

2020 | Conference Paper | LibreCat-ID: 20695 | OA
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
 

2020 | Conference Paper | LibreCat-ID: 20700 | OA
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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed