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 | 
Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators
D. Weijers, E. Benková, K. Jäger, A. Schlereth, T. Hamann, M. Kientz, J. Wilmoth, J. Reed, G. Jürgens, EMBO Journal 24 (2005) 1874–1885.
View
| DOI
| Download (ext.)
D. Weijers, E. Benková, K. Jäger, A. Schlereth, T. Hamann, M. Kientz, J. Wilmoth, J. Reed, G. Jürgens, EMBO Journal 24 (2005) 1874–1885.
2005 | Journal Article | IST-REx-ID: 2895
Immunological self tolerance: Lessons from mathematical modeling
J. Carneiro, T. Paixao, D. Milutinovic, J. Sousa, K. Leon, R. Gardner, J. Faro, Journal of Computational and Applied Mathematics 184 (2005) 77–100.
View
| DOI
J. Carneiro, T. Paixao, D. Milutinovic, J. Sousa, K. Leon, R. Gardner, J. Faro, Journal of Computational and Applied Mathematics 184 (2005) 77–100.
2005 | Journal Article | IST-REx-ID: 3000
Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first?
P. Dhonukshe, J. Kleine Vehn, J. Friml, Protoplasma 226 (2005) 67–73.
View
| DOI
P. Dhonukshe, J. Kleine Vehn, J. Friml, Protoplasma 226 (2005) 67–73.
2005 | Journal Article | IST-REx-ID: 3001
Auxin inhibits endocytosis and promotes its own efflux from cells
T. Paciorek, E. Zažímalová, N. Ruthardt, J. Petrášek, Y. Stierhof, J. Kleine Vehn, D. Morris, N. Emans, G. Jürgens, N. Geldner, J. Friml, Nature 435 (2005) 1251–1256.
View
| DOI
T. Paciorek, E. Zažímalová, N. Ruthardt, J. Petrášek, Y. Stierhof, J. Kleine Vehn, D. Morris, N. Emans, G. Jürgens, N. Geldner, J. Friml, Nature 435 (2005) 1251–1256.
2005 | Journal Article | IST-REx-ID: 3003
Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression
A. Vieten, S. Vanneste, J. Wiśniewska, E. Benková, R. Benjamins, T. Beeckman, C. Luschnig, J. Friml, Development 132 (2005) 4521–4531.
View
| DOI
A. Vieten, S. Vanneste, J. Wiśniewska, E. Benková, R. Benjamins, T. Beeckman, C. Luschnig, J. Friml, Development 132 (2005) 4521–4531.
2005 | Journal Article | IST-REx-ID: 3004
Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis
D. Weijers, M. Sauer, O. Meurette, J. Friml, K. Ljung, G. Sandberg, P. Hooykaas, R. Offringa, Plant Cell 17 (2005) 2517–2526.
View
| DOI
D. Weijers, M. Sauer, O. Meurette, J. Friml, K. Ljung, G. Sandberg, P. Hooykaas, R. Offringa, Plant Cell 17 (2005) 2517–2526.
2005 | Journal Article | IST-REx-ID: 3141
Conformational changes in the Arp2 3 complex leading to actin nucleation
A. Rodal, O. Sokolova, D. Robins, K. Daugherty, S. Hippenmeyer, H. Riezman, N. Grigorieff, B. Goode, Nature Structural and Molecular Biology 12 (2005) 26–31.
View
| DOI
A. Rodal, O. Sokolova, D. Robins, K. Daugherty, S. Hippenmeyer, H. Riezman, N. Grigorieff, B. Goode, Nature Structural and Molecular Biology 12 (2005) 26–31.
2005 | Journal Article | IST-REx-ID: 3143
A developmental switch in the response of DRG neurons to ETS transcription factor signaling
S. Hippenmeyer, E. Vrieseling, M. Sigrist, T. Portmann, C. Laengle, D. Ladle, S. Arber, PLoS Biology 3 (2005) 0878–0890.
View
| DOI
S. Hippenmeyer, E. Vrieseling, M. Sigrist, T. Portmann, C. Laengle, D. Ladle, S. Arber, PLoS Biology 3 (2005) 0878–0890.
2005 | Conference Paper | IST-REx-ID: 3175
Digital tapestry
C. Rother, S. Kumar, V. Kolmogorov, A. Blake, in:, IEEE, 2005, pp. 589–596.
View
| DOI
| Download (ext.)
C. Rother, S. Kumar, V. Kolmogorov, A. Blake, in:, IEEE, 2005, pp. 589–596.
2005 | Conference Paper | IST-REx-ID: 3176
Bi-layer segmentation of binocular stereo video
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, in:, IEEE, 2005, pp. 1186–1186.
View
| DOI
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, in:, IEEE, 2005, pp. 1186–1186.
2005 | Conference Paper | IST-REx-ID: 3181
On the optimality of tree reweighted max product message passing
V. Kolmogorov, M. Wainwright, in:, AUAI Press, 2005, pp. 316–323.
View
| Download (ext.)
V. Kolmogorov, M. Wainwright, in:, AUAI Press, 2005, pp. 316–323.
2005 | Conference Paper | IST-REx-ID: 3182
What metrics can be approximated by geo cuts or global optimization of length area and flux
V. Kolmogorov, Y. Boykov, in:, IEEE, 2005, pp. 564–571.
View
| DOI
V. Kolmogorov, Y. Boykov, in:, IEEE, 2005, pp. 564–571.
2005 | Conference Paper | IST-REx-ID: 3183
Bi-layer segmentation of binocular stereo video
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, in:, IEEE, 2005, pp. 407–414.
View
| DOI
| Download (ext.)
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, in:, IEEE, 2005, pp. 407–414.
2005 | Conference Paper | IST-REx-ID: 3211
Improved security analyses for CBC MACs
M. Bellare, K.Z. Pietrzak, P. Rogaway, in:, Springer, 2005, pp. 527–545.
View
| DOI
M. Bellare, K.Z. Pietrzak, P. Rogaway, in:, Springer, 2005, pp. 527–545.
2005 | Conference Paper | IST-REx-ID: 3212
On the generic insecurity of the full domain hash
Y. Dodis, R. Oliveira, K.Z. Pietrzak, in:, Springer, 2005, pp. 449–466.
View
| DOI
Y. Dodis, R. Oliveira, K.Z. Pietrzak, in:, Springer, 2005, pp. 449–466.
2005 | Conference Paper | IST-REx-ID: 3213
Composition does not imply adaptive security
K.Z. Pietrzak, in:, Springer, 2005, pp. 55–65.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2005, pp. 55–65.
2005 | Journal Article | IST-REx-ID: 3416 |
Complex stability of single proteins explored by forced unfolding experiments
H.L. Janovjak, T. Sapra, D. Mueller, Biophysical Journal 88 (2005) 37–39.
View
| DOI
| Download (ext.)
H.L. Janovjak, T. Sapra, D. Mueller, Biophysical Journal 88 (2005) 37–39.
2005 | Journal Article | IST-REx-ID: 3417
Automated alignment and pattern recognition of single-molecule force spectroscopy data
M. Kuhn, H.L. Janovjak, M. Hubain, D. Mueller, Journal of Microscopy 218 (2005) 125–132.
View
| DOI
M. Kuhn, H.L. Janovjak, M. Hubain, D. Mueller, Journal of Microscopy 218 (2005) 125–132.
2005 | Journal Article | IST-REx-ID: 3418
Hydrodynamic effects in fast AFM single molecule force measurements
H.L. Janovjak, J. Struckmeier, D. Mueller, European Biophysics Journal 34 (2005) 91–96.
View
| DOI
H.L. Janovjak, J. Struckmeier, D. Mueller, European Biophysics Journal 34 (2005) 91–96.
2005 | Journal Article | IST-REx-ID: 8028 |
Signal propagation and logic gating in networks of integrate-and-fire neurons
T.P. Vogels, L.F. Abbott, Journal of Neuroscience 25 (2005) 10786–10795.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T.P. Vogels, L.F. Abbott, Journal of Neuroscience 25 (2005) 10786–10795.
2005 | Journal Article | IST-REx-ID: 8029
Neural network dynamics
T.P. Vogels, K. Rajan, L.F. Abbott, Annual Review of Neuroscience 28 (2005) 357–376.
View
| DOI
| PubMed | Europe PMC
T.P. Vogels, K. Rajan, L.F. Abbott, Annual Review of Neuroscience 28 (2005) 357–376.
2005 | Journal Article | IST-REx-ID: 843
Distribution of the strength of selection against amino acid replacements in human proteins
L. Yampolsky, F. Kondrashov, A. Kondrashov, Human Molecular Genetics 14 (2005) 3191–3201.
View
| DOI
L. Yampolsky, F. Kondrashov, A. Kondrashov, Human Molecular Genetics 14 (2005) 3191–3201.
2005 | Journal Article | IST-REx-ID: 8491
SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds
P. Schanda, Ē. Kupče, B. Brutscher, Journal of Biomolecular NMR 33 (2005) 199–211.
View
| DOI
P. Schanda, Ē. Kupče, B. Brutscher, Journal of Biomolecular NMR 33 (2005) 199–211.
2005 | Journal Article | IST-REx-ID: 8492
Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds
P. Schanda, B. Brutscher, Journal of the American Chemical Society 127 (2005) 8014–8015.
View
| DOI
P. Schanda, B. Brutscher, Journal of the American Chemical Society 127 (2005) 8014–8015.
2005 | Journal Article | IST-REx-ID: 8516
On diffusion in high-dimensional Hamiltonian systems
J. Bourgain, V. Kaloshin, Journal of Functional Analysis 229 (2005) 1–61.
View
| DOI
J. Bourgain, V. Kaloshin, Journal of Functional Analysis 229 (2005) 1–61.
2005 | Conference Paper | IST-REx-ID: 4418
A programmable microkernel for real-time systems
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
View
| DOI
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
2005 | Journal Article | IST-REx-ID: 4454
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational Logic (TOCL) 6 (2005) 1–32.
View
| DOI
T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational Logic (TOCL) 6 (2005) 1–32.
2005 | Conference Paper | IST-REx-ID: 4455
Quantifying similarities between timed systems
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.
View
| DOI
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.
2005 | Conference Paper | IST-REx-ID: 4456
Permissive interfaces
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
2005 | Conference Paper | IST-REx-ID: 4457
Composable code generation for distributed Giotto
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
View
| DOI
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
2005 | Conference Paper | IST-REx-ID: 4536
Automatic rectangular refinement of affine hybrid systems
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
View
| DOI
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
2005 | Conference Paper | IST-REx-ID: 4541
Semiperfect-information games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
2005 | Conference Paper | IST-REx-ID: 4553
The complexity of stochastic Rabin and Streett games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
View
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
2005 | Conference Paper | IST-REx-ID: 4554
Mean-payoff parity games
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
2005 | Conference Paper | IST-REx-ID: 4557
Counterexample-guided planning
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
View
| Download (ext.)
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
2005 | Conference Paper | IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View
| DOI
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
2005 | Conference Paper | IST-REx-ID: 4576
Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
View
| DOI
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
2005 | Conference Paper | IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
2005 | Conference Paper | IST-REx-ID: 4624
Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
2005 | Journal Article | IST-REx-ID: 4625
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
2005 | Conference Paper | IST-REx-ID: 575
Counterfactual quantum computation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
View
| DOI
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
2005 | Journal Article | IST-REx-ID: 1740
Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
View
| DOI
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
2005 | Journal Article | IST-REx-ID: 1741
Lateral motion of SiGe islands driven by surface-mediated alloying
U. Denker, A. Rastelli, M. Stoffel, J. Tersoff, G. Katsaros, G. Costantini, K. Kern, N. Jin Phillipp, D. Jesson, O. Schmidt, Physical Review Letters 94 (2005).
View
| DOI
U. Denker, A. Rastelli, M. Stoffel, J. Tersoff, G. Katsaros, G. Costantini, K. Kern, N. Jin Phillipp, D. Jesson, O. Schmidt, Physical Review Letters 94 (2005).
2005 | Journal Article | IST-REx-ID: 1742
Kinetic origin of island intermixing during the growth of Ge on Si (001)
G. Katsaros, G. Costantini, M. Stoffel, R. Esteban, A. Bittner, A. Rastelli, U. Denker, O. Schmidt, K. Kern, Physical Review B - Condensed Matter and Materials Physics 72 (2005).
View
| DOI
G. Katsaros, G. Costantini, M. Stoffel, R. Esteban, A. Bittner, A. Rastelli, U. Denker, O. Schmidt, K. Kern, Physical Review B - Condensed Matter and Materials Physics 72 (2005).
2005 | Journal Article | IST-REx-ID: 1743
Periodic pillar structures by Si etching of multilayer GeSi/Si islands
Z. Zhong, G. Katsaros, M. Stoffel, G. Costantini, K. Kern, O. Schmidt, N. Jin Phillipp, G. Bauer, Applied Physics Letters 87 (2005) 1–3.
View
| DOI
Z. Zhong, G. Katsaros, M. Stoffel, G. Costantini, K. Kern, O. Schmidt, N. Jin Phillipp, G. Bauer, Applied Physics Letters 87 (2005) 1–3.
2005 | Journal Article | IST-REx-ID: 1744
Non linear transmission effects in duobinary and dicode optical systems
G. Katsaros, I. Darwazeh, P. Lane, IEE Proceedings - Optoelectronics 152 (2005) 344–352.
View
| DOI
G. Katsaros, I. Darwazeh, P. Lane, IEE Proceedings - Optoelectronics 152 (2005) 344–352.
2005 | Journal Article | IST-REx-ID: 1795
Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors
S. Siegert, S. Thaler, R. Wagner, B. Schnierle, AIDS Research and Therapy 2 (2005).
View
| DOI
S. Siegert, S. Thaler, R. Wagner, B. Schnierle, AIDS Research and Therapy 2 (2005).
2005 | Journal Article | IST-REx-ID: 1962
Biochemistry: Organization of iron-sulfur clusters in respiratory complex I
P. Hinchliffe, L.A. Sazanov, Science 309 (2005) 771–774.
View
| DOI
P. Hinchliffe, L.A. Sazanov, Science 309 (2005) 771–774.
2005 | Journal Article | IST-REx-ID: 6153
Neuronal substrates of complex behaviors in C. elegans
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
View
| DOI
| PubMed | Europe PMC
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
2005 | Journal Article | IST-REx-ID: 6154
Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
View
| DOI
| PubMed | Europe PMC
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.