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.

147 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: 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. Wiley-Blackwell, pp. 195–216, 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: 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: 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: 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: 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: 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: 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: 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: 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 | 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 | 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 | Journal Article | IST-REx-ID: 3426 | OA
M. T. Bollenbach, K. Kruse, P. Pantazis, M. González Gaitán, and F. Jülicher, “Robust formation of morphogen gradients,” Physical Review Letters, vol. 94, no. 1. American Physical Society, 2005.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Journal Article | IST-REx-ID: 3443
T. Klausberger et al., “Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations,” Journal of Neuroscience, vol. 25, no. 42. Society for Neuroscience, pp. 9782–9793, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3557
H. Edelsbrunner, “Surface tiling with differential topology,” presented at the SGP: Eurographics Symposium on Geometry processing, 2005, pp. 9–11.
View | DOI | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3589
M. Köppen and C.-P. J. Heisenberg, “Cleavage and gastrulation in zebrafish embryos,” in Encyclopedia of Life Sciences, Wiley-Blackwell, 2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3588
I. Castanon Ortega and C.-P. J. Heisenberg, “Cell migration during zebrafish gastrulation,” in Cell Migration in Development and Disease, D. Wedlich, Ed. Wiley-VCH, 2005, pp. 71–105.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
I. Castanon Ortega and C.-P. J. Heisenberg, “A stern view of gastrulation,” Nature Cell Biology, vol. 7, no. 1. Nature Publishing Group, pp. 19–19, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3689
A. Ulges, C. Lampert, and T. Breuel, “Document image dewarping using robust estimation of curled text lines,” presented at the ICDAR: International Conference on Document Analysis and Recognition, 2005, vol. 2, pp. 1001–1005.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3684
C. Lampert, T. Braun, A. Ulges, D. Keysers, and T. Breuel, “Oblivious document capture and real-time retrieval,” presented at the CBDAR: Camera Based Document Analysis and Recognition , 2005, pp. 79–86.
View | Download (ext.)
 

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: 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. 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 | 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: 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: 3893
K. Chatterjee, “Two-player nonzero-sum ω-regular games,” presented at the CONCUR: Concurrency Theory, 2005, vol. 3653, pp. 413–427.
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: 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: 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: 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 | 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 | 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 | 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 | 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: 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: 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: 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 | 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
 

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: 3418
H. L. Janovjak, J. Struckmeier, and D. Mueller, “Hydrodynamic effects in fast AFM single molecule force measurements,” European Biophysics Journal, vol. 34, no. 1. Springer, pp. 91–96, 2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3433
J. P. Bollback, “Posterior mapping and posterior predictive distributions,” in Statistical methods in Molecular Evolution, R. Nielsen, Ed. Springer, 2005, pp. 439–462.
View | DOI
 

2005 | Patent | IST-REx-ID: 3509 | OA
S. Williams, H. Edelsbrunner, and P. Fu, “Methods, apparatus and computer program products for modeling three-dimensional colored objects.” 2005.
[Published Version] View | Download Published Version (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
D. Attali, D. Cohen Steiner, and H. Edelsbrunner, “Extraction and simplification of iso-surfaces in tandem,” presented at the SGP: Eurographics Symposium on Geometry processing, 2005, pp. 139–148.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
H. Edelsbrunner and P. Koehl, “The geometry of biomolecular solvation,” in Combinatorial and Computational Geometry, vol. 52, Cambridge University Press, 2005, pp. 243–275.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3612
A. Davison, S. Chiba, N. H. Barton, and B. Clarke, “Speciation and gene flow between snails of opposing chirality,” PLoS Biology, vol. 3, no. 9. Public Library of Science, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
B. Nürnberger, N. H. Barton, L. Kruuk, and T. Vines, “Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes,” Heredity, vol. 94, no. 2. Nature Publishing Group, pp. 247–257, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
M. Gardner, K. Fowler, N. H. Barton, and L. Patridge, “Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns,” Genetics, vol. 169, no. 3. Genetics Society of America, pp. 1553–1571, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3691
C. Lampert, “Boundary regularity of admissible operators,” Publicacions Matemàtiques, vol. 49, no. 1. Universitat Autònoma de Barcelona, Departament de Matemàtique, pp. 179–195, 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: 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 | 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: 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: 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 | 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 | 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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 | 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: 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 | 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: 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.
[Published Version] 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: 9491 | OA
R. K. Tran, J. G. Henikoff, D. Zilberman, R. F. Ditt, S. E. Jacobsen, and S. Henikoff, “DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes,” Current Biology, vol. 15, no. 2. Elsevier, pp. 154–159, 2005.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 9514 | OA
R. K. Tran et al., “Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis,” Genome Biology, vol. 6, no. 11. Springer Nature, 2005.
[Published Version] View | DOI | Download Published Version (ext.) | 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
 

Filters and Search Terms

year=2005

Search

Filter Publications