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.
7712 Publications
2018 | Journal Article | IST-REx-ID: 8419
On the integrability of Birkhoff billiards
V. Kaloshin, A. Sorrentino, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 376 (2018).
View
| DOI
V. Kaloshin, A. Sorrentino, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 376 (2018).
2018 | Journal Article | IST-REx-ID: 8420 |

Density of convex billiards with rational caustics
V. Kaloshin, K. Zhang, Nonlinearity 31 (2018) 5214–5234.
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kaloshin, K. Zhang, Nonlinearity 31 (2018) 5214–5234.
2018 | Journal Article | IST-REx-ID: 8421 |

On the local Birkhoff conjecture for convex billiards
V. Kaloshin, A. Sorrentino, Annals of Mathematics 188 (2018) 315–380.
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kaloshin, A. Sorrentino, Annals of Mathematics 188 (2018) 315–380.
2018 | Journal Article | IST-REx-ID: 8422 |

Nearly circular domains which are integrable close to the boundary are ellipses
G. Huang, V. Kaloshin, A. Sorrentino, Geometric and Functional Analysis 28 (2018) 334–392.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Huang, V. Kaloshin, A. Sorrentino, Geometric and Functional Analysis 28 (2018) 334–392.
2018 | Journal Article | IST-REx-ID: 8426 |

Nonisometric domains with the same Marvizi-Melrose invariants
L. Buhovsky, V. Kaloshin, Regular and Chaotic Dynamics 23 (2018) 54–59.
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Buhovsky, V. Kaloshin, Regular and Chaotic Dynamics 23 (2018) 54–59.
2018 | Journal Article | IST-REx-ID: 8436
Structural basis of membrane protein chaperoning through the mitochondrial intermembrane space
K. Weinhäupl, C. Lindau, A. Hessel, Y. Wang, C. Schütze, T. Jores, L. Melchionda, B. Schönfisch, H. Kalbacher, B. Bersch, D. Rapaport, M. Brennich, K. Lindorff-Larsen, N. Wiedemann, P. Schanda, Cell 175 (2018) 1365–1379.e25.
View
| DOI
K. Weinhäupl, C. Lindau, A. Hessel, Y. Wang, C. Schütze, T. Jores, L. Melchionda, B. Schönfisch, H. Kalbacher, B. Bersch, D. Rapaport, M. Brennich, K. Lindorff-Larsen, N. Wiedemann, P. Schanda, Cell 175 (2018) 1365–1379.e25.
2018 | Journal Article | IST-REx-ID: 8438
Dynamics and interactions of AAC3 in DPC are not functionally relevant
V. Kurauskas, A. Hessel, F. Dehez, C. Chipot, B. Bersch, P. Schanda, Nature Structural & Molecular Biology 25 (2018) 745–747.
View
| DOI
V. Kurauskas, A. Hessel, F. Dehez, C. Chipot, B. Bersch, P. Schanda, Nature Structural & Molecular Biology 25 (2018) 745–747.
2018 | Journal Article | IST-REx-ID: 8439
Solid state NMR studies of intact lipopolysaccharide endotoxin
C. Laguri, A. Silipo, A.M. Martorana, P. Schanda, R. Marchetti, A. Polissi, A. Molinaro, J.-P. Simorre, ACS Chemical Biology 13 (2018) 2106–2113.
View
| DOI
C. Laguri, A. Silipo, A.M. Martorana, P. Schanda, R. Marchetti, A. Polissi, A. Molinaro, J.-P. Simorre, ACS Chemical Biology 13 (2018) 2106–2113.
2018 | Journal Article | IST-REx-ID: 8440
The antibiotic cyclomarin blocks arginine-phosphate–induced millisecond dynamics in the N-terminal domain of ClpC1 from Mycobacterium tuberculosis
K. Weinhäupl, M. Brennich, U. Kazmaier, J. Lelievre, L. Ballell, A. Goldberg, P. Schanda, H. Fraga, Journal of Biological Chemistry 293 (2018) 8379–8393.
View
| DOI
K. Weinhäupl, M. Brennich, U. Kazmaier, J. Lelievre, L. Ballell, A. Goldberg, P. Schanda, H. Fraga, Journal of Biological Chemistry 293 (2018) 8379–8393.
2018 | Journal Article | IST-REx-ID: 8441
Microsecond motions probed by near-rotary-resonance R1ρ 15N MAS NMR experiments: The model case of protein overall-rocking in crystals
A. Krushelnitsky, D. Gauto, D.C. Rodriguez Camargo, P. Schanda, K. Saalwächter, Journal of Biomolecular NMR 71 (2018) 53–67.
View
| DOI
A. Krushelnitsky, D. Gauto, D.C. Rodriguez Camargo, P. Schanda, K. Saalwächter, Journal of Biomolecular NMR 71 (2018) 53–67.
2018 | Journal Article | IST-REx-ID: 8442
Perturbations of native membrane protein structure in alkyl phosphocholine detergents: A critical assessment of NMR and biophysical studies
C. Chipot, F. Dehez, J.R. Schnell, N. Zitzmann, E. Pebay-Peyroula, L.J. Catoire, B. Miroux, E.R.S. Kunji, G. Veglia, T.A. Cross, P. Schanda, Chemical Reviews 118 (2018) 3559–3607.
View
| DOI
C. Chipot, F. Dehez, J.R. Schnell, N. Zitzmann, E. Pebay-Peyroula, L.J. Catoire, B. Miroux, E.R.S. Kunji, G. Veglia, T.A. Cross, P. Schanda, Chemical Reviews 118 (2018) 3559–3607.
2018 | Journal Article | IST-REx-ID: 8443
How detergent impacts membrane proteins: Atomic-level views of mitochondrial carriers in dodecylphosphocholine
V. Kurauskas, A. Hessel, P. Ma, P. Lunetti, K. Weinhäupl, L. Imbert, B. Brutscher, M.S. King, R. Sounier, V. Dolce, E.R.S. Kunji, L. Capobianco, C. Chipot, F. Dehez, B. Bersch, P. Schanda, The Journal of Physical Chemistry Letters 9 (2018) 933–938.
View
| DOI
V. Kurauskas, A. Hessel, P. Ma, P. Lunetti, K. Weinhäupl, L. Imbert, B. Brutscher, M.S. King, R. Sounier, V. Dolce, E.R.S. Kunji, L. Capobianco, C. Chipot, F. Dehez, B. Bersch, P. Schanda, The Journal of Physical Chemistry Letters 9 (2018) 933–938.
2018 | Conference Paper | IST-REx-ID: 85 |

Snapshot based synchronization: A fast replacement for Hand-over-Hand locking
E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018, pp. 465–479.
View
| Files available
| DOI
E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018, pp. 465–479.
2018 | Preprint | IST-REx-ID: 8547 |

Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).
View
| DOI
| Download Preprint (ext.)
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).
2018 | Book Chapter | IST-REx-ID: 86 |

Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
2018 | Journal Article | IST-REx-ID: 8618 |

Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
View
| Files available
| DOI
| PubMed | Europe PMC
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
2018 | Journal Article | IST-REx-ID: 446 |

The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory
R. Frank, P. Nam, H. Van Den Bosch, Communications on Pure and Applied Mathematics 71 (2018) 577–614.
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Frank, P. Nam, H. Van Den Bosch, Communications on Pure and Applied Mathematics 71 (2018) 577–614.
2018 | Journal Article | IST-REx-ID: 454 |

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).
View
| Files available
| DOI
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, M. Nowak, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 455 |

The Dirac–Frenkel principle for reduced density matrices and the Bogoliubov–de Gennes equations
N.P. Benedikter, J. Sok, J. Solovej, Annales Henri Poincare 19 (2018) 1167–1214.
View
| Files available
| DOI
N.P. Benedikter, J. Sok, J. Solovej, Annales Henri Poincare 19 (2018) 1167–1214.
2018 | Journal Article | IST-REx-ID: 456
Zika-associated microcephaly: Reduce the stress and race for the treatment
G. Novarino, Science Translational Medicine 10 (2018).
View
| DOI
G. Novarino, Science Translational Medicine 10 (2018).
2018 | Journal Article | IST-REx-ID: 457
Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity
M. Pleska, M. Lang, D. Refardt, B. Levin, C.C. Guet, Nature Ecology and Evolution 2 (2018) 359–366.
View
| Files available
| DOI
M. Pleska, M. Lang, D. Refardt, B. Levin, C.C. Guet, Nature Ecology and Evolution 2 (2018) 359–366.
2018 | Journal Article | IST-REx-ID: 458 |

Incircular nets and confocal conics
A. Akopyan, A. Bobenko, Transactions of the American Mathematical Society 370 (2018) 2825–2854.
View
| DOI
| Download Preprint (ext.)
A. Akopyan, A. Bobenko, Transactions of the American Mathematical Society 370 (2018) 2825–2854.
2018 | Journal Article | IST-REx-ID: 46 |

Detection and characterization of many-body localization in central spin models
D. Hetterich, N. Yao, M. Serbyn, F. Pollmann, B. Trauzettel, Physical Review B 98 (2018).
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Hetterich, N. Yao, M. Serbyn, F. Pollmann, B. Trauzettel, Physical Review B 98 (2018).
2018 | Journal Article | IST-REx-ID: 462 |

NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development
L. Fan, L. Zhao, W. Hu, W. Li, O. Novák, M. Strnad, S. Simon, J. Friml, J. Shen, L. Jiang, Q. Qiu, Plant, Cell and Environment 41 (2018) 850–864.
View
| Files available
| DOI
| PubMed | Europe PMC
L. Fan, L. Zhao, W. Hu, W. Li, O. Novák, M. Strnad, S. Simon, J. Friml, J. Shen, L. Jiang, Q. Qiu, Plant, Cell and Environment 41 (2018) 850–864.
2018 | Thesis | IST-REx-ID: 49 |

Ge hut wires - from growth to hole spin resonance
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, IST Austria, 2018.
View
| Files available
| DOI
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 503
Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains
K. Tomasek, T. Bergmiller, C.C. Guet, Journal of Biotechnology 268 (2018) 40–52.
View
| DOI
K. Tomasek, T. Bergmiller, C.C. Guet, Journal of Biotechnology 268 (2018) 40–52.
2018 | Journal Article | IST-REx-ID: 519 |

Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow
S. Altmeyer, Journal of Magnetism and Magnetic Materials 452 (2018) 427–441.
View
| Files available
| DOI
S. Altmeyer, Journal of Magnetism and Magnetic Materials 452 (2018) 427–441.
2018 | Thesis | IST-REx-ID: 52 |

Point interactions in systems of fermions
T. Moser, Point Interactions in Systems of Fermions, IST Austria, 2018.
View
| Files available
| DOI
T. Moser, Point Interactions in Systems of Fermions, IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 53 |

IST PubRep and IST DataRep: the institutional repositories at IST Austria
B. Petritsch, J. Porsche, VÖB Mitteilungen 71 (2018) 199–206.
View
| Files available
| DOI
B. Petritsch, J. Porsche, VÖB Mitteilungen 71 (2018) 199–206.
2018 | Journal Article | IST-REx-ID: 530 |

Multiple covers with balls I: Inclusion–exclusion
H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications 68 (2018) 119–133.
View
| Files available
| DOI
H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications 68 (2018) 119–133.
2018 | Journal Article | IST-REx-ID: 536 |

Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
View
| Files available
| DOI
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
2018 | Journal Article | IST-REx-ID: 54
Mechanical force-driven adherents junction remodeling and epithelial dynamics
D.C. Nunes Pinheiro, Y. Bellaïche, Developmental Cell 47 (2018) 3–19.
View
| DOI
| Download Published Version (ext.)
D.C. Nunes Pinheiro, Y. Bellaïche, Developmental Cell 47 (2018) 3–19.
2018 | Journal Article | IST-REx-ID: 542 |

Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver
R.K. Kelemen, B. Vicoso, Genetics 208 (2018) 365–375.
View
| Files available
| DOI
R.K. Kelemen, B. Vicoso, Genetics 208 (2018) 365–375.
2018 | Journal Article | IST-REx-ID: 543 |

Toward a unified theory of efficient, predictive, and sparse coding
M.J. Chalk, O. Marre, G. Tkačik, PNAS 115 (2018) 186–191.
View
| DOI
| Download Submitted Version (ext.)
M.J. Chalk, O. Marre, G. Tkačik, PNAS 115 (2018) 186–191.
2018 | Technical Report | IST-REx-ID: 5457 |

Cost analysis of nondeterministic probabilistic programs
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous, Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018.
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous, Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 546
Neural stem cells in neuropsychiatric disorders
R. Sacco, E. Cacci, G. Novarino, Current Opinion in Neurobiology 48 (2018) 131–138.
View
| DOI
R. Sacco, E. Cacci, G. Novarino, Current Opinion in Neurobiology 48 (2018) 131–138.
2018 | Journal Article | IST-REx-ID: 547
Mutations in Vps15 perturb neuronal migration in mice and are associated with neurodevelopmental disease in humans
Gstrein T, Edwards A, Přistoupilová A, Leca I, Breuss M, Pilat Carotta S, Hansen AH, Tripathy R, Traunbauer A, Hochstoeger T, Rosoklija G, Repic M, Landler L, Stránecký V, Dürnberger G, Keane T, Zuber J, Adams D, Flint J, Honzik T, Gut M, Beltran S, Mechtler K, Sherr E, Kmoch S, Gut I, Keays D. 2018. Mutations in Vps15 perturb neuronal migration in mice and are associated with neurodevelopmental disease in humans. Nature Neuroscience. 21(2), 207–217.
View
| DOI
Gstrein T, Edwards A, Přistoupilová A, Leca I, Breuss M, Pilat Carotta S, Hansen AH, Tripathy R, Traunbauer A, Hochstoeger T, Rosoklija G, Repic M, Landler L, Stránecký V, Dürnberger G, Keane T, Zuber J, Adams D, Flint J, Honzik T, Gut M, Beltran S, Mechtler K, Sherr E, Kmoch S, Gut I, Keays D. 2018. Mutations in Vps15 perturb neuronal migration in mice and are associated with neurodevelopmental disease in humans. Nature Neuroscience. 21(2), 207–217.
2018 | Journal Article | IST-REx-ID: 55 |

Protection against the lethal side effects of social immunity in ants
C. Pull, S. Metzler, E. Naderlinger, S. Cremer, Current Biology 28 (2018) R1139–R1140.
View
| DOI
| Download Published Version (ext.)
C. Pull, S. Metzler, E. Naderlinger, S. Cremer, Current Biology 28 (2018) R1139–R1140.
2018 | Journal Article | IST-REx-ID: 554 |

The Bogoliubov free energy functional II: The dilute Limit
M.M. Napiórkowski, R. Reuvers, J. Solovej, Communications in Mathematical Physics 360 (2018) 347–403.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
M.M. Napiórkowski, R. Reuvers, J. Solovej, Communications in Mathematical Physics 360 (2018) 347–403.
2018 | Journal Article | IST-REx-ID: 555 |

Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets?
R. Richter, N.S. Baranova, A. Day, J. Kwok, Current Opinion in Structural Biology 50 (2018) 65–74.
View
| DOI
| Download Submitted Version (ext.)
R. Richter, N.S. Baranova, A. Day, J. Kwok, Current Opinion in Structural Biology 50 (2018) 65–74.
2018 | Journal Article | IST-REx-ID: 556 |

The free boundary Schur process and applications I
D. Betea, J. Bouttier, P. Nejjar, M. Vuletic, Annales Henri Poincare 19 (2018) 3663–3742.
View
| Files available
| DOI
D. Betea, J. Bouttier, P. Nejjar, M. Vuletic, Annales Henri Poincare 19 (2018) 3663–3742.
2018 | Research Data | IST-REx-ID: 5569 |

Time-lapse microscopy data
T. Bergmiller, N. Nikolic, (2018).
View
| Files available
| DOI
T. Bergmiller, N. Nikolic, (2018).
2018 | Research Data | IST-REx-ID: 5573 |

Graph matching problems for GraphFlow – 6D Large Displacement Scene Flow
H. Alhaija, A. Sellent, D. Kondermann, C. Rother, (2018).
View
| Files available
| DOI
H. Alhaija, A. Sellent, D. Kondermann, C. Rother, (2018).
2018 | Research Data | IST-REx-ID: 5574 |

Data Check IOP Scopus vs. Publisher
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5575 |

Data Check RSC Scopus vs. FWF
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5576 |

Data Check T&F Scopus vs. FWF
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5577 |

Emerald Austrian Publications 2013-2017
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5578 |

IOP Austrian Publications 2012-2015
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5579 |

RSC Austrian Publications 2013-2017
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5580 |

SAGE Austrian Publications 2013-2017
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5581 |

Springer Austrian Publications 2013-2016
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5582 |

Taylor&Francis Austrian Publications 2013-2017
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5583 |

Data and Python scripts supporting Python package FAPS
T. Ellis, (2018).
View
| Files available
| DOI
T. Ellis, (2018).
2018 | Research Data | IST-REx-ID: 5584 |

Nonlinear decoding of a complex movie from the mammalian retina
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkačik, (2018).
View
| Files available
| DOI
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkačik, (2018).
2018 | Research Data | IST-REx-ID: 5586 |

Input files and scripts from "Evolution of gene dosage on the Z-chromosome of schistosome parasites" by Picard M.A.L., et al (2018)
B. Vicoso, (2018).
View
| Files available
| DOI
B. Vicoso, (2018).
2018 | Research Data | IST-REx-ID: 5587 |

Supporting materials "STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH"
D. De Martino, G. Tkačik, (2018).
View
| Files available
| DOI
D. De Martino, G. Tkačik, (2018).
2018 | Research Data | IST-REx-ID: 5588 |

Fluorescence lifetime analysis of FLIM X16 TCSPC data
R. Hauschild, (2018).
View
| Files available
| DOI
R. Hauschild, (2018).
2018 | Book Chapter | IST-REx-ID: 562 |

Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.
View
| Files available
| DOI
| PubMed | Europe PMC
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.
2018 | Journal Article | IST-REx-ID: 563 |

Estimating barriers to gene flow from distorted isolation-by-distance patterns
H. Ringbauer, A. Kolesnikov, D. Field, N.H. Barton, Genetics 208 (2018) 1231–1245.
View
| Files available
| DOI
| Download Preprint (ext.)
H. Ringbauer, A. Kolesnikov, D. Field, N.H. Barton, Genetics 208 (2018) 1231–1245.
2018 | Journal Article | IST-REx-ID: 565 |

The spread of an inversion with migration and selection
B. Charlesworth, N.H. Barton, Genetics 208 (2018) 377–382.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
B. Charlesworth, N.H. Barton, Genetics 208 (2018) 377–382.
2018 | Journal Article | IST-REx-ID: 566 |

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

IgM's exit route
A. REVERSAT, M.K. Sixt, Journal of Experimental Medicine 215 (2018) 2959–2961.
View
| Files available
| DOI
A. REVERSAT, M.K. Sixt, Journal of Experimental Medicine 215 (2018) 2959–2961.
2018 | Journal Article | IST-REx-ID: 5673 |

Mechanistic framework for cell-intrinsic re-establishment of PIN2 polarity after cell division
M. Glanc, M. Fendrych, J. Friml, Nature Plants 4 (2018) 1082–1088.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
M. Glanc, M. Fendrych, J. Friml, Nature Plants 4 (2018) 1082–1088.
2018 | Journal Article | IST-REx-ID: 5676 |

Occluding junctions as novel regulators of tissue mechanics during wound repair
L. Carvalho, P. Patricio, S. Ponte, C.-P.J. Heisenberg, L. Almeida, A.S. Nunes, N.A.M. Araújo, A. Jacinto, Journal of Cell Biology 217 (2018) 4267–4283.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
L. Carvalho, P. Patricio, S. Ponte, C.-P.J. Heisenberg, L. Almeida, A.S. Nunes, N.A.M. Araújo, A. Jacinto, Journal of Cell Biology 217 (2018) 4267–4283.
2018 | Journal Article | IST-REx-ID: 5677 |

Contracts for system design
A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations and Trends in Electronic Design Automation 12 (2018) 124–400.
View
| DOI
| Download Submitted Version (ext.)
A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations and Trends in Electronic Design Automation 12 (2018) 124–400.
2018 | Conference Paper | IST-REx-ID: 5679 |

New approaches for almost-sure termination of probabilistic programs
M. Huang, H. Fu, K. Chatterjee, in:, S. Ryu (Ed.), Springer, 2018, pp. 181–201.
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Huang, H. Fu, K. Chatterjee, in:, S. Ryu (Ed.), Springer, 2018, pp. 181–201.
2018 | Working Paper | IST-REx-ID: 5686 |

An Austrian proposal for the Classification of Open Access Tuples (COAT) - Distinguish different Open Access types beyond colors
P. Danowski, An Austrian Proposal for the Classification of Open Access Tuples (COAT) - Distinguish Different Open Access Types beyond Colors, 2018.
View
| Files available
| DOI
P. Danowski, An Austrian Proposal for the Classification of Open Access Tuples (COAT) - Distinguish Different Open Access Types beyond Colors, 2018.
2018 | Journal Article | IST-REx-ID: 5751 |

Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M.A. Nowak, Communications Biology 1 (2018).
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M.A. Nowak, Communications Biology 1 (2018).
2018 | Research Data | IST-REx-ID: 5757 |

Supplementary Files for "Pleiotropy modulates the efficacy of selection in Drosophila melanogaster"
C. Fraisse, (2018).
View
| Files available
| DOI
C. Fraisse, (2018).
2018 | Journal Article | IST-REx-ID: 5767 |

Revealing hidden spin-momentum locking in a high-temperature cuprate superconductor
K. Gotlieb, C.-Y. Lin, M. Serbyn, W. Zhang, C.L. Smallwood, C. Jozwiak, H. Eisaki, Z. Hussain, A. Vishwanath, A. Lanzara, Science 362 (2018) 1271–1275.
View
| DOI
| Download Published Version (ext.)
K. Gotlieb, C.-Y. Lin, M. Serbyn, W. Zhang, C.L. Smallwood, C. Jozwiak, H. Eisaki, Z. Hussain, A. Vishwanath, A. Lanzara, Science 362 (2018) 1271–1275.
2018 | Journal Article | IST-REx-ID: 5770 |

Structure and architecture of immature and mature murine leukemia virus capsids
K. Qu, B. Glass, M. Doležal, F.K. Schur, B. Murciano, A. Rein, M. Rumlová, T. Ruml, H.-G. Kräusslich, J.A.G. Briggs, Proceedings of the National Academy of Sciences 115 (2018) E11751–E11760.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Qu, B. Glass, M. Doležal, F.K. Schur, B. Murciano, A. Rein, M. Rumlová, T. Ruml, H.-G. Kräusslich, J.A.G. Briggs, Proceedings of the National Academy of Sciences 115 (2018) E11751–E11760.
2018 | Journal Article | IST-REx-ID: 5780 |

Genetically encodable bioluminescent system from fungi
Kotlobay AA, Sarkisyan K, Mokrushina YA, Marcet-Houben M, Serebrovskaya EO, Markina NM, Gonzalez Somermeyer L, Gorokhovatsky AY, Vvedensky A, Purtov KV, Petushkov VN, Rodionova NS, Chepurnyh TV, Fakhranurova L, Guglya EB, Ziganshin R, Tsarkova AS, Kaskova ZM, Shender V, Abakumov M, Abakumova TO, Povolotskaya IS, Eroshkin FM, Zaraisky AG, Mishin AS, Dolgov SV, Mitiouchkina TY, Kopantzev EP, Waldenmaier HE, Oliveira AG, Oba Y, Barsova E, Bogdanova EA, Gabaldón T, Stevani CV, Lukyanov S, Smirnov IV, Gitelson JI, Kondrashov F, Yampolsky IV. 2018. Genetically encodable bioluminescent system from fungi. Proceedings of the National Academy of Sciences of the United States of America. 115(50), 12728–12732.
View
| Files available
| DOI
Kotlobay AA, Sarkisyan K, Mokrushina YA, Marcet-Houben M, Serebrovskaya EO, Markina NM, Gonzalez Somermeyer L, Gorokhovatsky AY, Vvedensky A, Purtov KV, Petushkov VN, Rodionova NS, Chepurnyh TV, Fakhranurova L, Guglya EB, Ziganshin R, Tsarkova AS, Kaskova ZM, Shender V, Abakumov M, Abakumova TO, Povolotskaya IS, Eroshkin FM, Zaraisky AG, Mishin AS, Dolgov SV, Mitiouchkina TY, Kopantzev EP, Waldenmaier HE, Oliveira AG, Oba Y, Barsova E, Bogdanova EA, Gabaldón T, Stevani CV, Lukyanov S, Smirnov IV, Gitelson JI, Kondrashov F, Yampolsky IV. 2018. Genetically encodable bioluminescent system from fungi. Proceedings of the National Academy of Sciences of the United States of America. 115(50), 12728–12732.
2018 | Journal Article | IST-REx-ID: 5787 |

Statistical theory of branching morphogenesis
E.B. Hannezo, B.D. Simons, Development Growth and Differentiation 60 (2018) 512–521.
View
| Files available
| DOI
E.B. Hannezo, B.D. Simons, Development Growth and Differentiation 60 (2018) 512–521.
2018 | Conference Paper | IST-REx-ID: 5788 |

Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
2018 | Conference Paper | IST-REx-ID: 5791 |

Crossing minimization in perturbed drawings
R. Fulek, C.D. Tóth, in:, Springer, 2018, pp. 229–241.
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Fulek, C.D. Tóth, in:, Springer, 2018, pp. 229–241.
2018 | Journal Article | IST-REx-ID: 5794 |

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

Counting blanks in polygonal arrangements
A. Akopyan, E. Segal Halevi, SIAM Journal on Discrete Mathematics 32 (2018) 2242–2257.
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Akopyan, E. Segal Halevi, SIAM Journal on Discrete Mathematics 32 (2018) 2242–2257.
2018 | Journal Article | IST-REx-ID: 5830 |

CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana
Zhang L, Shi X, Zhang Y, Wang J, Yang J, Ishida T, Jiang W, Han X, Kang J, Wang X, Pan L, Lv S, Cao B, Zhang Y, Wu J, Han H, Hu Z, Cui L, Sawa S, He J, Wang G. 2018. CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana. Plant Cell and Environment.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Zhang L, Shi X, Zhang Y, Wang J, Yang J, Ishida T, Jiang W, Han X, Kang J, Wang X, Pan L, Lv S, Cao B, Zhang Y, Wu J, Han H, Hu Z, Cui L, Sawa S, He J, Wang G. 2018. CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana. Plant Cell and Environment.
2018 | Journal Article | IST-REx-ID: 5858 |

Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data
S. Hross, F.J. Theis, M.K. Sixt, J. Hasenauer, Journal of the Royal Society Interface 15 (2018).
View
| Files available
| DOI
S. Hross, F.J. Theis, M.K. Sixt, J. Hasenauer, Journal of the Royal Society Interface 15 (2018).
2018 | Journal Article | IST-REx-ID: 5859 |

Chromatic transitions in the emergence of syntax networks
B. Corominas-Murtra, M.S. Fibla, S. Valverde, R. Solé, Royal Society Open Science 5 (2018).
View
| Files available
| DOI
B. Corominas-Murtra, M.S. Fibla, S. Valverde, R. Solé, Royal Society Open Science 5 (2018).
2018 | Journal Article | IST-REx-ID: 5860 |

Zipf's Law, unbounded complexity and open-ended evolution
B. Corominas-Murtra, L.F. Seoane, R. Solé, Journal of the Royal Society Interface 15 (2018).
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Corominas-Murtra, L.F. Seoane, R. Solé, Journal of the Royal Society Interface 15 (2018).
2018 | Journal Article | IST-REx-ID: 5861 |

The cell sets the tone
J.H. Alanko, M.K. Sixt, ELife 7 (2018).
View
| Files available
| DOI
J.H. Alanko, M.K. Sixt, ELife 7 (2018).
2018 | Journal Article | IST-REx-ID: 5888 |

Genomics in neurodevelopmental disorders: an avenue to personalized medicine
D.-C. Tarlungeanu, G. Novarino, Experimental & Molecular Medicine 50 (2018).
View
| Files available
| DOI
| PubMed | Europe PMC
D.-C. Tarlungeanu, G. Novarino, Experimental & Molecular Medicine 50 (2018).
2018 | Book Chapter | IST-REx-ID: 59
Graph games and reactive synthesis
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
View
| DOI
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
2018 | Conference Paper | IST-REx-ID: 5959 |

Keynote: The first-order logic of signals
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software, IEEE, 2018, pp. 1–10.
View
| Files available
| DOI
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software, IEEE, 2018, pp. 1–10.
2018 | Journal Article | IST-REx-ID: 5960 |

Proving the existence of loops in robot trajectories
S. Rohou, P. Franek, C. Aubry, L. Jaulin, The International Journal of Robotics Research 37 (2018) 1500–1516.
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Rohou, P. Franek, C. Aubry, L. Jaulin, The International Journal of Robotics Research 37 (2018) 1500–1516.
2018 | Conference Paper | IST-REx-ID: 5961
A brief tutorial on distributed and concurrent machine learning
D.-A. Alistarh, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 487–488.
View
| DOI
D.-A. Alistarh, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 487–488.
2018 | Conference Paper | IST-REx-ID: 5962 |

The convergence of stochastic gradient descent in asynchronous shared memory
D.-A. Alistarh, C. De Sa, N.H. Konstantinov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 169–178.
View
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, C. De Sa, N.H. Konstantinov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 169–178.
2018 | Conference Paper | IST-REx-ID: 5963 |

Relaxed schedulers can efficiently parallelize iterative algorithms
D.-A. Alistarh, T.A. Brown, J. Kopinsky, G. Nadiradze, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 377–386.
View
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, T.A. Brown, J. Kopinsky, G. Nadiradze, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 377–386.
2018 | Conference Paper | IST-REx-ID: 5964 |

Brief Announcement: Performance prediction for coarse-grained locking
V. Aksenov, D.-A. Alistarh, P. Kuznetsov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 411–413.
View
| DOI
| Download Submitted Version (ext.)
V. Aksenov, D.-A. Alistarh, P. Kuznetsov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 411–413.
2018 | Conference Paper | IST-REx-ID: 5965 |

Distributionally linearizable data structures
D.-A. Alistarh, T.A. Brown, J. Kopinsky, J.Z. Li, G. Nadiradze, in:, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18, ACM Press, 2018, pp. 133–142.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, T.A. Brown, J. Kopinsky, J.Z. Li, G. Nadiradze, in:, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18, ACM Press, 2018, pp. 133–142.
2018 | Conference Paper | IST-REx-ID: 5966 |

The transactional conflict problem
D.-A. Alistarh, S.K. Haider, R. Kübler, G. Nadiradze, in:, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18, ACM Press, 2018, pp. 383–392.
View
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, S.K. Haider, R. Kübler, G. Nadiradze, in:, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18, ACM Press, 2018, pp. 383–392.
2018 | Conference Paper | IST-REx-ID: 5967 |

The Big Match with a clock and a bit of memory
K.A. Hansen, R. Ibsen-Jensen, A. Neyman, in:, Proceedings of the 2018 ACM Conference on Economics and Computation - EC ’18, ACM Press, 2018, pp. 149–150.
View
| Files available
| DOI
K.A. Hansen, R. Ibsen-Jensen, A. Neyman, in:, Proceedings of the 2018 ACM Conference on Economics and Computation - EC ’18, ACM Press, 2018, pp. 149–150.
2018 | Journal Article | IST-REx-ID: 5971 |

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

Commutativity in the algorithmic Lovász local lemma
V. Kolmogorov, SIAM Journal on Computing 47 (2018) 2029–2056.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, SIAM Journal on Computing 47 (2018) 2029–2056.
2018 | Journal Article | IST-REx-ID: 5976 |

FlexMaps: Computational design of flat flexible shells for shaping 3D objects
L. Malomo, J. Perez Rodriguez, E. Iarussi, N. Pietroni, E. Miguel, P. Cignoni, B. Bickel, ACM Transactions on Graphics 37 (2018).
View
| Files available
| DOI
L. Malomo, J. Perez Rodriguez, E. Iarussi, N. Pietroni, E. Miguel, P. Cignoni, B. Bickel, ACM Transactions on Graphics 37 (2018).
2018 | Conference Paper | IST-REx-ID: 5978 |

Exact MAP-inference by confining combinatorial search with LP relaxation
S. Haller, P. Swoboda, B. Savchynskyy, in:, Proceedings of the 32st AAAI Conference on Artificial Intelligence, AAAI Press, 2018, pp. 6581–6588.
View
| Download Preprint (ext.)
| arXiv
S. Haller, P. Swoboda, B. Savchynskyy, in:, Proceedings of the 32st AAAI Conference on Artificial Intelligence, AAAI Press, 2018, pp. 6581–6588.
2018 | Journal Article | IST-REx-ID: 5980
Private set-intersection with common set-up
S. Chatterjee, C. Kamath Hosdurg, V. Kumar, American Institute of Mathematical Sciences 12 (2018) 17–47.
View
| DOI
S. Chatterjee, C. Kamath Hosdurg, V. Kumar, American Institute of Mathematical Sciences 12 (2018) 17–47.
2018 | Journal Article | IST-REx-ID: 5982 |

Tin diselenide molecular precursor for solution-processable thermoelectric materials
Y. Zhang, Y. Liu, K.H. Lim, C. Xing, M. Li, T. Zhang, P. Tang, J. Arbiol, J. Llorca, K.M. Ng, M. Ibáñez, P. Guardia, M. Prato, D. Cadavid, A. Cabot, Angewandte Chemie International Edition 57 (2018) 17063–17068.
View
| DOI
| Download Submitted Version (ext.)
Y. Zhang, Y. Liu, K.H. Lim, C. Xing, M. Li, T. Zhang, P. Tang, J. Arbiol, J. Llorca, K.M. Ng, M. Ibáñez, P. Guardia, M. Prato, D. Cadavid, A. Cabot, Angewandte Chemie International Edition 57 (2018) 17063–17068.
2018 | Journal Article | IST-REx-ID: 5983 |

Theory of the rotating polaron: Spectrum and self-localization
E. Yakaboylu, B. Midya, A. Deuchert, N.K. Leopold, M. Lemeshko, Physical Review B 98 (2018).
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Yakaboylu, B. Midya, A. Deuchert, N.K. Leopold, M. Lemeshko, Physical Review B 98 (2018).