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

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2019 | Journal Article | LibreCat-ID: 13121
Culture and the disposition effect
B. Breitmayer, T. Hasso, M. Pelster, Economics Letters 184 (2019).
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed