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.

1892 Publications


2013 | Book | IST-REx-ID: 2306   OA
Danowski P, Pohl A. (Open) Linked Data in Bibliotheken. Vol 50. De Gruyter; 2013. doi:10.1515/9783110278736
View | Files available | DOI
 

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

2013 | Conference Paper | IST-REx-ID: 2293   OA
Sharmanska V, Quadrianto N, Lampert C. Learning to rank using privileged information. In: IEEE; 2013:825-832. doi:10.1109/ICCV.2013.107
View | DOI | Download (ext.)
 

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

2013 | Journal Article | IST-REx-ID: 2813   OA
Samanta D, Dubief Y, Holzner M, et al. Elasto-inertial turbulence. PNAS. 2013;110(26):10557-10562. doi:10.1073/pnas.1219666110
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2863   OA
Granot Atedgi E, Tkacik G, Segev R, Schneidman E. Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology. 2013;9(3). doi:10.1371/journal.pcbi.1002922
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. Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism. PNAS. 2013;110(9):3627-3632. doi:10.1073/pnas.1300107110
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

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

2013 | Journal Article | IST-REx-ID: 2832   OA
Tanaka H, Kitakura S, Rakusová H, et al. Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. 2013;9(5). doi:10.1371/journal.pgen.1003540
View | Files available | DOI
 

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

2013 | Journal Article | IST-REx-ID: 2856   OA
Levitz J, Pantoja C, Gaub B, et al. Optical control of metabotropic glutamate receptors. Nature Neuroscience. 2013;16:507-516. doi:10.1038/nn.3346
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

2013 | Conference Paper | IST-REx-ID: 2940   OA
Krenn S, Pietrzak KZ, Wadia A. A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. In: Sahai A, ed. Vol 7785. Springer; 2013:23-39. doi:10.1007/978-3-642-36594-2_2
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2919   OA
Baster P, Robert S, Kleine Vehn J, et al. SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal. 2013;32(2):260-274. doi:10.1038/emboj.2012.310
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

2013 | Journal Article | IST-REx-ID: 501   OA
Cozzuol M, Clozato C, Holanda E, et al. A new species of tapir from the Amazon. Journal of Mammalogy. 2013;94(6):1331-1345. doi:10.1644/12-MAMM-A-169.1
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401   OA
Porsche J. Initiatives and Projects Related to RD. IST Austria; 2013.
View | Files available
 

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

2013 | Conference Paper | IST-REx-ID: 2445   OA
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis for concurrency by semantics-preserving transformations. In: Vol 8044. Springer; 2013:951-967. doi:10.1007/978-3-642-39799-8_68
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2298   OA
Dragoi C, Enea C, Sighireanu M. Local shape analysis for overlaid data structures. In: Vol 7935. Springer; 2013:150-171. doi:10.1007/978-3-642-38856-9_10
View | Files available | 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 | Book Chapter | IST-REx-ID: 5747   OA
Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi:10.1007/978-3-642-39799-8_11
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2887   OA
Fang S, Clark R, Zheng Y, et al. Genotypic recognition and spatial responses by rice roots. PNAS. 2013;110(7):2670-2675. doi:10.1073/pnas.1222821110
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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 (ext.)
 

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

2013 | Journal Article | IST-REx-ID: 2256   OA
Danowski P, Goldfarb D, Schaffner V, Seidler W. Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen. 2013;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. Untangling two systems of noncrossing curves. 2013;8242:472-483. doi:10.1007/978-3-319-03841-4_41
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2472   OA
Cazzonelli C, Vanstraelen M, Simon S, et al. Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One. 2013;8(7). doi:10.1371/journal.pone.0070069
View | Files available | DOI
 

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

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

2013 | Conference Paper | IST-REx-ID: 2294   OA
Kazmar T, Kvon E, Stark A, Lampert C. Drosophila Embryo Stage Annotation using Label Propagation. In: IEEE; 2013. doi:10.1109/ICCV.2013.139
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2718   OA
Barton NH, Paixao T. Can quantitative and population genetics help us understand evolutionary computation? In: Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation. ACM; 2013:1573-1580. doi:10.1145/2463372.2463568
View | Files available | DOI
 

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

2013 | Journal Article | IST-REx-ID: 2782   OA
Erdös L, Farrell B. Local eigenvalue density for general MANOVA matrices. Journal of Statistical Physics. 2013;152(6):1003-1032. doi:10.1007/s10955-013-0807-8
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. Extending continuous maps: Polynomiality and undecidability. In: 45th Annual ACM Symposium on Theory of Computing. ACM; 2013:595-604. doi:10.1145/2488608.2488683
View | Files available | DOI
 

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

2013 | Journal Article | IST-REx-ID: 2883   OA
Wang B, Bailly A, Zwiewk M, et al. Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane. Plant Cell. 2013;25(1):202-214. doi:10.1105/tpc.112.105999
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

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

2013 | Journal Article | IST-REx-ID: 2821   OA
Remy E, Cabrito T, Baster P, et al. A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell. 2013;25(3):901-926. doi:10.1105/tpc.113.110353
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2826   OA
Tran Viet K, Powell C, Barathi V, et al. Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. American Journal of Human Genetics. 2013;92(5):820-826. doi:10.1016/j.ajhg.2013.04.005
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

2013 | Journal Article | IST-REx-ID: 2857   OA
Szobota S, Mckenzie C, Janovjak HL. Optical control of ligand-gated ion channels. Methods in Molecular Biology. 2013;998:417-435. doi:10.1007/978-1-62703-351-0_32
View | Files available | DOI
 

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

2013 | Journal Article | IST-REx-ID: 507   OA
Kim S, Xu Z, Song K, et al. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 2013;25(8):2970-2985. doi:10.1105/tpc.113.114264
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Technical Report | IST-REx-ID: 5402   OA
Henzinger TA, Sezgin A. How Free Is Your Linearizable Concurrent Data Structure? IST Austria; 2013. doi:10.15479/AT:IST-2013-123-v1-1
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5407   OA
Porsche J. Technical Requirements and Features. IST Austria; 2013.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 1385   OA
Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394
View | DOI | Download (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
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed