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.

9562 Publications


2023 | Preprint | LibreCat-ID: 32447 | OA
Sonntag, Konstantin, and Sebastian Peitz. “Fast Convergence of Inertial Multiobjective Gradient-like Systems with Asymptotic Vanishing Damping.” ArXiv:2307.00975, 2023.
LibreCat | Download (ext.) | arXiv
 

2023 | Preprint | LibreCat-ID: 46578 | OA
Bernreuther, Marco, et al. “Multiobjective Optimization of Non-Smooth PDE-Constrained Problems.” ArXiv:2308.01113, 2023.
LibreCat | Download (ext.) | arXiv
 

2023 | Conference Paper | LibreCat-ID: 44849 | OA
Rautenberg, Frederik, et al. “Speech Disentanglement for Analysis and Modification of Acoustic and Perceptual Speaker Characteristics.” Fortschritte Der Akustik - DAGA 2023, 2023, pp. 1409–12.
LibreCat | Files available | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 44146
Khedkar, Mugdha. “Static Analysis for Android GDPR Compliance Assurance.” Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), doi:10.1109/ICSE-Companion58688.2023.00054.
LibreCat | Files available | DOI | arXiv
 

2023 | Mastersthesis | LibreCat-ID: 52317
Beckendorf, Björn. Self-Stabilizing Skip-Graph with Growth-Bounded Metric. 2023.
LibreCat
 

2023 | Journal Article | LibreCat-ID: 46248 | OA
Demir, Caglar, et al. “LitCQD: Multi-Hop Reasoning in Incomplete Knowledge Graphs with Numeric Literals.” ECML PKDD, 2023.
LibreCat | Files available
 

2023 | Conference Paper | LibreCat-ID: 52369
Fichtler, Timm, et al. “Towards a Data-Driven Product Management – Concepts, Advantages, and Future Research.” 2023 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD), IEEE, 2023, doi:10.1109/ictmod59086.2023.10438135.
LibreCat | DOI
 

2023 | Conference Abstract | LibreCat-ID: 52370
Vernholz, Mats. “Academic Self-Concepts of Pre-Service Technology Teachers for Vocational Education in Germany According to the TPACK- Model.” Living and Leading in the Next Era: Connecting Teaching, Research, Citizenship and Equity, edited by Loredana Perla et al., Pensa Multimedia, 2023.
LibreCat | Files available
 

2023 | Misc | LibreCat-ID: 47540
Knorr, Lukas, et al. Economic Integration of a High-Temperature Heat Pump with Flexible Part-Load Operation. 2023.
LibreCat
 

2023 | Bachelorsthesis | LibreCat-ID: 52480
Klassen, Alexander. Fast Partial Reconfiguration for ReconOS64 on Xilinx MPSoC Devices. 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 52530
Prager, Raphael Patrick, and Heike Trautmann. “Investigating the Viability of Existing Exploratory Landscape Analysis Features for Mixed-Integer Problems.” Companion Proceedings of the Conference on Genetic and Evolutionary Computation, GECCO 2023, Companion Volume, Lisbon, Portugal, July 15-19, 2023, edited by Sara Silva and Luís Paquete, ACM, 2023, pp. 451–454, doi:10.1145/3583133.3590757.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 48898
Seiler, Moritz Vinzent, et al. “Using Reinforcement Learning for Per-Instance Algorithm Configuration on the TSP.” 2023 IEEE Symposium Series on Computational Intelligence (SSCI), pp. 361–68, doi:10.1109/SSCI52147.2023.10372008.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 52662
Nachtigall, Marcus, et al. “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale.” Software Engineering 2023, Gesellschaft für Informatik e.V., 2023, pp. 95–96.
LibreCat | Download (ext.)
 

2023 | Book Chapter | LibreCat-ID: 52660
Schlichtig, Michael, et al. “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification.” Software Engineering 2023, Gesellschaft für Informatik e.V., 2023, pp. 105–106.
LibreCat | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 34803
Celledoni, Elena, et al. “Deep Neural Networks on Diffeomorphism Groups for Optimal Shape Reparametrization.” BIT Numerical Mathematics, vol. 63, 50, Springer, 2023, doi:10.1007/s10543-023-00989-05.
LibreCat | DOI | arXiv
 

2023 | Journal Article | LibreCat-ID: 34793
Glöckner, Helge, and Joachim Hilgert. “Aspects of Control Theory on Infinite-Dimensional Lie Groups and G-Manifolds.” Journal of Differential Equations, vol. 343, 2023, pp. 186–232, doi:10.1016/j.jde.2022.10.001.
LibreCat | DOI | arXiv
 

2023 | Journal Article | LibreCat-ID: 34805
Glöckner, Helge. “Diffeomorphism Groups of Convex Polytopes.” Journal of Convex Analysis, vol. 30, no. 1, Heldermann, 2023, pp. 343–58.
LibreCat | arXiv
 

2023 | Journal Article | LibreCat-ID: 34801
Glöckner, Helge, and Luis Tárrega. “Mapping Groups Associated with Real-Valued Function Spaces and Direct Limits of Sobolev-Lie Groups .” Journal of Lie Theory, vol. 33, no. 1, Heldermann, 2023, pp. 271–96.
LibreCat | arXiv
 

2023 | Journal Article | LibreCat-ID: 46264
Sadeghi-Kohan, Somayeh, et al. “Workload-Aware Periodic Interconnect BIST.” IEEE Design &Test, Institute of Electrical and Electronics Engineers (IEEE), 2023, pp. 1–1, doi:10.1109/mdat.2023.3298849.
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 45830
Jafarzadeh, Hanieh, et al. “Robust Pattern Generation for Small Delay Faults under Process Variations.” IEEE International Test Conference (ITC’23), Anaheim, USA, October 2023, IEEE, 2023.
LibreCat
 

2023 | Book (Editor) | LibreCat-ID: 45191
Gräßler, Iris, et al., editors. The Digital Twin of Humans. Springer International Publishing, 2023, doi:10.1007/978-3-031-26104-6.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 52806
Gilbert, H., et al. “Post-Pandemic Online Mathematics and Statistics Support: Practitioners’ Opinions in Germany and Great Britain & Ireland.” International Journal of Mathematical Education in Science and Technology, Informa UK Limited, 2023, pp. 1–26, doi:10.1080/0020739x.2023.2184282.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 52811
Biehler, Rolf, et al. “Fachdidaktisches Design von Begründungsvideos Im Projekt StudiVEMINTvideos.” Beiträge Zum Mathematikunterricht 2022. 56. Jahrestagung Der Gesellschaft Für Didaktik Der Mathematik, edited by IDMI-Primar Goethe-Universität Frankfur, vol. 1, WTM, 2023, pp. 407–410, doi:10.37626/GA9783959872089.0.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 52810
Göller, Robin, et al. “Erfassung Und Vergleich (Mathematischer) Eingangsvoraussetzungen Angehender Studierender Verschiedener Mathematikhaltiger Studiengänge.” Hanse-Kolloquium Zur Hochschuldidaktik Der Mathematik 2021. Beiträge Zum Gleichnamigen Online-Symposium Am 12 November 2021 Aus Bochum, edited by Jörg Härterich et al., WTM, 2023, pp. 66–80.
LibreCat
 

2023 | Book Chapter | LibreCat-ID: 52809
Kempen, Leander, and Michael Liebendörfer. “Zu Digital - Zu Viel - Zu Schwer? Qualitative Einsichten in Das Erleben Und Handeln von Erstsemester-Studierenden Der Mathematik Während Der Corona-Pandemie.” Hanse-Kolloquium Zur Hochschuldidaktik Der Mathematik 2021. Beiträge Zum Gleichnamigen Online-Symposium Am 12 November 2021 Aus Bochum, edited by Jörg Härterich et al., WTM, 2023, pp. 91–106.
LibreCat
 

2023 | Book Chapter | LibreCat-ID: 52813
Schlüter, Sarah, and Michael Liebendörfer. “Bearbeitungsmuster von Studierenden Im Umgang Mit Formalen Definitionen Im Kontext Konstanter Folgen.” Beiträge Zum Mathematikunterricht 2022. 56. Jahrestagung Der Gesellschaft Für Didaktik Der Mathematik, edited by IDMI-Primar Goethe-Universität Frankfur, vol. 2, WTM, 2023, pp. 1177–1180, doi:10.37626/GA9783959872089.0.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 52812
Krämer, Sandra, and Michael Liebendörfer. “Förderung Prozeduraler Flexibilität Durch Lernvideos Mit Interaktiven Aufgaben.” Beiträge Zum Mathematikunterricht 2022. 56. Jahrestagung Der Gesellschaft Für Didaktik Der Mathematik, edited by IDMI-Primar Goethe-Universität Frankfur, vol. 2, WTM, 2023, pp. 949–952, doi:10.37626/GA9783959872089.0.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 52807
Preservice Teachers’ Mathematics-Related Values and Expectancy in the Transition from School to University. 2023, doi:10.48489/QUADRANTE.31191.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara, Igor, and Anni-Yasmin Turhan. “Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models.” Logics in Artificial Intelligence, Springer Nature Switzerland, 2023, doi:10.1007/978-3-031-43619-2_36.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 52861
Gil, Oliver Fernández, et al. “Optimal Alignment of Temporal Knowledge Bases.” CoRR, vol. abs/2307.15439, 2023, doi:10.48550/ARXIV.2307.15439.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 52863
Ŝkvorc, Urban, et al. “Analyzing the Generalizability of Automated Algorithm Selection: A Case Study for Numerical Optimization.” 2023 IEEE Symposium Series on Computational Intelligence (SSCI), IEEE, 2023, doi:10.1109/ssci52147.2023.10371868.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 52913
Turhan, Anni-Yasmin. “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk).” Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, edited by Oliver Kutz et al., vol. 3515, CEUR-WS.org, 2023.
LibreCat
 

2022 | Book Chapter | LibreCat-ID: 28338 | OA
Kehrbusch, Burkhard, and Gregor Engels. “Digital Transformation - Towards Flexible Human-Centric Enterprises.” Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective, edited by Birgit Vogel-Heuser and Manuel Wimmer, Springer-Vieweg, 2022.
LibreCat | Files available
 

2022 | Journal Article | LibreCat-ID: 28413 | OA
Farheen, Henna, et al. “Optimization of Optical Waveguide Antennas for Directive Emission of Light.” Journal of the Optical Society of America B, vol. 39, no. 1, 2022, p. 83, doi:10.1364/josab.438514.
LibreCat | Files available | DOI
 

2022 | Journal Article | LibreCat-ID: 29075
Alhaddad, Samer, et al. “Numerical Analysis of the Coherent Mechanism Producing Negative Polarization at Backscattering from Systems of Absorbing Particles.” Optics Letters, vol. 47, no. 1, 2022, p. 58, doi:10.1364/ol.444953.
LibreCat | Files available | DOI
 

2022 | Conference Abstract | LibreCat-ID: 29149 | OA
Koldewey, Christian, et al. “Introduction to the Data-Driven Services in Manufacturing Minitrack - Exploring Management, Engineering, and Organizational Transformation.” Proceedings of the 55th Hawaii International Conference on System Sciences, 2022.
LibreCat | Download (ext.)
 

2022 | Conference Paper | LibreCat-ID: 29767
Abughannam, Saed, and J. Christoph Scheytt. “Low-Power Low-Data-Rate Wireless PPM Receiver Based on 13-Bits Barker Coded SAW Correlator with Scalable Data-Rate and Sensitivity.” International Symposium on Circuits and Systems (ISCAS 2022), IEEE Xplore, 2022.
LibreCat | Files available
 

2022 | Conference Paper | LibreCat-ID: 29770
Abughannam, Saed, et al. “Design and Measurements of a Low-Power Low-Date-Rate Direct-Detection Wireless Receiver with Improved Co-Channel Interference Robustness.” German Microwave Conference 2022 (GeMiC 2022), 2022.
LibreCat | Files available
 

2022 | Conference Paper | LibreCat-ID: 29839 | OA
Gottschalk, Sebastian, et al. “Situational Business Model Developer: A Tool-Support for Situation-Specific Business Model Development.” Proceedings of the 17th International Conference on Wirtschaftsinformatik, AIS, 2022.
LibreCat | Download (ext.)
 

2022 | Conference Paper | LibreCat-ID: 29840 | OA
Yigitbas, Enes, et al. “Development and Evaluation of a Collaborative Stock Trading Environment in Virtual Reality.” Proceedings of the 17th International Conference on Wirtschaftsinformatik, AIS, 2022.
LibreCat | Download (ext.)
 

2022 | Journal Article | LibreCat-ID: 29843
Castenow, Jannik, et al. “A Discrete and Continuous Study of the Max-Chain-Formation Problem.” Information and Computation, 104877, Elsevier BV, 2022, doi:10.1016/j.ic.2022.104877.
LibreCat | DOI
 

2022 | Dissertation | LibreCat-ID: 29672
Schneider, Stefan Balthasar. Network and Service Coordination: Conventional and Machine Learning Approaches". 2022, doi:10.17619/UNIPB/1-1276 .
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 29380
Meyer, Maurice, et al. “A Reference Process Model for Usage Data-Driven Product Planning.” Proceedings of the 55th Hawaii International Conference on System Sciences, 2022, pp. 6105–14.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 29927
Yigitbas, Enes, et al. “Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces.” Software Engineering 2022, Fachtagung Des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell, edited by Lars Grunske et al., vol. {P-320}, Gesellschaft für Informatik e.V., 2022, pp. 95–96, doi:10.18420/se2022-ws-033.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 29926
Yigitbas, Enes, et al. “Collaborative Software Modeling in Virtual Reality.” Software Engineering 2022, Fachtagung Des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell, edited by Lars Grunske et al., vol. {P-320}, Gesellschaft für Informatik e.V., 2022, pp. 93–94, doi:10.18420/se2022-ws-032.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 29945
Witschen, Linus Matthias, et al. “Search Space Characterization for Approximate Logic Synthesis .” 2022 59th ACM/IEEE Design Automation Conference (DAC).
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 29865
Witschen, Linus Matthias, et al. “MUSCAT: MUS-Based Circuit Approximation Technique.” Design, Automation and Test in Europe (DATE).
LibreCat
 

2022 | Journal Article | LibreCat-ID: 30012
Meier, Janosch, et al. “High-Bandwidth Arbitrary Signal Detection Using Low-Speed Electronics.” IEEE Photonics Journal, vol. 14, 2022, doi:10.1109/JPHOT.2022.3149389.
LibreCat | Files available | DOI
 

2022 | Journal Article | LibreCat-ID: 30011
Bahmanian, Meysam, et al. “Locking of Microwave Oscillators on the Interharmonics of Mode-Locked Laser Signals .” Optics Express, vol. 14, 2022, doi:10.1364/OE.451894.
LibreCat | Files available | DOI
 

2022 | Mastersthesis | LibreCat-ID: 30152
Roopa, Rajanna. Evaluation of Algorithms for the Node Capacitated Clique. 2022.
LibreCat
 

2022 | Bachelorsthesis | LibreCat-ID: 30198
Korzeczek, Sebastian. Aufarbeitung Und Lmplementierung von DAG-Rider. 2022.
LibreCat
 

2022 | Mastersthesis | LibreCat-ID: 30199
Nachtigall, Marcel. Hybrid Routing in Three Dimensions. 2022.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 30236 | OA
Schneider, Stefan Balthasar, et al. “Mobile-Env: An Open Platform for Reinforcement Learning in Wireless Mobile Networks.” IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, 2022.
LibreCat | Files available
 

2022 | Book Chapter | LibreCat-ID: 16296 | OA
Banholzer, Stefan, et al. “ROM-Based Multiobjective Optimization of Elliptic PDEs via Numerical Continuation.” Non-Smooth and Complementarity-Based Distributed Parameter Systems, edited by Hintermüller Michael et al., Springer, 2022, pp. 43–76, doi:10.1007/978-3-030-79393-7_3.
LibreCat | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 30294
Peitz, Sebastian, et al. “Efficient Virtual Design and Testing of Autonomous Vehicles.” German Success Stories in Industrial Mathematics, edited by H. G. Bock et al., vol. 35, Springer International Publishing, 2022, doi:10.1007/978-3-030-81455-7_23.
LibreCat | DOI
 

2022 | Conference Abstract | LibreCat-ID: 30347
Schafmeister, Frank. “Compensation of LF Common-Mode Noise by the Internal DC/DC-Stage for Transformerless On-Board Chargers at Three- and Single-Phase Operation.” International Conference on Electric & Electronic in Hybrid and Electric Vehicles and Electric Energy Management (EEHE),.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 30349
Förster, Nikolas, et al. “An Open-Source Transistor Database and Toolbox as an Unified Software Engineering Tool for Managing and Evaluating Power Transistors.” Proc. 37th IEEE Applied Power Electronics Conference (APEC), IEEE.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 30350
Keuck, Lukas, et al. “Robust Hysteresis Control for LLC Resonant Converters Using a Fully Isolated Measurement Scheme.” Proc. IEEE International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management (PCIM), IEEE.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 30387 | OA
Hammer, Manfred, et al. “Resonant Evanescent Excitation of OAM Modes in a High-Contrast Circular Step-Index Fiber.” Complex Light and Optical Forces XVI, edited by David L. Andrews et al., SPIE, 2022, p. 120170F, doi:10.1117/12.2612179.
LibreCat | Files available | DOI
 

2022 | Journal Article | LibreCat-ID: 30490
Cresson, Jacky, et al. “Continuous and Discrete Noether’s Fractional Conserved Quantities for Restricted Calculus of Variations.” AIMS, vol. 14(1), 2022, pp. 57–89.
LibreCat
 

2022 | Dissertation | LibreCat-ID: 30722
Ebers, Lena. Semi-Guided Waves in Integrated Optical Waveguide Structures. 2022, doi:10.17619/UNIPB/1-1288.
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 29950
Temmen, Katrin, et al. “Work-in-Progress: The Potential of Interactive Scripts – Supporting Conceptual Understanding and Collaborative Problem-Solving Skills.” Mobility for Smart Cities and Regional Development - Challenges for Higher Education, vol. 390, Springer International Publishing, 2022, pp. 784–91, doi:10.1007/978-3-030-93907-6_85.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 30844
Huber, Jonas, et al. “Comparative Evaluation of MVAC-LVDC SST and Hybrid Transformer Concepts for Future Datacenters.” Proc. 9th IEEJ International Power Electronics Conference (IPEC), IEE Japan.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 30861
Caillau, Jean-Baptiste, et al. “Turnpike Property in Optimal Microbial Metabolite Production.” Journal of Optimization Theory and Applications, Springer Science and Business Media LLC, 2022, doi:10.1007/s10957-022-02023-0.
LibreCat | DOI
 

2022 | Preprint | LibreCat-ID: 30868
Schede, Elias, et al. “A Survey of Methods for Automated Algorithm Configuration.” ArXiv:2202.01651, 2022.
LibreCat | arXiv
 

2022 | Conference Paper | LibreCat-ID: 6590
Nicolai, Marcel, et al. “Quantification of the Adhesive Coupling of Layered Structures Using Guided Ultrasonic Waves.” Fortschritte Der Akustik - DAGA 2022, 2022, pp. 1394–97.
LibreCat
 

2022 | Book Chapter | LibreCat-ID: 29928 | OA
Yigitbas, Enes, et al. “Self-Adaptive Digital Assistance Systems for Work 4.0.” Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective, edited by Birgit Vogel-Heuser and Manuel Wimmer, Springer-Vieweg, 2022.
LibreCat | Files available
 

2022 | Conference Paper | LibreCat-ID: 30971
Hansmeier, Tim, and Marco Platzner. “Integrating Safety Guarantees into the Learning Classifier System XCS.” Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, vol. 13224, Springer International Publishing, 2022, pp. 386–401, doi:10.1007/978-3-031-02462-7_25.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31060
Feldmann, Michael, et al. “Coordinating Amoebots via Reconfigurable Circuits.” J. Comput. Biol., vol. 29, no. 4, 2022, pp. 317–343, doi:10.1089/cmb.2021.0363.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31844
Fischer, Andreas, et al. “Computation on Encrypted Data Using Dataflow Authentication.” ACM Transactions on Privacy and Security, vol. 25, no. 3, Association for Computing Machinery (ACM), 2022, pp. 1–36, doi:10.1145/3513005.
LibreCat | DOI
 

2022 | Bachelorsthesis | LibreCat-ID: 31947
Hillebrandt, Henning. Verteiltes Berechnen Kompakter Routingtabellen in Unit Disk Graphen. 2022.
LibreCat | Files available
 

2022 | Journal Article | LibreCat-ID: 31982
Cekić, Mihajlo, et al. “The Ruelle Zeta Function at Zero for Nearly Hyperbolic 3-Manifolds.” Inventiones Mathematicae, vol. 229, no. 1, Springer Science and Business Media LLC, 2022, pp. 303–94, doi:10.1007/s00222-022-01108-x.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 32311
Sharma, Arnab, et al. “Property-Driven Testing of Black-Box Functions.” Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–23.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 29842 | OA
Gottschalk, Sebastian, et al. “Model-Driven Continuous Experimentation on Component-Based Software Architectures .” Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022, doi:10.1109/ICSA-C54293.2022.00011.
LibreCat | Files available | DOI
 

2022 | Book Chapter | LibreCat-ID: 32233
Häsel-Weide, Uta, et al. “Symmetrieverständnis von Anfang an.” Anfangsunterricht für alle Kinder - Willkommen in der Schule!, edited by M. Gutzmann et al., 2022, pp. 200–15.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 32335
PODWORNY, SUSANNE, et al. “A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING.” STATISTICS EDUCATION RESEARCH JOURNAL, vol. 21, no. 2, 6, International Association for Statistical Education, 2022, doi:10.52041/serj.v21i2.46.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 32334
Krauter, Stefan, et al. “Microinverter Testing Update Using High Power Modules: Efficiency, Yield, and Conformity to a New ”estimation Formula” for Variation of PV Panel Size.” Proceedings of the 49th IEEE Photovoltaic Specialists Conference, 2022.
LibreCat
 

2022 | Book Chapter | LibreCat-ID: 32339
Häsel-Weide, Uta, et al. “Professionalisierung für inklusiven Mathematikunterricht. Interdisziplinäre Seminarkonzeption zur reflexiven Professionalisierung angehender Mathematiklehrkräfte in der Sekundarstufe.” Qualifizierung für Inklusion. Sekundarstufe, edited by D. Lutz et al., Waxmann, 2022, pp. 83–100.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 32338
Hähn, K., et al. “Diagnosegeleitete Förderung im inklusiven Mathematikunterricht der Grundschule – Professionalisierung durch reflektierte Handlungspraxis in der Lehrer*innenbildung.” QfI - Qualifizierung für Inklusion, vol. 3, no. 2, 2022.
LibreCat | Files available
 

2022 | Conference Paper | LibreCat-ID: 32333
Möller, Marius Claus, and Stefan Krauter. “Model of a Self-Sufficient PV Home Using a Hybrid Storage System Based on Li-Ion Batteries and Hydrogen Storage with Waste Heat Utilization .” Proceedings of the 49th IEEE Photovoltaic Specialists Conference, edited by IEEE, 2022.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 30262
Möller, Marius Claus, and Stefan Krauter. “Hybrid Energy System Model in Matlab/Simulink Based on Solar Energy, Lithium-Ion Battery and Hydrogen.” Energies / Special Issue “Sustainable Energy Concepts for Energy Transition,” vol. 15 (6), 2201, MDPI / Basel, Switzerland, 2022, doi:10.3390/en15062201.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 29673 | OA
Klus, Stefan, et al. “Koopman Analysis of Quantum Systems.” Journal of Physics A: Mathematical and Theoretical, vol. 55, no. 31, IOP Publishing Ltd., 2022, p. 314002, doi:10.1088/1751-8121/ac7d22.
LibreCat | DOI | Download (ext.) | arXiv
 

2022 | Misc | LibreCat-ID: 32409
Schlichtig, Michael, et al. CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. 2022, doi:10.48550/ARXIV.2204.06447.
LibreCat | Files available | DOI
 

2022 | Dissertation | LibreCat-ID: 32414
Lass, Michael. Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations. Universität Paderborn, 2022, doi:10.17619/UNIPB/1-1281.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall, Marcus, et al. “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools.” Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–43, doi:10.1145/3533767.
LibreCat | Files available | DOI
 

2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig, Michael, et al. “FUM - A Framework for API Usage Constraint and Misuse Classification.” 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–84, doi:https://doi.org/10.1109/SANER53432.2022.00085.
LibreCat | Files available | DOI
 

2022 | Bachelorsthesis | LibreCat-ID: 32399
Vahle, Ella. Modelling and Proving Security for a Secure MPC Protocol for Stable Matching. 2022.
LibreCat
 

2022 | Misc | LibreCat-ID: 6561
Hetkämper, Tim. Visualisierung von Ultraschallfeldern Mittels Schlierentechnik Und Fraktionaler Fouriertransformation. 2022.
LibreCat
 

2022 | Misc | LibreCat-ID: 6592
Claes, Leander. Messverfahren Für Die Akustische Absorption Zur Bestimmung Der Volumenviskosität. 2022.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 31847
Castenow, Jannik, et al. “The K-Server with Preferences Problem.” Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2022, pp. 345–56, doi:10.1145/3490148.3538595.
LibreCat | DOI | arXiv
 

2022 | Book Chapter | LibreCat-ID: 34023
Kirchhoff, Jonas, and Gregor Engels. “Anti-Pattern Detection in Process-Driven Decision Support Systems.” Software Business, vol. 463, Springer International Publishing, 2022, pp. 227--243, doi:10.1007/978-3-031-20706-8_16.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 34040
Polevoy, Gleb, and Marcin Dziubiński. “Fair, Individually Rational and Cheap Adjustment.” Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, edited by Luc De Raedt, International Joint Conferences on Artificial Intelligence Organization, 2022, doi:10.24963/ijcai.2022/64.
LibreCat | DOI | Download (ext.)
 

2022 | Conference Paper | LibreCat-ID: 33085
Epstein, Leah, et al. “Cardinality Constrained Scheduling in Online Models.” 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference), edited by Petra Berenbrink and Benjamin Monmege, vol. 219, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 28:1–28:15, doi:10.4230/LIPIcs.STACS.2022.28.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 30840
Alshomary, Milad, et al. “The Moral Debater: A Study on the Computational Generation of Morally Framed Arguments.” Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 2022, pp. 8782–97.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 33004
Wachsmuth, Henning, and Milad Alshomary. “‘Mama Always Had a Way of Explaining Things So I Could Understand’: A Dialogue Corpus for Learning How to Explain.” Proceedings of the 29th International Conference on Computational Linguistics, 2022, pp. 344–54.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 34049
Lauscher, Anne, et al. “On the Role of Knowledge in  Computational Argumentation.” Transactions of the Association for Computational Linguistics, 2022.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 22157
Kiesel, Johannes, et al. “Identifying the Human Values behind Arguments.” Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 2022, pp. 4459–71.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 34057
Pasic, Faruk, and Matthias Becker. “Domain-Specific Language for Condition Monitoring Software Development.” 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2022, doi:10.1109/etfa52439.2022.9921730.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 34047
Spliethöver, Maximilian, et al. “No Word Embedding Model Is Perfect: Evaluating the Representation  Accuracy for Social Bias in the Media.” Proceedings of The 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022), Association for Computational Linguistics, 2022.
LibreCat | arXiv
 

2022 | Conference Paper | LibreCat-ID: 31331
Hetkämper, Tim, et al. “Schlieren Imaging with Fractional Fourier Transform to Visualise Ultrasonic Fields.” Sensoren Und Messsysteme - Beiträge Der 21. ITG/GMA-Fachtagung, VDE Verlag GmbH, 2022.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed