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
Henzinger TA, Hottelier T, Kovács L, Voronkov A. Invariant and type inference for matrices. In: Vol 5944. Springer; 2010:163-179. doi:10.1007/978-3-642-11319-2_14
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak V, Piskac R, Suter P, Wies T. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010:26-44. doi:10.1007/978-3-642-11319-2_6
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau J, David C, Horn F. How do we remember the past in randomised strategies? . In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association; 2010:30-39. doi:10.4204/EPTCS.25.7
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 6142 | OA
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 2010;5(11). doi:10.1371/journal.pone.0013922
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
Salje EKH, Safarik DJ, Modic KA, et al. Tin telluride: A weakly co-elastic metal. Physical Review B. 2010;82(18). doi: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, 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. 2010;285(8):5827-5835. doi:10.1074/jbc.m109.061168
View | DOI
 

2010 | Journal Article | IST-REx-ID: 8472
Schanda P, Meier BH, Ernst M. Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. 2010;132(45):15957-15967. doi:10.1021/ja100726a
View | DOI
 

2010 | Journal Article | IST-REx-ID: 12199
Feng X, Dickinson HG. Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. 2010;137(14):2409-2416. doi:10.1242/dev.049320
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 1302
Raghu S, Jösch MA, Sigrist S, Borst A, Reiff D. Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors. Journal of Neurogenetics. 2009;23(1-2):200-209. doi:10.1080/01677060802471684
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1770 | OA
Bianchetti R, Filipp S, Baur M, et al. Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 2009;80(4). doi:10.1103/PhysRevA.80.043840
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771 | OA
Fink JM, Baur M, Bianchetti R, et al. Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics. Physica Scripta T. 2009;T137. doi: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. Approach sensitivity in the retina processed by a multifunctional neural circuit. Nature Neuroscience. 2009;12(10):1308-1316. doi: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. Genetic address book for retinal cell types. Nature Neuroscience. 2009;12(9):1197-1204. doi:10.1038/nn.2370
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 2136
Vedrinskiǐ R, Kraǐzman V, Lemeshko M, et al. Local atomic structure of niobates and titanates from X-ray absorption spectroscopic data. In: Vol 51. Springer; 2009:1394-1398. doi:10.1134/S106378340907018X
View | DOI
 

2009 | Journal Article | IST-REx-ID: 226
Browning TD, Derenthal U. Manin’s conjecture for a quartic del Pezzo surface with A4 singularity. Annales de l’Institut Fourier. 2009;59(3):1231-1265. doi:10.5802/aif.2462
View | DOI
 

2009 | Journal Article | IST-REx-ID: 230
Browning TD, Derenthal U. Manin’s conjecture for a cubic surface with  D 5 singularity. International Mathematics Research Notices. 2009;2009(14):2620-2647. doi:10.1093/imrn/rnp029
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2686
Tomita H, Sugano E, Fukazawa Y, et al. Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter. PLoS One. 2009;4(11). doi:10.1371/journal.pone.0007679
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3055
Naramoto S, Sawa S, Koizumi K, et al. Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants. Development. 2009;136(9):1529-1538. doi:10.1242/dev.030098
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3703
Blaschko M, Lampert C. Object localization with global and local context kernels. In: BMVA Press; 2009:1-11. doi:10.5244/C.23.63
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3949
Quast T, Tappertzhofen B, Schild C, et al. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 2009;113(23):5801-5810. doi:10.1182/blood-2008-08-176123
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun B, Blakeslee J, Bandyopadhyay A, et al. ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. 2009;57(1):27-44. doi:10.1111/j.1365-313X.2008.03668.x
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3954
Renkawitz J, Schumann K, Weber M, et al. Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. 2009;11(12):1438-1443. doi:10.1038/ncb1992
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3951
Lämmermann T, Sixt MK. Mechanical modes of “amoeboid” cell migration. Current Opinion in Cell Biology. 2009;21(5):636-644. doi:10.1016/j.ceb.2009.05.003
View | DOI
 

2009 | Journal Article | IST-REx-ID: 6144
Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 2009;458(7241):1030-1033. doi:10.1038/nature07820
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13417
Klajn R, Wesson PJ, Bishop KJM, Grzybowski BA. Writing self-erasing images using metastable nanoparticle “inks.” Angewandte Chemie International Edition. 2009;48(38):7035-7039. doi:10.1002/anie.200901119
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
Danzl JG, Haller E, Gustavsson M, et al. Quantum gas of deeply bound ground state molecules. Science. 2008;321(5892):1062-1066. doi:10.1126/science.1159909
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1296
Jösch MA, Plett J, Borst A, Reiff D. Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster. Current Biology. 2008;18(5):368-374. doi:10.1016/j.cub.2008.02.022
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1460 | OA
Hausel T, Rodríguez Villegas F. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 2008;174(3):555-624. doi: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. Spatial regulators for bacterial cell division self-organize into surface waves in vitro. Science. 2008;320(5877):789-792. doi:10.1126/science.1154413
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2679
Antal M, Fukazawa Y, Eördögh M, 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. 2008;28(39):9692-9701. doi:10.1523/JNEUROSCI.1551-08.2008
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2753
Erdös L, Salmhofer M, Yau H. Quantum diffusion of the random Schrödinger evolution in the scaling limit. Acta Mathematica. 2008;200(2):211-277. doi: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. Cellular and molecular requirements for polar PIN targeting and transcytosis in plants. Molecular Plant. 2008;1(6):1056-1066. doi:10.1093/mp/ssn062
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3751 | OA
Kinkhabwala A, Guet CC. Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. 2008;3(4). doi: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 PM. Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. PNAS. 2008;105(40):15581-15586. doi: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. Precision of the Dpp gradient. Development. 2008;135(6):1137-1146. doi:10.1242/dev.012062
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3530
Fuentealba P, Begum R, Capogna M, et al. Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity. Neuron. 2008;57(6):917-929. doi:10.1016/j.neuron.2008.01.034
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3825 | OA
Aponte Y, Bischofberger J, Jonas PM. Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. 2008;586(8):2061-2075. doi:10.1113/jphysiol.2007.147298
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3907
Suefuji M, Cremer S, Oettler J, Heinze J. Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants. Biology Letters. 2008;4(6):670-673. doi:10.1098/rsbl.2008.0355
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2135
Lemeshko M, Nazarenko E, Gonchar A., 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. 2007;76. doi:http://dx.doi.org/10.1103/PhysRevB.76.134106
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2145
Lemeshko M, Nazarenko E, Gonchar A, 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. 2007;76(13). doi:10.1103/PhysRevB.76.134106
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2375 | OA
Frank R, Lieb É, Seiringer R. Number of bound states of Schrödinger operators with matrix-valued potentials. Letters in Mathematical Physics. 2007;82(2-3):107-116. doi:10.1007/s11005-007-0211-x
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2495
Kuramoto E, Fujiyama F, Unzai T, 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. 2007;500(5):908-922. doi:10.1002/cne.21216
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2666
Luyt K, Slade T, Dorward J, et al. Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration. Journal of Neurochemistry. 2007;100(3):822-840. doi:10.1111/j.1471-4159.2006.04255.x
View | DOI
 

2007 | Book Review | IST-REx-ID: 2670
Masugi Tokita M, Shigemoto R. High-resolution quantitative visualization of glutamate and GABA receptors at central synapses. Current Opinion in Neurobiology. 2007;17(3):387-393. doi:10.1016/j.conb.2007.04.012
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2750
Erdös L, Salmhofer M, Yau H. Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams. Communications in Mathematical Physics. 2007;271(1):1-53. doi:10.1007/s00220-006-0158-2
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3981
Attali D, Edelsbrunner H, Harer J, Mileyko Y. Alpha-beta witness complexes. In: Vol 4619. Springer; 2007:386-397. doi:10.1007/978-3-540-73951-7_34
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3027
Malenica N, Abas L, Benjamins R, et al. MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins. Plant Journal. 2007;51(4):537-550. doi:10.1111/j.1365-313X.2007.03158.x
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3219
Maurer U, Pietrzak KZ, Renner R. Indistinguishability amplification. In: Vol 4622. Springer; 2007:130-149. doi:10.1007/978-3-540-74143-5_8
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3819
Li L, Bischofberger J, Jonas PM. Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. 2007;27(49):13420-13429. doi:10.1523/JNEUROSCI.1709-07.2007
View | DOI
 

Filters and Search Terms

type%3Ddissertation

Search

Filter Publications