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.
9251 Publications
2019 | Conference Paper | LibreCat-ID: 10108
F. Pauck and H. Wehrheim, “Together Strong: Cooperative Android App Analysis,” in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 374–384.
LibreCat
| Files available
| DOI
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