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 | OA
T. A. Henzinger, T. Hottelier, L. Kovács, and A. Voronkov, “Invariant and type inference for matrices,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 163–179.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 6142 | OA
K. P. Weber, S. De, I. Kozarewa, D. J. Turner, M. M. Babu, and M. de Bono, “Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans,” PLoS ONE, vol. 5, no. 11. Public Library of Science, 2010.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,” Physical Review B, vol. 82, no. 18. APS, 2010.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 8473
A. Corazza et al., “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, vol. 285, no. 8. American Society for Biochemistry & Molecular Biology, pp. 5827–5835, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 8472
P. Schanda, B. H. Meier, and M. Ernst, “Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy,” Journal of the American Chemical Society, vol. 132, no. 45. American Chemical Society, pp. 15957–15967, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 12199
X. Feng and H. G. Dickinson, “Tapetal cell fate, lineage and proliferation in the Arabidopsis anther,” Development, vol. 137, no. 14. The Company of Biologists, pp. 2409–2416, 2010.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 1302
S. Raghu, M. A. Jösch, S. Sigrist, A. Borst, and D. Reiff, “Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors,” Journal of Neurogenetics, vol. 23, no. 1–2. Informa Healthcare, pp. 200–209, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1770 | OA
R. Bianchetti et al., “Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 80, no. 4. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771 | OA
J. M. Fink et al., “Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics,” Physica Scripta T, vol. T137. IOP Publishing Ltd., 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1799
T. Münch, R. Da Silveira, S. Siegert, T. Viney, G. Awatramani, and B. Roska, “Approach sensitivity in the retina processed by a multifunctional neural circuit,” Nature Neuroscience, vol. 12, no. 10. Nature Publishing Group, pp. 1308–1316, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1798
S. Siegert, B. Scherf, K. Del Punta, N. Didkovsky, N. Heintz, and B. Roska, “Genetic address book for retinal cell types,” Nature Neuroscience, vol. 12, no. 9. Nature Publishing Group, pp. 1197–1204, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 2136
R. Vedrinskiǐ et al., “Local atomic structure of niobates and titanates from X-ray absorption spectroscopic data,” presented at the CoPoF: 18th All-Russia Conference on Physics of Ferroelectrics (VKS-XVIII), 2009, vol. 51, no. 7, pp. 1394–1398.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 226
T. D. Browning and U. Derenthal, “Manin’s conjecture for a quartic del Pezzo surface with A4 singularity,” Annales de l’Institut Fourier, vol. 59, no. 3. Association des Annales de l’Institut Fourier, pp. 1231–1265, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 230
T. D. Browning and U. Derenthal, “Manin’s conjecture for a cubic surface with  D 5 singularity,” International Mathematics Research Notices, vol. 2009, no. 14. Oxford University Press, pp. 2620–2647, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2686
H. Tomita et al., “Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter,” PLoS One, vol. 4, no. 11. Public Library of Science, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3055
S. Naramoto et al., “Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants,” Development, vol. 136, no. 9. Company of Biologists, pp. 1529–1538, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3703
M. Blaschko and C. Lampert, “Object localization with global and local context kernels,” presented at the BMVC: British Machine Vision Conference, 2009, pp. 1–11.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3949
T. Quast et al., “Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells,” Blood, vol. 113, no. 23. American Society of Hematology, pp. 5801–5810, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
B. Titapiwatanakun et al., “ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis,” Plant Journal, vol. 57, no. 1. Wiley-Blackwell, pp. 27–44, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3954
J. Renkawitz et al., “Adaptive force transmission in amoeboid cell migration,” Nature Cell Biology, vol. 11, no. 12. Nature Publishing Group, pp. 1438–1443, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3951
T. Lämmermann and M. K. Sixt, “Mechanical modes of ‘amoeboid’ cell migration,” Current Opinion in Cell Biology, vol. 21, no. 5. Elsevier, pp. 636–644, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 6144
A. Persson, E. Gross, P. Laurent, K. E. Busch, H. Bretes, and M. de Bono, “Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans,” Nature, vol. 458, no. 7241. Springer Nature, pp. 1030–1033, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13417
R. Klajn, P. J. Wesson, K. J. M. Bishop, and B. A. Grzybowski, “Writing self-erasing images using metastable nanoparticle ‘inks,’” Angewandte Chemie International Edition, vol. 48, no. 38. Wiley, pp. 7035–7039, 2009.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
J. G. Danzl et al., “Quantum gas of deeply bound ground state molecules,” Science, vol. 321, no. 5892. American Association for the Advancement of Science, pp. 1062–1066, 2008.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1296
M. A. Jösch, J. Plett, A. Borst, and D. Reiff, “Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster,” Current Biology, vol. 18, no. 5. Cell Press, pp. 368–374, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1460 | OA
T. Hausel and F. Rodríguez Villegas, “Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz,” Inventiones Mathematicae, vol. 174, no. 3. Springer, pp. 555–624, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1982
M. Loose, E. Fischer Friedrich, J. Ries, K. Kruse, and P. Schwille, “Spatial regulators for bacterial cell division self-organize into surface waves in vitro,” Science, vol. 320, no. 5877. American Association for the Advancement of Science, pp. 789–792, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2679
M. Antal et al., “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, vol. 28, no. 39. Society for Neuroscience, pp. 9692–9701, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2753
L. Erdös, M. Salmhofer, and H. Yau, “Quantum diffusion of the random Schrödinger evolution in the scaling limit,” Acta Mathematica, vol. 200, no. 2. Springer, pp. 211–277, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3040
J. Kleine Vehn, Ł. Łangowski, J. Wiśniewska, P. Dhonukshe, P. Brewer, and J. Friml, “Cellular and molecular requirements for polar PIN targeting and transcytosis in plants,” Molecular Plant, vol. 1, no. 6. Oxford University Press, pp. 1056–1066, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3751 | OA
A. Kinkhabwala and C. C. Guet, “Uncovering cis regulatory codes using synthetic promoter shuffling,” PLoS One, vol. 3, no. 4. Public Library of Science, 2008.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3827
A. Kerr, E. Reisinger, and P. M. Jonas, “Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses,” PNAS, vol. 105, no. 40. National Academy of Sciences, pp. 15581–6, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4227
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, and F. Julicher, “Precision of the Dpp gradient,” Development, vol. 135, no. 6. Company of Biologists, pp. 1137–1146, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3530
P. Fuentealba et al., “Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity,” Neuron, vol. 57, no. 6. Elsevier, pp. 917–929, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3825 | OA
Y. Aponte, J. Bischofberger, and P. M. Jonas, “Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus,” Journal of Physiology, vol. 586, no. 8. Wiley-Blackwell, pp. 2061–75, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3907
M. Suefuji, S. Cremer, J. Oettler, and J. Heinze, “Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants,” Biology Letters, vol. 4, no. 6. Royal Society, The, pp. 670–673, 2008.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2135
M. Lemeshko et al., “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, vol. 76. American Physical Society, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2145
M. Lemeshko et al., “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, vol. 76, no. 13. American Physical Society, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2375 | OA
R. Frank, É. Lieb, and R. Seiringer, “Number of bound states of Schrödinger operators with matrix-valued potentials,” Letters in Mathematical Physics, vol. 82, no. 2–3. Springer, pp. 107–116, 2007.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2495
E. Kuramoto et al., “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, vol. 500, no. 5. Wiley-Blackwell, pp. 908–922, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2666
K. Luyt et al., “Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration,” Journal of Neurochemistry, vol. 100, no. 3. Wiley-Blackwell, pp. 822–840, 2007.
View | DOI
 

2007 | Book Review | IST-REx-ID: 2670
M. Masugi Tokita and R. Shigemoto, “High-resolution quantitative visualization of glutamate and GABA receptors at central synapses,” Current Opinion in Neurobiology, vol. 17, no. 3. Elsevier, pp. 387–393, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2750
L. Erdös, M. Salmhofer, and H. Yau, “Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams,” Communications in Mathematical Physics, vol. 271, no. 1. Springer, pp. 1–53, 2007.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3981
D. Attali, H. Edelsbrunner, J. Harer, and Y. Mileyko, “Alpha-beta witness complexes,” presented at the WADS: International Workshop on Algrithms and Data Structures, 2007, vol. 4619, pp. 386–397.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3027
N. Malenica et al., “MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins,” Plant Journal, vol. 51, no. 4. Wiley-Blackwell, pp. 537–550, 2007.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3219
U. Maurer, K. Z. Pietrzak, and R. Renner, “Indistinguishability amplification,” presented at the CRYPTO: International Cryptology Conference, 2007, vol. 4622, pp. 130–149.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3819
L. Li, J. Bischofberger, and P. M. Jonas, “Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons,” Journal of Neuroscience, vol. 27, no. 49. Society for Neuroscience, pp. 13420–9, 2007.
View | DOI
 

Filters and Search Terms

type%3Ddissertation

Search

Filter Publications