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.

7346 Publications


2005 | Conference Paper | IST-REx-ID: 4557
Counterexample-guided planning
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Counterfactual quantum computation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1740
Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1741
Lateral motion of SiGe islands driven by surface-mediated alloying
U. Denker, A. Rastelli, M. Stoffel, J. Tersoff, G. Katsaros, G. Costantini, K. Kern, N. Jin Phillipp, D. Jesson, O. Schmidt, Physical Review Letters 94 (2005).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1742
Kinetic origin of island intermixing during the growth of Ge on Si (001)
G. Katsaros, G. Costantini, M. Stoffel, R. Esteban, A. Bittner, A. Rastelli, U. Denker, O. Schmidt, K. Kern, Physical Review B - Condensed Matter and Materials Physics 72 (2005).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Periodic pillar structures by Si etching of multilayer GeSi/Si islands
Z. Zhong, G. Katsaros, M. Stoffel, G. Costantini, K. Kern, O. Schmidt, N. Jin Phillipp, G. Bauer, Applied Physics Letters 87 (2005) 1–3.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1744
Non linear transmission effects in duobinary and dicode optical systems
G. Katsaros, I. Darwazeh, P. Lane, IEE Proceedings - Optoelectronics 152 (2005) 344–352.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1795
Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors
S. Siegert, S. Thaler, R. Wagner, B. Schnierle, AIDS Research and Therapy 2 (2005).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1962
Biochemistry: Organization of iron-sulfur clusters in respiratory complex I
P. Hinchliffe, L.A. Sazanov, Science 309 (2005) 771–774.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
Neuronal substrates of complex behaviors in C. elegans
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
View | DOI | PubMed | Europe PMC
 
 

2005 | Journal Article | IST-REx-ID: 878
In search of the limits of evolution
F. Kondrashov, Nature Genetics 37 (2005) 9–10.
View | DOI
 
 

2005 | Journal Article | IST-REx-ID: 882
Prediction of pathogenic mutations in mitochondrially encoded human tRNAs
F. Kondrashov, Human Molecular Genetics 14 (2005) 2415–2419.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 893
A universal trend of amino acid gain and loss in protein evolution
I. Jordan, F. Kondrashov, I. Adzhubeǐ, Y. Wolf, E. Koonin, A. Kondrashov, S. Sunyaev, Nature 433 (2005) 633–638.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1298
In vivo performance of genetically encoded indicators of neural activity in flies
D. Reiff, A. Ihring, G. Guerrero, E. Isacoff, M.A. Jösch, J. Nakai, A. Borst, Journal of Neuroscience 25 (2005) 4766–4778.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve
T. Hausel, in:, Geometric Methods in Algebra and Number Theory, Springer, 2005, pp. 193–217.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1447 | OA
Quaternionic geometry of matroids
T. Hausel, Open Mathematics 3 (2005) 26–38.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1463 | OA
Abelianization for hyperkähler quotients
T. Hausel, N. Proudfoot, Topology 44 (2005) 231–248.
View | DOI | Download (ext.)
 

2005 | Book | IST-REx-ID: 210
Analytic Methods for Diophantine Equations and Diophantine Inequalities
H. Davenport, T.D. Browning, Analytic Methods for Diophantine Equations and Diophantine Inequalities, Cambridge University Press, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 211
Equal sums of like polynomials
T.D. Browning, Bulletin of the London Mathematical Society 37 (2005) 801–808.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 212 | OA
Counting rational points on hypersurfaces
T.D. Browning, R. Heath Brown, Journal Fur Die Reine Und Angewandte Mathematik (2005) 83–115.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 214 | OA
Plane curves in boxes and equal sums of two powers
T.D. Browning, R. Heath Brown, Mathematische Zeitschrift 251 (2005) 233–247.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 217
The density of rational points on a certain singular cubic surface
T.D. Browning, Journal of Number Theory 119 (2005) 242–283.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2307
Substrate binding stoichiometry and kinetics of the norepinephrine transporter
J. Schwartz, G. Novarino, D. Piston, L. Defelice, Journal of Biological Chemistry 280 (2005) 19177–19184.
View | DOI
 

2005 | Book | IST-REx-ID: 2335 | OA
The Mathematics of the Bose gas and its Condensation
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, The Mathematics of the Bose Gas and Its Condensation, Birkhäuser Verlag, Basel ; Berlin, 2005.
View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Book Chapter | IST-REx-ID: 2336 | OA
The quantum-mechanical many-body problem: The Bose gas
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, in:, M. Benedicks, P. Jones, S. Smirnov, B. Winckler (Eds.), Perspectives in Analysis, Springer, 2005, pp. 97–183.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2359 | OA
Justification of c-number substitutions in bosonic hamiltonians
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 94 (2005).
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2361 | OA
Stronger subadditivity of entropy
É. Lieb, R. Seiringer, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2362 | OA
Ground state energy of the low density Fermi gas
É. Lieb, R. Seiringer, J. Solovej, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2427
The Clique problem in intersection graphs of ellipses and triangles
C. Ambühl, U. Wagner, Theory of Computing Systems 38 (2005) 279–292.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 2428
Online conflict-free coloring for intervals
A. Fiat, M. Levy, J. Matoušek, E. Pach, M. Sharir, S. Smorodinsky, U. Wagner, E. Welzl, in:, SIAM, 2005, pp. 545–554.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2455
The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots
I. Billou, J. Xu, M. Wildwater, V. Willemsen, I. Paponov, J. Friml, R. Heldstra, M. Aida, K. Palme, B. Scheres, Nature 433 (2005) 39–44.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2463
Reproduction, plants
J. Dubová, J. Hejátko, J. Friml, in:, R. Meyers (Ed.), Encyclopedia of Molecular Cell Biology and Molecular Medicine, Wiley-Blackwell, 2005, pp. 249–295.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2464
Auxin as an intercellular signal
J. Friml, J. Wiśniewska, in:, A. Fleming (Ed.), Intercellular Communication in Plants, Wiley-Blackwell, 2005.
View
 

2005 | Book Review | IST-REx-ID: 2647
Glutamate and GABA receptor signalling in the developing brain
R. Luján, R. Shigemoto, G. López Bendito, Neuroscience 130 (2005) 567–580.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2648
Preferential localization of the hyperpolarization-activated cyclic nucleotide-gated cation channel subunit HCN1 in basket cell terminals of the rat cerebellum
R. Luján, J. Albasanz, R. Shigemoto, J. Juíz, European Journal of Neuroscience 21 (2005) 2073–2082.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2649
Number and density of AMPA receptors in single synapses in immature cerebellum
J. Tanaka, M. Matsuzaki, E. Tarusawa, A. Momiyama, E. Molnár, H. Kasai, R. Shigemoto, Journal of Neuroscience 25 (2005) 799–807.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2650
GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons
G. Nyíri, E. Szabadits, C. Cserép, K. Mackie, R. Shigemoto, T. Freund, European Journal of Neuroscience 21 (2005) 3034–3042.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2651
Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis
K. Kanbara, K. Okamoto, S. Nomura, T. Kaneko, R. Shigemoto, H. Azuma, Y. Katsuoka, M. Watanabe, Journal of Andrology 26 (2005) 485–493.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2652
Neurogliaform neurons form a novel inhibitory network in the hippocampal CA1 area
C. Price, B. Cauli, E. Kovács, Á. Kulik, B. Lambolez, R. Shigemoto, M. Capogna, Journal of Neuroscience 25 (2005) 6775–6786.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2653
Differential distribution of release-related proteins in the hippocampal CA3 area as revealed by freeze-fracture replica labeling
A. Hagiwara, Y. Fukazawa, M. Deguchi Tawarada, T. Ohtsuka, R. Shigemoto, Journal of Comparative Neurology 489 (2005) 195–216.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2654
Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus
F. Ferraguti, T. Klausberger, P. Cobden, A. Baude, J. Roberts, P. Szűcs, A. Kinoshita, R. Shigemoto, P. Somogyi, Y. Dalezios, Journal of Neuroscience 25 (2005) 10520–10536.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2655
Target-cell-specific left-right asymmetry of NMDA receptor content in Schaffer collateral synapses in ε1/NR2A knock-out mice
Y. Wu, R. Kawakami, Y. Shinohara, M. Fukaya, K. Sakimura, M. Mishina, M. Watanabe, I. Ito, R. Shigemoto, Journal of Neuroscience 25 (2005) 9213–9226.
View | DOI
 

Search

Filter Publications