Please note that ISTA 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.
332 Publications
2012 |Published| Journal Article | IST-REx-ID: 2476
Virus-mediated swapping of zolpidem-insensitive with zolpidem-sensitive GABA A receptors in cortical pyramidal cells
M. Sümegi, Y. Fukazawa, K. Matsui, A. Lörincz, M. Eyre, Z. Nusser, R. Shigemoto, Journal of Physiology 590 (2012) 1517–1534.
View
| DOI
M. Sümegi, Y. Fukazawa, K. Matsui, A. Lörincz, M. Eyre, Z. Nusser, R. Shigemoto, Journal of Physiology 590 (2012) 1517–1534.
2012 |Published| Journal Article | IST-REx-ID: 2475
Hyperpolarization-activated cyclic nucleotide gated channels: A potential molecular link between epileptic seizures and Aβ generation in Alzheimer's disease
Y. Saito, T. Inoue, G. Zhu, N. Kimura, M. Okada, M. Nishimura, S. Murayama, S. Kaneko, R. Shigemoto, K. Imoto, T. Suzuki, Molecular Neurodegeneration 7 (2012).
View
| DOI
Y. Saito, T. Inoue, G. Zhu, N. Kimura, M. Okada, M. Nishimura, S. Murayama, S. Kaneko, R. Shigemoto, K. Imoto, T. Suzuki, Molecular Neurodegeneration 7 (2012).
2012 |Published| Journal Article | IST-REx-ID: 2477
Application of an optogenetic byway for perturbing neuronal activity via glial photostimulation
T. Sasaki, K. Beppu, K. Tanaka, Y. Fukazawa, R. Shigemoto, K. Matsui, PNAS 109 (2012) 20720–20725.
View
| DOI
T. Sasaki, K. Beppu, K. Tanaka, Y. Fukazawa, R. Shigemoto, K. Matsui, PNAS 109 (2012) 20720–20725.
2012 |Published| Journal Article | IST-REx-ID: 2474
Thin dendrites of cerebellar interneurons confer sublinear synaptic integration and a gradient of short-term plasticity
T. Abrahamsson, L. Cathala, K. Matsui, R. Shigemoto, D. Digregorio, Neuron 73 (2012) 1159–1172.
View
| DOI
T. Abrahamsson, L. Cathala, K. Matsui, R. Shigemoto, D. Digregorio, Neuron 73 (2012) 1159–1172.
2012 |Published| Journal Article | IST-REx-ID: 2515
Developmental profile of SK2 channel expression and function in CA1 neurons
C. Ballesteros Merino, M. Lin, W. Wu, C. Ferrándiz Huertas, M. Cabañero, M. Watanabe, Y. Fukazawa, R. Shigemoto, J. Maylie, J. Adelman, R. Luján, Hippocampus 22 (2012) 1467–1480.
View
| DOI
C. Ballesteros Merino, M. Lin, W. Wu, C. Ferrándiz Huertas, M. Cabañero, M. Watanabe, Y. Fukazawa, R. Shigemoto, J. Maylie, J. Adelman, R. Luján, Hippocampus 22 (2012) 1467–1480.
2012 |Published| Journal Article | IST-REx-ID: 2514
Mechanisms underlying signal filtering at a multisynapse contact
T. Budisantoso, K. Matsui, N. Kamasawa, Y. Fukazawa, R. Shigemoto, Journal of Neuroscience 32 (2012) 2357–2376.
View
| DOI
T. Budisantoso, K. Matsui, N. Kamasawa, Y. Fukazawa, R. Shigemoto, Journal of Neuroscience 32 (2012) 2357–2376.
2012 |Published| Journal Article | IST-REx-ID: 2689
Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain
L. Parajuli, C. Nakajima, Á. Kulik, K. Matsui, T. Schneider, R. Shigemoto, Y. Fukazawa, Journal of Neuroscience 32 (2012) 13555–13567.
View
| DOI
L. Parajuli, C. Nakajima, Á. Kulik, K. Matsui, T. Schneider, R. Shigemoto, Y. Fukazawa, Journal of Neuroscience 32 (2012) 13555–13567.
2012 |Published| Journal Article | IST-REx-ID: 2687
Right-hemispheric dominance of spatial memory in split-brain mice
Y. Shinohara, A. Hosoya, N. Yamasaki, H. Ahmed, S. Hattori, M. Eguchi, S. Yamaguchi, T. Miyakawa, H. Hirase, R. Shigemoto, Hippocampus 22 (2012) 117–121.
View
| DOI
Y. Shinohara, A. Hosoya, N. Yamasaki, H. Ahmed, S. Hattori, M. Eguchi, S. Yamaguchi, T. Miyakawa, H. Hirase, R. Shigemoto, Hippocampus 22 (2012) 117–121.
2012 |Published| Journal Article | IST-REx-ID: 2688
Intra-synapse-type and inter-synapse-type relationships between synaptic size and AMPAR expression
Y. Fukazawa, R. Shigemoto, Current Opinion in Neurobiology 22 (2012) 446–452.
View
| DOI
Y. Fukazawa, R. Shigemoto, Current Opinion in Neurobiology 22 (2012) 446–452.
2012 |Published| Preprint | IST-REx-ID: 2696 |
Universality for random matrices and log-gases
L. Erdös, ArXiv (2012).
View
| Download (ext.)
L. Erdös, ArXiv (2012).
2012 |Published| Conference Paper | IST-REx-ID: 2700 |
Lecture notes on quantum Brownian motion
L. Erdös, in:, Oxford University Press, 2012, pp. 3–98.
View
| Download (ext.)
L. Erdös, in:, Oxford University Press, 2012, pp. 3–98.
2012 |Published| Conference Paper | IST-REx-ID: 2715 |
Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–473.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Joglekar, N. Shah, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–473.
2012 |Published| Conference Paper | IST-REx-ID: 10904
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
2012 |Published| Journal Article | IST-REx-ID: 2770
Rigidity of eigenvalues of generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Advances in Mathematics 229 (2012) 1435–1515.
View
| DOI
L. Erdös, H. Yau, J. Yin, Advances in Mathematics 229 (2012) 1435–1515.
2012 |Published| Journal Article | IST-REx-ID: 2769
The local relaxation flow approach to universality of the local statistics for random matrices
L. Erdös, B. Schlein, H. Yau, J. Yin, Annales de l’institut Henri Poincare (B) Probability and Statistics 48 (2012) 1–46.
View
| DOI
L. Erdös, B. Schlein, H. Yau, J. Yin, Annales de l’institut Henri Poincare (B) Probability and Statistics 48 (2012) 1–46.
2012 |Published| Journal Article | IST-REx-ID: 2767
Bulk universality for generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.
View
| DOI
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.
2012 |Published| Journal Article | IST-REx-ID: 2768
Wegner estimate and Anderson localization for random magnetic fields
L. Erdös, D. Hasler, Communications in Mathematical Physics 309 (2012) 507–542.
View
| DOI
L. Erdös, D. Hasler, Communications in Mathematical Physics 309 (2012) 507–542.
2012 |Published| Journal Article | IST-REx-ID: 2775
Universality of local spectral statistics of random matrices
L. Erdös, H. Yau, Bulletin of the American Mathematical Society 49 (2012) 377–414.
View
| DOI
L. Erdös, H. Yau, Bulletin of the American Mathematical Society 49 (2012) 377–414.
2012 |Published| Journal Article | IST-REx-ID: 2777
Relativistic Scott correction in self-generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
2012 |Published| Journal Article | IST-REx-ID: 2772
Second order semiclassics with self generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Annales Henri Poincare 13 (2012) 671–730.
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Annales Henri Poincare 13 (2012) 671–730.
2012 |Published| Journal Article | IST-REx-ID: 2776
Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 314 (2012) 587–640.
View
| DOI
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 314 (2012) 587–640.
2012 |Published| Journal Article | IST-REx-ID: 2774
Scott correction for large atoms and molecules in a self-generated magnetic field
L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics 312 (2012) 847–882.
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics 312 (2012) 847–882.
2012 |Published| Journal Article | IST-REx-ID: 2773
A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
View
| DOI
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
2012 |Published| Journal Article | IST-REx-ID: 2771
Anderson localization at band edges for random magnetic fields
L. Erdös, D. Hasler, Journal of Statistical Physics 146 (2012) 900–923.
View
| DOI
L. Erdös, D. Hasler, Journal of Statistical Physics 146 (2012) 900–923.
2012 |Published| Journal Article | IST-REx-ID: 2778
Bulk universality of general β-ensembles with non-convex potential
P. Bourgade, L. Erdös, H. Yau, Journal of Mathematical Physics 53 (2012).
View
| DOI
P. Bourgade, L. Erdös, H. Yau, Journal of Mathematical Physics 53 (2012).
2012 |Published| Journal Article | IST-REx-ID: 2779
Wegner estimate for random magnetic Laplacian on ℤ 2
L. Erdös, D. Hasler, Annales Henri Poincare 13 (2012) 1719–1731.
View
| DOI
L. Erdös, D. Hasler, Annales Henri Poincare 13 (2012) 1719–1731.
2012 |Published| Journal Article | IST-REx-ID: 2802
Particle tracking for polydisperse sedimenting droplets in phase separation
T. Lapp, M. Rohloff, J. Vollmer, B. Hof, Experiments in Fluids 52 (2012) 1187–1200.
View
| DOI
T. Lapp, M. Rohloff, J. Vollmer, B. Hof, Experiments in Fluids 52 (2012) 1187–1200.
2012 |Published| Journal Article | IST-REx-ID: 2803
Edge state in pipe flow experiments
A. De Lózar, F. Mellibovsky, M. Avila, B. Hof, Physical Review Letters 108 (2012).
View
| DOI
A. De Lózar, F. Mellibovsky, M. Avila, B. Hof, Physical Review Letters 108 (2012).
2012 |Published| Journal Article | IST-REx-ID: 2804
Breath figures: Nucleation, growth, coalescence, and the size distribution of droplets
J. Blaschke, T. Lapp, B. Hof, J. Vollmer, Physical Review Letters 109 (2012).
View
| DOI
J. Blaschke, T. Lapp, B. Hof, J. Vollmer, Physical Review Letters 109 (2012).
2012 |Published| Conference Paper | IST-REx-ID: 2825
Dynamic pruning of factor graphs for maximum marginal prediction
C. Lampert, in:, Neural Information Processing Systems, 2012, pp. 82–90.
View
C. Lampert, in:, Neural Information Processing Systems, 2012, pp. 82–90.
2012 |Published| Journal Article | IST-REx-ID: 2848 |
Evolutionary game dynamics in populations with different learners
K. Chatterjee, D. Zufferey, M. Nowak, Journal of Theoretical Biology 301 (2012) 161–173.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Chatterjee, D. Zufferey, M. Nowak, Journal of Theoretical Biology 301 (2012) 161–173.
2012 |Published| Journal Article | IST-REx-ID: 2849 |
On the configuration space of Steiner minimal trees
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
2012 |Published| Journal Article | IST-REx-ID: 2876
Retargeting a maize β-glucosidase to the vacuole - Evidence from intact plants that zeatin-O-glucoside is stored in the vacuole
N. Kiran, E. Benková, A. Reková, J. Dubová, J. Malbeck, K. Palme, B. Brzobohatý, Phytochemistry 79 (2012) 67–77.
View
| DOI
N. Kiran, E. Benková, A. Reková, J. Dubová, J. Malbeck, K. Palme, B. Brzobohatý, Phytochemistry 79 (2012) 67–77.
2012 |Published| Journal Article | IST-REx-ID: 2875 |
Genetic approach towards the identification of auxin - cytokinin crosstalk components involved in root development
A. Bielach, J. Duclercq, P. Marhavý, E. Benková, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 367 (2012) 1469–1478.
View
| DOI
| Download (ext.)
A. Bielach, J. Duclercq, P. Marhavý, E. Benková, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 367 (2012) 1469–1478.
2012 |Published| Journal Article | IST-REx-ID: 2878
Pin1 independent leaf initiation in Arabidopsis
B. Guenot, E. Bayer, D. Kierzkowski, R. Smith, T. Mandel, P. Žádníková, E. Benková, C. Kuhlemeier, Plant Physiology 159 (2012) 1501–1510.
View
| DOI
B. Guenot, E. Bayer, D. Kierzkowski, R. Smith, T. Mandel, P. Žádníková, E. Benková, C. Kuhlemeier, Plant Physiology 159 (2012) 1501–1510.
2012 |Published| Journal Article | IST-REx-ID: 2879
The transcription factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule development in Arabidopsis
S. Bencivenga, S. Simonini, E. Benková, L. Colombo, Plant Cell 24 (2012) 2886–2897.
View
| DOI
S. Bencivenga, S. Simonini, E. Benková, L. Colombo, Plant Cell 24 (2012) 2886–2897.
2012 |Published| Conference Paper | IST-REx-ID: 2891 |
Approximate determinization of quantitative automata
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
[Published Version]
View
| Files available
| DOI
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
2012 |Published| Conference Paper | IST-REx-ID: 2890
Synthesis from incompatible specifications
P. Cerny, S. Gopi, T.A. Henzinger, A. Radhakrishna, N. Totla, in:, Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62.
View
| DOI
P. Cerny, S. Gopi, T.A. Henzinger, A. Radhakrishna, N. Totla, in:, Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62.
2012 |Published| Conference Paper | IST-REx-ID: 2888
Quantitative reactive models
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
View
| DOI
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
2012 |Published| Conference Paper | IST-REx-ID: 2903 |
The adaptive topology of a digital image
H. Edelsbrunner, O. Symonova, in:, IEEE, 2012, pp. 41–48.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, O. Symonova, in:, IEEE, 2012, pp. 41–48.
2012 |Published| Conference Paper | IST-REx-ID: 2916 |
Interface Simulation Distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, pp. 29–42.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, pp. 29–42.
2012 |Published| Journal Article | IST-REx-ID: 2917
The game of active search for extra terrestrial intelligence Breaking the Great Silence
H. de Vladar, International Journal of Astrobiology 12 (2012) 53–62.
View
| DOI
H. de Vladar, International Journal of Astrobiology 12 (2012) 53–62.
2012 |Published| Journal Article | IST-REx-ID: 2911
Open problems in discrete and computational geometry
H. Edelsbrunner, A. Ivanov, R. Karasev, Automatic Control and Computer Sciences in print (2012).
View
H. Edelsbrunner, A. Ivanov, R. Karasev, Automatic Control and Computer Sciences in print (2012).
2012 |Published| Conference Paper | IST-REx-ID: 2930 |
Towards minimizing k-submodular functions
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
2012 |Published| Preprint | IST-REx-ID: 2928 |
Generalized sequential tree-reweighted message passing
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
2012 |Published| Report | IST-REx-ID: 2929 |
The power of linear programming for valued CSPs: a constructive characterization
V. Kolmogorov, The Power of Linear Programming for Valued CSPs: A Constructive Characterization, Unknown, 2012.
View
| Download (ext.)
V. Kolmogorov, The Power of Linear Programming for Valued CSPs: A Constructive Characterization, Unknown, 2012.
2012 |Published| Conference Paper | IST-REx-ID: 2937 |
Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
2012 |Published| Conference Paper | IST-REx-ID: 2936 |
Finite automata with time delay blocks
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
2012 |Published| Journal Article | IST-REx-ID: 2938
Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies
L.V. Ugelvig, S. Cremer, Functional Ecology 26 (2012) 1300–1312.
View
| DOI
L.V. Ugelvig, S. Cremer, Functional Ecology 26 (2012) 1300–1312.
2012 |Published| Journal Article | IST-REx-ID: 2931
A dual decomposition approach to feature correspondence
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.
View
| DOI
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.