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.

140 Publications


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: 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
 

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 | 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 | 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 | 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: 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 | 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
 

Filters and Search Terms

year=2005

Search

Filter Publications