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.
4922 Publications
2018 | Journal Article | IST-REx-ID: 1012 | 
Erdös L, Schröder DJ. Fluctuations of rectangular young diagrams of interlacing wigner eigenvalues. International Mathematics Research Notices. 2018;2018(10):3255-3298. doi:10.1093/imrn/rnw330
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 6006 |
Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning about network games. Games. 2018;9(3). doi:10.3390/g9030039
[Published Version]
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 35 |
Chatterjee K, Dvorák W, Henzinger MH, Svozil A. Algorithms and conditional lower bounds for planning problems. In: 28th International Conference on Automated Planning and Scheduling . AAAI Press; 2018.
View
| Files available
| Download None (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 738 |
Chatterjee K, Pavlogiannis A, Kößler A, Schmid U. Automated competitive analysis of real time scheduling with graph games. Real-Time Systems. 2018;54(1):166-207. doi:10.1007/s11241-017-9293-4
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Thesis | IST-REx-ID: 52 |
Moser T. Point interactions in systems of fermions. 2018. doi:10.15479/AT:ISTA:th_1043
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 913 |
Tejos R, Rodríguez Furlán C, Adamowski M, Sauer M, Norambuena L, Friml J. PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana. Journal of Cell Science. 2018;131(2). doi:10.1242/jcs.204198
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Thesis | IST-REx-ID: 69 |
Vukušić L. Charge sensing and spin relaxation times of holes in Ge hut wires. 2018. doi:10.15479/AT:ISTA:TH_1047
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 324 |
Chen C. Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release. 2018. doi:10.15479/AT:ISTA:th_997
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 742 |
Dotterrer D, Kaufman T, Wagner U. On expansion and topological overlap. Geometriae Dedicata. 2018;195(1):307–317. doi:10.1007/s10711-017-0291-4
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 70 |
Nejjar P. Transition to shocks in TASEP and decoupling of last passage times. Latin American Journal of Probability and Mathematical Statistics. 2018;15(2):1311-1334. doi:10.30757/ALEA.v15-49
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 44 |
Turner CJ, Michailidis A, Abanin DA, Serbyn M, Papić Z. Quantum scarred eigenstates in a Rydberg atom chain: Entanglement, breakdown of thermalization, and stability to perturbations. Physical Review B. 2018;98(15). doi:10.1103/PhysRevB.98.155134
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 328 |
Choueiri GH, Lopez Alonso JM, Hof B. Exceeding the asymptotic limit of polymer drag reduction. Physical Review Letters. 2018;120(12). doi:10.1103/PhysRevLett.120.124501
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2018 | Journal Article | IST-REx-ID: 136 |
Suri B, Tithof J, Grigoriev R, Schatz M. Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow. Physical Review E. 2018;98(2). doi:10.1103/PhysRevE.98.023105
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 691 |
Marin Valencia I, Novarino G, Johansen A, et al. A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features. Journal of Medical Genetics. 2018;55(1):48-54. doi:10.1136/jmedgenet-2017-104627
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 284 |
Virosztek D. Maps on probability measures preserving certain distances - a survey and some new results. Acta Scientiarum Mathematicarum. 2018;84(1-2):65-80. doi:10.14232/actasm-018-753-y
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 180 |
Lewi M, Lieb É, Seiringer R. Statistical mechanics of the uniform electron gas. Journal de l’Ecole Polytechnique - Mathematiques. 2018;5:79-116. doi:10.5802/jep.64
[Published Version]
View
| Files available
| DOI
| arXiv
2018 | Journal Article | IST-REx-ID: 163 |
Reipert S, Goldammer H, Richardson C, et al. Agitation modules: Flexible means to accelerate automated freeze substitution. Journal of Histochemistry and Cytochemistry. 2018;66(12):903-921. doi:10.1369/0022155418786698
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Conference Paper | IST-REx-ID: 6012 |
Sahoo S, Lampert C, Martius GS. Learning equations for extrapolation and control. In: Proceedings of the 35th International Conference on Machine Learning. Vol 80. ML Research Press; 2018:4442-4450.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Conference Paper | IST-REx-ID: 6011 |
Kuzborskij I, Lampert C. Data-dependent stability of stochastic gradient descent. In: Proceedings of the 35 Th International Conference on Machine Learning. Vol 80. ML Research Press; 2018:2815-2824.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Conference Paper | IST-REx-ID: 6589 |
Alistarh D-A, Hoefler T, Johansson M, Konstantinov NH, Khirirat S, Renggli C. The convergence of sparsified gradient methods. In: Advances in Neural Information Processing Systems 31. Vol Volume 2018. Neural Information Processing Systems Foundation; 2018:5973-5983.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv