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.
723 Publications
2010 | Conference Paper | IST-REx-ID: 3839 | 
Henzinger, T. A., Hottelier, T., Kovács, L., & Voronkov, A. (2010). Invariant and type inference for matrices (Vol. 5944, pp. 163–179). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-642-11319-2_14
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4378 |
Kuncak, V., Piskac, R., Suter, P., & Wies, T. (2010). Building a calculus of data structures. In G. Barthe & M. Hermenegildo (Eds.) (Vol. 5944, pp. 26–44). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-642-11319-2_6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4396 |
Beyer, D., Henzinger, T. A., Théoduloz, G., & Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_19
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 489 |
Cristau, J., David, C., & Horn, F. (2010). How do we remember the past in randomised strategies? . In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.25.7
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 6142 |
Weber, K. P., De, S., Kozarewa, I., Turner, D. J., Babu, M. M., & de Bono, M. (2010). Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0013922
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 7078 |
Salje, E. K. H., Safarik, D. J., Modic, K. A., Gubernatis, J. E., Cooley, J. C., Taylor, R. D., … Lashley, J. C. (2010). Tin telluride: A weakly co-elastic metal. Physical Review B. APS. https://doi.org/10.1103/physrevb.82.184112
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 8473
Corazza, A., Rennella, E., Schanda, P., Mimmi, M. C., Cutuil, T., Raimondi, S., … Esposito, G. (2010). Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein β2-Microglobulin revealed by real-time two-dimensional NMR. Journal of Biological Chemistry. American Society for Biochemistry & Molecular Biology. https://doi.org/10.1074/jbc.m109.061168
View
| DOI
2010 | Journal Article | IST-REx-ID: 8472
Schanda, P., Meier, B. H., & Ernst, M. (2010). Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja100726a
View
| DOI
2010 | Journal Article | IST-REx-ID: 12199
Feng, X., & Dickinson, H. G. (2010). Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. The Company of Biologists. https://doi.org/10.1242/dev.049320
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 1302
Raghu, S., Jösch, M. A., Sigrist, S., Borst, A., & Reiff, D. (2009). Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors. Journal of Neurogenetics. Informa Healthcare. https://doi.org/10.1080/01677060802471684
View
| DOI
2009 | Journal Article | IST-REx-ID: 1770 |
Bianchetti, R., Filipp, S., Baur, M., Fink, J. M., Göppl, M., Leek, P., … Wallraff, A. (2009). Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.80.043840
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 1771 |
Fink, J. M., Baur, M., Bianchetti, R., Filipp, S., Göppl, M., Leek, P., … Wallraff, A. (2009). Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics. Physica Scripta T. IOP Publishing Ltd. https://doi.org/10.1088/0031-8949/2009/T137/014013
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 1799
Münch, T., Da Silveira, R., Siegert, S., Viney, T., Awatramani, G., & Roska, B. (2009). Approach sensitivity in the retina processed by a multifunctional neural circuit. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.2389
View
| DOI
2009 | Journal Article | IST-REx-ID: 1798
Siegert, S., Scherf, B., Del Punta, K., Didkovsky, N., Heintz, N., & Roska, B. (2009). Genetic address book for retinal cell types. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.2370
View
| DOI
2009 | Conference Paper | IST-REx-ID: 2136
Vedrinskiǐ, R., Kraǐzman, V., Lemeshko, M., Nazarenko, E., Novakovich, A., Reznichenko, L., … Shuvaeva, V. (2009). Local atomic structure of niobates and titanates from X-ray absorption spectroscopic data (Vol. 51, pp. 1394–1398). Presented at the CoPoF: 18th All-Russia Conference on Physics of Ferroelectrics (VKS-XVIII), Springer. https://doi.org/10.1134/S106378340907018X
View
| DOI
2009 | Journal Article | IST-REx-ID: 226
Browning, T. D., & Derenthal, U. (2009). Manin’s conjecture for a quartic del Pezzo surface with A4 singularity. Annales de l’Institut Fourier. Association des Annales de l’Institut Fourier. https://doi.org/10.5802/aif.2462
View
| DOI
2009 | Journal Article | IST-REx-ID: 230
Browning, T. D., & Derenthal, U. (2009). Manin’s conjecture for a cubic surface with D 5 singularity. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnp029
View
| DOI
2009 | Journal Article | IST-REx-ID: 2686
Tomita, H., Sugano, E., Fukazawa, Y., Isago, H., Sugiyama, Y., Hiroi, T., … Tamai, M. (2009). Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0007679
View
| DOI
2009 | Journal Article | IST-REx-ID: 3055
Naramoto, S., Sawa, S., Koizumi, K., Uemura, T., Ueda, T., Friml, J., … Fukuda, H. (2009). Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants. Development. Company of Biologists. https://doi.org/10.1242/dev.030098
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3703
Blaschko, M., & Lampert, C. (2009). Object localization with global and local context kernels (pp. 1–11). Presented at the BMVC: British Machine Vision Conference, BMVA Press. https://doi.org/10.5244/C.23.63
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3949
Quast, T., Tappertzhofen, B., Schild, C., Grell, J., Czeloth, N., Förster, R., … Kolanus, W. (2009). Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. American Society of Hematology. https://doi.org/10.1182/blood-2008-08-176123
View
| DOI
2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun, B., Blakeslee, J., Bandyopadhyay, A., Yang, H., Mravec, J., Sauer, M., … Murphy, A. (2009). ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2008.03668.x
View
| DOI
2009 | Journal Article | IST-REx-ID: 3954
Renkawitz, J., Schumann, K., Weber, M., Lämmermann, T., Pflicke, H., Piel, M., … Sixt, M. K. (2009). Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb1992
View
| DOI
2009 | Journal Article | IST-REx-ID: 3951
Lämmermann, T., & Sixt, M. K. (2009). Mechanical modes of “amoeboid” cell migration. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2009.05.003
View
| DOI
2009 | Journal Article | IST-REx-ID: 6144
Persson, A., Gross, E., Laurent, P., Busch, K. E., Bretes, H., & de Bono, M. (2009). Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. Springer Nature. https://doi.org/10.1038/nature07820
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13417
Klajn, R., Wesson, P. J., Bishop, K. J. M., & Grzybowski, B. A. (2009). Writing self-erasing images using metastable nanoparticle “inks.” Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.200901119
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 1039 |
Danzl, J. G., Haller, E., Gustavsson, M., Mark, M., Hart, R., Bouloufa, N., … Nägerl, H. (2008). Quantum gas of deeply bound ground state molecules. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1159909
View
| DOI
| Download None (ext.)
| arXiv
2008 | Journal Article | IST-REx-ID: 1296
Jösch, M. A., Plett, J., Borst, A., & Reiff, D. (2008). Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2008.02.022
View
| DOI
2008 | Journal Article | IST-REx-ID: 1460 |
Hausel, T., & Rodríguez Villegas, F. (2008). Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-008-0142-x
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 1982
Loose, M., Fischer Friedrich, E., Ries, J., Kruse, K., & Schwille, P. (2008). Spatial regulators for bacterial cell division self-organize into surface waves in vitro. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1154413
View
| DOI
2008 | Journal Article | IST-REx-ID: 2679
Antal, M., Fukazawa, Y., Eördögh, M., Muszil, D., Molnár, E., Itakura, M., … Shigemoto, R. (2008). Numbers, densities, and colocalization of AMPA- and NMDA-type glutamate receptors at individual synapses in the superficial spinal dorsal horn of rats. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1551-08.2008
View
| DOI
2008 | Journal Article | IST-REx-ID: 2753
Erdös, L., Salmhofer, M., & Yau, H. (2008). Quantum diffusion of the random Schrödinger evolution in the scaling limit. Acta Mathematica. Springer. https://doi.org/10.1007/s11511-008-0027-2
View
| DOI
2008 | Journal Article | IST-REx-ID: 3040
Kleine Vehn, J., Łangowski, Ł., Wiśniewska, J., Dhonukshe, P., Brewer, P., & Friml, J. (2008). Cellular and molecular requirements for polar PIN targeting and transcytosis in plants. Molecular Plant. Oxford University Press. https://doi.org/10.1093/mp/ssn062
View
| DOI
2008 | Journal Article | IST-REx-ID: 3751 |
Kinkhabwala, A., & Guet, C. C. (2008). Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0002030
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 3827
Kerr, A., Reisinger, E., & Jonas, P. M. (2008). Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0800621105
View
| DOI
2008 | Journal Article | IST-REx-ID: 4227
Bollenbach, T., Pantazis, P., Kicheva, A., Bokel, C., González Gaitán, M., & Julicher, F. (2008). Precision of the Dpp gradient. Development. Company of Biologists. https://doi.org/10.1242/dev.012062
View
| DOI
2008 | Journal Article | IST-REx-ID: 3530
Fuentealba, P., Begum, R., Capogna, M., Jinno, S., Marton, L., Csicsvari, J. L., … Klausberger, T. (2008). Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2008.01.034
View
| DOI
2008 | Journal Article | IST-REx-ID: 3825 |
Aponte, Y., Bischofberger, J., & Jonas, P. M. (2008). Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2007.147298
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3907
Suefuji, M., Cremer, S., Oettler, J., & Heinze, J. (2008). Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants. Biology Letters. Royal Society, The. https://doi.org/10.1098/rsbl.2008.0355
View
| DOI
2007 | Journal Article | IST-REx-ID: 2135
Lemeshko, M., Nazarenko, E., Gonchar, A. ., Reznichenko, L., Nedoseykina, T., Novakovich, A., … Vedrinskiǐ, R. (2007). EXAFS studies of the local atomic structure of the lead-free piezoelectric ceramics KxNa1−xNbO3 over the temperature range 10–1023K. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. http://dx.doi.org/10.1103/PhysRevB.76.134106
View
| DOI
2007 | Journal Article | IST-REx-ID: 2145
Lemeshko, M., Nazarenko, E., Gonchar, A., Reznichenko, L., Nedoseykina, T., Novakovich, A., … Vedrinskiǐ, R. (2007). EXAFS studies of the local atomic structure of the lead free piezoelectric ceramics Kx Na1-x Nb O3 over the temperature range 10-1023 K. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.76.134106
View
| DOI
2007 | Journal Article | IST-REx-ID: 2375 |
Frank, R., Lieb, É., & Seiringer, R. (2007). Number of bound states of Schrödinger operators with matrix-valued potentials. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-007-0211-x
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2495
Kuramoto, E., Fujiyama, F., Unzai, T., Nakamura, K., Hioki, H., Furuta, T., … Kaneko, T. (2007). Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.21216
View
| DOI
2007 | Journal Article | IST-REx-ID: 2666
Luyt, K., Slade, T., Dorward, J., Durant, C., Wu, Y., Shigemoto, R., … Molnár, E. (2007). Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration. Journal of Neurochemistry. Wiley-Blackwell. https://doi.org/10.1111/j.1471-4159.2006.04255.x
View
| DOI
2007 | Book Review | IST-REx-ID: 2670
Masugi Tokita, M., & Shigemoto, R. (2007). High-resolution quantitative visualization of glutamate and GABA receptors at central synapses. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/j.conb.2007.04.012
View
| DOI
2007 | Journal Article | IST-REx-ID: 2750
Erdös, L., Salmhofer, M., & Yau, H. (2007). Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-006-0158-2
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3981
Attali, D., Edelsbrunner, H., Harer, J., & Mileyko, Y. (2007). Alpha-beta witness complexes (Vol. 4619, pp. 386–397). Presented at the WADS: International Workshop on Algrithms and Data Structures, Springer. https://doi.org/10.1007/978-3-540-73951-7_34
View
| DOI
2007 | Journal Article | IST-REx-ID: 3027
Malenica, N., Abas, L., Benjamins, R., Kitakura, S., Sigmund, H., Jun, K., … Luschnig, C. (2007). MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2007.03158.x
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3219
Maurer, U., Pietrzak, K. Z., & Renner, R. (2007). Indistinguishability amplification (Vol. 4622, pp. 130–149). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/978-3-540-74143-5_8
View
| DOI
2007 | Journal Article | IST-REx-ID: 3819
Li, L., Bischofberger, J., & Jonas, P. M. (2007). Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1709-07.2007
View
| DOI