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.
8957 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: 12952
D. Dreiling, N. Feldmann, and B. Henning, “A DC bias approach to the characterisation of non-linear material parameters of piezoelectric ceramics,” presented at the 20. GMA/ITG-Fachtagung Sensoren und Messsysteme 2019, Nürnberg, 2019.
LibreCat
| DOI
| Download (ext.)
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