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 |
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 |
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 |
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 |
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 |
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 |
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: 1770 |
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 |
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 | 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: 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 |
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: 1460 |
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: 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 |
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: 3825 |
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.)
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 |
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