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.

8209 Publications


2019 | Conference Paper | LibreCat-ID: 10095
Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” 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}, edited by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3_19.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 7626
Schubert, Philipp, et al. “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.” 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), vol. II, 2019, pp. 393–410, doi:10.1007/978-3-030-17465-1_22.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 8871
Augustine, John, et al. “Distributed Computation in Node-Capacitated Networks.” Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2019, pp. 69--79, doi:10.1145/3323165.3323195.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 12971
Jin, Ligang, and Eckhard Steffen. “Unions of 1-Factors in r-Graphs and Overfull Graphs.” J. of Combinatorics, to Appear, 2019.
LibreCat
 

2019 | Misc | LibreCat-ID: 8112
Maaz, Mohammad Urf, et al. A Hybrid Space Compactor for Varying X-Rates. 31. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’19), 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 7669
Josifovska, Klementina, et al. “A Digital Twin-Based Multi-Modal UI Adaptation Framework for Assistance Systems in Industry 4.0 .” Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), vol. 11568, Springer, LNCS, 2019, pp. 398–409.
LibreCat
 

2019 | Preprint | LibreCat-ID: 13114
Lu, You, et al. “Flows on Signed Graphs without Long Barbells.” ArXiv:1908.11004, 2019.
LibreCat
 

2019 | Dissertation | LibreCat-ID: 13126
Khaluf, Lial. Organic Programming of Dynamic Real-Time Applications. Paderborn University, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 13121
Breitmayer, Bastian, et al. “Culture and the Disposition Effect.” Economics Letters, vol. 184, 108653, 2019, doi:10.1016/j.econlet.2019.108653.
LibreCat | DOI
 

2019 | Working Paper | LibreCat-ID: 13145
Hippert, Benjamin, et al. Determinants of CDS Trading on Major Banks. 2019.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: MLA

Export / Embed