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.
5050 Publications
2013 |Published| Journal Article | IST-REx-ID: 2836 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| Journal Article | IST-REx-ID: 2854 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 2850 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| 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 |Published| Journal Article | IST-REx-ID: 2857 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 2860 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 2855 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 2856 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 2859 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 2863 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 2862 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| 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 |Published| Journal Article | IST-REx-ID: 2883 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 2880 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 2882 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.