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.




3856 Publications

2017 | Journal Article | IST-REx-ID: 514 | OA
Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum
J. Simonnet, M. Nassar, F. Stella, I. Cohen, B. Mathon, C.N. Boccara, R. Miles, D. Fricker, Nature Communications 8 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 515 | OA
Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain
J.A. Letts, L.A. Sazanov, Nature Structural and Molecular Biology 24 (2017) 800–808.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 520
Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803
W. Du, A. Angermayr, J. Jongbloets, D. Molenaar, H. Bachmann, K. Hellingwerf, F. Branco Dos Santos, ACS Synthetic Biology 6 (2017) 395–401.
View | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 521 | OA
Higson compactification and dimension raising
K. Austin, Z. Virk, Topology and Its Applications 215 (2017) 45–57.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 534 | OA
Finding non-orientable surfaces in 3-Manifolds
B. Burton, A.N. de Mesmay, U. Wagner, Discrete & Computational Geometry 58 (2017) 871–888.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 538 | OA
Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie 129 (2017) 4679–4682.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 540 | OA
Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein
K. Khamina, A. Lercher, M. Caldera, C. Schliehe, B. Vilagos, M. Sahin, L. Kosack, A. Bhattacharya, P. Májek, A. Stukalov, R. Sacco, L. James, D. Pinschewer, K. Bennett, J. Menche, A. Bergthaler, PLoS Pathogens 13 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 541 | OA
Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, PLoS Genetics 13 (2017).
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 545 | OA
Vascular tissue development and regeneration in the model plant arabidopsis
E. Mazur, J. Friml, in:, S. Jurić (Ed.), Plant Engineering, InTech, 2017, pp. 113–140.
View | Files available | DOI
 
2017 | Report | IST-REx-ID: 5450 | OA
Implementing the institutional data repository IST DataRep
B. Petritsch, Implementing the Institutional Data Repository IST DataRep, IST Austria, 2017.
View | Files available | Download (ext.)
 
2017 | Technical Report | IST-REx-ID: 5455 | OA
Optimal Dyck reachability for data-dependence and alias analysis
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Optimal Dyck Reachability for Data-Dependence and Alias Analysis, IST Austria, 2017.
View | Files available | DOI
 
2017 | Technical Report | IST-REx-ID: 5456 | OA
Data-centric dynamic partial order reduction
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2017.
View | Files available | DOI
 
 
2017 | Conference Paper | IST-REx-ID: 549 | OA
Causality-based model checking
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.
View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 550 | OA
Singularities of the density of states of random Gram matrices
J. Alt, Electronic Communications in Probability 22 (2017).
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 551 | OA
Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 553 | OA
Strategy complexity of concurrent safety games
K. Chatterjee, K. Hansen, R. Ibsen-Jensen, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 557 | OA
AAV2 mediated transduction of the mouse retina after optic nerve injury
R. Nickells, H. Schmitt, M.E. Maes, C. Schlamp, Investigative Ophthalmology and Visual Science 58 (2017) 6091–6104.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 558
Specificity of oral immune priming in the red flour beetle Tribolium castaneum
M. Futo, M. Sell, M. Kutzer, J. Kurtz, Biology Letters 13 (2017).
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 559 | OA
Beyond Hellman’s time-memory trade-offs with applications to proofs of space
H.M. Abusalah, J.F. Alwen, B. Cohen, D. Khilko, K.Z. Pietrzak, L. Reyzin, in:, Springer, 2017, pp. 357–379.
View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 560 | OA
On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions
M. Gerencser, A. Jentzen, D. Salimova, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 473 (2017).
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 568 | OA
Persistence of zero sets
P. Franek, M. Krcál, Homology, Homotopy and Applications 19 (2017) 313–342.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 569 | OA
Cytokinesis in vertebrate cells initiates by contraction of an equatorial actomyosin network composed of randomly oriented filaments
F. Spira, S. Cuylen Haering, S. Mehta, M. Samwer, A. REVERSAT, A. Verma, R. Oldenbourg, M.K. Sixt, D. Gerlich, ELife 6 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 570 | OA
Regulatory network structure determines patterns of intermolecular epistasis
M. Lagator, S. Sarikas, H. Acar, J.P. Bollback, C.C. Guet, ELife 6 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 571
Migrating platelets are mechano scavengers that collect and bundle bacteria
Gärtner FR, Ahmad Z, Rosenberger G, Fan S, Nicolai L, Busch B, Yavuz G, Luckner M, Ishikawa Ankerhold H, Hennel R, Benechet A, Lorenz M, Chandraratne S, Schubert I, Helmer S, Striednig B, Stark K, Janko M, Böttcher R, Verschoor A, Leon C, Gachet C, Gudermann T, Mederos Y Schnitzler M, Pincus Z, Iannacone M, Haas R, Wanner G, Lauber K, Sixt MK, Massberg S. 2017. Migrating platelets are mechano scavengers that collect and bundle bacteria. Cell Press. 171(6), 1368–1382.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 572 | OA
Control of endogenous auxin levels in plant root development
D. Olatunji, D. Geelen, I. Verstraeten, International Journal of Molecular Sciences 18 (2017).
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 5803
Construction of persistent Voronoi diagram on 3D digital plane
R. Biswas, P. Bhowmick, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2017, pp. 93–104.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 6013 | OA
Experimental evidence for quantum tunneling time
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K.Z. Hatsagortsyan, T. Pfeifer, C.H. Keitel, R. Moshammer, Physical Review Letters 119 (2017).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Book Chapter | IST-REx-ID: 604 | OA
Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets
M. Lemeshko, R. Schmidt, in:, O. Dulieu, A. Osterwalder (Eds.), Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero , The Royal Society of Chemistry, 2017, pp. 444–495.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 605 | OA
Position based cryptography and multiparty communication complexity
J. Brody, S. Dziembowski, S. Faust, K.Z. Pietrzak, in:, Y. Kalai, L. Reyzin (Eds.), Springer, 2017, pp. 56–81.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 697 | OA
Non uniform attacks against pseudoentropy
K.Z. Pietrzak, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 698 | OA
Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression
Y. Wang, M. Nagarajan, C. Uhler, G. Shivashankar, Molecular Biology of the Cell 28 (2017) 1997–2009.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 699 | OA
The red queen and king in finite populations
C. Veller, L. Hayward, M. Nowak, C. Hilbe, PNAS 114 (2017) E5396–E5405.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 700 | OA
Optomechanical proposal for monitoring microtubule mechanical vibrations
S. Barzanjeh, V. Salari, J. Tuszynski, M. Cifra, C. Simon, Physical Review E Statistical Nonlinear and Soft Matter Physics 96 (2017).
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 701 | OA
On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4
J. Kynčl, Z. Patakova, The Electronic Journal of Combinatorics 24 (2017) 1–44.
View | Files available
 
2017 | Journal Article | IST-REx-ID: 702
The riddle of CHD8 haploinsufficiency in autism spectrum disorder
G. Novarino, Science Translational Medicine 9 (2017) eaao0972.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 706
Roles of afadin in functional differentiations of hippocampal mossy fiber synapse
X. Geng, T. Maruo, K. Mandai, I. Supriyanto, M. Miyata, S. Sakakibara, A. Mizoguchi, Y. Takai, M. Mori, Genes to Cells 22 (2017) 715–722.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 707 | OA
A tight estimate for the waist of the ball
A. Akopyan, R. Karasev, Bulletin of the London Mathematical Society 49 (2017) 690–693.
View | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 708 | OA
Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum
B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, M. Kukley, PLoS Biology 15 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 709
Gene expression changes of thermo sensitive transient receptor potential channels in obese mice
W. Sun, C. Li, Y. Zhang, C. Jiang, M.-Z. Zhai, Q. Zhou, L. Xiao, Q. Deng, Cell Biology International 41 (2017) 908–913.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 710 | OA
Renyi entropy estimation revisited
M. Obremski, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 711 | OA
Bidirectional nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 712 | OA
Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations
J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 713 | OA
Mapping the mouse Allelome reveals tissue specific regulation of allelic expression
D. Andergassen, C. Dotter, D. Wenzel, V. Sigl, P. Bammer, M. Muckenhuber, D. Mayer, T. Kulinski, H. Theussl, J. Penninger, C. Bock, D. Barlow, F. Pauler, Q. Hudson, ELife 6 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 714 | OA
HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens
G. Brailoiu, E. Deliu, J. Barr, L. Console Bram, A. Ciuciu, M. Abood, E. Unterwald, E. Brǎiloiu, Drug and Alcohol Dependence 178 (2017) 7–14.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 715
More excitation for Rett syndrome
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 
2017 | Journal Article | IST-REx-ID: 716 | OA
The complexity of mean-payoff pushdown games
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 717 | OA
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 718 | OA
Expected sizes of poisson Delaunay mosaics and their discrete Morse functions
H. Edelsbrunner, A. Nikitenko, M. Reitzner, Advances in Applied Probability 49 (2017) 745–767.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 719
Special issue: Synthesis and SYNT 2014
K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 720 | OA View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 721 | OA
Singularities of solutions to quadratic vector equations on the complex upper half plane
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 722 | OA
Shaping 3D root system architecture
E. Morris, M. Griffiths, A. Golebiowska, S. Mairhofer, J. Burr Hersey, T. Goh, D. von Wangenheim, B. Atkinson, C. Sturrock, J. Lynch, K. Vissenberg, K. Ritz, D. Wells, S. Mooney, M. Bennett, Current Biology 27 (2017) R919–R930.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 724 | OA
Noninteracting central site model localization and logarithmic entanglement growth
D. Hetterich, M. Serbyn, F. Domínguez, F. Pollmann, B. Trauzettel, Physical Review B 96 (2017).
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 725 | OA
Discrete modes of social information processing predict individual behavior of fish in a group
R. Harpaz, G. Tkačik, E. Schneidman, PNAS 114 (2017) 10149–10154.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 726 | OA
A unifying theory of branching morphogenesis
E.B. Hannezo, C. Scheele, M. Moad, N. Drogo, R. Heer, R. Sampogna, J. Van Rheenen, B. Simons, Cell 171 (2017) 242–255.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 727
Load adaptation of lamellipodial actin networks
J. Mueller, G. Szep, M. Nemethova, I. de Vries, A. Lieber, C. Winkler, K. Kruse, J. Small, C. Schmeiser, K. Keren, R. Hauschild, M.K. Sixt, Cell 171 (2017) 188–200.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 728
Coordination of morphogenesis and cell fate specification in development
C. Chan, C.-P.J. Heisenberg, T. Hiiragi, Current Biology 27 (2017) R1024–R1035.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 729
Regeneration tensed up polyploidy takes the lead
Z.P. Spiro, C.-P.J. Heisenberg, Developmental Cell 42 (2017) 559–560.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 730
Maximum entropy models as a tool for building precise neural controls
C. Savin, G. Tkačik, Current Opinion in Neurobiology 46 (2017) 120–126.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 731
The science of love in ASD and ADHD
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 
2017 | Journal Article | IST-REx-ID: 732 | OA
Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour
C. Pull, S. Cremer, BMC Evolutionary Biology 17 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 733 | OA
Convergence rate for spectral distribution of addition of random matrices
Z. Bao, L. Erdös, K. Schnelli, Advances in Mathematics 319 (2017) 251–291.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 734 | OA
Deconstructing superorganisms and societies to address big questions in biology
P. Kennedy, G. Baron, B. Qiu, D. Freitak, H. Helantera, E. Hunt, F. Manfredini, T. O’Shea Wheller, S. Patalano, C. Pull, T. Sasaki, D. Taylor, C. Wyatt, S. Sumner, Trends in Ecology and Evolution 32 (2017) 861–872.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 736 | OA
The number and distribution of AMPA receptor channels containing fast kinetic GluA3 and GluA4 subunits at auditory nerve synapses depend on the target cells
M. Rubio, K. Matsui, Y. Fukazawa, N. Kamasawa, H. Harada, M. Itakura, E. Molnár, M. Abe, K. Sakimura, R. Shigemoto, Brain Structure and Function 222 (2017) 3375–3393.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 7360 | OA
A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation
A. Smole, D. Lainšček, U. Bezeljak, S. Horvat, R. Jerala, Molecular Therapy 25 (2017) 102–119.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 737
A new topology on the universal path space
Z. Virk, A. Zastrow, Topology and Its Applications 231 (2017) 186–196.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 739 | OA
A note on the validity of Bogoliubov correction to mean field dynamics
P. Nam, M.M. Napiórkowski, Journal de Mathématiques Pures et Appliquées 108 (2017) 662–688.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 740 | OA
The genetic encoded toolbox for electron microscopy and connectomics
R. Shigemoto, M.A. Jösch, WIREs Developmental Biology 6 (2017).
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 741 | OA
Stability of a fermionic N+1 particle system with point interactions
T. Moser, R. Seiringer, Communications in Mathematical Physics 356 (2017) 329–355.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 743
Preface of the special issue in memoriam Helmut Veith
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 744 | OA
Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma
T. Priklopil, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 433 (2017) 64–72.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 745 | OA
Transition to turbulence in pulsating pipe flow
D. Xu, S. Warnecke, B. Song, X. Ma, B. Hof, Journal of Fluid Mechanics 831 (2017) 418–432.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 746 | OA
Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice
E. Aloisi, K. Le Corf, J. Dupuis, P. Zhang, M. Ginger, V. Labrousse, M. Spatuzza, M. Georg Haberl, L. Costa, R. Shigemoto, A. Tappe Theodor, F. Drago, P. Vincenzo Piazza, C. Mulle, L. Groc, L. Ciranna, M. Catania, A. Frick, Nature Communications 8 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 747 | OA
Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus
E. Brǎiloiu, M. Mcguire, S. Shuler, E. Deliu, J. Barr, M. Abood, G. Brailoiu, Neuroscience 365 (2017) 23–32.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 749 | OA
Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses
C. Chen, R. Satterfield, S. Young, P.M. Jonas, Cell Reports 21 (2017) 2082–2089.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 750
Optimal geospatial volunteer allocation needs realistic distances
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 751 | OA
A moving source of matrix components is essential for De Novo basement membrane formation
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1063 | OA View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1065 | OA
Pushdown reachability with constant treewidth
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1066
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1067 | OA
The physical basis of coordinated tissue spreading in zebrafish gastrulation
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1072 | OA
The Morse theory of Čech and delaunay complexes
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 1073 | OA
Algorithmic solvability of the lifting extension problem
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1074 | OA
Inferring recent demography from isolation by distance of long shared sequence blocks
H. Ringbauer, G. Coop, N.H. Barton, Genetics 205 (2017) 1335–1351.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 1076 | OA
Strong-field ionization via a high-order Coulomb-corrected strong-field approximation
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, C. Keitel, Physical Review A - Atomic, Molecular, and Optical Physics 95 (2017).
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1077 | OA
Evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, Journal of the Royal Society Interface 14 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1078 | OA
Light sheet fluorescence microscopy of plant roots growing on the surface of a gel
D. von Wangenheim, R. Hauschild, J. Friml, Journal of Visualized Experiments JoVE 2017 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1079 | OA
Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges
P. Nam, H. Van Den Bosch, Mathematical Physics, Analysis and Geometry 20 (2017).
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1080 | OA
Reconstructing metastatic seeding patterns of human cancers
J. Reiter, A. Makohon Moore, J. Gerold, I. Božić, K. Chatterjee, C. Iacobuzio Donahue, B. Vogelstein, M. Nowak, Nature Communications 8 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1084
Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis
C. Fang, A.A. Nagy-Staron, M. Grafe, R. Heermann, K. Jung, S. Gebhard, T. Mascher, Molecular Microbiology 104 (2017) 16–31.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1085 | OA
Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation
A. Wright, I. Darolti, N. Bloch, V. Oostra, B. Sandkam, S. Buechel, N. Kolm, F. Breden, B. Vicoso, J. Mank, Nature Communications 8 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1087 | OA
Speed and structure of turbulent fronts in pipe flow
B. Song, D. Barkley, B. Hof, M. Avila, Journal of Fluid Mechanics 813 (2017) 1045–1059.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1089 | OA
Total positivity in Markov structures
S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, P. Zwiernik, Annals of Statistics 45 (2017) 1152–1184.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1104 | OA
Multiplexed computations in retinal ganglion cells of a single type
S. Deny, U. Ferrari, E. Mace, P. Yger, R. Caplette, S. Picaud, G. Tkačik, O. Marre, Nature Communications 8 (2017).
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1108 | OA
Learning theory for conditional risk minimization
A. Zimin, C. Lampert, in:, JMLR, Inc. and Microtome Publishing, 2017, pp. 213–222.
View | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1109 | OA
Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free
B. Shepperson, A. Søndergaard, L. Christiansen, J. Kaczmarczyk, R. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 118 (2017).
View | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 1110 | OA
Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity
B. Kuhn, T. Nodzyński, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev, L. Bigler, M. Geisler, E. Zažímalová, J. Friml, C. Ringli, Scientific Reports 7 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1111 | OA
Selection limits to adaptive walks on correlated landscapes
J. Heredia, B. Trubenova, D. Sudholt, T. Paixao, Genetics 205 (2017) 803–825.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 1112
An application of stochastic differential equations to evolutionary algorithms
T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.
View | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications