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.
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 | 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