Please note that IST Research Explorer 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: 7183 |
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, and D. Velan, “Deciding fast termination for probabilistic VASS with nondeterminism,” in International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 2019, vol. 11781, pp. 462–478.View | DOI | Download Preprint (ext.) | arXiv
2019 | Journal Article | IST-REx-ID: 72 |
P. Ferrari, P. Ghosal, and P. Nejjar, “Limit law of a second class particle in TASEP with non-random initial condition,” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 55, no. 3, pp. 1203–1225, 2019.View | DOI | Download Preprint (ext.) | arXiv
2019 | Journal Article | IST-REx-ID: 7200 |
P. Brighi, M. Grilli, B. Leridon, and S. Caprara, “Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films,” Physical Review B, vol. 100, no. 17, 2019.View | DOI | Download Preprint (ext.) | arXiv