ISTA Research Explorer

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.

4523 Publications

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.) | WoS | arXiv

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).

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.) | WoS | arXiv

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 | WoS

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.) | WoS | arXiv

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.) | WoS | arXiv

2018 | Conference Paper | IST-REx-ID: 6031

Fast quantized arithmetic on x86: Trading compute for data movement
A. Stojanov, T.M. Smith, D.-A. Alistarh, M. Puschel, in:, 2018 IEEE International Workshop on Signal Processing Systems, IEEE, 2018.

View | DOI | WoS

2018 | Conference Paper | IST-REx-ID: 25 |

Goal-HSVI: Heuristic search value iteration for goal-POMDPs
K. Horák, B. Bošanský, K. Chatterjee, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4764–4770.

View | DOI | Download Published Version (ext.) | WoS

2018 | Conference Paper | IST-REx-ID: 24 |

Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives
K. Chatterjee, A. Elgyütt, P. Novotný, O. Rouillé, in:, IJCAI, 2018, pp. 4692–4699.

View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Conference Paper | IST-REx-ID: 34 |

Sensor synthesis for POMDPs with reachability objectives
K. Chatterjee, M. Chemlík, U. Topcu, in:, AAAI Press, 2018, pp. 47–55.

View | Download Preprint (ext.) | WoS | arXiv

2018 | Conference Paper | IST-REx-ID: 35 |

Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, 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: 18 |

Superconcentrators of density 25.3
V. Kolmogorov, M. Rolinek, Ars Combinatoria 141 (2018) 269–304.

View | Download Preprint (ext.) | WoS | arXiv

2018 | Thesis | IST-REx-ID: 149 |

Dyson equation and eigenvalue statistics of random matrices
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 6355 |

Any cyclic quadrilateral can be inscribed in any closed convex smooth curve
A. Akopyan, S. Avvakumov, Forum of Mathematics, Sigma 6 (2018).

View | Files available | DOI | WoS | arXiv

2018 | Conference Paper | IST-REx-ID: 6195

Efficient FEM-based simulation of soft robots modeled as kinematic chains
M. Pozzi, E. Miguel Villalba, R. Deimel, M. Malvezzi, B. Bickel, O. Brock, D. Prattichizzo, in:, IEEE, 2018.

View | DOI | WoS

2018 | Journal Article | IST-REx-ID: 6339 |

Diagrammatic Monte Carlo approach to angular momentum in quantum many-particle systems
G. Bighin, T. Tscherbul, M. Lemeshko, Physical Review Letters 121 (2018).

2018 | Conference Paper | IST-REx-ID: 6941 |

SpaceMint: A cryptocurrency based on proofs of space
S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J.F. Alwen, K.Z. Pietrzak, in:, 22nd International Conference on Financial Cryptography and Data Security, Springer Nature, 2018, pp. 480–499.

View | DOI | Download Submitted Version (ext.) | WoS

2018 | Journal Article | IST-REx-ID: 6497 |

The Rho regulator Myosin IXb enables nonlymphoid tissue seeding of protective CD8+T cells
F. Moalli, X. Ficht, P. Germann, M. Vladymyrov, B. Stolp, I. de Vries, R. Lyck, J. Balmer, A. Fiocchi, M. Kreutzfeldt, D. Merkler, M. Iannacone, A. Ariga, M.H. Stoffel, J. Sharpe, M. Bähler, M.K. Sixt, A. Diz-Muñoz, J.V. Stein, The Journal of Experimental Medicine 2015 (2018) 1869–1890.

View | Files available | DOI | WoS

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 | WoS

2018 | Journal Article | IST-REx-ID: 6499 |

X10 expansion microscopy enables 25‐nm resolution on conventional microscopes
S.M. Truckenbrodt, M. Maidorn, D. Crzan, H. Wildhagen, S. Kabatas, S.O. Rizzoli, EMBO Reports 19 (2018).

View | Files available | DOI | WoS

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.) | WoS | arXiv

2018 | Conference Paper | IST-REx-ID: 6589 |

The convergence of sparsified gradient methods
D.-A. Alistarh, T. Hoefler, M. Johansson, N.H. Konstantinov, S. Khirirat, C. Renggli, in:, Advances in Neural Information Processing Systems 31, Neural information processing systems, 2018, pp. 5973–5983.

View | Download Preprint (ext.) | WoS | arXiv

2018 | Journal Article | IST-REx-ID: 9917 |

Clines on the seashore: The genomic architecture underlying rapid divergence in the face of gene flow
A.M. Westram, M. Rafajlović, P. Chaube, R. Faria, T. Larsson, M. Panova, M. Ravinet, A. Blomberg, B. Mehlig, K. Johannesson, R. Butlin, Evolution Letters 2 (2018) 297–309.

2018 | Journal Article | IST-REx-ID: 9915 |

Are assortative mating and genital divergence driven by reinforcement?
J. Hollander, M. Montaño-Rendón, G. Bianco, X. Yang, A.M. Westram, L. Duvaux, D.G. Reid, R.K. Butlin, Evolution Letters 2 (2018) 557–566.

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).

2018 | Journal Article | IST-REx-ID: 10881

Molecular evolution and diversification of the SMXL gene family
T.R. Moturu, S. Thula, R.K. Singh, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Journal of Experimental Botany 69 (2018) 2367–2378.

View | DOI | WoS | PubMed | Europe PMC

2018 | Journal Article | IST-REx-ID: 10880 |

Significance of whole-genome duplications on the emergence of evolutionary novelties
M. Yuuta, K. Koshiba-Takeuchi, Briefings in Functional Genomics 17 (2018) 329–338.

2018 | Research Data Reference | IST-REx-ID: 9930 |

Data from: Clines on the seashore: the genomic architecture underlying rapid divergence in the face of gene flow
A.M. Westram, M. Rafajlović, P. Chaube, R. Faria, T. Larsson, M. Panova, M. Ravinet, A. Blomberg, B. Mehlig, K. Johannesson, R. Butlin, (2018).

View | Files available | DOI | Download Published Version (ext.)

2018 | Research Data Reference | IST-REx-ID: 9929 |

Data from: Are assortative mating and genital divergence driven by reinforcement?
J. Hollander, M. Montaño-Rendón, G. Bianco, X. Yang, A.M. Westram, L. Duvaux, D.G. Reid, R.K. Butlin, (2018).

View | Files available | DOI | Download Published Version (ext.)

2018 | Conference Paper | IST-REx-ID: 10882 |

Learning intelligent dialogs for bounding box annotation
J. Uijlings, K. Konyushkova, C. Lampert, V. Ferrari, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 9175–9184.

View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Conference Paper | IST-REx-ID: 6558 |

Byzantine stochastic gradient descent
D.-A. Alistarh, Z. Allen-Zhu, J. Li, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2018, pp. 4613–4623.

View | Download Published Version (ext.) | WoS | arXiv

2018 | Thesis | IST-REx-ID: 52 |

Point interactions in systems of fermions
T. Moser, Point Interactions in Systems of Fermions, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

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).

2018 | Thesis | IST-REx-ID: 324 |

Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 200 |

Inferring recent demography from spatial genetic structure
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 1064 |

On the circle covering theorem by A.W. Goodman and R.E. Goodman
A. Akopyan, A. Balitskiy, M. Grigorev, Discrete & Computational Geometry 59 (2018) 1001–1009.

View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 3 |

Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition
E. Deliu, N. Arecco, J. Morandell, C. Dotter, X. Contreras, C. Girardot, E. Käsper, A. Kozlova, K. Kishi, I. Chiaradia, K. Noh, G. Novarino, Nature Neuroscience 21 (2018) 1717–1727.

View | Files available | DOI | WoS

2018 | Thesis | IST-REx-ID: 6263 |

Genetic determinants of antibiotic resistance evolution
M. Lukacisinova, Genetic Determinants of Antibiotic Resistance Evolution, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 395 |

The branched chain amino acids in autism spectrum disorders
D.-C. Tarlungeanu, The Branched Chain Amino Acids in Autism Spectrum Disorders , Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 51 |

From the left to the right: A tale of asymmetries, environments, and hippocampal development
M.J. Case, From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 10 |

Role of genomic imprinting in cerebral cortex development
S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 323 |

Branched actin networks in dendritic cell biology
A.F. Leithner, Branched Actin Networks in Dendritic Cell Biology, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 539 |

Identification and characterization of novel auxin-cytokinin cross-talk components
A. Hurny, Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 48 |

Reactivation content is important for consolidation of spatial memory
I. Gridchyn, Reactivation Content Is Important for Consolidation of Spatial Memory, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 9 |

Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 50 |

Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration
D. Capek, Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 26 |

The influence of sequence context on the evolution of bacterial gene expression
M. Steinrück, The Influence of Sequence Context on the Evolution of Bacterial Gene Expression, Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 6266 |

Design and characterization of methods and biological components to realize synthetic neurotransmission
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission , Institute of Science and Technology Austria, 2018.

View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 442 |

Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls
L. Li, G. Krens, M. Fendrych, J. Friml, Bio-Protocol 8 (2018).

View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 412 |

A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis
M. Adamowski, M. Narasimhan, U. Kania, M. Glanc, G. De Jaeger, J. Friml, The Plant Cell 30 (2018) 700–716.

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

4523 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

4523 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options