en
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.
9157 Publications
2019 | Conference Paper | LibreCat-ID: 7626
P. Schubert, B. Hermann, and E. Bodden, “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++,” in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), Prague, Czech Republic, 2019, vol. II, pp. 393–410.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 8871
J. Augustine et al., “Distributed Computation in Node-Capacitated Networks,” in Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, 2019, pp. 69--79.
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 12971
L. Jin and E. Steffen, “Unions of 1-factors in r-graphs and overfull graphs,” J. of Combinatorics, to appear, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 7669
K. Josifovska, E. Yigitbas, and G. Engels, “A Digital Twin-Based Multi-Modal UI Adaptation Framework for Assistance Systems in Industry 4.0 ,” in Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), Orlando, Florida, 2019, vol. 11568, pp. 398–409.
LibreCat
2019 | Preprint | LibreCat-ID: 13114
Y. Lu, R. Luo, M. Schubert, E. Steffen, and C.-Q. Zhang, “Flows on signed graphs without long barbells,” arXiv:1908.11004. 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
L. Khaluf, Organic Programming of Dynamic Real-Time Applications. Paderborn University, 2019.
LibreCat
2019 | Working Paper | LibreCat-ID: 13145
B. Hippert, A. Uhde, and S. T. Wengerek, Determinants of CDS trading on major banks. Working Papers Dissertations from Paderborn University, Faculty of Business Administration and Economics, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13140
N. Weidmann, A. Anjorin, F. Stolte, and F. Kraus, “From Pattern Invocation Networks to Rule Preconditions,” in Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, 2019, pp. 195–211.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13107
J. Schumacher and S. Rezat, “A Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating Integers,” in Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERME11, February 6 – 10, 2019), Utrecht.
LibreCat
2019 | Journal Article | LibreCat-ID: 13246
M. Schneider, A. Iseke, and K. Pull, “The gender pay gap in European executive boards: the role of executives’ pathway into the board,” The International Journal of Human Resource Management, pp. 1–23, 2019.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 3287
S. B. Schneider, A. Sharma, H. Karl, and H. Wehrheim, “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets,” in 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), Washington, DC, USA, 2019, pp. 116--124.
LibreCat
| Files available
| Download (ext.)
2019 | Preprint | LibreCat-ID: 13347
C. Dong and S. Schumacher, “Molecular Doping of PCPDT-BT Copolymers: Comparison of Molecular Complexes with and Without Integer Charge Transfer.” 2019.
LibreCat
2019 | Preprint | LibreCat-ID: 13335
M. Pukrop, S. Schumacher, and X. Ma, “Optical Vortex Core Switching in Spinor Polariton Condensates,” arXiv:1907.10974. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13443
A. Redder, A. Ramaswamy, and D. Quevedo, “Deep reinforcement learning for scheduling in large-scale networked control systems,” in Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Chicago, USA, 2019.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 11714
Y. Ajjour, H. Wachsmuth, J. Kiesel, M. Potthast, M. Hagen, and B. Stein, “Data Acquisition for Argument Search: The args.me Corpus.,” 2019.
LibreCat