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.




2950 Publications

2014 | Journal Article | IST-REx-ID: 1910
Konradi S, Yasmin N, Haslwanter D, et al. Langerhans cell maturation is accompanied by induction of N-cadherin and the transcriptional regulators of epithelial-mesenchymal transition ZEB1/2. European Journal of Immunology. 2014;44(2):553-560. doi:10.1002/eji.201343681
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1911
Engström A, Noren P. Tverberg’s Theorem and Graph Coloring. Discrete & Computational Geometry. 2014;51(1):207-220. doi:10.1007/s00454-013-9556-3
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1912 | OA
Compagnon J, Barone V, Rajshekar S, et al. The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. 2014;31(6):774-783. doi:10.1016/j.devcel.2014.11.003
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. Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. 2014;38(5-6):375-388. doi:10.1159/000365548
View | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1914
Sauer M, Friml J. Plant biology: Gatekeepers of the road to protein perdition. Current Biology. 2014;24(1):R27-R29. doi:10.1016/j.cub.2013.11.019
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1915
Chen X, Friml J. Rho-GTPase-regulated vesicle trafficking in plant cell polarity. Biochemical Society Transactions. 2014;42(1):212-218. doi:10.1042/BST20130269
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1916 | OA
Novarino G, Fenstermaker A, Zaki M, et al. Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science. 2014;343(6170):506-511. doi:10.1126/science.1247363
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 1917 | OA
Xu T, Dai N, Chen J, et al. Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling. Science. 2014;343(6174):1025-1028. doi:10.1126/science.1245125
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 1918 | OA
Bellazzini J, Frank R, Lieb É, Seiringer R. Existence of ground states for negative ions at the binding threshold. Reviews in Mathematical Physics. 2014;26(1). doi:10.1142/S0129055X13500219
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. Distinct kinetics of synaptic structural plasticity, memory formation, and memory decay in massed and spaced learning. PNAS. 2014;111(1):E194-E202. doi:10.1073/pnas.1303317110
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1920 | OA
Wang W, Nakadate K, Masugi Tokita M, et al. Distinct cerebellar engrams in short-term and long-term motor learning. PNAS. 2014;111(1):E188-E193. doi:10.1073/pnas.1315541111
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1921 | OA
Tejos R, Sauer M, Vanneste S, et al. Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis. Plant Cell. 2014;26(5):2114-2128. doi:10.1105/tpc.114.126185
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. Dynamic infrared imaging analysis of apical hook development in Arabidopsis: The case of brassinosteroids. New Phytologist. 2014;202(4):1398-1411. doi:10.1111/nph.12751
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. Active elastic thin shell theory for cellular deformations. New Journal of Physics. 2014;16. doi:10.1088/1367-2630/16/6/065005
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1924
Le J, Liu X, Yang K, et al. Auxin transport and activity regulate stomatal patterning and development. Nature Communications. 2014;5. doi:10.1038/ncomms4090
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1925 | OA
Lamprecht C, Plochberger B, Ruprecht V, et al. A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes. Nanotechnology. 2014;25(12). doi:10.1088/0957-4484/25/12/125704
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1926 | OA
Sadel C. Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips. Mathematical Physics, Analysis and Geometry. 2014;17(3-4):409-440. doi:10.1007/s11040-014-9163-4
View | DOI | Download Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 1928
Humplik J, Hill A, Nowak M. Evolutionary dynamics of infectious diseases in finite populations. Journal of Theoretical Biology. 2014;360:149-162. doi:10.1016/j.jtbi.2014.06.039
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1929
Alexeev VV, Bogaevskaya VG, Preobrazhenskaya MM, Ukhalov AY, Edelsbrunner H, Yakimova O. An algorithm for cartographic generalization that preserves global topology. Journal of Mathematical Sciences (United States). 2014;203(6):754-760. doi:10.1007/s10958-014-2165-8
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1930
Günther D, Jacobson A, Reininghaus J, Seidel H, Sorkine Hornung O, Weinkauf T. Fast and memory-efficient topological denoising of 2D and 3D scalar fields. IEEE Transactions on Visualization and Computer Graphics. 2014;20(12):2585-2594. doi:10.1109/TVCG.2014.2346432
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1931 | OA
Savin C, Triesch J. Emergence of task-dependent representations in working memory circuits. Frontiers in Computational Neuroscience. 2014;8(MAY). doi:10.3389/fncom.2014.00057
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1932 | OA
Trotter M, Weissman D, Peterson G, Peck K, Masel J. Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations. Evolution. 2014;68(12):3357-3367. doi:10.1111/evo.12517
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. Cadherin-based adhesions in the apical endfoot are required for active Notch signaling to control neurogenesis in vertebrates. Development. 2014;141(8):1671-1682. doi:10.1242/dev.102988
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1934
Marhavy P, Duclercq J, Weller B, et al. Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis. Current Biology. 2014;24(9):1031-1037. doi:10.1016/j.cub.2014.04.002
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1935 | OA
Giuliani A, Lieb É, Seiringer R. Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics. 2014;331(1):333-350. doi:10.1007/s00220-014-1923-2
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1936 | OA
Arbilly M, Weissman D, Feldman M, Grodzinski U. An arms race between producers and scroungers can drive the evolution of social cognition. Behavioral Ecology. 2014;25(3):487-495. doi:10.1093/beheco/aru002
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1937 | OA
Bourgade P, Erdös L, Yau H. Edge universality of beta ensembles. Communications in Mathematical Physics. 2014;332(1):261-353. doi:10.1007/s00220-014-2120-z
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer R. Structure of the excitation spectrum for many-body quantum systems. In: Proceeding of the International Congress of Mathematicans. Vol 3. Kyung Moon SA; 2014: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. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In: Proceedings of the on Future of Software Engineering. ACM; 2014:167-181. doi:10.1145/2593882.2593900
View | DOI | Download Published Version (ext.)
 
2014 | Thesis | IST-REx-ID: 1395
Konrad M. Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus. IST Austria; 2014.
View
 
2014 | Thesis | IST-REx-ID: 1402
Marhavá P. Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana. IST Austria; 2014.
View
 
2014 | Thesis | IST-REx-ID: 1403
Behrndt M. Forces Driving Epithelial Spreading in Zebrafish Epiboly. IST Austria; 2014.
View | Files available
 
2014 | Thesis | IST-REx-ID: 1404
Stock M. Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants. IST Austria; 2014.
View
 
2014 | Conference Paper | IST-REx-ID: 1507 | OA
Erdös L. Random matrices, log-gases and Hölder regularity. In: Vol 3. Kyung Moon SA Co. Ltd.; 2014:214-236.
View | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1516 | OA
Bräunlich G, Hainzl C, Seiringer R. On the BCS gap equation for superfluid fermionic gases. In: Proceedings of the QMath12 Conference. World Scientific Publishing; 2014:127-137. doi:10.1142/9789814618144_0007
View | DOI | Download Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 1532
Yang H, Von Der Fecht Bartenbach J, Friml J, Lohmann J, Neuhäuser B, Ludewig U. Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source. Functional Plant Biology. 2014;42(3):239-251. doi:10.1071/FP14171
View | DOI
 
2014 | Journal Article | IST-REx-ID: 3263 | OA
Tkačik G, Ghosh A, Schneidman E, Segev R. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085841
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2000 | OA
Reiter J, Božić I, Chatterjee K, Nowak M. TTP: Tool for tumor progression. In: Proceedings of 25th Int. Conf. on Computer Aided Verification. Vol 8044. Lecture Notes in Computer Science. Springer; 2013:101-106. doi:10.1007/978-3-642-39799-8_6
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2009 | OA
Uhler C, Slavkovic A, Fienberg S. Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality . 2013;5(1):137-166. doi:10.29012/jpc.v5i1.629
View | DOI | Download Published Version (ext.)
 
2013 | Journal Article | IST-REx-ID: 2010 | OA
Uhler C, Raskutti G, Bühlmann P, Yu B. Geometry of the faithfulness assumption in causal inference. The Annals of Statistics. 2013;41(2):436-463. doi:10.1214/12-AOS1080
View | DOI | Download Published Version (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger TA, Kirsch C, Payer H, Sezgin A, Sokolova A. Quantitative relaxation of concurrent data structures. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:317-328. doi:10.1145/2429069.2429109
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2182
Cerny P, Henzinger TA, Radhakrishna A. Quantitative abstraction refinement. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:115-128. doi:10.1145/2429069.2429085
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2209
Biedl T, Held M, Huber S. Recognizing straight skeletons and Voronoi diagrams and reconstructing their input. In: IEEE; 2013:37-46. doi:10.1109/ISVD.2013.11
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2210 | OA
Biedl T, Held M, Huber S. Reconstructing polygons from embedded straight skeletons. In: 29th European Workshop on Computational Geometry. TU Braunschweig; 2013:95-98.
View | Download Submitted Version (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2237 | OA
Blanc R, Gupta A, Kovács L, Kragl B. Tree interpolation in Vampire. 2013;8312:173-181. doi:10.1007/978-3-642-45221-5_13
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2238
Chatterjee K, Forejt V, Wojtczak D. Multi-objective discounted reward verification in graphs and MDPs. 2013;8312:228-242. doi:10.1007/978-3-642-45221-5_17
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2243 | OA
Michaliszyn J, Otop J. Elementary modal logics over transitive structures. 2013;23:563-577. doi:10.4230/LIPIcs.CSL.2013.563
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2244 | OA
Matoušek J, Sedgwick E, Tancer M, Wagner U. Untangling two systems of noncrossing curves. 2013;8242:472-483. doi:10.1007/978-3-319-03841-4_41
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Display / Sort

Citation Style: AMA

Export / Embed