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
A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features
I. Marin Valencia, G. Novarino, A. Johansen, B. Rosti, M. Issa, D. Musaev, G. Bhat, E. Scott, J. Silhavy, V. Stanley, R. Rosti, J. Gleeson, F. Imam, M. Zaki, J. Gleeson, Journal of Medical Genetics 55 (2018) 48–54.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Conference Paper | IST-REx-ID: 10883 | OA
Quasipolynomial set-based symbolic algorithms for parity games
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
Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, M. Nowak, Nature Communications 9 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 417 | OA
Diagrammatic Monte Carlo approach to rotating molecular impurities
G. Bighin, T. Tscherbul, M. Lemeshko, Physical Review Letters 121 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

2018 | Published | Journal Article | IST-REx-ID: 5794 | OA
Quantum groups as hidden symmetries of quantum impurities
E. Yakaboylu, M. Shkolnikov, M. Lemeshko, Physical Review Letters 121 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

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

2018 | Published | Journal Article | IST-REx-ID: 566 | OA
Local inhomogeneous circular law
J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability 28 (2018) 148–203.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 556 | OA
The free boundary Schur process and applications I
D. Betea, J. Bouttier, P. Nejjar, M. Vuletic, Annales Henri Poincare 19 (2018) 3663–3742.
[Published Version] View | Files available | DOI | arXiv
 

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

2018 | Published | Journal Article | IST-REx-ID: 70 | OA
Transition to shocks in TASEP and decoupling of last passage times
P. Nejjar, Latin American Journal of Probability and Mathematical Statistics 15 (2018) 1311–1334.
[Published Version] View | Files available | DOI | WoS | arXiv
 

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

2018 | Published | Journal Article | IST-REx-ID: 690 | OA
Local law and Tracy–Widom limit for sparse random matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 608 | OA
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 133 | OA
Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version] View | Files available | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 182 | OA
Efficient parametric identification for STL
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
New approaches for almost-sure termination of probabilistic programs
M. Huang, H. Fu, K. Chatterjee, in:, S. Ryu (Ed.), Springer, 2018, pp. 181–201.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 325 | OA
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 142 | OA
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Export / Embed