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.
4983 Publications
2013 | Conference Paper | IST-REx-ID: 2819 | 
Quantitative timed simulation functions and refinement metrics for real-time systems
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
2013 | Journal Article | IST-REx-ID: 2818 |
Learning quadratic receptive fields from neural responses to natural stimuli
K. Rajan, O. Marre, G. Tkačik, Neural Computation 25 (2013) 1661–1692.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Rajan, O. Marre, G. Tkačik, Neural Computation 25 (2013) 1661–1692.
2013 | Journal Article | IST-REx-ID: 2822 |
3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture
C. Topp, A. Iyer Pascuzzi, J. Anderson, C. Lee, P. Zurek, O. Symonova, Y. Zheng, A. Bucksch, Y. Mileyko, T. Galkovskyi, B. Moore, J. Harer, H. Edelsbrunner, T. Mitchell Olds, J. Weitz, P. Benfey, PNAS 110 (2013) E1695–E1704.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Topp, A. Iyer Pascuzzi, J. Anderson, C. Lee, P. Zurek, O. Symonova, Y. Zheng, A. Bucksch, Y. Mileyko, T. Galkovskyi, B. Moore, J. Harer, H. Edelsbrunner, T. Mitchell Olds, J. Weitz, P. Benfey, PNAS 110 (2013) E1695–E1704.
2013 | Journal Article | IST-REx-ID: 2821 |
A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis
E. Remy, T. Cabrito, P. Baster, R. Batista, M. Teixeira, J. Friml, I. Sá Correia, P. Duque, Plant Cell 25 (2013) 901–926.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Remy, T. Cabrito, P. Baster, R. Batista, M. Teixeira, J. Friml, I. Sá Correia, P. Duque, Plant Cell 25 (2013) 901–926.
2013 | Journal Article | IST-REx-ID: 2827 |
Salicylic acid interferes with clathrin-mediated endocytic protein trafficking
Y. Du, R. Tejos, M. Beck, E. Himschoot, H. Li, S. Robatzek, S. Vanneste, J. Friml, PNAS 110 (2013) 7946–7951.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Y. Du, R. Tejos, M. Beck, E. Himschoot, H. Li, S. Robatzek, S. Vanneste, J. Friml, PNAS 110 (2013) 7946–7951.
2013 | Journal Article | IST-REx-ID: 2823
Post-fire recovery of revegetated woodland communities in south-eastern Australia
M. Pickup, S. Wilson, D. Freudenberger, N. Nicholls, L. Gould, S. Hnatiuk, J. Delandre, Austral Ecology 38 (2013) 300–312.
View
| DOI
M. Pickup, S. Wilson, D. Freudenberger, N. Nicholls, L. Gould, S. Hnatiuk, J. Delandre, Austral Ecology 38 (2013) 300–312.
2013 | Journal Article | IST-REx-ID: 2824
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
K. Chatterjee, V. Prabhu, Information and Computation 228–229 (2013) 83–119.
View
| DOI
K. Chatterjee, V. Prabhu, Information and Computation 228–229 (2013) 83–119.
2013 | Journal Article | IST-REx-ID: 2832 |
Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana
H. Tanaka, S. Kitakura, H. Rakusová, T. Uemura, M. Feraru, R. De Rycke, S. Robert, T. Kakimoto, J. Friml, PLoS Genetics 9 (2013).
[Published Version]
View
| Files available
| DOI
H. Tanaka, S. Kitakura, H. Rakusová, T. Uemura, M. Feraru, R. De Rycke, S. Robert, T. Kakimoto, J. Friml, PLoS Genetics 9 (2013).
2013 | Journal Article | IST-REx-ID: 2828 |
The complexity of conservative valued CSPs
V. Kolmogorov, S. Živný, Journal of the ACM 60 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, S. Živný, Journal of the ACM 60 (2013).
2013 | Journal Article | IST-REx-ID: 2829 |
Scale invariance at the onset of turbulence in couette flow
L. Shi, M. Avila, B. Hof, Physical Review Letters 110 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Shi, M. Avila, B. Hof, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 2834 |
Streamwise-localized solutions at the onset of turbulence in pipe flow
M. Avila, F. Mellibovsky, N. Roland, B. Hof, Physical Review Letters 110 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Avila, F. Mellibovsky, N. Roland, B. Hof, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 2833
Forces in tissue morphogenesis and patterning
C.-P.J. Heisenberg, Y. Bellaïche, Cell 153 (2013) 948–962.
View
| DOI
C.-P.J. Heisenberg, Y. Bellaïche, Cell 153 (2013) 948–962.
2013 | Journal Article | IST-REx-ID: 2830
A conduit to amplify innate immunity
C. Moussion, M.K. Sixt, Immunity 38 (2013) 853–854.
View
| DOI
C. Moussion, M.K. Sixt, Immunity 38 (2013) 853–854.
2013 | Journal Article | IST-REx-ID: 2842 |
Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 105–119.
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 105–119.
2013 | Journal Article | IST-REx-ID: 2838 |
Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome
G. Arquè Fuste, A. Casanovas, M. Dierssen, PLoS One 8 (2013).
[Published Version]
View
| Files available
| DOI
G. Arquè Fuste, A. Casanovas, M. Dierssen, PLoS One 8 (2013).
2013 | Journal Article | IST-REx-ID: 2839 |
Interstitial dendritic cell guidance by haptotactic chemokine gradients
M. Weber, R. Hauschild, J. Schwarz, C. Moussion, I. de Vries, D. Legler, S. Luther, M.T. Bollenbach, M.K. Sixt, Science 339 (2013) 328–332.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Weber, R. Hauschild, J. Schwarz, C. Moussion, I. de Vries, D. Legler, S. Luther, M.T. Bollenbach, M.K. Sixt, Science 339 (2013) 328–332.
2013 | Journal Article | IST-REx-ID: 2837 |
The local semicircle law for a general class of random matrices
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
[Published Version]
View
| Files available
| DOI
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
2013 | Journal Article | IST-REx-ID: 2835 |
Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis
H. Yu, M. Karampelias, S. Robert, W. Peer, R. Swarup, S. Ye, L. Ge, J. Cohen, A. Murphy, J. Friml, M. Estelle, Plant Physiology 162 (2013) 965–976.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
H. Yu, M. Karampelias, S. Robert, W. Peer, R. Swarup, S. Ye, L. Ge, J. Cohen, A. Murphy, J. Friml, M. Estelle, Plant Physiology 162 (2013) 965–976.
2013 | Journal Article | IST-REx-ID: 2836 |
Assume-guarantee synthesis for digital contract signing
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
2013 | Journal Article | IST-REx-ID: 2840
Distinct roles of medial and lateral entorhinal cortex in spatial cognition
T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, É. Save, Cerebral Cortex 23 (2013) 451–459.
View
| DOI
T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, É. Save, Cerebral Cortex 23 (2013) 451–459.
2013 | Journal Article | IST-REx-ID: 2841
Holding on and letting go: Cadherin turnover in cell intercalation
H. Morita, C.-P.J. Heisenberg, Developmental Cell 24 (2013) 567–569.
View
| DOI
H. Morita, C.-P.J. Heisenberg, Developmental Cell 24 (2013) 567–569.
2013 | Journal Article | IST-REx-ID: 2844
An auxin transport mechanism restricts positive orthogravitropism in lateral roots
M. Rosquete, D. von Wangenheim, P. Marhavý, E. Barbez, E. Stelzer, E. Benková, A. Maizel, J. Kleine Vehn, Current Biology 23 (2013) 817–822.
View
| DOI
M. Rosquete, D. von Wangenheim, P. Marhavý, E. Barbez, E. Stelzer, E. Benková, A. Maizel, J. Kleine Vehn, Current Biology 23 (2013) 817–822.
2013 | Conference Paper | IST-REx-ID: 2843
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.
2013 | Journal Article | IST-REx-ID: 2845
Developmental refinement of vesicle cycling at Schaffer collateral synapses
T. Rose, P. Schönenberger, K. Jezek, T. Oertner, Neuron 77 (2013) 1109–1121.
View
| DOI
T. Rose, P. Schönenberger, K. Jezek, T. Oertner, Neuron 77 (2013) 1109–1121.
2013 | Journal Article | IST-REx-ID: 2854 |
Strategy improvement for concurrent reachability and turn based stochastic safety games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, Journal of Computer and System Sciences 79 (2013) 640–657.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, Journal of Computer and System Sciences 79 (2013) 640–657.
2013 | Journal Article | IST-REx-ID: 2850 |
The simplest maximum entropy model for collective behavior in a neural network
G. Tkačik, O. Marre, T. Mora, D. Amodei, M. Berry, W. Bialek, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Tkačik, O. Marre, T. Mora, D. Amodei, M. Berry, W. Bialek, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
2013 | Journal Article | IST-REx-ID: 2851
A simple method for estimating the entropy of neural activity
M. Berry, G. Tkačik, J. Dubuis, O. Marre, R. Da Silveira, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
View
| DOI
M. Berry, G. Tkačik, J. Dubuis, O. Marre, R. Da Silveira, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
2013 | Journal Article | IST-REx-ID: 2857 |
Optical control of ligand-gated ion channels
S. Szobota, C. Mckenzie, H.L. Janovjak, Methods in Molecular Biology 998 (2013) 417–435.
[Submitted Version]
View
| Files available
| DOI
S. Szobota, C. Mckenzie, H.L. Janovjak, Methods in Molecular Biology 998 (2013) 417–435.
2013 | Journal Article | IST-REx-ID: 2860 |
Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning
D. Dupret, J. O’Neill, J.L. Csicsvari, Neuron 78 (2013) 166–180.
[Published Version]
View
| Files available
| DOI
D. Dupret, J. O’Neill, J.L. Csicsvari, Neuron 78 (2013) 166–180.
2013 | Journal Article | IST-REx-ID: 2855 |
Mosaic analysis with double markers reveals cell type specific paternal growth dominance
S. Hippenmeyer, R. Johnson, L. Luo, Cell Reports 3 (2013) 960–967.
[Published Version]
View
| Files available
| DOI
S. Hippenmeyer, R. Johnson, L. Luo, Cell Reports 3 (2013) 960–967.
2013 | Journal Article | IST-REx-ID: 2856 |
Optical control of metabotropic glutamate receptors
J. Levitz, C. Pantoja, B. Gaub, H.L. Janovjak, A. Reiner, A. Hoagland, D. Schoppik, B. Kane, P. Stawski, A. Schier, D. Trauner, E. Isacoff, Nature Neuroscience 16 (2013) 507–516.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
J. Levitz, C. Pantoja, B. Gaub, H.L. Janovjak, A. Reiner, A. Hoagland, D. Schoppik, B. Kane, P. Stawski, A. Schier, D. Trauner, E. Isacoff, Nature Neuroscience 16 (2013) 507–516.
2013 | Journal Article | IST-REx-ID: 2859 |
Homology and robustness of level and interlevel sets
P. Bendich, H. Edelsbrunner, D. Morozov, A. Patel, Homology, Homotopy and Applications 15 (2013) 51–72.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Bendich, H. Edelsbrunner, D. Morozov, A. Patel, Homology, Homotopy and Applications 15 (2013) 51–72.
2013 | Journal Article | IST-REx-ID: 2863 |
Stimulus-dependent maximum entropy models of neural population codes
E. Granot Atedgi, G. Tkačik, R. Segev, E. Schneidman, PLoS Computational Biology 9 (2013).
[Published Version]
View
| Files available
| DOI
E. Granot Atedgi, G. Tkačik, R. Segev, E. Schneidman, PLoS Computational Biology 9 (2013).
2013 | Journal Article | IST-REx-ID: 2862 |
Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle
H. Tay, S. Schulze, J. Compagnon, F. Foley, C.-P.J. Heisenberg, H.J. Yost, S. Abdelilah Seyfried, J. Amack, Development 140 (2013) 1550–1559.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
H. Tay, S. Schulze, J. Compagnon, F. Foley, C.-P.J. Heisenberg, H.J. Yost, S. Abdelilah Seyfried, J. Amack, Development 140 (2013) 1550–1559.
2013 | Journal Article | IST-REx-ID: 2861
Lyapunov exponent and topological entropy plateaus in piecewise linear maps
V. Botella Soler, J. Oteo, J. Ros, P. Glendinning, Journal of Physics A: Mathematical and Theoretical 46 (2013).
View
| DOI
V. Botella Soler, J. Oteo, J. Ros, P. Glendinning, Journal of Physics A: Mathematical and Theoretical 46 (2013).
2013 | Journal Article | IST-REx-ID: 2883 |
Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane
B. Wang, A. Bailly, M. Zwiewk, S. Henrichs, E. Azzarello, S. Mancuso, M. Maeshima, J. Friml, A. Schulz, M. Geisler, Plant Cell 25 (2013) 202–214.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
B. Wang, A. Bailly, M. Zwiewk, S. Henrichs, E. Azzarello, S. Mancuso, M. Maeshima, J. Friml, A. Schulz, M. Geisler, Plant Cell 25 (2013) 202–214.
2013 | Journal Article | IST-REx-ID: 2880 |
Auxin reflux between the endodermis and pericycle promotes lateral root initiation
P. Marhavý, M. Vanstraelen, B. De Rybel, D. Zhaojun, M. Bennett, T. Beeckman, E. Benková, EMBO Journal 32 (2013) 149–158.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
P. Marhavý, M. Vanstraelen, B. De Rybel, D. Zhaojun, M. Bennett, T. Beeckman, E. Benková, EMBO Journal 32 (2013) 149–158.
2013 | Journal Article | IST-REx-ID: 2882 |
Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism
C. Löfke, M. Zwiewka, I. Heilmann, M. Van Montagu, T. Teichmann, J. Friml, PNAS 110 (2013) 3627–3632.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Löfke, M. Zwiewka, I. Heilmann, M. Van Montagu, T. Teichmann, J. Friml, PNAS 110 (2013) 3627–3632.
2013 | Conference (Editor) | IST-REx-ID: 2885
Mathematical and Engineering Methods in Computer Science
A. Kucera, T.A. Henzinger, J. Nesetril, T. Vojnar, D. Antos, eds., Mathematical and Engineering Methods in Computer Science, Springer, 2013.
View
| DOI
A. Kucera, T.A. Henzinger, J. Nesetril, T. Vojnar, D. Antos, eds., Mathematical and Engineering Methods in Computer Science, Springer, 2013.
2013 | Journal Article | IST-REx-ID: 2884
Cell adhesion mechanics of zebrafish gastrulation
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Medecine Sciences 29 (2013) 147–150.
View
| DOI
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Medecine Sciences 29 (2013) 147–150.
2013 | Conference Paper | IST-REx-ID: 2886 |
Controllable-choice message sequence graphs
M. Chmelik, V. Řehák, 7721 (2013) 118–130.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Chmelik, V. Řehák, 7721 (2013) 118–130.
2013 | Journal Article | IST-REx-ID: 2887 |
Genotypic recognition and spatial responses by rice roots
S. Fang, R. Clark, Y. Zheng, A. Iyer Pascuzzi, J. Weitz, L. Kochian, H. Edelsbrunner, H. Liao, P. Benfey, PNAS 110 (2013) 2670–2675.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Fang, R. Clark, Y. Zheng, A. Iyer Pascuzzi, J. Weitz, L. Kochian, H. Edelsbrunner, H. Liao, P. Benfey, PNAS 110 (2013) 2670–2675.
2013 | Conference Paper | IST-REx-ID: 2901 |
Computing the M most probable modes of a graphical model
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, C. Lampert, in:, JMLR, 2013, pp. 161–169.
View
| Download None (ext.)
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, C. Lampert, in:, JMLR, 2013, pp. 161–169.
2013 | Conference Paper | IST-REx-ID: 2906 |
3D kinetic alpha complexes and their implementation
M. Kerber, H. Edelsbrunner, in:, 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2013, pp. 70–77.
[Submitted Version]
View
| Files available
| DOI
M. Kerber, H. Edelsbrunner, in:, 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2013, pp. 70–77.
2013 | Journal Article | IST-REx-ID: 2910 |
Coalescent simulation in continuous space
J. Kelleher, N.H. Barton, A. Etheridge, Bioinformatics 29 (2013) 955–956.
[Published Version]
View
| Files available
| DOI
J. Kelleher, N.H. Barton, A. Etheridge, Bioinformatics 29 (2013) 955–956.
2013 | Journal Article | IST-REx-ID: 2909 |
Modelling evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, A. Etheridge, A. Véber, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
2013 | Journal Article | IST-REx-ID: 2908 |
Does hybridisation influence speciation?
N.H. Barton, Journal of Evolutionary Biology 26 (2013) 267–269.
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, Journal of Evolutionary Biology 26 (2013) 267–269.
2013 | Book Chapter | IST-REx-ID: 2907 |
Recombination and sex
N.H. Barton, in:, The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–333.
[Submitted Version]
View
| Files available
N.H. Barton, in:, The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–333.
2013 | Journal Article | IST-REx-ID: 2913 |
Retinal metric: a stimulus distance measure derived from population neural responses
G. Tkačik, E. Granot Atedgi, R. Segev, E. Schneidman, Physical Review Letters 110 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
G. Tkačik, E. Granot Atedgi, R. Segev, E. Schneidman, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 2918
Anthrax toxin receptor 2a controls mitotic spindle positioning
I. Castanon, L. Abrami, L. Holtzer, C.-P.J. Heisenberg, F. Van Der Goot, M. González Gaitán, Nature Cell Biology 15 (2013) 28–39.
View
| DOI
I. Castanon, L. Abrami, L. Holtzer, C.-P.J. Heisenberg, F. Van Der Goot, M. González Gaitán, Nature Cell Biology 15 (2013) 28–39.