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.
4058 Publications
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: 564 |

Establishment in a new habitat by polygenic adaptation
N.H. Barton, A. Etheridge, Theoretical Population Biology 122 (2018) 110–127.
View
| Files available
| DOI
N.H. Barton, A. Etheridge, Theoretical Population Biology 122 (2018) 110–127.
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: 5816 |

30 GHz-voltage controlled oscillator operating at 4 K
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, L.R. Schreiber, Review of Scientific Instruments 89 (2018).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, L.R. Schreiber, Review of Scientific Instruments 89 (2018).
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 | 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: 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: 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).
2018 | Journal Article | IST-REx-ID: 5984 |

Optical functionalization of human class A orphan G-protein-coupled receptors
M. Morri, I. Sanchez-Romero, A.-M. Tichy, S. Kainrath, E.J. Gerrard, P. Hirschfeld, J. Schwarz, H.L. Janovjak, Nature Communications 9 (2018).
View
| Files available
| DOI
M. Morri, I. Sanchez-Romero, A.-M. Tichy, S. Kainrath, E.J. Gerrard, P. Hirschfeld, J. Schwarz, H.L. Janovjak, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 5989 |

Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites
J. Kincaid-Smith, M.A.L. Picard, C. Cosseau, J. Boissier, D. Severac, C. Grunau, E. Toulza, Genome Biology and Evolution 10 (2018) 840–856.
View
| Files available
| DOI
J. Kincaid-Smith, M.A.L. Picard, C. Cosseau, J. Boissier, D. Severac, C. Grunau, E. Toulza, Genome Biology and Evolution 10 (2018) 840–856.
2018 | Journal Article | IST-REx-ID: 5990 |

Josephson effect in a few-hole quantum dot
J. Ridderbos, M. Brauns, J. Shen, F.K. de Vries, A. Li, E.P.A.M. Bakkers, A. Brinkman, F.A. Zwanenburg, Advanced Materials 30 (2018).
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Ridderbos, M. Brauns, J. Shen, F.K. de Vries, A. Li, E.P.A.M. Bakkers, A. Brinkman, F.A. Zwanenburg, Advanced Materials 30 (2018).
2018 | Journal Article | IST-REx-ID: 5992 |

On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility
S. Dolati, F. Kage, J. Mueller, M. Müsken, M. Kirchner, G. Dittmar, M.K. Sixt, K. Rottner, M. Falcke, Molecular Biology of the Cell 29 (2018) 2674–2686.
View
| Files available
| DOI
| PubMed | Europe PMC
S. Dolati, F. Kage, J. Mueller, M. Müsken, M. Kirchner, G. Dittmar, M.K. Sixt, K. Rottner, M. Falcke, Molecular Biology of the Cell 29 (2018) 2674–2686.
2018 | Journal Article | IST-REx-ID: 5993 |

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, ACM Transactions on Programming Languages and Systems 40 (2018).
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, ACM Transactions on Programming Languages and Systems 40 (2018).
2018 | Journal Article | IST-REx-ID: 5995 |

Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation
D.R. Usmanova, N.S. Bogatyreva, J. Ariño Bernad, A.A. Eremina, A.A. Gorshkova, G.M. Kanevskiy, L.R. Lonishin, A.V. Meister, A.G. Yakupova, F. Kondrashov, D. Ivankov, Bioinformatics 34 (2018) 3653–3658.
View
| Files available
| DOI
| PubMed | Europe PMC
D.R. Usmanova, N.S. Bogatyreva, J. Ariño Bernad, A.A. Eremina, A.A. Gorshkova, G.M. Kanevskiy, L.R. Lonishin, A.V. Meister, A.G. Yakupova, F. Kondrashov, D. Ivankov, Bioinformatics 34 (2018) 3653–3658.
2018 | Journal Article | IST-REx-ID: 5996 |

The critical point of the transition to turbulence in pipe flow
M. Vasudevan, B. Hof, Journal of Fluid Mechanics 839 (2018) 76–94.
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Vasudevan, B. Hof, Journal of Fluid Mechanics 839 (2018) 76–94.
2018 | Journal Article | IST-REx-ID: 5998 |

Genome amplification and cellular senescence are hallmarks of human placenta development
Velicky P, Meinhardt G, Plessl K, Vondra S, Weiss T, Haslinger P, Lendl T, Aumayr K, Mairhofer M, Zhu X, Schütz B, Hannibal RL, Lindau R, Weil B, Ernerudh J, Neesen J, Egger G, Mikula M, Röhrl C, Urban AE, Baker J, Knöfler M, Pollheimer J. 2018. Genome amplification and cellular senescence are hallmarks of human placenta development. PLOS Genetics. 14(10), e1007698.
View
| Files available
| DOI
Velicky P, Meinhardt G, Plessl K, Vondra S, Weiss T, Haslinger P, Lendl T, Aumayr K, Mairhofer M, Zhu X, Schütz B, Hannibal RL, Lindau R, Weil B, Ernerudh J, Neesen J, Egger G, Mikula M, Röhrl C, Urban AE, Baker J, Knöfler M, Pollheimer J. 2018. Genome amplification and cellular senescence are hallmarks of human placenta development. PLOS Genetics. 14(10), e1007698.
2018 | Journal Article | IST-REx-ID: 5999 |

The cohomological Hall algebra of a preprojective algebra
Y. Yang, G. Zhao, Proceedings of the London Mathematical Society 116 (2018) 1029–1074.
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Yang, G. Zhao, Proceedings of the London Mathematical Society 116 (2018) 1029–1074.
2018 | Journal Article | IST-REx-ID: 6002 |

The Bogoliubov free energy functional I: Existence of minimizers and phase diagram
M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics and Analysis 229 (2018) 1037–1090.
View
| DOI
| Download Preprint (ext.)
| arXiv
M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics and Analysis 229 (2018) 1037–1090.
2018 | Journal Article | IST-REx-ID: 6003 |

State of the art on stylized fabrication
B. Bickel, P. Cignoni, L. Malomo, N. Pietroni, Computer Graphics Forum 37 (2018) 325–342.
View
| Files available
| DOI
B. Bickel, P. Cignoni, L. Malomo, N. Pietroni, Computer Graphics Forum 37 (2018) 325–342.
2018 | Conference Paper | IST-REx-ID: 6005 |

Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Journal Article | IST-REx-ID: 6006 |

An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
2018 | Journal Article | IST-REx-ID: 6010 |

“Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network
F. Garrido-Charad, T.A. Vega Zuniga, C. Gutiérrez-Ibáñez, P. Fernandez, L. López-Jury, C. González-Cabrera, H.J. Karten, H. Luksch, G.J. Marín, Proceedings of the National Academy of Sciences 115 (2018) E7615–E7623.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
F. Garrido-Charad, T.A. Vega Zuniga, C. Gutiérrez-Ibáñez, P. Fernandez, L. López-Jury, C. González-Cabrera, H.J. Karten, H. Luksch, G.J. Marín, Proceedings of the National Academy of Sciences 115 (2018) E7615–E7623.
2018 | Conference Paper | IST-REx-ID: 6011 |

Data-dependent stability of stochastic gradient descent
I. Kuzborskij, C. Lampert, in:, Proceedings of the 35 Th International Conference on Machine Learning, International Machine Learning Society, 2018, pp. 2815–2824.
View
| Download Preprint (ext.)
| arXiv
I. Kuzborskij, C. Lampert, in:, Proceedings of the 35 Th International Conference on Machine Learning, International Machine Learning Society, 2018, pp. 2815–2824.
2018 | Conference Paper | IST-REx-ID: 6012 |

Learning equations for extrapolation and control
S. Sahoo, C. Lampert, G.S. Martius, in:, Proceedings of the 35th International Conference on Machine Learning, International Machine Learning Society, 2018, pp. 4442–4450.
View
| Files available
| Download Preprint (ext.)
| arXiv
S. Sahoo, C. Lampert, G.S. Martius, in:, Proceedings of the 35th International Conference on Machine Learning, International Machine Learning Society, 2018, pp. 4442–4450.
2018 | Journal Article | IST-REx-ID: 6032 |

Even delta-matroids and the complexity of planar boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, ACM Transactions on Algorithms 15 (2018).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Kazda, V. Kolmogorov, M. Rolinek, ACM Transactions on Algorithms 15 (2018).
2018 | Journal Article | IST-REx-ID: 606 |

Well-posedness for mean-field evolutions arising in superconductivity
M. Duerinckx, J.L. Fischer, Annales de l’Institut Henri Poincare (C) Non Linear Analysis 35 (2018) 1267–1319.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
M. Duerinckx, J.L. Fischer, Annales de l’Institut Henri Poincare (C) Non Linear Analysis 35 (2018) 1267–1319.
2018 | Journal Article | IST-REx-ID: 607 |

Well posedness and maximum entropy approximation for the dynamics of quantitative traits
K. Bod’ová, J. Haskovec, P. Markowich, Physica D: Nonlinear Phenomena 376–377 (2018) 108–120.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
K. Bod’ová, J. Haskovec, P. Markowich, Physica D: Nonlinear Phenomena 376–377 (2018) 108–120.
2018 | Journal Article | IST-REx-ID: 7 |

Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, Science 362 (2018) 941–945.
View
| Files available
| DOI
| Download Published Version (ext.)
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, Science 362 (2018) 941–945.
2018 | Journal Article | IST-REx-ID: 70 |

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.
View
| Files available
| DOI
| arXiv
P. Nejjar, Latin American Journal of Probability and Mathematical Statistics 15 (2018) 1311–1334.
2018 | Journal Article | IST-REx-ID: 703 |

Maximum persistency via iterative relaxed inference with graphical models
A. Shekhovtsov, P. Swoboda, B. Savchynskyy, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1668–1682.
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Shekhovtsov, P. Swoboda, B. Savchynskyy, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1668–1682.
2018 | Journal Article | IST-REx-ID: 7058 |

Chiral spin order in some purported Kitaev spin-liquid compounds
K.A. Modic, B.J. Ramshaw, A. Shekhter, C.M. Varma, Physical Review B 98 (2018).
View
| DOI
| Download Preprint (ext.)
| arXiv
K.A. Modic, B.J. Ramshaw, A. Shekhter, C.M. Varma, Physical Review B 98 (2018).
2018 | Journal Article | IST-REx-ID: 7059 |

Resonant torsion magnetometry in anisotropic quantum materials
K.A. Modic, M.D. Bachmann, B.J. Ramshaw, F. Arnold, K.R. Shirer, A. Estry, J.B. Betts, N.J. Ghimire, E.D. Bauer, M. Schmidt, M. Baenitz, E. Svanidze, R.D. McDonald, A. Shekhter, P.J.W. Moll, Nature Communications 9 (2018) 3975.
View
| Files available
| DOI
K.A. Modic, M.D. Bachmann, B.J. Ramshaw, F. Arnold, K.R. Shirer, A. Estry, J.B. Betts, N.J. Ghimire, E.D. Bauer, M. Schmidt, M. Baenitz, E. Svanidze, R.D. McDonald, A. Shekhter, P.J.W. Moll, Nature Communications 9 (2018) 3975.
2018 | Journal Article | IST-REx-ID: 7062 |

Quantum limit transport and destruction of the Weyl nodes in TaAs
B.J. Ramshaw, K.A. Modic, A. Shekhter, Y. Zhang, E.-A. Kim, P.J.W. Moll, M.D. Bachmann, M.K. Chan, J.B. Betts, F. Balakirev, A. Migliori, N.J. Ghimire, E.D. Bauer, F. Ronning, R.D. McDonald, Nature Communications 9 (2018).
View
| Files available
| DOI
B.J. Ramshaw, K.A. Modic, A. Shekhter, Y. Zhang, E.-A. Kim, P.J.W. Moll, M.D. Bachmann, M.K. Chan, J.B. Betts, F. Balakirev, A. Migliori, N.J. Ghimire, E.D. Bauer, F. Ronning, R.D. McDonald, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 7063 |

Sr2Pt8−xAs: A layered incommensurately modulated metal with saturated resistivity
E. Martino, A. Arakcheeva, G. Autès, A. Pisoni, M.D. Bachmann, K.A. Modic, T. Helm, O.V. Yazyev, P.J.W. Moll, L. Forró, S. Katrych, IUCrJ 5 (2018) 470–477.
View
| Files available
| DOI
E. Martino, A. Arakcheeva, G. Autès, A. Pisoni, M.D. Bachmann, K.A. Modic, T. Helm, O.V. Yazyev, P.J.W. Moll, L. Forró, S. Katrych, IUCrJ 5 (2018) 470–477.
2018 | Conference Paper | IST-REx-ID: 7116 |

Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study
D. Grubic, L. Tam, D.-A. Alistarh, C. Zhang, in:, Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–156.
View
| Files available
| DOI
D. Grubic, L. Tam, D.-A. Alistarh, C. Zhang, in:, Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–156.
2018 | Conference Paper | IST-REx-ID: 7123 |

Space-optimal majority in population protocols
D.-A. Alistarh, J. Aspnes, R. Gelashvili, in:, Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms, ACM, 2018, pp. 2221–2239.
View
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, J. Aspnes, R. Gelashvili, in:, Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms, ACM, 2018, pp. 2221–2239.
2018 | Journal Article | IST-REx-ID: 7126 |

Minimum description length codes are critical
R.J. Cubero, M. Marsili, Y. Roudi, Entropy 20 (2018).
View
| Files available
| DOI
R.J. Cubero, M. Marsili, Y. Roudi, Entropy 20 (2018).
2018 | Journal Article | IST-REx-ID: 723 |

How to escape local optima in black box optimisation when non elitism outperforms elitism
P. Oliveto, T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 80 (2018) 1604–1633.
View
| Files available
| DOI
P. Oliveto, T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 80 (2018) 1604–1633.
2018 | Journal Article | IST-REx-ID: 7277 |

Electrochemical oxidation of Lithium Carbonate generates singlet oxygen
N. Mahne, S.E. Renfrew, B.D. McCloskey, S.A. Freunberger, Angewandte Chemie International Edition 57 (2018) 5529–5533.
View
| Files available
| DOI
N. Mahne, S.E. Renfrew, B.D. McCloskey, S.A. Freunberger, Angewandte Chemie International Edition 57 (2018) 5529–5533.
2018 | Journal Article | IST-REx-ID: 7285 |

Inter-backbone charge transfer as prerequisite for long-range conductivity in perylene bisimide hydrogels
M. Burian, F. Rigodanza, N. Demitri, L. D̵ord̵ević, S. Marchesan, T. Steinhartova, I. Letofsky-Papst, I. Khalakhan, E. Mourad, S.A. Freunberger, H. Amenitsch, M. Prato, Z. Syrgiannis, ACS Nano 12 (2018) 5800–5806.
View
| Files available
| DOI
M. Burian, F. Rigodanza, N. Demitri, L. D̵ord̵ević, S. Marchesan, T. Steinhartova, I. Letofsky-Papst, I. Khalakhan, E. Mourad, S.A. Freunberger, H. Amenitsch, M. Prato, Z. Syrgiannis, ACS Nano 12 (2018) 5800–5806.
2018 | Journal Article | IST-REx-ID: 7287 |

Quantifying total superoxide, peroxide, and carbonaceous compounds in metal–O2 batteries and the solid electrolyte interphase
B. Schafzahl, E. Mourad, L. Schafzahl, Y.K. Petit, A.R. Raju, M.O. Thotiyl, M. Wilkening, C. Slugovc, S.A. Freunberger, ACS Energy Letters 3 (2018) 170–176.
View
| Files available
| DOI
B. Schafzahl, E. Mourad, L. Schafzahl, Y.K. Petit, A.R. Raju, M.O. Thotiyl, M. Wilkening, C. Slugovc, S.A. Freunberger, ACS Energy Letters 3 (2018) 170–176.
2018 | Journal Article | IST-REx-ID: 738 |

Automated competitive analysis of real time scheduling with graph games
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
2018 | Conference Paper | IST-REx-ID: 7407 |

Proofs of catalytic space
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.
View
| Files available
| DOI
| Download Published Version (ext.)
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.
2018 | Journal Article | IST-REx-ID: 742 |

On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, Geometriae Dedicata 195 (2018) 307–317.
View
| Files available
| DOI
D. Dotterrer, T. Kaufman, U. Wagner, Geometriae Dedicata 195 (2018) 307–317.
2018 | Preprint | IST-REx-ID: 75 |

Convex fair partitions into arbitrary number of pieces
A. Akopyan, S. Avvakumov, R. Karasev, (2018).
View
| Files available
| Download Preprint (ext.)
| arXiv
A. Akopyan, S. Avvakumov, R. Karasev, (2018).
2018 | Journal Article | IST-REx-ID: 76 |

Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).
View
| Files available
| DOI
C. Lenzen, J. Rybicki, Distributed Computing (2018).
2018 | Journal Article | IST-REx-ID: 77 |

A germanium hole spin qubit
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
View
| Files available
| DOI
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).