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.

9700 Publications


2024 | Conference Paper | LibreCat-ID: 48632
Exploring Capabilities for the Smart Service Transformation in Manufacturing: Insights from Theory and Practice
C. Koldewey, T. Fichtler, M. Scholtysik, J. Biehler, N. Schreiner, F. Sommer, M. Schacht, J. Kaufmann, M. Rabe, J. Sedlmeier, R. Dumitrescu, in: 2024.
LibreCat
 

2024 | Journal Article | LibreCat-ID: 47275
Digital Security -- A Question of Perspective. A Large-Scale Telephone Survey with Four At-Risk User Groups
F. Herbert, S. Becker, A. Buckmann, M. Kowalewski, J. Hielscher, Y. Acar, M. Dürmuth, M.A. Sasse, Y. Zou, IEEE Symposium on Security and Privacy. IEEE, New York, NY, USA (2024).
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 49354
Domain Knowledge Injection Guidance for Predictive Maintenance
L. Afroze, S. Merkelbach, S. von Enzberg, R. Dumitrescu, in: ML4CPS 2023, 2024.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 49364
Business strategy taxonomy and solution patterns for the circular economy
M. Scholtysik, M. Rohde, C. Koldewey, R. Dumitrescu, in: 2024.
LibreCat
 

2024 | Journal Article | LibreCat-ID: 32097 | OA
SRB Measures of Anosov Actions
T. Weich, Y. Guedes Bonthonneau, C. Guillarmou, Journal of Differential Geometry (to Appear) --  ArXiv:2103.12127 (2024).
LibreCat | Files available | arXiv
 

2024 | Conference Paper | LibreCat-ID: 50287
Analysis and Simulation of a Photonic Multiband FMCW Radar Sensor System using Nyquist Pulses
S. Kruse, T. Schwabe, P. Kneuper, H.G. Kurz, M.-M. Meinecke, C. Scheytt, in: German Microwave Conference (GeMiC) , Duisburg, 2024.
LibreCat | Files available
 

2024 | Journal Article | LibreCat-ID: 46469 | OA
Learning of discrete models of variational PDEs from data
C. Offen, S. Ober-Blöbaum, Chaos 34 (2024).
LibreCat | Files available | DOI | arXiv
 

2024 | Conference Paper | LibreCat-ID: 50476
TARPS: A Toolbox for Enhancing Privacy and Security for Collaborative AR
S.C. Krings, E. Yigitbas, in: Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) (to Appear), ACM, 2024.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 50066
X-Stream: A Flexible, Adaptive Video Transformer for Privacy-Preserving Video Stream Analytics
F. Dou, L. Wang, S. Chen, F. Liu, in: Proceedings of the IEEE International Conference on Computer Communications (INFOCOM), IEEE, n.d.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 50065
Train Once Apply Anywhere: Effective Scheduling for Network Function Chains Running on FUMES
M. Blöcher, N. Nedderhut, P. Chuprikov, R. Khalili, P. Eugster, L. Wang, in: Proceedings of the IEEE International Conference on Computer Communications (INFOCOM), IEEE, n.d.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 50807
𝜆Grapher: A Resource-Efficient Serverless System for GNN Serving through Graph Sharing
H. Hu, F. Liu, Q. Pei, Y. Yuan, Z. Xu, L. Wang, in: Proceedings of the ACM Web Conference (WWW), ACM, 2024.
LibreCat
 

2024 | Preprint | LibreCat-ID: 51160 | OA
Extended Dynamic Mode Decomposition: Sharp bounds on the sample efficiency
F.M. Philipp, M. Schaller, S. Boshoff, S. Peitz, F. Nüske, K. Worthmann, ArXiv:2402.02494 (2024).
LibreCat | Download (ext.) | arXiv
 

2024 | Journal Article | LibreCat-ID: 51208
A note on the convergence of deterministic gradient sampling in nonsmooth optimization
B. Gebken, Computational Optimization and Applications (2024).
LibreCat | DOI
 

2024 | Preprint | LibreCat-ID: 51204
Polyhedral bounds on the joint spectrum and temperedness of locally symmetric spaces
C. Lutsko, T. Weich, L.L. Wolf, ArXiv:2402.02530 (2024).
LibreCat | arXiv
 

2024 | Journal Article | LibreCat-ID: 51374
Non-Fock ground states in the translation-invariant Nelson model revisited non-perturbatively
D. Hasler, B. Hinrichs, O. Siebert, Journal of Functional Analysis 286 (2024).
LibreCat | DOI | arXiv
 

2024 | Journal Article | LibreCat-ID: 32101 | OA
Ruelle-Taylor resonaces of Anosov actions
T. Weich, Y. Guedes Bonthonneau, C. Guillarmou, J. Hilgert, J. Europ. Math. Soc. (2024) 1–36.
LibreCat | Files available
 

2024 | Preprint | LibreCat-ID: 51501 | OA LibreCat | Download (ext.)
 

2024 | Journal Article | LibreCat-ID: 46019 | OA
Fast Multiobjective Gradient Methods with Nesterov Acceleration via Inertial Gradient-Like Systems
K. Sonntag, S. Peitz, Journal of Optimization Theory and Applications (2024).
LibreCat | DOI | Download (ext.)
 

2024 | Preprint | LibreCat-ID: 51334 | OA
A Descent Method for Nonsmooth Multiobjective Optimization in Hilbert Spaces
K. Sonntag, B. Gebken, G. Müller, S. Peitz, S. Volkwein, ArXiv:2402.06376 (2024).
LibreCat | Download (ext.) | arXiv
 

2024 | Journal Article | LibreCat-ID: 40171 | OA
Distributed Control of Partial Differential Equations Using Convolutional Reinforcement Learning
S. Peitz, J. Stenner, V. Chidananda, O. Wallscheid, S.L. Brunton, K. Taira, Physica D: Nonlinear Phenomena 461 (2024) 134096.
LibreCat | DOI | Download (ext.)
 

2024 | Bachelorsthesis | LibreCat-ID: 52318
Implementierung eines Algorithmus zur motivbasierten Schnitt-Sparsifizierung
S. Dorociak, Implementierung Eines Algorithmus Zur Motivbasierten Schnitt-Sparsifizierung, 2024.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 52235
Toward an Android Static Analysis Approach for Data Protection
M. Khedkar, E. Bodden, in: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024.
LibreCat | Files available | arXiv
 

2024 | Preprint | LibreCat-ID: 52342
On token signed graphs
C. Dalfó, M.A. Fiol, E. Steffen, ArXiv:2403.02924 (2024).
LibreCat | arXiv
 

2024 | Journal Article | LibreCat-ID: 52587
Evaluating Security Through Isolation and Defense in Depth
E. Bodden, J. Pottebaum, M. Fockel, I. Gräßler, IEEE Security & Privacy 22 (2024) 69–72.
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 33461 | OA
Learning Bilinear Models of Actuated Koopman Generators from Partially-Observed Trajectories
S.E. Otto, S. Peitz, C.W. Rowley, SIAM Journal on Applied Dynamical Systems 23 (2024) 885–923.
LibreCat | DOI | Download (ext.) | arXiv
 

2024 | Misc | LibreCat-ID: 52663
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
A.-K. Wickert, M. Schlichtig, M. Vogel, L. Winter, M. Mezini, E. Bodden, Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, 2024.
LibreCat | Download (ext.)
 

2024 | Preprint | LibreCat-ID: 52691 LibreCat | arXiv
 

2024 | Journal Article | LibreCat-ID: 52686
Post-configuration Activation of Hardware Trojans in FPGAs
Q.A. Ahmed, T. Wiersema, M. Platzner, Journal of Hardware and Systems Security (2024).
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 52700 | OA
From Swiss-cheese to discrete ferroelectric composites: assessing the ferroelectric butterfly shape in polarization loops
V. Myroshnychenko, P.M. Mulavarickal Jose, H. Farheen, S. Ejaz, C. Brosseau, J. Förstner, Physica Scripta 99 (2024) 045952.
LibreCat | Files available | DOI
 

2024 | Conference Paper | LibreCat-ID: 52379
Using Worked Examples for Engaging in Epistemic Programming Projects
S. Hüsing, C. Schulte, S. Sparmann, M. Bolte, in: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, ACM, 2024.
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 52726 | OA
Heteroclinic dynamics in network dynamical systems with higher-order interactions
C. Bick, S. von der Gracht, Journal of Complex Networks 12 (2024).
LibreCat | Files available | DOI | Download (ext.) | arXiv
 

2024 | Journal Article | LibreCat-ID: 49905
Edge-Connectivity and Pairwise Disjoint Perfect Matchings in Regular Graphs
Y. Ma, D. Mattiolo, E. Steffen, I.H. Wolf, Combinatorica 44 (2024) 429–440.
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 52744
Time and Space Optimized Storage-based BIST under Multiple Voltages and Variations
H. Jafarzadeh, F. Klemme, H. Amrouch, S. Hellebrand, H.-J. Wunderlich, in: European Test Symposium, The Hague, Netherlands, May 20-24, 2024, IEEE, n.d., p. 6.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 52742
Vmin Testing under Variations: Defect vs. Fault Coverage
H. Jafarzadeh, F. Klemme, H. Amrouch, S. Hellebrand, H.-J. Wunderlich, in: IEEE Latin American Test Symposium (LATS), Maceió, Brazil, April 9-12, 2024, IEEE, n.d., p. 6.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 52743
Functional Safety and Reliability of Interconnects throughout the Silicon Life Cycle
S. Hellebrand, S. Sadeghi-Kohan, H.-J. Wunderlich, in: International Symposium of EDA (ISEDA), Xi’an, China, May 10-13, 2024, n.d., p. 1.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 52745
Robust Test of Small Delay Faults under PVT-Variations
H.-J. Wunderlich, H. Jafarzadeh, S. Hellebrand, in: International Symposium of EDA (ISEDA), Xi’an, China, May 10-13, 2024, n.d., p. 1.
LibreCat
 

2024 | Misc | LibreCat-ID: 50284
Modeling Crosstalk-induced Interconnect Delay with Polynomial Regression
A. Stiballe, J.D. Reimer, S. Sadeghi-Kohan, S. Hellebrand, Modeling Crosstalk-Induced Interconnect Delay with Polynomial Regression, 37. ITG / GMM / GI -Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”  (TuZ’24), Feb. 2024, Darmstadt, Germany, 2024.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 52827
Differentially Private Natural Language Models: Recent Advances and Future Directions
L. Hu, I. Habernal, L. Shen, D. Wang, in: Y. Graham, M. Purver (Eds.), Findings of the Association for Computational Linguistics: EACL 2024, St. Julian’s, Malta, March 17-22, 2024, Association for Computational Linguistics, 2024, pp. 478–499.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 52842
DP-NMT: Scalable Differentially Private Machine Translation
T. Igamberdiev, D.N.L. Vu, F. Kuennecke, Z. Yu, J. Holmer, I. Habernal, in: N. Aletras, O. De Clercq (Eds.), Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations, Association for Computational Linguistics, St. Julians, Malta, 2024, pp. 94–105.
LibreCat
 

2024 | Journal Article | LibreCat-ID: 52958 | OA
TS-SEP: Joint Diarization and Separation Conditioned on Estimated Speaker Embeddings
C. Boeddeker, A.S. Subramanian, G. Wichern, R. Haeb-Umbach, J. Le Roux, IEEE/ACM Transactions on Audio, Speech, and Language Processing 32 (2024) 1185–1197.
LibreCat | DOI | Download (ext.)
 

2024 | Conference Paper | LibreCat-ID: 53095
Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling
K. Razavi, S. Ghafouri, M. Mühlhäuser, P. Jamshidi, L. Wang, in: Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), Colocated with EuroSys 2024, ACM, 2024.
LibreCat
 

2024 | Journal Article | LibreCat-ID: 53101 | OA
A new Lagrangian approach to control affine systems with a quadratic Lagrange term
S. Leyendecker, S. Maslovskaya, S. Ober-Blöbaum, R.T.S.M. de Almagro, F.O. Szemenyei, Journal of Computational Dynamics 0 (2024) 0–0.
LibreCat | DOI | Download (ext.)
 

2024 | Journal Article | LibreCat-ID: 53141
Numerical analysis of an evolving bulk--surface model of tumour growth
D. Edelmann, B. Kovács, C. Lubich, ArXiv (2024).
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 52231 | OA
Causal Question Answering with Reinforcement Learning
L. Blübaum, S. Heindorf, in: The World Wide Web Conference (WWW), ACM, n.d.
LibreCat | Download (ext.)
 

2024 | Preprint | LibreCat-ID: 53282
Optimization of the Downlink Spectral- and Energy-Efficiency of RIS-aided Multi-user URLLC MIMO Systems
M. Soleymani, I. Santamaria, E. Jorswieck, R. Schober, L. Hanzo, ArXiv:2402.16434 (2024).
LibreCat | arXiv
 

2024 | Conference Paper | LibreCat-ID: 53259
Maximization of Minimum Rate in MIMO OFDM RIS-Assisted Broadcast Channels
M. Soleymani, I. Santamaria, A. Sezgin, E. Jorswieck, in: 2023 IEEE 9th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP), IEEE, 2024.
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 53258
NOMA-Based Improper Signaling for MIMO STAR-RIS-Assisted Broadcast Channels with Hardware Impairments
M. Soleymani, I. Santamaria, E. Jorswieck, in: GLOBECOM 2023 - 2023 IEEE Global Communications Conference, IEEE, 2024.
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 53309
Insights and Challenges of Co-Simulation-based Optimal Pulse Pattern Evaluation for Electric Drives
L. Hölsch, A. Brosch, R. Steckel, T. Braun, S. Wendel, J. Böcker, O. Wallscheid, IEEE Transactions on Energy Conversion (2024) 1–12.
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 53304
Rademacher Complexity Regularization for Correlation-Based Multiview Representation Learning
M. Kuschel, T. Hasija, T. Marrinan, in: ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2024.
LibreCat | DOI
 

2024 | Mastersthesis | LibreCat-ID: 53374
A Dispersion Algorithm for Robot Swarms Inside Polygonal Boundary Shapes
C. De Groote, A Dispersion Algorithm for Robot Swarms Inside Polygonal Boundary Shapes, 2024.
LibreCat
 

2024 | Mastersthesis | LibreCat-ID: 53373
Optimal Drone Strategies For Packet Delivery
R. Doddegowda, Optimal Drone Strategies For Packet Delivery, 2024.
LibreCat
 

2024 | Mastersthesis | LibreCat-ID: 53372
Evaluating the Implications
H. Thakur, Evaluating the Implications, 2024.
LibreCat
 

2024 | Book Chapter | LibreCat-ID: 52759
On the Potential of Multi-objective Automated Algorithm Configuration on Multi-modal Multi-objective Optimisation Problems
O.L. Preuß, J. Rook, H. Trautmann, in: Applications of Evolutionary Computation, Springer Nature Switzerland, Cham, 2024.
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 52749
Using Reinforcement Learning for Per-Instance Algorithm Configuration on the TSP
M. Vinzent Seiler, J. Rook, J. Heins, O.L. Preuß, J. Bossek, H. Trautmann, in: 2023 IEEE Symposium Series on Computational Intelligence (SSCI), IEEE, 2024.
LibreCat | DOI
 

2024 | Research Data | LibreCat-ID: 12950
pyfds 0.3.1 - modular field simulation tool
L. Claes, M. Webersen, Pyfds 0.3.1 - Modular Field Simulation Tool, GitHub, Inc., 2024.
LibreCat | Files available | DOI
 

2024 | Preprint | LibreCat-ID: 53414
Locally homogeneous Axiom A flows I: projective Anosov subgroups and exponential mixing
B. Delarue, D. Monclair, A. Sanders, ArXiv:2403.14257 (2024).
LibreCat | arXiv
 

2024 | Preprint | LibreCat-ID: 53413 LibreCat | arXiv
 

2024 | Journal Article | LibreCat-ID: 38031 | OA
Error bounds for kernel-based approximations of the Koopman operator
F. Philipp, M. Schaller, K. Worthmann, S. Peitz, F. Nüske, Applied and Computational Harmonic Analysis 71 (2024).
LibreCat | DOI | Download (ext.) | arXiv
 

2024 | Journal Article | LibreCat-ID: 53474
Characterizing Microheterogeneity in Liquid Mixtures via Local Density Fluctuations
M. Lass, T. Kenter, C. Plessl, M. Brehm, Entropy 26 (2024).
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 53503
Optimisation and Evaluation of Breadth First Search with oneAPI/SYCL on Intel FPGAs: from Describing Algorithms to Describing Architectures
K. Olgu, T. Kenter, J. Nunez-Yanez, S. Mcintosh-Smith, in: Proceedings of the 12th International Workshop on OpenCL and SYCL, ACM, 2024.
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 53531
IPA: Inference Pipeline Adaptation to Achieve High Accuracy and Cost-Efficiency
S. Ghafouri, K. Razavi, M. Salmani, A. Sanaee, T. Lorido Botran, L. Wang, J. Doyle, P. Jamshidi, Journal of Systems Research (JSys) (n.d.).
LibreCat
 

2024 | Journal Article | LibreCat-ID: 45972
Numerical surgery for mean curvature flow of surfaces
B. Kovács, SIAM Journal on Scientific Computing 46 (2024).
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 53300
Hankel transform, K-Bessel functions and zeta distributions in the Dunkl setting
D. Brennecken, Journal of Mathematical Analysis and Applications 535 (2024).
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 53542 LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 52584 LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 51841 | OA
Digitalisierung als Chance für alle Prinzipien guten Unterrichts
B. Barzel, G. Greefrath, M. Nagel, M. Hoffmann, mathematik lehren 242 (2024) 42–47.
LibreCat | Files available | Download (ext.)
 

2024 | Book Chapter | LibreCat-ID: 50554 | OA
31 Sprachbildung im berufsbezogenen Mathematikunterricht.
S. Prediger, L. Wessel, in: C. Efing, Z. Kalkavan-Aydin (Eds.), Berufs-und Fachsprache Deutsch in Wissenschaft und Praxis, DE GRUYTER, Berlin, 2024, pp. 363–372.
LibreCat | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 35083
UpCy: Safely Updating Outdated Dependencies
A.P. Dann, B. Hermann, E. Bodden, (2023).
LibreCat
 

2023 | Journal Article | LibreCat-ID: 21199 | OA LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 35428 LibreCat | DOI
 

2023 | Book (Editor) | LibreCat-ID: 37469
Practice-Oriented Research in Tertiary Mathematics Education
R. Biehler, M. Liebendörfer, G. Gueudet, C. Rasmussen, C. Winsløw, eds., Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 37553
Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering
E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, R. Dumitrescu, in: 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 35426 | OA
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 36848
Benchmark Fuzzing for Android Taint Analyses
S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 35427 | OA
Scaling Arbitrary Android App Analyses
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 38280
Consistent Optical and Electrical Noise Figure
R. Noé, Journal of Lightwave Technology 41 (2023) 137–148.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 36294
The Dunkl-Laplace transform and Macdonald’s hypergeometric series
D. Brennecken, M. Rösler, Transaction of the American Mathematical Society (n.d.).
LibreCat | DOI
 

2023 | Mastersthesis | LibreCat-ID: 40440
Updatable Privacy-Preserving Reputation System based on Blockchain
M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.
LibreCat
 

2023 | Book Chapter | LibreCat-ID: 40511
Epistemic Programming
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 33947
Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.
LibreCat | DOI | arXiv
 

2023 | Book | LibreCat-ID: 41369
Mechatronik und elektrische Antriebe / Mechatronics and electrical drives
J. Böcker, Mechatronik und elektrische Antriebe / Mechatronics and electrical drives, Paderborn University, Paderborn, n.d.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 41812
Model Generation For Java Frameworks
L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, E. Bodden, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 41813
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat
 

2023 | Journal Article | LibreCat-ID: 34402
End-User Development of Interactive Web-Based Virtual Reality Scenes
E. Yigitbas, J. Klauke, S. Gottschalk, G. Engels, Journal on Computer Languages (COLA) (2023).
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 33511
Enhancing Robot Programming through Digital Twin and Augmented Reality
E. Yigitbas, G. Engels, in: 56th Hawaii International Conference on System Science (HICSS 2023) , ScholarSpace, 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 34401
Towards Enhanced Guiding Mechanisms in VR Training through Process Mining
E. Yigitbas, S. Krois, S. Gottschalk, G. Engels, in: Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 34008
A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility
J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: E. Hillel, R. Palmieri, E. Riviére (Eds.), Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , Schloss Dagstuhl – Leibniz Zentrum für Informatik, Brussels, 2023, p. 15:1–15:25.
LibreCat | DOI | arXiv
 

2023 | Preprint | LibreCat-ID: 42160 | OA LibreCat | Download (ext.) | arXiv
 

2023 | Journal Article | LibreCat-ID: 34814
A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus
M. Hanusch, Canadian Journal of Mathematics 75 (2023) 170–201.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 31872
Quantum space, ground space traversal, and how to embed multi-prover interactive proofs into unentanglement
S. Gharibian, D. Rudolph, in: 14th Innovations in Theoretical Computer Science (ITCS), 2023, p. 53:1-53:23.
LibreCat | DOI | arXiv
 

2023 | Conference Paper | LibreCat-ID: 42804
Nonlinear S-Parameter Behavioral Model of a Photonic Radar Transceiver Chipset for Automotive Applications
S. Kruse, T. Schwabe, P. Kneuper, M.-M. Meinecke, H.G. Kurz, J.C. Scheytt, in: 2023.
LibreCat | Files available
 

2023 | Journal Article | LibreCat-ID: 27426 | OA
On the structure of regularization paths for piecewise differentiable regularization terms
B. Gebken, K. Bieker, S. Peitz, Journal of Global Optimization 85 (2023) 709–741.
LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 43018 | OA
Numerical study of light backscattering from layers of absorbing irregular particles larger than the wavelength
S. Alhaddad, J. Förstner, Y. Grynko, Journal of Quantitative Spectroscopy and Radiative Transfer 302 (2023).
LibreCat | Files available | DOI
 

2023 | Conference Paper | LibreCat-ID: 39359
LoRa Transceiver for Load Monitoring and Control System in Microgrids
I. Mwammenywa, D. Petrov, P. Holle, U. Hilleringmann, in: 2022 International Conference on Engineering and Emerging Technologies (ICEET), IEEE, 2023.
LibreCat | DOI
 

2023 | Preprint | LibreCat-ID: 43048 LibreCat | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 31849 | OA
Student Teachers ’ Knowledge of Congruence before a University Course on Geometry
M. Hoffmann, R. Biehler, in: M. Trigueros, B. Barquero, R. Hochmuth, J. Peters (Eds.), Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022), University of Hannover and INDRUM., Hannover, 2023.
LibreCat | Files available | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 43097 | OA
Innovations in university teaching based on mathematic education research
I. Florensa, M. Hoffmann, A. Romo Vázquez, M. Zandieh, R. Martínez-Planell, in: M. Trigueros, B. Barquero, R. Hochmuth, J. Peters (Eds.), Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022), Hannover, 2023.
LibreCat | Files available | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 43109
Beep-and-Sleep: Message and Energy Efficient Set Cover
T. Götte, C. Kolb, C. Scheideler, J. Werthmann, Theor. Comput. Sci. 950 (2023) 113756.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 43424
Supporting Construction and Architectural Visualization through BIM and AR/VR: A Systematic Literature Review
E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the 19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), Springer, 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 43233
Investigation of change in dispersive behaviour during adhesive curing in multi-layered structures
H. Zeipert, C. von Germeten, O. Friesen, L. Claes, S. Johannesmann, B. Henning, in: Fortschritte Der Akustik - DAGA 2023, 2023, pp. 819–822.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed