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.

1724 Publications


2013 | Journal Article | IST-REx-ID: 2831   OA
Chatterjee K, Henzinger M, Joglekar M, Shah N. 2013. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 42(3), 301–327.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2010   OA
Uhler C, Raskutti G, Bühlmann P, Yu B. 2013. Geometry of the faithfulness assumption in causal inference. The Annals of Statistics. 41(2), 436–463.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2469   OA
Maître J-L, Heisenberg C-PJ. 2013. Three functions of cadherins in cell adhesion. Current Biology. 23(14), R626–R633.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2471   OA
Sanchez Romero I, Ariza A, Wilson K, Skjøt M, Vind J, De Maria L, Skov L, Sánchez Ruiz J. 2013. Mechanism of protein kinetic stabilization by engineered disulfide crosslinks. PLoS One. 8(7), e70013.
View | Files available | DOI
 

2013 | Book | IST-REx-ID: 2306   OA
Danowski P, Pohl A. 2013. (Open) Linked Data in Bibliotheken, De Gruyter,p.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2286   OA
Campinho P, Heisenberg C-PJ. 2013. The force and effect of cell proliferation. EMBO Journal. 32(21), 2783–2784.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2293   OA
Sharmanska V, Quadrianto N, Lampert C. 2013. Learning to rank using privileged information. ICCV: International Conference on Computer Vision 825–832.
View | DOI | Download (ext.)
 

2013 | Report | IST-REx-ID: 2274   OA
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2013. Proofs of Space, IST Austria,p.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2813   OA
Samanta D, Dubief Y, Holzner M, Schäfer C, Morozov A, Wagner C, Hof B. 2013. Elasto-inertial turbulence. PNAS. 110(26), 10557–10562.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2863   OA
Granot Atedgi E, Tkacik G, Segev R, Schneidman E. 2013. Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology. 9(3), e1002922.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2882   OA
Löfke C, Zwiewka M, Heilmann I, Van Montagu M, Teichmann T, Friml J. 2013. Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism. PNAS. 110(9), 3627–3632.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2887   OA
Fang S, Clark R, Zheng Y, Iyer Pascuzzi A, Weitz J, Kochian L, Edelsbrunner H, Liao H, Benfey P. 2013. Genotypic recognition and spatial responses by rice roots. PNAS. 110(7), 2670–2675.
View | DOI | Download (ext.)
 

2013 | Book Chapter | IST-REx-ID: 2907   OA
Barton NH. 2013. Recombination and sex. The Princeton Guide to Evolution. 328–333.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2914   OA
Stephens G, Mora T, Tkacik G, Bialek W. 2013. Statistical thermodynamics of natural images. Physical Review Letters. 110(1), 018701.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2832   OA
Tanaka H, Kitakura S, Rakusová H, Uemura T, Feraru M, De Rycke R, Robert S, Kakimoto T, Friml J. 2013. Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. 9(5), e1003540.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2837   OA
Erdös L, Knowles A, Yau H, Yin J. 2013. The local semicircle law for a general class of random matrices. Electronic Journal of Probability. 18(59), 1–58.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2856   OA
Levitz J, Pantoja C, Gaub B, Janovjak HL, Reiner A, Hoagland A, Schoppik D, Kane B, Stawski P, Schier A, Trauner D, Isacoff E. 2013. Optical control of metabotropic glutamate receptors. Nature Neuroscience. 16, 507–516.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2818   OA
Rajan K, Marre O, Tkacik G. 2013. Learning quadratic receptive fields from neural responses to natural stimuli. Neural Computation. 25(7), 1661–1692.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2940   OA
Krenn S, Pietrzak KZ, Wadia A. 2013. A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. TCC: Theory of Cryptography Conference, LNCS, vol. 7785. 23–39.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2919   OA
Baster P, Robert S, Kleine Vehn J, Vanneste S, Kania U, Grunewald W, De Rybel B, Beeckman T, Friml J. 2013. SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal. 32(2), 260–274.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 450   OA
Pickup M, Field D, Rowell D, Young A. 2013. Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1750), 2058.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 501   OA
Cozzuol M, Clozato C, Holanda E, Rodrigues F, Nienow S, De Thoisy B, Fernandes Redondo RA, Santos F. 2013. A new species of tapir from the Amazon. Journal of Mammalogy. 94(6), 1331–1345.
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401   OA
Porsche J. 2013. Initiatives and projects related to RD, IST Austria,p.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 828   OA
Cuesta C, Wabnik KT, Benková E. 2013. Systems approaches to study root architecture dynamics. Frontiers in Plant Science. 4, 537.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2445   OA
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2013. Efficient synthesis for concurrency by semantics-preserving transformations. CAV: Computer Aided Verification, LNCS, vol. 8044. 951–967.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2298   OA
Dragoi C, Enea C, Sighireanu M. 2013. Local shape analysis for overlaid data structures. SAS: Static Analysis Symposium, LNCS, vol. 7935. 150–171.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243   OA
Michaliszyn J, Otop J. 2013. Elementary modal logics over transitive structures. 23, 563–577.
View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 5747   OA
Dragoi C, Gupta A, Henzinger TA. 2013. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. Computer Aided Verification. CAV 2013CAV vol. 8044. 174–190.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2009   OA
Uhler C, Slavkovic A, Fienberg S. 2013. Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality . 5(1), 137–166.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2270   OA
Bachrach Y, Kohli P, Kolmogorov V, Zadimoghaddam M. 2013. Optimal Coalition Structures in Cooperative Graph Games. AAAI: Conference on Artificial Intelligence 81–87.
View | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2256   OA
Danowski P, Goldfarb D, Schaffner V, Seidler W. 2013. Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen. 66(3/4), 559–587.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2244   OA
Matoušek J, Sedgwick E, Tancer M, Wagner U. 2013. Untangling two systems of noncrossing curves. 8242, 472–483.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2472   OA
Cazzonelli C, Vanstraelen M, Simon S, Yin K, Carron Arthur A, Nisar N, Tarle G, Cuttriss A, Searle I, Benková E, Mathesius U, Masle J, Friml J, Pogson B. 2013. Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One. 8(7), e70069.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2410   OA
Fernandes Redondo RA, Kupczok A, Stift G, Bollback JP. 2013. Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome Announcements. 1(3).
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2287   OA
Pickup M, Barrett S. 2013. The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant. Ecology and Evolution. 3(3), 629–639.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2294   OA
Kazmar T, Kvon E, Stark A, Lampert C. 2013. Drosophila Embryo Stage Annotation using Label Propagation. ICCV: International Conference on Computer Vision
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2718   OA
Barton NH, Paixao T. 2013. Can quantitative and population genetics help us understand evolutionary computation? Proceedings of the 15th annual conference on Genetic and evolutionary computation. GECCO: Genetic and evolutionary computation conference 1573–1580.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2720   OA
Long H, Paixao T, Azevedo R, Zufall R. 2013. Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila. Genetics. 195(2), 527–540.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2782   OA
Erdös L, Farrell B. 2013. Local eigenvalue density for general MANOVA matrices. Journal of Statistical Physics. 152(6), 1003–1032.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2807   OA
Čadek M, Krcál M, Matoušek J, Vokřínek L, Wagner U. 2013. Extending continuous maps: Polynomiality and undecidability. 45th Annual ACM Symposium on theory of computing. STOC: Symposium on the Theory of Computing 595–604.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2698   OA
Erdös L, Fournais S, Solovej J. 2013. Stability and semiclassics in self-generated fields. Journal of the European Mathematical Society. 15(6), 2093–2113.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2883   OA
Wang B, Bailly A, Zwiewk M, Henrichs S, Azzarello E, Mancuso S, Maeshima M, Friml J, Schulz A, Geisler M. 2013. Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane. Plant Cell. 25(1), 202–214.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2908   OA
Barton NH. 2013. Does hybridisation influence speciation?  . Journal of Evolutionary Biology. 26(2), 267–269.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2910   OA
Kelleher J, Barton NH, Etheridge A. 2013. Coalescent simulation in continuous space. Bioinformatics. 29(7), 955–956.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2821   OA
Remy E, Cabrito T, Baster P, Batista R, Teixeira M, Friml J, Sá Correia I, Duque P. 2013. A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell. 25(3), 901–926.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2826   OA
Tran Viet K, Powell C, Barathi V, Klemm T, Maurer Stroh S, Limviphuvadh V, Soler V, Ho C, Yanovitch T, Schneider G, Li Y, Nading E, Metlapally R, Saw S, Goh L, Rozen S, Young T. 2013. Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. American Journal of Human Genetics. 92(5), 820–826.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2838   OA
Arquè Fuste G, Casanovas A, Dierssen M. 2013. Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. PLoS One. 8(1), e54285.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2857   OA
Szobota S, Mckenzie C, Janovjak HL. 2013. Optical control of ligand-gated ion channels. Methods in Molecular Biology. 998, 417–435.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 3261   OA
Dubuis J, Tkacik G, Wieschaus E, Gregor T, Bialek W. 2013. Positional information, in bits. PNAS. 110(41), 16301–16308.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 507   OA
Kim S, Xu Z, Song K, Kim D, Kang H, Reichardt I, Sohn E, Friml J, Juergens G, Hwang I. 2013. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 25(8), 2970–2985.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed