Please note that IST 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.

6021 Publications


2005 | Journal Article | IST-REx-ID: 4454
T. A. Henzinger, R. Majumdar, and J. Raskin, “A classification of symbolic transition systems,” ACM Transactions on Computational Logic (TOCL), vol. 6, no. 1, pp. 1–32, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
T. A. Henzinger, R. Majumdar, and V. Prabhu, “Quantifying similarities between timed systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 226–241.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
T. A. Henzinger, R. Jhala, and R. Majumdar, “Permissive interfaces,” presented at the FSE: Foundations of Software Engineering, 2005, pp. 31–40.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
T. A. Henzinger, C. Kirsch, and S. Matic, “Composable code generation for distributed Giotto,” presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, 2005, pp. 21–30.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
L. Doyen, T. A. Henzinger, and J. Raskin, “Automatic rectangular refinement of affine hybrid systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 144–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
K. Chatterjee and T. A. Henzinger, “Semiperfect-information games,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2005, vol. 3821, pp. 1–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “The complexity of stochastic Rabin and Streett games,” presented at the ICALP: Automata, Languages and Programming, 2005, vol. 3580, pp. 878–890.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Mean-payoff parity games,” presented at the LICS: Logic in Computer Science, 2005, pp. 178–187.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
K. Chatterjee, T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided planning,” presented at the UAI: Uncertainty in Artificial Intelligence, 2005, pp. 104–111.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
A. Chakrabarti, K. Chatterjee, T. A. Henzinger, O. Kupferman, and R. Majumdar, “Verifying quantitative properties using bound functions,” presented at the CHARME: Correct Hardware Design and Verification Methods, 2005, vol. 3725, pp. 50–64.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
D. Beyer, A. Chakrabarti, and T. A. Henzinger, “Web service interfaces,” presented at the WWW: World Wide Web Conference, 2005, pp. 148–159.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “Checking memory safety with BLAST,” presented at the FASE: Fundamental Approaches To Software Engineering, 2005, vol. 3442, pp. 2–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
L. De Alfaro and T. A. Henzinger, “Interface-based design,” presented at the Engineering Theories of Software Intensive Systems, 2005, vol. 195, pp. 83–104.
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 575
O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual quantum computation,” presented at the QELS: Quantum Electronics and Laser Science, 2005, vol. 1, pp. 365–367.
View | DOI
 

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

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

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

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

2005 | Journal Article | IST-REx-ID: 2649
J. Tanaka et al., “Number and density of AMPA receptors in single synapses in immature cerebellum,” Journal of Neuroscience, vol. 25, no. 4, pp. 799–807, 2005.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 2651
K. Kanbara et al., “Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis,” Journal of Andrology, vol. 26, no. 4, pp. 485–493, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2652
C. Price et al., “Neurogliaform neurons form a novel inhibitory network in the hippocampal CA1 area,” Journal of Neuroscience, vol. 25, no. 29, pp. 6775–6786, 2005.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 2654
F. Ferraguti et al., “ Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus,” Journal of Neuroscience, vol. 25, no. 45, pp. 10520–10536, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2655
Y. Wu et al., “Target-cell-specific left-right asymmetry of NMDA receptor content in Schaffer collateral synapses in ε1/NR2A knock-out mice,” Journal of Neuroscience, vol. 25, no. 40, pp. 9213–9226, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2656
Y. Feng et al., “Morphological evidence for GABA/glycine-cocontaining terminals in synaptic contact with neurokinin-1 receptor-expressing neurons in the sacral dorsal commissural nucleus of the rat,” Neuroscience Letters, vol. 388, no. 3, pp. 144–148, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2658
K. Kaneda et al., “Down-regulation of metabotropic glutamate receptor 1α in globus pallidus and substantia nigra of parkinsonian monkeys,” European Journal of Neuroscience, vol. 22, no. 12, pp. 3241–3254, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2743
L. Erdös, D. Hasler, and J. Solovej, “Existence of the D0-D4 bound state: A detailed proof,” Annales Henri Poincare, vol. 6, no. 2, pp. 247–267, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2744
D. Eng and L. Erdös, “The linear Boltzmann equation as the low density limit of a random Schrödinger equation,” Reviews in Mathematical Physics, vol. 17, no. 6, pp. 669–743, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2788
B. Hof, C. Van Doorne, J. Westerweel, and F. Nieuwstadt, “Turbulence regeneration in pipe flow at moderate reynolds numbers,” Physical Review Letters, vol. 95, no. 21, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2789
B. Hof, “Transition to turbulence in pipe flow,” Fluid Mechanics and its Applications, vol. 77, pp. 221–231, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2790
B. Hof, A. Juel, and T. Mullin, “Magnetohydrodynamic damping of oscillations in low-Prandtl-number convection,” Journal of Fluid Mechanics, vol. 545, pp. 193–201, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2867 | OA
D. Weijers et al., “Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators,” EMBO Journal, vol. 24, no. 10, pp. 1874–1885, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2895
J. Carneiro et al., “Immunological self tolerance: Lessons from mathematical modeling,” Journal of Computational and Applied Mathematics, vol. 184, no. 1, pp. 77–100, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
P. Dhonukshe, J. Kleine Vehn, and J. Friml, “Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first?,” Protoplasma, vol. 226, no. 1–2, pp. 67–73, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
T. Paciorek et al., “Auxin inhibits endocytosis and promotes its own efflux from cells,” Nature, vol. 435, no. 7046, pp. 1251–1256, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
A. Vieten et al., “Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression,” Development, vol. 132, no. 20, pp. 4521–4531, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
D. Weijers et al., “Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis,” Plant Cell, vol. 17, no. 9, pp. 2517–2526, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
A. Rodal et al., “Conformational changes in the Arp2 3 complex leading to actin nucleation,” Nature Structural and Molecular Biology, vol. 12, no. 1, pp. 26–31, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
S. Hippenmeyer et al., “A developmental switch in the response of DRG neurons to ETS transcription factor signaling,” PLoS Biology, vol. 3, no. 5, pp. 0878–0890, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1740
G. Costantini et al., “Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems,” Journal of Crystal Growth, vol. 278, no. 1–4, pp. 38–45, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1741
U. Denker et al., “Lateral motion of SiGe islands driven by surface-mediated alloying,” Physical Review Letters, vol. 94, no. 21, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1742
G. Katsaros et al., “Kinetic origin of island intermixing during the growth of Ge on Si (001),” Physical Review B - Condensed Matter and Materials Physics, vol. 72, no. 19, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Z. Zhong et al., “Periodic pillar structures by Si etching of multilayer GeSi/Si islands,” Applied Physics Letters, vol. 87, no. 26, pp. 1–3, 2005.
View | DOI
 

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

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

2005 | Journal Article | IST-REx-ID: 1962
P. Hinchliffe and L. A. Sazanov, “Biochemistry: Organization of iron-sulfur clusters in respiratory complex I,” Science, vol. 309, no. 5735, pp. 771–774, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
T. P. Vogels and L. F. Abbott, “Signal propagation and logic gating in networks of integrate-and-fire neurons,” Journal of Neuroscience, vol. 25, no. 46, pp. 10786–10795, 2005.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
T. P. Vogels, K. Rajan, and L. F. Abbott, “Neural network dynamics,” Annual Review of Neuroscience, vol. 28, no. 1, pp. 357–376, 2005.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications