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
K. Chatterjee, M. Henzinger, M. Joglekar, and N. Shah, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” Formal Methods in System Design, vol. 42, no. 3, pp. 301–327, 2013.
View | Files available | DOI | Download (ext.) | arXiv
 

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

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

2013 | Journal Article | IST-REx-ID: 2471   OA
I. Sanchez Romero et al., “Mechanism of protein kinetic stabilization by engineered disulfide crosslinks,” PLoS One, vol. 8, no. 7, 2013.
View | Files available | DOI
 

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

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

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

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

2013 | Journal Article | IST-REx-ID: 2813   OA
D. Samanta et al., “Elasto-inertial turbulence,” PNAS, vol. 110, no. 26, pp. 10557–10562, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

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

2013 | Journal Article | IST-REx-ID: 2887   OA
S. Fang et al., “Genotypic recognition and spatial responses by rice roots,” PNAS, vol. 110, no. 7, pp. 2670–2675, 2013.
View | DOI | Download (ext.)
 

2013 | Book Chapter | IST-REx-ID: 2907   OA
N. H. Barton, “Recombination and sex,” in The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–333.
View | Files available
 

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

2013 | Journal Article | IST-REx-ID: 2832   OA
H. Tanaka et al., “Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana,” PLoS Genetics, vol. 9, no. 5, 2013.
View | Files available | DOI
 

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

2013 | Journal Article | IST-REx-ID: 2856   OA
J. Levitz et al., “Optical control of metabotropic glutamate receptors,” Nature Neuroscience, vol. 16, pp. 507–516, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

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

2013 | Journal Article | IST-REx-ID: 2919   OA
P. Baster et al., “SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism,” EMBO Journal, vol. 32, no. 2, pp. 260–274, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

2013 | Journal Article | IST-REx-ID: 501   OA
M. Cozzuol et al., “A new species of tapir from the Amazon,” Journal of Mammalogy, vol. 94, no. 6, pp. 1331–1345, 2013.
View | Files available | DOI
 

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

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

2013 | Conference Paper | IST-REx-ID: 2445   OA
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient synthesis for concurrency by semantics-preserving transformations,” presented at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 951–967.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2298   OA
C. Dragoi, C. Enea, and M. Sighireanu, “Local shape analysis for overlaid data structures,” presented at the SAS: Static Analysis Symposium, Seattle, WA, United States, 2013, vol. 7935, pp. 150–171.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243   OA
J. Michaliszyn and J. Otop, “Elementary modal logics over transitive structures,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 563–577, 2013.
View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 5747   OA
C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.
View | Files available | DOI
 

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

2013 | Conference Paper | IST-REx-ID: 2270   OA
Y. Bachrach, P. Kohli, V. Kolmogorov, and M. Zadimoghaddam, “Optimal Coalition Structures in Cooperative Graph Games,” presented at the AAAI: Conference on Artificial Intelligence, Bellevue, WA, United States, 2013, pp. 81–87.
View | Download (ext.) | arXiv
 

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

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

2013 | Journal Article | IST-REx-ID: 2472   OA
C. Cazzonelli et al., “Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development,” PLoS One, vol. 8, no. 7, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2410   OA
R. A. Fernandes Redondo, A. Kupczok, G. Stift, and J. P. Bollback, “Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis,” Genome Announcements, vol. 1, no. 3, 2013.
View | Files available | DOI
 

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

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

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

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

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

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

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

2013 | Journal Article | IST-REx-ID: 2883   OA
B. Wang et al., “Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane,” Plant Cell, vol. 25, no. 1, pp. 202–214, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2908   OA
N. H. Barton, “Does hybridisation influence speciation?  ,” Journal of Evolutionary Biology, vol. 26, no. 2, pp. 267–269, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2910   OA
J. Kelleher, N. H. Barton, and A. Etheridge, “Coalescent simulation in continuous space,” Bioinformatics, vol. 29, no. 7, pp. 955–956, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2821   OA
E. Remy et al., “A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis,” Plant Cell, vol. 25, no. 3, pp. 901–926, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2826   OA
K. Tran Viet et al., “Mutations in SCO2 are associated with autosomal-dominant high-grade myopia,” American Journal of Human Genetics, vol. 92, no. 5, pp. 820–826, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

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

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

2013 | Journal Article | IST-REx-ID: 507   OA
S. Kim et al., “Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis,” Plant Cell, vol. 25, no. 8, pp. 2970–2985, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed