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.

3486 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. Springer. https://doi.org/10.1007/s10703-012-0180-2
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2832 | OA
Tanaka, H., Kitakura, S., Rakusová, H., Uemura, T., Feraru, M., De Rycke, R., … Friml, J. (2013). Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1003540
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2833
Heisenberg, C.-P. J., & Bellaïche, Y. (2013). Forces in tissue morphogenesis and patterning. Cell. Cell Press. https://doi.org/10.1016/j.cell.2013.05.008
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2834 | OA
Avila, M., Mellibovsky, F., Roland, N., & Hof, B. (2013). Streamwise-localized solutions at the onset of turbulence in pipe flow. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.110.224502
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2835 | OA
Yu, H., Karampelias, M., Robert, S., Peer, W., Swarup, R., Ye, S., … Estelle, M. (2013). Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.113.217018
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2836 | OA
Chatterjee, K., & Raman, V. (2013). Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. Springer. https://doi.org/10.1007/s00165-013-0283-6
View | DOI | Download Preprint (ext.) | arXiv
 

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. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v18-2473
View | Files available | DOI
 

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. Public Library of Science. https://doi.org/10.1371/journal.pone.0054285
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2839 | OA
Weber, M., Hauschild, R., Schwarz, J., Moussion, C., de Vries, I., Legler, D., … Sixt, M. K. (2013). Interstitial dendritic cell guidance by haptotactic chemokine gradients. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1228456
View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2840
Van Cauter, T., Camon, J., Alvernhe, A., Elduayen, C., Sargolini, F., & Save, É. (2013). Distinct roles of medial and lateral entorhinal cortex in spatial cognition. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/bhs033
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2841
Morita, H., & Heisenberg, C.-P. J. (2013). Holding on and letting go: Cadherin turnover in cell intercalation. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2013.03.007
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2842 | OA
Barton, N. H., Etheridge, A., Kelleher, J., & Véber, A. (2013). Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology. Elsevier. https://doi.org/10.1016/j.tpb.2013.03.001
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2843
Edelsbrunner, H., & Pausinger, F. (2013). Stable length estimates of tube-like shapes. In 17th IAPR International Conference on Discrete Geometry for Computer Imagery (Vol. 7749, pp. XV–XIX). Seville, Spain: Springer. https://doi.org/10.1007/978-3-642-37067-0
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2844
Rosquete, M., von Wangenheim, D., Marhavý, P., Barbez, E., Stelzer, E., Benková, E., … Kleine Vehn, J. (2013). An auxin transport mechanism restricts positive orthogravitropism in lateral roots. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.03.064
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2845
Rose, T., Schönenberger, P., Jezek, K., & Oertner, T. (2013). Developmental refinement of vesicle cycling at Schaffer collateral synapses. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2013.01.021
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2846 | OA
El Masri, L., Schulte, R., Timmermeyer, N., Thanisch, S., Crummenerl, L., Jansen, G., … Schulenburg, H. (2013). Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution. Ecology Letters. Wiley-Blackwell. https://doi.org/10.1111/ele.12068
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2850 | OA
Tkačik, G., Marre, O., Mora, T., Amodei, D., Berry, M., & Bialek, W. (2013). The simplest maximum entropy model for collective behavior in a neural network. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing Ltd. https://doi.org/10.1088/1742-5468/2013/03/P03011
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2851
Berry, M., Tkačik, G., Dubuis, J., Marre, O., & Da Silveira, R. (2013). A simple method for estimating the entropy of neural activity. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing Ltd. https://doi.org/10.1088/1742-5468/2013/03/P03015
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2854 | OA
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2013). Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2012.12.001
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2855 | OA
Hippenmeyer, S., Johnson, R., & Luo, L. (2013). Mosaic analysis with double markers reveals cell type specific paternal growth dominance. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2013.02.002
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications