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.
8078 Publications
2019 | Conference Paper | LibreCat-ID: 12952
A DC bias approach to the characterisation of non-linear material parameters of piezoelectric ceramics
D. Dreiling, N. Feldmann, B. Henning, in: AMA Service GmbH, 2019.
LibreCat
| DOI
| Download (ext.)
D. Dreiling, N. Feldmann, B. Henning, in: AMA Service GmbH, 2019.
2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229–233.
LibreCat
| Files available
| DOI
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229–233.
2019 | Conference Paper | LibreCat-ID: 7626
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, 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), 2019, pp. 393–410.
LibreCat
| Files available
| DOI
P. Schubert, B. Hermann, E. Bodden, 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), 2019, pp. 393–410.
2019 | Conference Paper | LibreCat-ID: 8871
Distributed Computation in Node-Capacitated Networks
J. Augustine, M. Ghaffari, R. Gmyr, K. Hinnenthal, F. Kuhn, J. Li, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2019, pp. 69--79.
LibreCat
| Files available
| DOI
J. Augustine, M. Ghaffari, R. Gmyr, K. Hinnenthal, F. Kuhn, J. Li, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2019, pp. 69--79.
2019 | Journal Article | LibreCat-ID: 12971
Unions of 1-factors in r-graphs and overfull graphs
L. Jin, E. Steffen, J. of Combinatorics, to Appear (2019).
LibreCat
L. Jin, E. Steffen, J. of Combinatorics, to Appear (2019).
2019 | Misc | LibreCat-ID: 8112
A Hybrid Space Compactor for Varying X-Rates
M.U. Maaz, A. Sprenger, S. Hellebrand, A Hybrid Space Compactor for Varying X-Rates, 31. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’19), Prien am Chiemsee, 2019.
LibreCat
M.U. Maaz, A. Sprenger, S. Hellebrand, A Hybrid Space Compactor for Varying X-Rates, 31. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’19), Prien am Chiemsee, 2019.
2019 | Conference Paper | LibreCat-ID: 7669
A Digital Twin-Based Multi-Modal UI Adaptation Framework for Assistance Systems in Industry 4.0
K. Josifovska, E. Yigitbas, G. Engels, in: Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), Springer, LNCS, 2019, pp. 398–409.
LibreCat
K. Josifovska, E. Yigitbas, G. Engels, in: Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), Springer, LNCS, 2019, pp. 398–409.
2019 | Preprint | LibreCat-ID: 13114
Flows on signed graphs without long barbells
Y. Lu, R. Luo, M. Schubert, E. Steffen, C.-Q. Zhang, ArXiv:1908.11004 (2019).
LibreCat
Y. Lu, R. Luo, M. Schubert, E. Steffen, C.-Q. Zhang, ArXiv:1908.11004 (2019).
2019 | Dissertation | LibreCat-ID: 13126
Organic Programming of Dynamic Real-Time Applications
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Paderborn University, 2019.
LibreCat
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Paderborn University, 2019.
2019 | Journal Article | LibreCat-ID: 13121
Culture and the disposition effect
B. Breitmayer, T. Hasso, M. Pelster, Economics Letters 184 (2019).
LibreCat
| DOI
B. Breitmayer, T. Hasso, M. Pelster, Economics Letters 184 (2019).