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.

21702 Publications


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 | Book Chapter | LibreCat-ID: 20515
Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems
I. Gräßler, E. Bodden, J. Pottebaum, J. Geismann, D. Roesmann, in: Advances in Intelligent Systems and Computing, Cham, 2020.
LibreCat | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20516
Cutting through the Jungle: Disambiguating Model-based Traceability Terminology
J. Holtmann, J.-P. Steghofer, M. Rath, D. Schmelter, in: 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020.
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 | Journal Article | LibreCat-ID: 20563
Strongly nonresonant four-wave mixing in semiconductors
W.-R. Hannes, A. Trautmann, M. Stein, F. Sch\, M. Koch, T. Meier, Phys. Rev. B 101 (2020) 075203.
LibreCat | DOI
 

2020 | Conference Abstract | LibreCat-ID: 20567
Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile
M. Otroshi, G. Meschut, L. Masendorf, A. Esderts, in: 2020.
LibreCat
 

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: 20569
Der männliche Gott. Bibel- und Gesellschaftskritik in der Tradition der Philosophinnen der frühen Neuzeit.
R. Hagengruber, in: W.J. Hoye (Ed.), Männlich, weiblich, divers? Philosophische Anthropologie der Geschlechter. , Josef Pieper Stiftung , Münster, 2020, pp. 27–59.
LibreCat
 

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 | Journal Article | LibreCat-ID: 20644
Nanoantennas embedded in zinc oxide for second harmonic generation enhancement
R. Volmert, N. Weber, C. Meier, Journal of Applied Physics 128 (2020).
LibreCat | DOI | WoS
 

2020 | Conference Paper | LibreCat-ID: 20647
Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, A. Stalling, J. Ihde, B. Mayer, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 97–98.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20650
Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile
V. Aßmuth, D. Teutenberg, G. Meschut, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 99–101.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20652
Lokales Konzept zur Auslegung von elastischen Klebverbindungen (LoKAl)
V. Aßmuth, D. Teutenberg, G. Meschut, J. Philipp, E. Stammen, K. Dilger, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 85–87.
LibreCat
 

2020 | Book | LibreCat-ID: 20655
Auslegungsmethode für zyklisch beanspruchte Stahl/CFK-Klebverbindungen unter besonderer Berücksichtigung des Rissfortschritts
J. Kowatz, D. Teutenberg, G. Meschut, Auslegungsmethode für zyklisch beanspruchte Stahl/CFK-Klebverbindungen unter besonderer Berücksichtigung des Rissfortschritts, Forschungsvereinigung Stahlanwendung e. V., Düsseldorf, n.d.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20673
Aktivieren für robuste Klebprozesse - Wie lange sind plasmaaktivierte Polymeroberflächen offen?
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, J. Ihde, B. Mayer, Plastverarbeiter 71 (2020) 22–25.
LibreCat | Files available
 

2020 | Book | LibreCat-ID: 20674
Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, J. Ihde, B. Mayer, Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse, DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. , Frankfurt am Main, 2020.
LibreCat
 

2020 | Book | LibreCat-ID: 20676
Analyse rezepturabhängiger und alterungsbedingter Enthaftungserscheinungen geklebter SMC-Bauteile
V. Aßmuth, D. Teutenberg, G. Meschut, Analyse rezepturabhängiger und alterungsbedingter Enthaftungserscheinungen geklebter SMC-Bauteile, DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V., Frankfurt am Main, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20682
Understanding gray track formation in KTP: $\mathrmTi^3+$ centers studied from first principles
A. Bocchini, C. Eigner, C. Silberhorn, W.G. Schmidt, U. Gerstmann, Phys. Rev. Materials 4 (2020) 124402.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20690 LibreCat
 

2020 | Journal Article | LibreCat-ID: 20691
Stress state dependent damage modeling of self-pierce riveting process simulation using GISSMO damage model
M. Otroshi, M.S. Rossel, G. Meschut, Journal of Advanced Joining Processes (2020).
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 20701
Asteroid: The PyTorch-Based Audio Source Separation Toolkit for Researchers
M. Pariente, S. Cornell, J. Cosentino, S. Sivasankaran, E. Tzinis, J. Heitkaemper, M. Olvera, F.-R. Stöter, M. Hu, J.M. Martín-Doñas, D. Ditter, A. Frank, A. Deleforge, E. Vincent, in: Interspeech 2020, 2020.
LibreCat | DOI
 

2020 | Special Issue | LibreCat-ID: 20703
Orientierungen in der digitalen Welt
Orientierungen in Der Digitalen Welt, 2020.
LibreCat | DOI
 

2020 | Book (Editor) | LibreCat-ID: 20705 | OA
Orientierungen in der digitalen Welt
B. Herzig, T.-M. Klar, A. Martin, D. Meister, eds., Orientierungen in der digitalen Welt, 2020.
LibreCat | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 20707
Editorial: Orientierungen in der digitalen Welt
B. Herzig, T.-M. Klar, A. Martin, D.M. Meister, Orientierungen in Der Digitalen Welt (2020) i–vii.
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 20723 LibreCat
 

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: 20753 | OA
Forward-Backward Convolutional Recurrent Neural Networks and Tag-Conditioned Convolutional Neural Networks for Weakly Labeled Semi-Supervised Sound Event Detection
J. Ebbers, R. Haeb-Umbach, in: Proceedings of the Detection and Classification of Acoustic Scenes and Events 2020 Workshop (DCASE2020), 2020.
LibreCat | Files available
 

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 | Journal Article | LibreCat-ID: 20772
Enhanced high-order harmonic generation in semiconductors by excitation with multicolor pulses
X. Song, S. Yang, R. Zuo, T. Meier, W. Yang, Physical Review A 101 (2020).
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20773
Accurate photon echo timing by optical freezing of exciton dephasing and rephasing in quantum dots
A.N. Kosarev, H. Rose, S.V. Poltavtsev, M. Reichelt, C. Schneider, M. Kamp, S. Höfling, M. Bayer, T. Meier, I.A. Akimov, Communications Physics 3 (2020).
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20808
DeepWind: An Accurate Wind Turbine Condition Monitoring Framework via Deep Learning on Embedded Platforms
H. Ghasemzadeh Mohammadi, R. Arshad, S. Rautmare, S. Manjunatha, M. Kuschel, F.P. Jentzsch, M. Platzner, A. Boschmann, D. Schollbach, in: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20812
Injectivity of the inverse optimal control problem for control-affine systems
F. Jean, S. Maslovskaya, in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2020.
LibreCat | DOI
 

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
 

2020 | Journal Article | LibreCat-ID: 20836
Data science education
J. Magenheim, C. Schulte, Encyclopedia of Education and Information Technologies. Cham: Springer (2020).
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20838
MigHEFT: DAG-based Scheduling of Migratable Tasks on Heterogeneous Compute Nodes
A. Loesch, M. Platzner, in: 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2020.
LibreCat | DOI
 

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
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed