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: 3933
The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node
M.K. Sixt, N. Kanazawa, M. Selg, T. Samson, G. Roos, D. Reinhardt, R. Pabst, M. Lutz, L. Sorokin, Immunity 22 (2005) 19–29.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate
J. Sohn, J. Parks, G. Buhrman, P. Brown, K. Kristjánsdóttir, A. Safi, H. Edelsbrunner, W. Yang, J. Rudolph, Biochemistry 44 (2005) 16563–16573.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Coarse and reliable geometric alignment for protein docking
Y. Wang, P. Agarwal, P. Brown, H. Edelsbrunner, J. Rudolph, in:, World Scientific Publishing, 2005, pp. 64–75.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin
F. Ulrich, M. Krieg, E. Schötz, V. Link, I. Castanon, V. Schnabel, A. Taubenberger, D. Müller, P. Puech, C.-P.J. Heisenberg, Developmental Cell 9 (2005) 555–564.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
The limitations of adaptive dynamics as a model of evolution
N.H. Barton, J. Polechova, Journal of Evolutionary Biology 18 (2005) 1186–1190.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, C.-P.J. Heisenberg, Journal of Cell Science 118 (2005) 4199–4206.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Shield formation at the onset of zebrafish gastrulation
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, C.-P.J. Heisenberg, Development 132 (2005) 1187–1198.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Speciation through competition: A critical review
J. Polechova, N.H. Barton, Evolution; International Journal of Organic Evolution 59 (2005) 1194–1210.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Evolution of recombination due to random drift
N.H. Barton, S. Otto, Genetics 169 (2005) 2353–2370.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Theoretical models of selection and mutationon quantitative traits
T. Johnson, N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 360 (2005) 1411–1425.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4404
Synthesis of interface specifications for Java classes
R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Trading end-to-end latency for composability
S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.
View | DOI
 

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
 

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
 

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
 

2005 | Conference Paper | IST-REx-ID: 4456
Permissive interfaces
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
View | DOI
 

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
 

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
 

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
 

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
 

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
 

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
 

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.)
 

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
 

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
 

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
 

2005 | Conference Paper | IST-REx-ID: 4624
Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
View | DOI
 

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
 

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
 

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
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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
 

2005 | Journal Article | IST-REx-ID: 9491 | OA
DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes
R.K. Tran, J.G. Henikoff, D. Zilberman, R.F. Ditt, S.E. Jacobsen, S. Henikoff, Current Biology 15 (2005) 154–159.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 9514 | OA
Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis
R.K. Tran, D. Zilberman, C. de Bustos, R.F. Ditt, J.G. Henikoff, A.M. Lindroth, J. Delrow, T. Boyle, S. Kwong, T.D. Bryson, S.E. Jacobsen, S. Henikoff, Genome Biology 6 (2005).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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
 

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
 

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
 

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
 
 

2005 | Journal Article | IST-REx-ID: 878
In search of the limits of evolution
F. Kondrashov, Nature Genetics 37 (2005) 9–10.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 882
Prediction of pathogenic mutations in mitochondrially encoded human tRNAs
F. Kondrashov, Human Molecular Genetics 14 (2005) 2415–2419.
View | DOI
 
 

2005 | Journal Article | IST-REx-ID: 893
A universal trend of amino acid gain and loss in protein evolution
I. Jordan, F. Kondrashov, I. Adzhubeǐ, Y. Wolf, E. Koonin, A. Kondrashov, S. Sunyaev, Nature 433 (2005) 633–638.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 9529
Epigenetic inheritance in Arabidopsis: Selective silence
D. Zilberman, S. Henikoff, Current Opinion in Genetics and Development 15 (2005) 557–562.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 13431
Cutting into solids with micropatterned gels
S.K. Smoukov, K.J.M. Bishop, R. Klajn, C.J. Campbell, B.A. Grzybowski, Advanced Materials 17 (2005) 1361–1365.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 13433
Applications, properties and synthesis of w-functionalized n-alkanethiols and disulfides - the building blocks of self-assembled monolayers
D. Witt, R. Klajn, P. Barski, B. Grzybowski, Current Organic Chemistry 8 (2005) 1763–1797.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 13432
One-step multilevel microfabrication by reaction−diffusion
C.J. Campbell, R. Klajn, M. Fialkowski, B.A. Grzybowski, Langmuir 21 (2005) 418–423.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2005

Search

Filter Publications