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 TA, Hottelier T, Kovács L, Voronkov A. 2010. Invariant and type inference for matrices. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 163–179.
[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. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4396 |
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.
[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? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 6142 |
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. 2010. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 5(11), e13922.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 7078 |
Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 8473
Corazza A, Rennella E, Schanda P, Mimmi MC, Cutuil T, Raimondi S, Giorgetti S, Fogolari F, Viglino P, Frydman L, Gal M, Bellotti V, Brutscher B, 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. 285(8), 5827–5835.
View
| DOI
2010 | Journal Article | IST-REx-ID: 12199
Feng X, Dickinson HG. 2010. Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. 137(14), 2409–2416.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 1770 |
Bianchetti R, Filipp S, Baur M, Fink JM, Göppl M, Leek P, Steffen L, Blais A, Wallraff A. 2009. Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 80(4).
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 1771 |
Fink JM, Baur M, Bianchetti R, Filipp S, Göppl M, Leek P, Steffen L, Blais A, Wallraff A. 2009. Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics. Physica Scripta T. T137.
View
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 2136
Vedrinskiǐ R, Kraǐzman V, Lemeshko M, Nazarenko E, Novakovich A, Reznichenko L, Fokin V, Shuvaeva V. 2009. Local atomic structure of niobates and titanates from X-ray absorption spectroscopic data. CoPoF: 18th All-Russia Conference on Physics of Ferroelectrics (VKS-XVIII) vol. 51, 1394–1398.
View
| DOI
2009 | Journal Article | IST-REx-ID: 2686
Tomita H, Sugano E, Fukazawa Y, Isago H, Sugiyama Y, Hiroi T, Ishizuka T, Mushiake H, Kato M, Hirabayashi M, Shigemoto R, Yawo H, Tamai M. 2009. Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter. PLoS One. 4(11).
View
| DOI
2009 | Journal Article | IST-REx-ID: 3055
Naramoto S, Sawa S, Koizumi K, Uemura T, Ueda T, Friml J, Nakano A, Fukuda H. 2009. Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants. Development. 136(9), 1529–1538.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3703
Blaschko M, Lampert C. 2009. Object localization with global and local context kernels. BMVC: British Machine Vision Conference, Proceedings of the BMVC, , 1–11.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3949
Quast T, Tappertzhofen B, Schild C, Grell J, Czeloth N, Förster R, Alon R, Fraemohs L, Dreck K, Weber C, Lämmermann T, Sixt MK, Kolanus W. 2009. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 113(23), 5801–5810.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun B, Blakeslee J, Bandyopadhyay A, Yang H, Mravec J, Sauer M, Cheng Y, Adamec J, Nagashima A, Geisler M, Sakai T, Friml J, Peer W, Murphy A. 2009. ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. 57(1), 27–44.
View
| DOI
2009 | Journal Article | IST-REx-ID: 6144
Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. 2009. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 458(7241), 1030–1033.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13417
Klajn R, Wesson PJ, Bishop KJM, Grzybowski BA. 2009. Writing self-erasing images using metastable nanoparticle “inks”. Angewandte Chemie International Edition. 48(38), 7035–7039.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 1039 |
Danzl JG, Haller E, Gustavsson M, Mark M, Hart R, Bouloufa N, Dulieu O, Ritsch H, Nägerl H. 2008. Quantum gas of deeply bound ground state molecules. Science. 321(5892), 1062–1066.
View
| DOI
| Download None (ext.)
| arXiv
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. 174(3), 555–624.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2679
Antal M, Fukazawa Y, Eördögh M, Muszil D, Molnár E, Itakura M, Takahashi 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. 28(39), 9692–9701.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3751 |
Kinkhabwala A, Guet CC. 2008. Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. 3(4), e2030.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 3530
Fuentealba P, Begum R, Capogna M, Jinno S, Marton L, Csicsvari JL, Thomson A, Somogyi P, Klausberger T. 2008. Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity. Neuron. 57(6), 917–929.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3825 |
Aponte Y, Bischofberger J, Jonas PM. 2008. Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. 586(8), 2061–75.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2135
Lemeshko M, Nazarenko E, Gonchar A., Reznichenko L, Nedoseykina T, Novakovich A, Mathon O, Joly Y, 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. 76.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2145
Lemeshko M, Nazarenko E, Gonchar A, Reznichenko L, Nedoseykina T, Novakovich A, Mathon O, Joly Y, 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. 76(13).
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. 82(2–3), 107–116.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2495
Kuramoto E, Fujiyama F, Unzai T, Nakamura K, Hioki H, Furuta T, Shigemoto R, Ferraguti F, 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. 500(5), 908–922.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2666
Luyt K, Slade T, Dorward J, Durant C, Wu Y, Shigemoto R, Mundell S, Váradi A, Molnár E. 2007. Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration. Journal of Neurochemistry. 100(3), 822–840.
View
| DOI