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.

6306 Publications


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. Society for Neuroscience, 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. Elsevier, 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. Wiley-Blackwell, 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. Birkhäuser, 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. World Scientific Publishing, 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. American Physical Society, 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. Springer, 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. Cambridge University Press, 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. Wiley-Blackwell, 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. Elsevier, pp. 77–100, 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. Society for Neuroscience, 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. Annual Reviews, pp. 357–376, 2005.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 843
L. Yampolsky, F. Kondrashov, and A. Kondrashov, “Distribution of the strength of selection against amino acid replacements in human proteins,” Human Molecular Genetics, vol. 14, no. 21. Oxford University Press, pp. 3191–3201, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8491
P. Schanda, Ē. Kupče, and B. Brutscher, “SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds,” Journal of Biomolecular NMR, vol. 33, no. 4. Springer Nature, pp. 199–211, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
P. Schanda and B. Brutscher, “Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds,” Journal of the American Chemical Society, vol. 127, no. 22. American Chemical Society, pp. 8014–8015, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
J. Bourgain and V. Kaloshin, “On diffusion in high-dimensional Hamiltonian systems,” Journal of Functional Analysis, vol. 229, no. 1. Elsevier, pp. 1–61, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 877
F. Kondrashov, “The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution,” Biofizika, vol. 50, no. 3. Pleiades Publishing, pp. 389–395, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 878
F. Kondrashov, “In search of the limits of evolution,” Nature Genetics, vol. 37, no. 1. Nature Publishing Group, pp. 9–10, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 880
F. Kondrashov, “The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus,” Biofizika, vol. 50, no. 3. Pleiades Publishing, pp. 396–403, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 882
F. Kondrashov, “Prediction of pathogenic mutations in mitochondrially encoded human tRNAs,” Human Molecular Genetics, vol. 14, no. 16. Oxford University Press, pp. 2415–2419, 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. Elsevier, 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. American Physical Society, 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. American Physical Society, 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. American Institute of Physics, 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. Institute of Electrical Engineers, 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. BioMed Central, 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. American Association for the Advancement of Science, pp. 771–774, 2005.
View | DOI
 

2005 | Book | IST-REx-ID: 210
H. Davenport and T. D. Browning, Analytic methods for diophantine equations and diophantine inequalities. Cambridge University Press, 2005, pp. 1–140.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 211
T. D. Browning, “Equal sums of like polynomials,” Bulletin of the London Mathematical Society, vol. 37, no. 6. John Wiley and Sons Ltd, pp. 801–808, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 212 | OA
T. D. Browning and R. Heath Brown, “Counting rational points on hypersurfaces,” Journal fur die Reine und Angewandte Mathematik, no. 584. Walter de Gruyter and Co , pp. 83–115, 2005.
View | DOI | Download (ext.)
 

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

2005 | Journal Article | IST-REx-ID: 217
T. D. Browning, “The density of rational points on a certain singular cubic surface,” Journal of Number Theory, vol. 119, no. 2. Elsevier, pp. 242–283, 2005.
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. Elsevier, 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. Annual Reviews, 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. Elsevier, pp. 905–917, 2005.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 1298
D. Reiff et al., “In vivo performance of genetically encoded indicators of neural activity in flies,” Journal of Neuroscience, vol. 25, no. 19. Society for Neuroscience, pp. 4766–4778, 2005.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 1447 | OA
T. Hausel, “Quaternionic geometry of matroids,” Open Mathematics, vol. 3, no. 1. Central European Science Journals, pp. 26–38, 2005.
View | DOI | Download (ext.)
 

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

2005 | Journal Article | IST-REx-ID: 893
I. Jordan et al., “A universal trend of amino acid gain and loss in protein evolution,” Nature, vol. 433, no. 7026. Nature Publishing Group, pp. 633–638, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3720
J. Guzmán, Z. Gerevich, J. Hengstler, P. Illes, and W. Kleemann, “P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex.,” Synapse, vol. 57, no. 4. Wiley, pp. 235–238, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
H. L. Janovjak, D. Mueller, and A. Humphris, “Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins,” Biophysical Journal, vol. 88, no. 2. Biophysical Society, pp. 1423–1431, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
N. Slonim, G. Atwal, G. Tkačik, and W. Bialek, “Information-based clustering,” PNAS, vol. 102, no. 51. National Academy of Sciences, pp. 18297–18302, 2005.
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
N. Slonim, G. Atwal, G. Tkačik, and W. Bialek, “Estimating mutual information and multi-information in large networks,” ArXiv. ArXiv, pp. 1–11, 2005.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3753
T. Le et al., “Real-time RNA profiling within a single bacterium,” PNAS, vol. 102, no. 26. National Academy of Sciences, pp. 9160–9164, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
L. Shi, Y. Yu, C. J. Wojtan, and S. Chenney, “Controllable motion synthesis in a gaseous medium,” The Visual Computer, vol. 21, no. 7. Springer, pp. 474–487, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
D. Engel and P. M. Jonas, “Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons,” Neuron, vol. 45, no. 3. Elsevier, pp. 405–17, 2005.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812
S. Hefft and P. M. Jonas, “Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review),” Nature Neuroscience, vol. 8, no. 10. Nature Publishing Group, pp. 1319–28, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Games with secure equilibria,” presented at the FMCO: Formal Methods for Components and Objects, 2005, vol. 3657, pp. 141–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
K. Chatterjee, “Two-player nonzero-sum ω-regular games,” presented at the CONCUR: Concurrency Theory, 2005, vol. 3653, pp. 413–427.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “Complexity of compositional model checking of computation tree logic on simple structures,” presented at the IWDC: International Workshop on Distributed Computing , 2005, vol. 3326, pp. 89–102.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3902
S. Cremer and J. Boomsma, “The drawback of mobility: invasive species in a globalised world,” presented at the Marie Curie Conference, 2005.
View | Download None (ext.)
 

2005 | Journal Article | IST-REx-ID: 3915
L. De Menten, S. Cremer, J. Heinze, and S. Aron, “Primary sex ratio adjustment by ant queens in response to local mate competition,” Animal Behaviour, vol. 69, no. 5. Elsevier, pp. 1031–1035, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3916
A. Schrempf, J. Heinze, and S. Cremer, “Sexual cooperation: mating increases longevity in ant queens,” Current Biology, vol. 15, no. 3. Cell Press, pp. 267–270, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3933
M. K. Sixt et al., “The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node,” Immunity, vol. 22, no. 1. Cell Press, pp. 19–29, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Y. Wang, P. Agarwal, P. Brown, H. Edelsbrunner, and J. Rudolph, “Coarse and reliable geometric alignment for protein docking,” presented at the PSB: Pacific Symposium on Biocomputing, 2005, pp. 64–75.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
J. Sohn et al., “Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate,” Biochemistry, vol. 44, no. 50. ACS, pp. 16563–16573, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
N. H. Barton and J. Polechova, “The limitations of adaptive dynamics as a model of evolution,” Journal of Evolutionary Biology, vol. 18, no. 5. Wiley-Blackwell, pp. 1186–1190, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
F. Ulrich et al., “Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin,” Developmental Cell, vol. 9, no. 4. Cell Press, pp. 555–564, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, and C.-P. J. Heisenberg, “Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy,” Journal of Cell Science, vol. 118, no. 18. Company of Biologists, pp. 4199–4206, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, and C.-P. J. Heisenberg, “Shield formation at the onset of zebrafish gastrulation,” Development, vol. 132, no. 6. Company of Biologists, pp. 1187–1198, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, and C.-P. J. Heisenberg, “Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure,” Mechanisms of Development, vol. 122, no. Supplement 1. Elsevier, pp. S112–S113, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
J. Polechova and N. H. Barton, “Speciation through competition: A critical review,” Evolution; International Journal of Organic Evolution, vol. 59, no. 6. Wiley-Blackwell, pp. 1194–1210, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
N. H. Barton and S. Otto, “Evolution of recombination due to random drift,” Genetics, vol. 169, no. 4. Genetics Society of America, pp. 2353–2370, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
T. Johnson and N. H. Barton, “Theoretical models of selection and mutationon quantitative traits,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 360, no. 1459. Royal Society, The, pp. 1411–1425, 2005.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4367
A. Podelski and T. Wies, “Boolean Heaps,” presented at the SAS: Static Analysis Symposium, 2005, pp. 267–282.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4404
R. Alur, P. Cerny, P. Madhusudan, and W. Nam, “Synthesis of interface specifications for Java classes,” presented at the POPL: Principles of Programming Languages, 2005, pp. 98–109.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
S. Matic and T. A. Henzinger, “Trading end-to-end latency for composability,” presented at the RTSS: Real-Time Systems Symposium, 2005, pp. 99–110.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
C. Kirsch, M. Sanvido, and T. A. Henzinger, “A programmable microkernel for real-time systems,” presented at the VEE: Virtual Execution Environments, 2005, pp. 35–45.
View | DOI
 

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. ACM, 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 | 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. Springer, 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. Nature Publishing Group, 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. Company of Biologists, 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. American Society of Plant Biologists, 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. Nature Publishing Group, 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. Public Library of Science, pp. 0878–0890, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
C. Rother, S. Kumar, V. Kolmogorov, and A. Blake, “Digital tapestry,” presented at the CVPR: Computer Vision and Pattern Recognition, 2005, vol. 1, pp. 589–596.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, and C. Rother, “Bi-layer segmentation of binocular stereo video,” presented at the CVPR: Computer Vision and Pattern Recognition, 2005, pp. 1186–1186.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
V. Kolmogorov and M. Wainwright, “On the optimality of tree reweighted max product message passing,” presented at the UAI: Uncertainty in Artificial Intelligence, 2005, pp. 316–323.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
V. Kolmogorov and Y. Boykov, “What metrics can be approximated by geo cuts or global optimization of length area and flux,” presented at the ICCV: International Conference on Computer Vision, 2005, vol. 1, pp. 564–571.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, and C. Rother, “Bi-layer segmentation of binocular stereo video,” presented at the CVPR: Computer Vision and Pattern Recognition, 2005, vol. 2, pp. 407–414.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
M. Bellare, K. Z. Pietrzak, and P. Rogaway, “Improved security analyses for CBC MACs,” presented at the CRYPTO: International Cryptology Conference, 2005, vol. 3621, pp. 527–545.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Y. Dodis, R. Oliveira, and K. Z. Pietrzak, “On the generic insecurity of the full domain hash,” presented at the CRYPTO: International Cryptology Conference, 2005, vol. 3621, pp. 449–466.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
K. Z. Pietrzak, “Composition does not imply adaptive security,” presented at the CRYPTO: International Cryptology Conference, 2005, vol. 3621, pp. 55–65.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
H. L. Janovjak, T. Sapra, and D. Mueller, “Complex stability of single proteins explored by forced unfolding experiments,” Biophysical Journal, vol. 88, no. 5. Biophysical Society, pp. 37–39, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
M. Kuhn, H. L. Janovjak, M. Hubain, and D. Mueller, “Automated alignment and pattern recognition of single-molecule force spectroscopy data,” Journal of Microscopy, vol. 218, no. 2. Wiley-Blackwell, pp. 125–132, 2005.
View | DOI
 

Search

Filter Publications