Please note that ISTA 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.

5616 Publications


2018 | Published | Journal Article | IST-REx-ID: 691 | OA
Marin Valencia, I., Novarino, G., Johansen, A., Rosti, B., Issa, M., Musaev, D., … Gleeson, J. (2018). A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features. Journal of Medical Genetics. BMJ Publishing Group. https://doi.org/10.1136/jmedgenet-2017-104627
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Conference Paper | IST-REx-ID: 10883 | OA
Chatterjee, Krishnendu, Quasipolynomial set-based symbolic algorithms for parity games. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning 57. 2018
[Published Version] View | Files available | DOI | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 454 | OA
Reiter, J., Hilbe, C., Rand, D., Chatterjee, K., & Nowak, M. (2018). Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-02721-8
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 417 | OA
Bighin, G., Tscherbul, T., & Lemeshko, M. (2018). Diagrammatic Monte Carlo approach to rotating molecular impurities. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.121.165301
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 6339 | OA
Bighin, G., Tscherbul, T., & Lemeshko, M. (2018). Diagrammatic Monte Carlo approach to angular momentum in quantum many-particle systems. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.121.165301
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 415 | OA
Rzadkowski, W., & Lemeshko, M. (2018). Effect of a magnetic field on molecule–solvent angular momentum transfer. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.5017591
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 5794 | OA
Yakaboylu, E., Shkolnikov, M., & Lemeshko, M. (2018). Quantum groups as hidden symmetries of quantum impurities. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.121.255302
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 195 | OA
Yakaboylu, E., & Lemeshko, M. (2018). Anyonic statistics of quantum impurities in two dimensions. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.98.045402
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 566 | OA
Alt, J., Erdös, L., & Krüger, T. H. (2018). Local inhomogeneous circular law. Annals Applied Probability . Institute of Mathematical Statistics. https://doi.org/10.1214/17-AAP1302
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 556 | OA
Betea, D., Bouttier, J., Nejjar, P., & Vuletic, M. (2018). The free boundary Schur process and applications I. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-018-0723-1
[Published Version] View | Files available | DOI | arXiv
 

2018 | Draft | Preprint | IST-REx-ID: 6183 | OA
Alt, J., Erdös, L., & Krüger, T. H. (n.d.). The Dyson equation with linear self-energy: Spectral bands, edges and  cusps. arXiv. https://doi.org/10.48550/arXiv.1804.07752
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 70 | OA
Nejjar, P. (2018). Transition to shocks in TASEP and decoupling of last passage times. Latin American Journal of Probability and Mathematical Statistics. Instituto Nacional de Matematica Pura e Aplicada. https://doi.org/10.30757/ALEA.v15-49
[Published Version] View | Files available | DOI | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 5971 | OA
Erdös, L., & Mühlbacher, P. (2018). Bounds on the norm of Wigner-type random matrices. Random Matrices: Theory and Applications. World Scientific Publishing. https://doi.org/10.1142/s2010326319500096
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 690 | OA
Lee, J., & Schnelli, K. (2018). Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-017-0787-8
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 608 | OA
Avni, G., & Kupferman, O. (2018). Synthesis from component libraries with costs. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2017.11.001
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 133 | OA
Kragl, B., Qadeer, S., & Henzinger, T. A. (2018). Synchronizing the asynchronous (Vol. 118). Presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2018.21
[Published Version] View | Files available | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 182 | OA
Bakhirkin, Alexey, Efficient parametric identification for STL. Proceedings of the 21st International Conference on Hybrid Systems. 2018
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 5679 | OA
Huang, M., Fu, H., & Chatterjee, K. (2018). New approaches for almost-sure termination of probabilistic programs. In S. Ryu (Ed.) (Vol. 11275, pp. 181–201). Presented at the 16th Asian Symposium on Programming Languages and Systems, APLAS, Wellington, New Zealand: Springer. https://doi.org/10.1007/978-3-030-02768-1_11
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 325 | OA
Agrawal, S., Chatterjee, K., & Novotný, P. (2018). Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs (Vol. 2). Presented at the POPL: Principles of Programming Languages, Los Angeles, CA, USA: ACM. https://doi.org/10.1145/3158122
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 142 | OA
Kong, H., Bartocci, E., & Henzinger, T. A. (2018). Reachable set over-approximation for nonlinear systems using piecewise barrier tubes (Vol. 10981, pp. 449–467). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96145-3_24
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed