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.

9900 Publications


2023 | Conference Paper | LibreCat-ID: 37553
E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, and R. Dumitrescu, “Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering,” 2023, doi: 10.1109/isse54508.2022.10005487.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 35426 | OA
C. Richter, J. F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, and H. Wehrheim, “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?,” 2023, doi: 10.1145/3551349.3561156.
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 36848
S. Schott and F. Pauck, “Benchmark Fuzzing for Android Taint Analyses,” 2023, doi: 10.1109/scam55253.2022.00007.
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 35427 | OA
F. Pauck, “Scaling Arbitrary Android App Analyses,” 2023, doi: 10.1145/3551349.3561339.
LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 38280
R. Noé, “Consistent Optical and Electrical Noise Figure,” Journal of Lightwave Technology, vol. 41, no. 1, pp. 137–148, 2023, doi: 10.1109/JLT.2022.3212936.
LibreCat | DOI
 

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

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

2023 | Journal Article | LibreCat-ID: 33947
J. Castenow, J. Harbig, D. Jung, T. Knollmann, and F. Meyer auf der Heide, “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation,” Theoretical Computer Science, vol. 939, pp. 261–291, 2023, doi: 10.1016/j.tcs.2022.10.031.
LibreCat | DOI | arXiv
 

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

2023 | Conference Paper | LibreCat-ID: 41812
L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, and E. Bodden, “Model Generation For Java Frameworks,” 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 41813
A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,” 2023.
LibreCat
 

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

2023 | Conference Paper | LibreCat-ID: 33511
E. Yigitbas and G. Engels, “Enhancing Robot Programming through Digital Twin and Augmented Reality ,” 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 34401
E. Yigitbas, S. Krois, S. Gottschalk, and G. Engels, “Towards Enhanced Guiding Mechanisms in VR Training through Process Mining,” 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 34008
J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, and F. Meyer auf der Heide, “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility ,” in Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , Brussels, 2023, vol. 253, p. 15:1–15:25, doi: 10.4230/LIPIcs.OPODIS.2022.15.
LibreCat | DOI | arXiv
 

2023 | Preprint | LibreCat-ID: 42160 | OA
S. Werner and S. Peitz, “Learning a model is paramount for sample efficiency in reinforcement  learning control of PDEs,” arXiv:2302.07160. 2023.
LibreCat | Download (ext.) | arXiv
 

2023 | Journal Article | LibreCat-ID: 34814
M. Hanusch, “A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus,” Canadian Journal of Mathematics, vol. 75, no. 1, pp. 170–201, 2023, doi: 10.4153/s0008414x21000596.
LibreCat | DOI
 

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

2023 | Conference Paper | LibreCat-ID: 42804
S. Kruse, T. Schwabe, P. Kneuper, M.-M. Meinecke, H. G. Kurz, and J. C. Scheytt, “Nonlinear S-Parameter Behavioral Model of a Photonic Radar Transceiver Chipset for Automotive Applications,” presented at the INTERNATIONAL RADAR SYMPOSIUM (IRS 2023), Fraunhofer-Forum Berlin, Germany, 2023.
LibreCat | Files available
 

2023 | Journal Article | LibreCat-ID: 27426 | OA
B. Gebken, K. Bieker, and S. Peitz, “On the structure of regularization paths for piecewise differentiable regularization terms,” Journal of Global Optimization, vol. 85, no. 3, pp. 709–741, 2023, doi: 10.1007/s10898-022-01223-2.
LibreCat | DOI | Download (ext.)
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed