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.




4164 Publications

2017 | Conference Paper | IST-REx-ID: 711 | OA
Chatterjee K, Henzinger TA, Otop J. 2017. Bidirectional nested weighted automata. 28th International Conference on Concurrency Theory, CONCUR, LIPIcs, vol. 85, 5.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 712 | OA
Fischer JL. 2017. Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations. Nonlinear Analysis: Theory, Methods and Applications. 159, 181–207.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 713 | OA
Andergassen D, Dotter C, Wenzel D, Sigl V, Bammer P, Muckenhuber M, Mayer D, Kulinski T, Theussl H, Penninger J, Bock C, Barlow D, Pauler F, Hudson Q. 2017. Mapping the mouse Allelome reveals tissue specific regulation of allelic expression. eLife. 6, e25125.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 714 | OA
Brailoiu G, Deliu E, Barr J, Console Bram L, Ciuciu A, Abood M, Unterwald E, Brǎiloiu E. 2017. HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. 178, 7–14.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 715
Novarino G. 2017. More excitation for Rett syndrome. Science Translational Medicine. 9(405), aao4218.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 716 | OA
Chatterjee K, Velner Y. 2017. The complexity of mean-payoff pushdown games. Journal of the ACM. 64(5), 34.
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Research Data | IST-REx-ID: 7163 | OA
Fraisse C. 2017. Supplementary Files for ‘The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W’, IST Austria, 10.15479/AT:ISTA:7163.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 717 | OA
Chatterjee K, Velner Y. 2017. Hyperplane separation technique for multidimensional mean-payoff games. Journal of Computer and System Sciences. 88, 236–259.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 718 | OA
Edelsbrunner H, Nikitenko A, Reitzner M. 2017. Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability. 49(3), 745–767.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 719
Chatterjee K, Ehlers R. 2017. Special issue: Synthesis and SYNT 2014. Acta Informatica. 54(6), 543–544.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 720 | OA
Humplik J, Tkačik G. 2017. Probabilistic models for neural populations that naturally capture global coupling and criticality. PLoS Computational Biology. 13(9), e1005763.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 721 | OA
Ajanki OH, Krüger TH, Erdös L. 2017. Singularities of solutions to quadratic vector equations on the complex upper half plane. Communications on Pure and Applied Mathematics. 70(9), 1672–1705.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 722 | OA
Morris E, Griffiths M, Golebiowska A, Mairhofer S, Burr Hersey J, Goh T, von Wangenheim D, Atkinson B, Sturrock C, Lynch J, Vissenberg K, Ritz K, Wells D, Mooney S, Bennett M. 2017. Shaping 3D root system architecture. Current Biology. 27(17), R919–R930.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 724 | OA
Hetterich D, Serbyn M, Domínguez F, Pollmann F, Trauzettel B. 2017. Noninteracting central site model localization and logarithmic entanglement growth. Physical Review B. 96(10), 104203.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 725 | OA
Harpaz R, Tkačik G, Schneidman E. 2017. Discrete modes of social information processing predict individual behavior of fish in a group. PNAS. 114(38), 10149–10154.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 726 | OA
Hannezo EB, Scheele C, Moad M, Drogo N, Heer R, Sampogna R, Van Rheenen J, Simons B. 2017. A unifying theory of branching morphogenesis. Cell. 171(1), 242–255.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 727
Mueller J, Szep G, Nemethova M, de Vries I, Lieber A, Winkler C, Kruse K, Small J, Schmeiser C, Keren K, Hauschild R, Sixt MK. 2017. Load adaptation of lamellipodial actin networks. Cell. 171(1), 188–200.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 728
Chan C, Heisenberg C-PJ, Hiiragi T. 2017. Coordination of morphogenesis and cell fate specification in development. Current Biology. 27(18), R1024–R1035.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 729
Spiro ZP, Heisenberg C-PJ. 2017. Regeneration tensed up polyploidy takes the lead. Developmental Cell. 42(6), 559–560.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 730
Savin C, Tkačik G. 2017. Maximum entropy models as a tool for building precise neural controls. Current Opinion in Neurobiology. 46, 120–126.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 731
Novarino G. 2017. The science of love in ASD and ADHD. Science Translational Medicine. 9(411), eaap8168.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 732 | OA
Pull C, Cremer S. 2017. Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour. BMC Evolutionary Biology. 17(1), 219.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 733 | OA
Bao Z, Erdös L, Schnelli K. 2017. Convergence rate for spectral distribution of addition of random matrices. Advances in Mathematics. 319, 251–291.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 734 | OA
Kennedy P, Baron G, Qiu B, Freitak D, Helantera H, Hunt E, Manfredini F, O’Shea Wheller T, Patalano S, Pull C, Sasaki T, Taylor D, Wyatt C, Sumner S. 2017. Deconstructing superorganisms and societies to address big questions in biology. Trends in Ecology and Evolution. 32(11), 861–872.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 736 | OA
Rubio M, Matsui K, Fukazawa Y, Kamasawa N, Harada H, Itakura M, Molnár E, Abe M, Sakimura K, Shigemoto R. 2017. The number and distribution of AMPA receptor channels containing fast kinetic GluA3 and GluA4 subunits at auditory nerve synapses depend on the target cells. Brain Structure and Function. 222(8), 3375–3393.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 7360 | OA
Smole A, Lainšček D, Bezeljak U, Horvat S, Jerala R. 2017. A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation. Molecular Therapy. 25(1), 102–119.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 737
Virk Z, Zastrow A. 2017. A new topology on the universal path space. Topology and its Applications. 231, 186–196.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 739 | OA
Nam P, Napiórkowski MM. 2017. A note on the validity of Bogoliubov correction to mean field dynamics. Journal de Mathématiques Pures et Appliquées. 108(5), 662–688.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 740 | OA
Shigemoto R, Jösch MA. 2017. The genetic encoded toolbox for electron microscopy and connectomics. WIREs Developmental Biology. 6(6), e288.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 741 | OA
Moser T, Seiringer R. 2017. Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics. 356(1), 329–355.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 743
Gottlob G, Henzinger TA, Weißenbacher G. 2017. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 51(2), 267–269.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 744 | OA
Priklopil T, Chatterjee K, Nowak M. 2017. Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology. 433, 64–72.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 745 | OA
Xu D, Warnecke S, Song B, Ma X, Hof B. 2017. Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics. 831, 418–432.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 746 | OA
Aloisi E, Le Corf K, Dupuis J, Zhang P, Ginger M, Labrousse V, Spatuzza M, Georg Haberl M, Costa L, Shigemoto R, Tappe Theodor A, Drago F, Vincenzo Piazza P, Mulle C, Groc L, Ciranna L, Catania M, Frick A. 2017. Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. Nature Communications. 8(1), 1103.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 747 | OA
Brǎiloiu E, Mcguire M, Shuler S, Deliu E, Barr J, Abood M, Brailoiu G. 2017. Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. 365, 23–32.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 749 | OA
Chen C, Satterfield R, Young S, Jonas PM. 2017. Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. Cell Reports. 21(8), 2082–2089.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 750
Pielorz J, Prandtstetter M, Straub M, Lampert C. 2017. Optimal geospatial volunteer allocation needs realistic distances. 2017 IEEE International Conference on Big Data. Big Data, 3760–3763.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 751 | OA
Matsubayashi Y, Louani A, Dragu A, Sanchez Sanchez B, Serna Morales E, Yolland L, György A, Vizcay G, Fleck R, Heddleston J, Chew T, Siekhaus DE, Stramer B. 2017. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 27(22), 3526–3534e.4.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1063 | OA
Uecker H. 2017. Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution. 71(4), 845–858.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1065 | OA
Chatterjee K, Osang GF. 2017. Pushdown reachability with constant treewidth. Information Processing Letters. 122, 25–29.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee K, Henzinger TA, Otop J, Velner Y. 2017. Quantitative fair simulation games. Information and Computation. 254(2), 143–166.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1067 | OA
Morita H, Grigolon S, Bock M, Krens G, Salbreux G, Heisenberg C-PJ. 2017. The physical basis of coordinated tissue spreading in zebrafish gastrulation. Developmental Cell. 40(4), 354–366.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1072 | OA
Bauer U, Edelsbrunner H. 2017. The Morse theory of Čech and delaunay complexes. Transactions of the American Mathematical Society. 369(5), 3741–3762.
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 1073 | OA
Čadek M, Krcál M, Vokřínek L. 2017. Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. 54(4), 915–965.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1074 | OA
Ringbauer H, Coop G, Barton NH. 2017. Inferring recent demography from isolation by distance of long shared sequence blocks. Genetics. 205(3), 1335–1351.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 1076 | OA
Klaiber M, Daněk J, Yakaboylu E, Hatsagortsyan K, Keitel C. 2017. Strong-field ionization via a high-order Coulomb-corrected strong-field approximation. Physical Review A - Atomic, Molecular, and Optical Physics. 95(2), 023403.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1078 | OA
von Wangenheim D, Hauschild R, Friml J. 2017. Light sheet fluorescence microscopy of plant roots growing on the surface of a gel. Journal of visualized experiments JoVE. 2017(119), e55044.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1079 | OA
Nam P, Van Den Bosch H. 2017. Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges. Mathematical Physics, Analysis and Geometry. 20(2), 6.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1080 | OA
Reiter J, Makohon Moore A, Gerold J, Božić I, Chatterjee K, Iacobuzio Donahue C, Vogelstein B, Nowak M. 2017. Reconstructing metastatic seeding patterns of human cancers. Nature Communications. 8, 14114.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1084
Fang C, Nagy-Staron AA, Grafe M, Heermann R, Jung K, Gebhard S, Mascher T. 2017. Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis. Molecular Microbiology. 104(1), 16–31.
View | DOI
 

Search

Filter Publications