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.
371 Publications
2015 | Conference Paper | IST-REx-ID: 1499 | 
Kretinsky, J., Larsen, K., Laursen, S., & Srba, J. (2015). Polynomial time decidability of weighted synchronization under partial observability (Vol. 42, pp. 142–154). Presented at the CONCUR: Concurrency Theory, Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2015.142
View
| Files available
| DOI
2015 | Conference Poster | IST-REx-ID: 1500
Nguyen, L., Schilling, C., Bogomolov, S., & Johnson, T. (2015). Poster: HyRG: A random generation tool for affine hybrid automata. HSCC: Hybrid Systems - Computation and Control (pp. 289–290). Springer. https://doi.org/10.1145/2728606.2728650
View
| DOI
2015 | Journal Article | IST-REx-ID: 1501 |
Chatterjee, K., Chmelik, M., & Daca, P. (2015). CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design, 47(2), 230–264. https://doi.org/10.1007/s10703-015-0235-2
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1502 |
Beneš, N., Daca, P., Henzinger, T. A., Kretinsky, J., & Nickovic, D. (2015). Complete composition operators for IOCO-testing theory (pp. 101–110). Presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada: ACM. https://doi.org/10.1145/2737166.2737175
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1503 |
Sadel, C. (2015). A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles. Ergodic Theory and Dynamical Systems, 35(5), 1582–1591. https://doi.org/10.1017/etds.2013.103
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1504 |
Bao, Z., Lin, L., Pan, G., & Zhou, W. (2015). Spectral statistics of large dimensional spearman s rank correlation matrix and its application. Annals of Statistics, 43(6), 2588–2623. https://doi.org/10.1214/15-AOS1353
View
| DOI
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 1505 |
Bao, Z., Pan, G., & Zhou, W. (2015). Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics, 43(1), 382–421. https://doi.org/10.1214/14-AOS1281
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1506 |
Bao, Z., Pan, G., & Zhou, W. (2015). The logarithmic law of random determinant. Bernoulli, 21(3), 1600–1628. https://doi.org/10.3150/14-BEJ615
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1508 |
Erdös, L., & Yau, H. (2015). Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society, 17(8), 1927–2036. https://doi.org/10.4171/JEMS/548
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1509 |
Michalko, J., Lukacisinova, M., Bollenbach, M. T., & Friml, J. (2015). Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research , 4. https://doi.org/10.12688/f1000research.7143.1
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1510 |
Franek, P., & Krcál, M. (2015). On computability and triviality of well groups (Vol. 34, pp. 842–856). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SOCG.2015.842
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1511 |
Goaoc, X., Mabillard, I., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2015). On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result (Vol. 34, pp. 476–490). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SOCG.2015.476
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1512 |
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2015). Bounding Helly numbers via Betti numbers (Vol. 34, pp. 507–521). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: ACM. https://doi.org/10.4230/LIPIcs.SOCG.2015.507
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1513 |
Pal, A., & Vicoso, B. (2015). The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution, 7(12), 3259–3268. https://doi.org/10.1093/gbe/evv215
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1514
Gómez Gonzalo, M., Navarrete, M., Perea, G., Covelo, A., Martín Fernández, M., Shigemoto, R., … Araque, A. (2015). Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission. Cerebral Cortex, 25(10), 3699–3712. https://doi.org/10.1093/cercor/bhu231
View
| DOI
2015 | Journal Article | IST-REx-ID: 1515
Mansouri, M., Kasugai, Y., Fukazawa, Y., Bertaso, F., Raynaud, F., Perroy, J., … Ferraguti, F. (2015). Distinct subsynaptic localization of type 1 metabotropic glutamate receptors at glutamatergic and GABAergic synapses in the rodent cerebellar cortex. European Journal of Neuroscience, 41(2), 157–167. https://doi.org/10.1111/ejn.12779
View
| DOI
2015 | Journal Article | IST-REx-ID: 1517 |
Erbar, M., Maas, J., & Renger, M. (2015). From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability, 20. https://doi.org/10.1214/ECP.v20-4315
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1519 |
Barton, N. H., & Servedio, M. (2015). The interpretation of selection coefficients. Evolution, 69(5), 1101–1112. https://doi.org/10.1111/evo.12641
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1520
Bharaj, G., Coros, S., Thomaszewski, B., Tompkin, J., Bickel, B., & Pfister, H. (2015). Computational design of walking automata (pp. 93–100). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2786784.2786803
View
| DOI
2015 | Journal Article | IST-REx-ID: 1525 |
Bauer, B., Blechl, G., Bock, C., Danowski, P., Ferus, A., Graschopf, A., … Welzig, E. (2015). Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA. VÖB Mitteilungen, 68(3), 580–607. https://doi.org/10.5281/zenodo.33178
View
| Files available
| DOI