Please note that IST 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.

2987 Publications


2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417 | OA
Henzinger TA, Otop J. 2014. From model checking to model measuring, IST Austria, 14p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee K, Doyen L. 2014. Games with a weak adversary, IST Austria, 18p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Improved algorithms for reachability and shortest path on low tree-width graphs, IST Austria, 34p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee K, Ibsen-Jensen R. 2014. The value 1 problem for concurrent mean-payoff games, IST Austria, 49p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee K, Ibsen-Jensen R, Nowak M. 2014. The complexity of evolution on graphs, IST Austria, 27p.
View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422 | OA
Porsche J. 2014. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none,p.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5423 | OA
Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. 2014. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks, IST Austria, 14p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5424 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 12p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425 | OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2014. Optimal cost almost-sure reachability in POMDPs, IST Austria, 22p.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5426 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 10p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee K, Henzinger TA, Otop J, Velner Y. 2014. Quantitative fair simulation games, IST Austria, 26p.
View | Files available | DOI
 

2014 | Book Chapter | IST-REx-ID: 6178
Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. 2014. UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. Tissue Morphogenesis. Methods in Molecular Biology vol. 1189. 219–235.
View | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2699 | OA
Erdös L, Bourgade P, Yau H. 2014. Universality of general β-ensembles. Duke Mathematical Journal. 163(6), 1127–1190.
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee K, Randour M, Raskin J. 2014. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 51(3–4), 129–163.
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2852
Fischlin M, Lehmann A, Pietrzak KZ. 2014. Robust multi-property combiners for hash functions. Journal of Cryptology. 27(3), 397–428.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice. ECM: European Congress of Mathematics 31–50.
View | Files available | DOI
 

2014 | Book | IST-REx-ID: 6853
Edelsbrunner H. 2014. A Short Course in Computational Geometry and Topology, Cham: Springer International Publishing, IX, 110p.
View | Files available | DOI
 

2014 | Working Paper | IST-REx-ID: 7038 | OA
Huszár K, Rolinek M. Playful Math - An introduction to mathematical games, IST Austria, 5p.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 1629 | OA
Guerrero P, Jeschke S, Wimmer M, Wonka P. 2014. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 33(2).
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643 | OA
Fuchsbauer G. 2014. Constrained Verifiable Random Functions . SCN 2014. SCN: Security and Cryptography for Networks, LNCS, vol. 8642. 95–114.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1702 | OA
Gupta A, Popeea C, Rybalchenko A. 2014. Generalised interpolation by solving recursion free-horn clauses. Electronic Proceedings in Theoretical Computer Science, EPTCS. HCVS: Horn Clauses for Verification and Synthesis, EPTCS, vol. 169. 31–38.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1708
Savin C, Denève S. 2014. Spatio-temporal representations of uncertainty in spiking neural networks. NIPS: Neural Information Processing Systems vol. 3. 2024–2032.
View | Download None (ext.)
 

2014 | Journal Article | IST-REx-ID: 1733 | OA
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. 2014. Interface simulation distances. Theoretical Computer Science. 560(3), 348–363.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1806
Baster P, Friml J. 2014. Auxin on the road navigated by cellular PIN polarity. Auxin and Its Role in Plant Development. 143–170.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1816 | OA
Huber S, Held M, Meerwald P, Kwitt R. 2014. Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications. 24(1), 61–86.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1821 | OA
Seiringer R. 2014. Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. 55(7).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1822
Jakšić V, Pillet C, Seiringer R. 2014. Introduction. Journal of Mathematical Physics. 55(7), 075101.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 1829
Muelling K, Kroemer O, Lampert C, Schölkopf B. 2014. Movement templates for learning of hitting and batting. Learning Motor Skills. From Algorithms to Robot Experiments, Springer Tracts in Advanced Robotics, vol. 97. 69–82.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1842 | OA
Cibulka J, Gao P, Krcál M, Valla T, Valtr P. 2014. On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. 53(1), 64–79.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1844 | OA
Risso V, Manssour Triedo F, Delgado Delgado A, Arco R, Barroso Deljesús A, Inglés Prieto Á, Godoy Ruiz R, Gavira J, Gaucher E, Ibarra Molero B, Sánchez Ruiz J. 2014. Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history. Molecular Biology and Evolution. 32(2), 440–455.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1852 | OA
Sassi M, Ali O, Boudon F, Cloarec G, Abad U, Cellier C, Chen X, Gilles B, Milani P, Friml J, Vernoux T, Godin C, Hamant O, Traas J. 2014. An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. 24(19), 2335–2342.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1853
Jha S, Tripakis S, Seshia S, Chatterjee K. 2014. Game theoretic secure localization in wireless sensor networks. IOT: Internet of Things 85–90.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1854 | OA
Guerrero P, Auzinger T, Wimmer M, Jeschke S. 2014. Partial shape matching using transformation parameter similarity. Computer Graphics Forum. 34(1), 239–252.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1862 | OA
Chen X, Grandont L, Li H, Hauschild R, Paque S, Abuzeineh A, Rakusová H, Benková E, Perrot Rechenmann C, Friml J. 2014. Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules. Nature. 516(729), 90–93.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1869
Hofferek G, Gupta A. 2014. Suraq - a controller synthesis tool using uninterpreted functions. HVC 2014. HVC: Haifa Verification Conference, LNCS, vol. 8855. 68–74.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger TA, Otop J, Samanta R. 2014. Lipschitz robustness of finite-state transducers. Leibniz International Proceedings in Informatics, LIPIcs. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 29. 431–443.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1872 | OA
Gupta A, Kovács L, Kragl B, Voronkov A. 2014. Extensional crisis and proving identity. ATVA 2014. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837. 185–200.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875 | OA
Samanta R, Olivo O, Allen E. 2014. Cost-aware automatic program repair. SAS: Static Analysis Symposium, LNCS, vol. 8723. 268–284.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
Dolbilin N, Edelsbrunner H, Glazyrin A, Musin O. 2014. Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. 14(3), 491–504.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1877
Sixt MK, Vaahtomeri K. 2014. Physiology: Relax and come in. Nature. 514(7523), 441–442.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1884
Landau D, Stewart C, Reiter J, Lawrence M, Sougnez C, Brown J, Lopez Guillermo A, Gabriel S, Lander E, Neuberg D, López Otín C, Campo E, Getz G, Wu C. 2014. Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples. Blood. 124(21), 1952–1952.
View | Download None (ext.)
 

2014 | Journal Article | IST-REx-ID: 1886 | OA
Hermundstad A, Briguglio J, Conte M, Victor J, Balasubramanian V, Tkačik G. 2014. Variance predicts salience in central sensory processing. eLife. (November).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1887
Cremer S. 2014. Gemeinsame Krankheitsabwehr in Ameisengesellschaften. Zoologie., 23–30.
View | Download None (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1888
Cremer S. 2014. Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt  Bayerische Akademie der Wissenschaften. Soziale Insekten in einer sich wandelnden Welt. , Rundgespräche der Kommission für Ökologie, vol. 43. 65–72.
View
 

2014 | Journal Article | IST-REx-ID: 1889 | OA
Bräunlich G, Hainzl C, Seiringer R. 2014. Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics. 26(7), 1450012.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890 | OA
Körner C, Braunstein V, Stangl M, Schlögl A, Neuper C, Ischebeck A. 2014. Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. 51(4), 385–395.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1891
Chwastyk M, Galera Prat A, Sikora MK, Gómez Sicilia À, Carrión Vázquez M, Cieplak M. 2014. Theoretical tests of the mechanical protection strategy in protein nanomechanics. Proteins: Structure, Function and Bioinformatics. 82(5), 717–726.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1892 | OA
Ocana S, Meidl P, Bonfils D, Taborsky M. 2014. Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences. 281(1794), 20140253.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893 | OA
Nováková P, Hirsch S, Feraru E, Tejos R, Van Wijk R, Viaene T, Heilmann M, Lerche J, De Rycke R, Feraru M, Grones P, Van Montagu M, Heilmann I, Munnik T, Friml J. 2014. SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS. 111(7), 2818–2823.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1894 | OA
Grabowska A, Wywiał E, Dunin Horkawicz S, Łasica A, Wösten M, Nagy-Staron AA, Godlewska R, Bocian Ostrzycka K, Pieńkowska K, Łaniewski P, Bujnicki J, Van Putten J, Jagusztyn Krynicka E. 2014. Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS One. 9(9).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895 | OA
Edamura M, Murakami G, Meng H, Itakura M, Shigemoto R, Fukuda A, Nakahara D. 2014. Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One. 9(9).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1896 | OA
Kollár R, Bod’ová K, Nosek J, Tomáška Ľ. 2014. Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. 89(3), 032701.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897 | OA
Naramoto S, Otegui M, Kutsuna N, De Rycke R, Dainobu T, Karampelias M, Fujimoto M, Feraru E, Miki D, Fukuda H, Nakano A, Friml J. 2014. Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis. Plant Cell. 26(7), 3062–3076.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1898
Ritzau Jost A, Delvendahl I, Rings A, Byczkowicz N, Harada H, Shigemoto R, Hirrlinger J, Eilers J, Hallermann S. 2014. Ultrafast action potentials mediate kilohertz signaling at a central synapse. Neuron. 84(1), 152–163.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1899 | OA
Williams S, Ratliff L, Postiglione MP, Knoblich J, Fuchs E. 2014. Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology. 16(8), 758–769.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1900
Behrndt M, Heisenberg C-PJ. 2014. Lateral junction dynamics lead the way out. Nature Cell Biology. 16(2), 127–129.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1901
Tian H, Wabnik KT, Niu T, Li H, Yu Q, Pollmann S, Vanneste S, Govaerts W, Rolčík J, Geisler M, Friml J, Ding Z. 2014. WOX5-IAA17 feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis. Molecular Plant. 7(2), 277–289.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1902
Hall B, Acar H, Nandipati A, Barlow M. 2014. Growth rates made easy. Molecular Biology and Evolution. 31(1), 232–238.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1903
Chatterjee K. 2014. Partial-observation stochastic reachability and parity games. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 8634. 1–4.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1904 | OA
Frank R, Lewin M, Lieb É, Seiringer R. 2014. Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society. 16(7), 1507–1526.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1905
Tobler M, Plath M, Riesch R, Schlupp I, Grasse AV, Munimanda G, Setzer C, Penn D, Moodley Y. 2014. Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations. Journal of Evolutionary Biology. 27(5), 960–974.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1906 | OA
Arikan M, Preiner R, Scheiblauer C, Jeschke S, Wimmer M. 2014. Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics. 20(9), 1280–1292.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1907 | OA
Demay G, Gazi P, Maurer U, Tackmann B. 2014. Optimality of non-adaptive strategies: The case of parallel games. IEEE International Symposium on Information Theory. IEEE International Symposium on Information Theory Proceedings
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1908 | OA
Weissman D, Hallatschek O. 2014. The rate of adaptation in large sexual populations with linear chromosomes. Genetics. 196(4), 1167–1183.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1909 | OA
Ezard T, Prizak R, Hoyle R. 2014. The fitness costs of adaptation via phenotypic plasticity and maternal effects. Functional Ecology. 28(3), 693–701.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1910
Konradi S, Yasmin N, Haslwanter D, Weber M, Gesslbauer B, Sixt MK, Strobl H. 2014. Langerhans cell maturation is accompanied by induction of N-cadherin and the transcriptional regulators of epithelial-mesenchymal transition ZEB1/2. European Journal of Immunology. 44(2), 553–560.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1911
Engström A, Noren P. 2014. Tverberg’s Theorem and Graph Coloring. Discrete & Computational Geometry. 51(1), 207–220.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1912 | OA
Compagnon J, Barone V, Rajshekar S, Kottmeier R, Pranjic-Ferscha K, Behrndt M, Heisenberg C-PJ. 2014. The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. 31(6), 774–783.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1913 | OA
Milenković I, Petrov T, Kovács G. 2014. Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. 38(5–6), 375–388.
View | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1914
Sauer M, Friml J. 2014. Plant biology: Gatekeepers of the road to protein perdition. Current Biology. 24(1), R27–R29.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1915
Chen X, Friml J. 2014. Rho-GTPase-regulated vesicle trafficking in plant cell polarity. Biochemical Society Transactions. 42(1), 212–218.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1916 | OA
Novarino G, Fenstermaker A, Zaki M, Hofree M, Silhavy J, Heiberg A, Abdellateef M, Rosti B, Scott E, Mansour L, Masri A, Kayserili H, Al Aama J, Abdel Salam G, Karminejad A, Kara M, Kara B, Bozorgmehri B, Ben Omran T, Mojahedi F, Mahmoud I, Bouslam N, Bouhouche A, Benomar A, Hanein S, Raymond L, Forlani S, Mascaro M, Selim L, Shehata N, Al Allawi N, Bindu P, Azam M, Günel M, Caglayan A, Bilgüvar K, Tolun A, Issa M, Schroth J, Spencer E, Rosti R, Akizu N, Vaux K, Johansen A, Koh A, Megahed H, Dürr A, Brice A, Stévanin G, Gabriel S, Ideker T, Gleeson J. 2014. Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science. 343(6170), 506–511.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1917 | OA
Xu T, Dai N, Chen J, Nagawa S, Cao M, Li H, Zhou Z, Chen X, De Rycke R, Rakusová H, Wang W, Jones A, Friml J, Patterson S, Bleecker A, Yang Z. 2014. Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling. Science. 343(6174), 1025–1028.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1918 | OA
Bellazzini J, Frank R, Lieb É, Seiringer R. 2014. Existence of ground states for negative ions at the binding threshold. Reviews in Mathematical Physics. 26(1), 1350021.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1919 | OA
Aziz W, Wang W, Kesaf S, Mohamed A, Fukazawa Y, Shigemoto R. 2014. Distinct kinetics of synaptic structural plasticity, memory formation, and memory decay in massed and spaced learning. PNAS. 111(1), E194–E202.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1920 | OA
Wang W, Nakadate K, Masugi Tokita M, Shutoh F, Aziz W, Tarusawa E, Lörincz A, Molnár E, Kesaf S, Li Y, Fukazawa Y, Nagao S, Shigemoto R. 2014. Distinct cerebellar engrams in short-term and long-term motor learning. PNAS. 111(1), E188–E193.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1921 | OA
Tejos R, Sauer M, Vanneste S, Palacios-Gomez M, Li H, Heilmann M, Van Wijk R, Vermeer J, Heilmann I, Munnik T, Friml J. 2014. Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis. Plant Cell. 26(5), 2114–2128.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1922
Smet D, Žádníková P, Vandenbussche F, Benková E, Van Der Straeten D. 2014. Dynamic infrared imaging analysis of apical hook development in Arabidopsis: The case of brassinosteroids. New Phytologist. 202(4), 1398–1411.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1923 | OA
Berthoumieux H, Maître J-L, Heisenberg C-PJ, Paluch E, Julicher F, Salbreux G. 2014. Active elastic thin shell theory for cellular deformations. New Journal of Physics. 16.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1924
Le J, Liu X, Yang K, Chen X, Zhu L, Wang H, Wang M, Vanneste S, Morita M, Tasaka M, Ding Z, Friml J, Beeckman T, Sack F. 2014. Auxin transport and activity regulate stomatal patterning and development. Nature Communications. 5, 3090.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1925 | OA
Lamprecht C, Plochberger B, Ruprecht V, Wieser S, Rankl C, Heister E, Unterauer B, Brameshuber M, Danzberger J, Lukanov P, Flahaut E, Schütz G, Hinterdorfer P, Ebner A. 2014. A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes. Nanotechnology. 25(12).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1926 | OA
Sadel C. 2014. Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips. Mathematical Physics, Analysis and Geometry. 17(3–4), 409–440.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1928
Humplik J, Hill A, Nowak M. 2014. Evolutionary dynamics of infectious diseases in finite populations. Journal of Theoretical Biology. 360, 149–162.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1929
Alexeev VV, Bogaevskaya VG, Preobrazhenskaya MM, Ukhalov AY, Edelsbrunner H, Yakimova O. 2014. An algorithm for cartographic generalization that preserves global topology. Journal of Mathematical Sciences (United States). 203(6), 754–760.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1930
Günther D, Jacobson A, Reininghaus J, Seidel H, Sorkine Hornung O, Weinkauf T. 2014. Fast and memory-efficient topological denoising of 2D and 3D scalar fields. IEEE Transactions on Visualization and Computer Graphics. 20(12), 2585–2594.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1931 | OA
Savin C, Triesch J. 2014. Emergence of task-dependent representations in working memory circuits. Frontiers in Computational Neuroscience. 8(MAY), 57.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1932 | OA
Trotter M, Weissman D, Peterson G, Peck K, Masel J. 2014. Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations. Evolution. 68(12), 3357–3367.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1933
Hatakeyama J, Wakamatsu Y, Nagafuchi A, Kageyama R, Shigemoto R, Shimamura K. 2014. Cadherin-based adhesions in the apical endfoot are required for active Notch signaling to control neurogenesis in vertebrates. Development. 141(8), 1671–1682.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1934
Marhavy P, Duclercq J, Weller B, Feraru E, Bielach A, Offringa R, Friml J, Schwechheimer C, Murphy A, Benková E. 2014. Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis. Current Biology. 24(9), 1031–1037.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1935 | OA
Giuliani A, Lieb É, Seiringer R. 2014. Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics. 331(1), 333–350.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1936 | OA
Arbilly M, Weissman D, Feldman M, Grodzinski U. 2014. An arms race between producers and scroungers can drive the evolution of social cognition. Behavioral Ecology. 25(3), 487–495.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937 | OA
Bourgade P, Erdös L, Yau H. 2014. Edge universality of beta ensembles. Communications in Mathematical Physics. 332(1), 261–353.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer R. 2014. Structure of the excitation spectrum for many-body quantum systems. Proceeding of the International Congress of Mathematicans. ICM: International Congress of Mathematicans vol. 3. 1175–1194.
View | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318. 161–181.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering 167–181.
View | DOI | Download Published Version (ext.)
 

2014 | Thesis | IST-REx-ID: 1395
Konrad M. 2014. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus, IST Austria, 131p.
View
 

Filters and Search Terms

extern<>1

Search

Filter Publications