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 | IST-REx-ID: 6175
P. Wang, H. Fu, A. K. Goharshady, K. Chatterjee, X. Qin, and W. Shi, “Cost analysis of nondeterministic probabilistic programs,” in 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019), Phoenix, AZ, United States, 2019, pp. 204–220.View | Files available | DOI | arXiv
2019 | Journal Article | IST-REx-ID: 6586
M. Ibáñez et al., “Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion,” Journal of the American Chemical Society, vol. 141, no. 20, pp. 8025–8029, 2019.View | Files available | DOI | PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 6822
G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12.View | Files available | DOI
2019 | Conference Paper | IST-REx-ID: 6935
K.-T. Foerster, J. Korhonen, J. Rybicki, and S. Schmid, “Does preprocessing help under congestion?,” in Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, Toronto, ON, Canada, 2019, pp. 259–261.View | DOI | Download (ext.) | arXiv
2019 | Conference Paper | IST-REx-ID: 6942
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, and V. Toman, “Strategy representation by decision trees with linear classifiers,” in 16th International Conference on Quantitative Evaluation of Systems, Glasgow, United Kingdom, 2019, vol. 11785, pp. 109–128.View | DOI | Download (ext.) | arXiv