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
Weijers, D., Benková, E., Jäger, K., Schlereth, A., Hamann, T., Kientz, M., … Jürgens, G. (2005). Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/sj.emboj.7600659
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2895
Carneiro, J., Paixao, T., Milutinovic, D., Sousa, J., Leon, K., Gardner, R., & Faro, J. (2005). Immunological self tolerance: Lessons from mathematical modeling. Journal of Computational and Applied Mathematics. Elsevier. https://doi.org/10.1016/j.cam.2004.10.025
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Dhonukshe, P., Kleine Vehn, J., & Friml, J. (2005). Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first? Protoplasma. Springer. https://doi.org/10.1007/s00709-005-0104-8
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Paciorek, T., Zažímalová, E., Ruthardt, N., Petrášek, J., Stierhof, Y., Kleine Vehn, J., … Friml, J. (2005). Auxin inhibits endocytosis and promotes its own efflux from cells. Nature. Nature Publishing Group. https://doi.org/10.1038/nature03633
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten, A., Vanneste, S., Wiśniewska, J., Benková, E., Benjamins, R., Beeckman, T., … Friml, J. (2005). Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. Company of Biologists. https://doi.org/10.1242/dev.02027
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers, D., Sauer, M., Meurette, O., Friml, J., Ljung, K., Sandberg, G., … Offringa, R. (2005). Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.105.034637
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal, A., Sokolova, O., Robins, D., Daugherty, K., Hippenmeyer, S., Riezman, H., … Goode, B. (2005). Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb870
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer, S., Vrieseling, E., Sigrist, M., Portmann, T., Laengle, C., Ladle, D., & Arber, S. (2005). A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.0030159
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
Rother, C., Kumar, S., Kolmogorov, V., & Blake, A. (2005). Digital tapestry (Vol. 1, pp. 589–596). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2005.130
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Kolmogorov, V., Criminisi, A., Blake, A., Cross, G., & Rother, C. (2005). Bi-layer segmentation of binocular stereo video (pp. 1186–1186). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2005.90
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov, V., & Boykov, Y. (2005). What metrics can be approximated by geo cuts or global optimization of length area and flux (Vol. 1, pp. 564–571). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2005.252
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov, V., Criminisi, A., Blake, A., Cross, G., & Rother, C. (2005). Bi-layer segmentation of binocular stereo video (Vol. 2, pp. 407–414). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2005.91
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
Bellare, M., Pietrzak, K. Z., & Rogaway, P. (2005). Improved security analyses for CBC MACs (Vol. 3621, pp. 527–545). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/11535218_32
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Dodis, Y., Oliveira, R., & Pietrzak, K. Z. (2005). On the generic insecurity of the full domain hash (Vol. 3621, pp. 449–466). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/11535218_27
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Pietrzak, K. Z. (2005). Composition does not imply adaptive security (Vol. 3621, pp. 55–65). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/11535218_4
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak, H. L., Sapra, T., & Mueller, D. (2005). Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. Biophysical Society. https://doi.org/10.1529/biophysj.105.059774
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn, M., Janovjak, H. L., Hubain, M., & Mueller, D. (2005). Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. Wiley-Blackwell. https://doi.org/10.1111/j.1365-2818.2005.01478.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak, H. L., Struckmeier, J., & Mueller, D. (2005). Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal. Springer. https://doi.org/10.1007/s00249-004-0430-3
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels, T. P., & Abbott, L. F. (2005). Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.3508-05.2005
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
Vogels, T. P., Rajan, K., & Abbott, L. F. (2005). Neural network dynamics. Annual Review of Neuroscience. Annual Reviews. https://doi.org/10.1146/annurev.neuro.28.061604.135637
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 843
Yampolsky, L., Kondrashov, F., & Kondrashov, A. (2005). Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddi350
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8491
Schanda, P., Kupče, Ē., & Brutscher, B. (2005). SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-005-4425-x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
Schanda, P., & Brutscher, B. (2005). 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. American Chemical Society. https://doi.org/10.1021/ja051306e
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
Bourgain, J., & Kaloshin, V. (2005). On diffusion in high-dimensional Hamiltonian systems. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2004.09.006
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, C., Sanvido, M., & Henzinger, T. A. (2005). A programmable microkernel for real-time systems (pp. 35–45). Presented at the VEE: Virtual Execution Environments, ACM. https://doi.org/10.1145/1064979.1064986
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger, T. A., Majumdar, R., & Raskin, J. (2005). A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1042038.1042039
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, T. A., Majumdar, R., & Prabhu, V. (2005). Quantifying similarities between timed systems (Vol. 3829, pp. 226–241). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11603009_18
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Permissive interfaces (pp. 31–40). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1081706.1081713
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger, T. A., Kirsch, C., & Matic, S. (2005). Composable code generation for distributed Giotto (pp. 21–30). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. https://doi.org/10.1145/1065910.1065914
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen, L., Henzinger, T. A., & Raskin, J. (2005). Automatic rectangular refinement of affine hybrid systems (Vol. 3829, pp. 144–161). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/DOI: 10.1007/11603009_13
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, K., & Henzinger, T. A. (2005). Semiperfect-information games (Vol. 3821, pp. 1–18). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11590156_1
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2005). The complexity of stochastic Rabin and Streett games (Vol. 3580, pp. 878–890). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/11523468_71
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2005). Mean-payoff parity games (pp. 178–187). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2005.26
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, A., Chatterjee, K., Henzinger, T. A., Kupferman, O., & Majumdar, R. (2005). Verifying quantitative properties using bound functions (Vol. 3725, pp. 50–64). Presented at the CHARME: Correct Hardware Design and Verification Methods, Springer. https://doi.org/10.1007/11560548_7
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer, D., Chakrabarti, A., & Henzinger, T. A. (2005). Web service interfaces (pp. 148–159). Presented at the WWW: World Wide Web Conference, ACM. https://doi.org/10.1145/1060745.1060770
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Checking memory safety with BLAST (Vol. 3442, pp. 2–18). Presented at the FASE: Fundamental Approaches To Software Engineering, Springer. https://doi.org/10.1007/978-3-540-31984-9_2
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, L., & Henzinger, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer. https://doi.org/10.1007/1-4020-3532-2_3
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.07.033
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2005). Counterfactual quantum computation (Vol. 1, pp. 365–367). Presented at the QELS: Quantum Electronics and Laser Science, IEEE. https://doi.org/ 10.1109/QELS.2005.1548783
View | DOI
 

2005 | Journal Article | IST-REx-ID: 11120
HETZER, M. W., Walther, T. C., & Mattaj, I. W. (2005). Pushing the envelope: Structure, function, and dynamics of the nuclear periphery. Annual Review of Cell and Developmental Biology. Annual Reviews. https://doi.org/10.1146/annurev.cellbio.21.090704.151152
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 1740
Costantini, G., Rastelli, A., Manzano, C., Acosta Diaz, P., Katsaros, G., Songmuang, R., … Kern, K. (2005). Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. Elsevier. https://doi.org/10.1016/j.jcrysgro.2004.12.047
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1741
Denker, U., Rastelli, A., Stoffel, M., Tersoff, J., Katsaros, G., Costantini, G., … Schmidt, O. (2005). Lateral motion of SiGe islands driven by surface-mediated alloying. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.94.216103
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1742
Katsaros, G., Costantini, G., Stoffel, M., Esteban, R., Bittner, A., Rastelli, A., … Kern, K. (2005). Kinetic origin of island intermixing during the growth of Ge on Si (001). Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.72.195320
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Zhong, Z., Katsaros, G., Stoffel, M., Costantini, G., Kern, K., Schmidt, O., … Bauer, G. (2005). Periodic pillar structures by Si etching of multilayer GeSi/Si islands. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/1.2150278
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1744
Katsaros, G., Darwazeh, I., & Lane, P. (2005). Non linear transmission effects in duobinary and dicode optical systems. IEE Proceedings - Optoelectronics. Institute of Electrical Engineers. https://doi.org/10.1049/ip-opt:20045067
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1795
Siegert, S., Thaler, S., Wagner, R., & Schnierle, B. (2005). Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors. AIDS Research and Therapy. BioMed Central. https://doi.org/10.1186/1742-6405-2-7
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1962
Hinchliffe, P., & Sazanov, L. A. (2005). Biochemistry: Organization of iron-sulfur clusters in respiratory complex I. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1113988
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
de Bono, M., & Villu Maricq, A. (2005). Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. Annual Reviews. https://doi.org/10.1146/annurev.neuro.27.070203.144259
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2005

Search

Filter Publications