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, et al. Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators. EMBO Journal. 2005;24(10):1874-1885. doi:10.1038/sj.emboj.7600659
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2895
Carneiro J, Paixao T, Milutinovic D, et al. Immunological self tolerance: Lessons from mathematical modeling. Journal of Computational and Applied Mathematics. 2005;184(1):77-100. doi:10.1016/j.cam.2004.10.025
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 3001
Paciorek T, Zažímalová E, Ruthardt N, et al. Auxin inhibits endocytosis and promotes its own efflux from cells. Nature. 2005;435(7046):1251-1256. doi:10.1038/nature03633
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten A, Vanneste S, Wiśniewska J, et al. Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. 2005;132(20):4521-4531. doi:10.1242/dev.02027
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers D, Sauer M, Meurette O, et al. Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. 2005;17(9):2517-2526. doi:10.1105/tpc.105.034637
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal A, Sokolova O, Robins D, et al. Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. 2005;12(1):26-31. doi:10.1038/nsmb870
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer S, Vrieseling E, Sigrist M, et al. A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. 2005;3(5):0878-0890. doi:10.1371/journal.pbio.0030159
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
Rother C, Kumar S, Kolmogorov V, Blake A. Digital tapestry. In: Vol 1. IEEE; 2005:589-596. doi: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. Bi-layer segmentation of binocular stereo video. In: IEEE; 2005:1186-1186. doi:10.1109/CVPR.2005.90
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
Kolmogorov V, Wainwright M. On the optimality of tree reweighted max product message passing. In: AUAI Press; 2005:316-323.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov V, Boykov Y. What metrics can be approximated by geo cuts or global optimization of length area and flux. In: Vol 1. IEEE; 2005:564-571. doi:10.1109/ICCV.2005.252
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. Bi-layer segmentation of binocular stereo video. In: Vol 2. IEEE; 2005:407-414. doi:10.1109/CVPR.2005.91
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
Bellare M, Pietrzak KZ, Rogaway P. Improved security analyses for CBC MACs. In: Vol 3621. Springer; 2005:527-545. doi:10.1007/11535218_32
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Dodis Y, Oliveira R, Pietrzak KZ. On the generic insecurity of the full domain hash. In: Vol 3621. Springer; 2005:449-466. doi:10.1007/11535218_27
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Pietrzak KZ. Composition does not imply adaptive security. In: Vol 3621. Springer; 2005:55-65. doi:10.1007/11535218_4
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak HL, Sapra T, Mueller D. Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. 2005;88(5):37-39. doi:10.1529/biophysj.105.059774
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn M, Janovjak HL, Hubain M, Mueller D. Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. 2005;218(2):125-132. doi:10.1111/j.1365-2818.2005.01478.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak HL, Struckmeier J, Mueller D. Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal. 2005;34(1):91-96. doi:10.1007/s00249-004-0430-3
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels TP, Abbott LF. Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. 2005;25(46):10786-10795. doi:10.1523/jneurosci.3508-05.2005
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
Vogels TP, Rajan K, Abbott LF. Neural network dynamics. Annual Review of Neuroscience. 2005;28(1):357-376. doi: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. Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. 2005;14(21):3191-3201. doi:10.1093/hmg/ddi350
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 8492
Schanda P, Brutscher B. 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. 2005;127(22):8014-8015. doi:10.1021/ja051306e
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch C, Sanvido M, Henzinger TA. A programmable microkernel for real-time systems. In: ACM; 2005:35-45. doi:10.1145/1064979.1064986
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger TA, Majumdar R, Prabhu V. Quantifying similarities between timed systems. In: Vol 3829. Springer; 2005:226-241. doi:10.1007/11603009_18
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger TA, Jhala R, Majumdar R. Permissive interfaces. In: ACM; 2005:31-40. doi:10.1145/1081706.1081713
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger TA, Kirsch C, Matic S. Composable code generation for distributed Giotto. In: ACM; 2005:21-30. doi:10.1145/1065910.1065914
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen L, Henzinger TA, Raskin J. Automatic rectangular refinement of affine hybrid systems. In: Vol 3829. Springer; 2005:144-161. doi:DOI: 10.1007/11603009_13
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee K, Henzinger TA. Semiperfect-information games. In: Vol 3821. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:1-18. doi:10.1007/11590156_1
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. The complexity of stochastic Rabin and Streett games. In: Vol 3580. Springer; 2005:878-890. doi:10.1007/11523468_71
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. Mean-payoff parity games. In: IEEE; 2005:178-187. doi:10.1109/LICS.2005.26
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. Counterexample-guided planning. In: AUAI Press; 2005:104-111.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. Verifying quantitative properties using bound functions. In: Vol 3725. Springer; 2005:50-64. doi:10.1007/11560548_7
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. Web service interfaces. In: ACM; 2005:148-159. doi:10.1145/1060745.1060770
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. Checking memory safety with BLAST. In: Vol 3442. Springer; 2005:2-18. doi:10.1007/978-3-540-31984-9_2
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. Interface-based design. In: Vol 195. Springer; 2005:83-104. doi:10.1007/1-4020-3532-2_3
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. Theoretical Computer Science. 2005;345(1):139-170. doi: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. Counterfactual quantum computation. In: Vol 1. IEEE; 2005:365-367. doi: 10.1109/QELS.2005.1548783
View | DOI
 

2005 | Journal Article | IST-REx-ID: 11120
HETZER MW, Walther TC, Mattaj IW. Pushing the envelope: Structure, function, and dynamics of the nuclear periphery. Annual Review of Cell and Developmental Biology. 2005;21:347-380. doi: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, et al. Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. 2005;278(1-4):38-45. doi:10.1016/j.jcrysgro.2004.12.047
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1741
Denker U, Rastelli A, Stoffel M, et al. Lateral motion of SiGe islands driven by surface-mediated alloying. Physical Review Letters. 2005;94(21). doi:10.1103/PhysRevLett.94.216103
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1742
Katsaros G, Costantini G, Stoffel M, et al. Kinetic origin of island intermixing during the growth of Ge on Si (001). Physical Review B - Condensed Matter and Materials Physics. 2005;72(19). doi:10.1103/PhysRevB.72.195320
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Zhong Z, Katsaros G, Stoffel M, et al. Periodic pillar structures by Si etching of multilayer GeSi/Si islands. Applied Physics Letters. 2005;87(26):1-3. doi:10.1063/1.2150278
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1744
Katsaros G, Darwazeh I, Lane P. Non linear transmission effects in duobinary and dicode optical systems. IEE Proceedings - Optoelectronics. 2005;152(6):344-352. doi:10.1049/ip-opt:20045067
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 1962
Hinchliffe P, Sazanov LA. Biochemistry: Organization of iron-sulfur clusters in respiratory complex I. Science. 2005;309(5735):771-774. doi:10.1126/science.1113988
View | DOI
 

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

Filters and Search Terms

year=2005

Search

Filter Publications