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
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, and A. Zeller, “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis,” 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20511
A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Dataflow Authentication,” 2020.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20512
S. Krüger, K. Ali, and E. Bodden, “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs,” in International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
LibreCat | Files available
 

2020 | Dissertation | LibreCat-ID: 20513
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn, 2020.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20514
E. Yigitbas, “Model-driven engineering and usability evaluation of self-adaptive user interfaces,” in ACM SIGWEB Newsletter, 2020.
LibreCat | DOI
 

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

2020 | Conference Paper | LibreCat-ID: 20516
J. Holtmann, J.-P. Steghofer, M. Rath, and D. Schmelter, “Cutting through the Jungle: Disambiguating Model-based Traceability Terminology,” in 2020 IEEE 28th International Requirements Engineering Conference (RE), 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: 10.1145/3365438.3410946.
LibreCat | DOI
 

2020 | Dissertation | LibreCat-ID: 20521
C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems. Paderborn University, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20563
W.-R. Hannes, A. Trautmann, M. Stein, F. Sch\, M. Koch, and T. Meier, “Strongly nonresonant four-wave mixing in semiconductors,” Phys. Rev. B, vol. 101, p. 075203, 2020.
LibreCat | DOI
 

2020 | Conference Abstract | LibreCat-ID: 20567
M. Otroshi, G. Meschut, L. Masendorf, and A. Esderts, “Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile,” presented at the 10. Fügetechnisches Gemeinschaftskolloquium , Rostock, Germany, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 20568 | OA
J. Reinhold, C. Koldewey, and R. Dumitrescu, “GEMINI-Modellierungssprache für Wertschöpfungssysteme,” in Der Geschäftsmodell-Toolguide , B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 52–56.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20569
R. Hagengruber, “Der männliche Gott. Bibel- und Gesellschaftskritik in der Tradition der Philosophinnen der frühen Neuzeit.,” in Männlich, weiblich, divers? Philosophische Anthropologie der Geschlechter. , W. J. Hoye, Ed. Münster: Josef Pieper Stiftung , 2020, pp. 27–59.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 20570 | OA
C. Koldewey, J. Reinhold, and R. Dumitrescu, “GEMINI-Geschäftsmodellmuster-Kartenset,” in Der Geschäftsmodell-Toolguide, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 61–66.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20571 | OA
C. Koldewey, J. Reinhold, and R. Dumitrescu, “Geschäftsmodellvalidierung,” in Der Geschäftsmodell-Toolguide, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 106–111.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20573 | OA
C. Koldewey, J. Reinhold, and R. Dumitrescu, “Geschäftsmodell-Roadmapping,” in Der Geschäftsmodell-Toolguide, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 138–143.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 20644
R. Volmert, N. Weber, and C. Meier, “Nanoantennas embedded in zinc oxide for second harmonic generation enhancement,” Journal of Applied Physics, vol. 128, no. 4, 2020.
LibreCat | DOI | WoS
 

2020 | Conference Paper | LibreCat-ID: 20647
V. Aßmuth et al., “Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas,” in 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, Würzburg, 2020, pp. 97–98.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20650
V. Aßmuth, D. Teutenberg, and G. Meschut, “Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile,” in 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, Würzburg, 2020, pp. 99–101.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20652
V. Aßmuth, D. Teutenberg, G. Meschut, J. Philipp, E. Stammen, and K. Dilger, “Lokales Konzept zur Auslegung von elastischen Klebverbindungen (LoKAl),” in 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, Würzburg, 2020, pp. 85–87.
LibreCat
 

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

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

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

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

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

2020 | Journal Article | LibreCat-ID: 20690
R. Hagengruber, “Pressure on Enlightenment. Bible Critics from Nogarola to Du Châtelet.,” dianoia , vol. 31, no. XXV, pp. 331–353, 2020.
LibreCat
 

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

2020 | Conference Paper | LibreCat-ID: 20695 | OA
C. Boeddeker, T. Nakatani, K. Kinoshita, and R. Haeb-Umbach, “Jointly Optimal Dereverberation and Beamforming,” 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
C. Boeddeker et al., “Towards a speaker diarization system for the CHiME 2020 dinner party transcription,” in Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments, 2020.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20701
M. Pariente et al., “Asteroid: The PyTorch-Based Audio Source Separation Toolkit for Researchers,” in Interspeech 2020, 2020.
LibreCat | DOI
 

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

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

2020 | Journal Article | LibreCat-ID: 20707
B. Herzig, T.-M. Klar, A. Martin, and D. M. Meister, “Editorial: Orientierungen in der digitalen Welt,” Orientierungen in der digitalen Welt, pp. i–vii, 2020.
LibreCat | DOI
 

2020 | Report | LibreCat-ID: 20712
P. Schubert, E. Bodden, and 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
M. Ivanjko and G. Meschut, “Einsatzgrenzenerweiterung und Flexibilitätssteigerung von einseitig wirkenden mechanischen Fügeverfahren durch prozessintegrierte Fügeteilerwärmung für den stahlintensiven Leichtbau,” in 10. Fügetechnisches Gemeinschaftskolloquium, 2020.
LibreCat
 

2020 | Preprint | LibreCat-ID: 20748
L. M. Witschen, T. Wiersema, and M. Platzner, “Search Space Characterization for AxC Synthesis,” Fifth Workshop on Approximate Computing (AxC 2020). .
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20750
C. Lienen, M. Platzner, and B. Rinner, “ReconROS: Flexible Hardware Acceleration for ROS2 Applications,” in Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20753 | OA
J. Ebbers and R. Haeb-Umbach, “Forward-Backward Convolutional Recurrent Neural Networks and Tag-Conditioned Convolutional Neural Networks for Weakly Labeled Semi-Supervised Sound Event Detection,” 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
M. Feldmann, K. Hinnenthal, and C. Scheideler, “Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs,” in Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), 2020.
LibreCat | Files available | DOI | arXiv
 

2020 | Journal Article | LibreCat-ID: 20772
X. Song, S. Yang, R. Zuo, T. Meier, and W. Yang, “Enhanced high-order harmonic generation in semiconductors by excitation with multicolor pulses,” Physical Review A, vol. 101, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20773
A. N. Kosarev et al., “Accurate photon echo timing by optical freezing of exciton dephasing and rephasing in quantum dots,” Communications Physics, vol. 3, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20808
H. Ghasemzadeh Mohammadi et al., “DeepWind: An Accurate Wind Turbine Condition Monitoring Framework via Deep Learning on Embedded Platforms,” in 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020.
LibreCat | DOI
 

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

2020 | Bachelorsthesis | LibreCat-ID: 20820
S. Thiele, Implementing Machine Learning Functions as PYNQ FPGA Overlays. 2020.
LibreCat
 

2020 | Mastersthesis | LibreCat-ID: 20821
V. Jaganath, Extension and Evaluation of Python-based High-Level Synthesis Tool Flows. 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20834
M. E. Webb et al., “Machine learning for human learners: opportunities, issues, tensions and threats,” Educational Technology Research and Development, pp. 1–22, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20835
J. Magenheim, “< Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik,” MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, vol. 37, pp. 139–163, 2020.
LibreCat | DOI
 

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

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

2020 | Book Chapter | LibreCat-ID: 20840
C. Schulte, L. Budde, and F. Winkelnkemper, “Programmieren - Lehren und Lernen mit und über Medien,” in Mobile Medien im Schulkontext, Springer, 2020, pp. 215–240.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed