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.
111 Publications
2004 | Book Review | IST-REx-ID: 3616
Speciation: Why, how, where and when?
N.H. Barton, Current Biology 14 (2004) R603–R604.
View
| DOI
N.H. Barton, Current Biology 14 (2004) R603–R604.
2004 | Conference Paper | IST-REx-ID: 3688
Document capture using stereo vision
A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2004, pp. 198–200.
View
| DOI
| Download (ext.)
A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2004, pp. 198–200.
2004 | Journal Article | IST-REx-ID: 3810
Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids
D. Oliver, C. Lien, M. Soom, T. Baukrowitz, P.M. Jonas, B. Fakler, Science 304 (2004) 265–70.
View
| DOI
D. Oliver, C. Lien, M. Soom, T. Baukrowitz, P.M. Jonas, B. Fakler, Science 304 (2004) 265–70.
2004 | Conference Paper | IST-REx-ID: 3894
On Nash equilibria in stochastic games
K. Chatterjee, R. Majumdar, M. Jurdziński, in:, Springer, 2004, pp. 26–40.
View
| DOI
K. Chatterjee, R. Majumdar, M. Jurdziński, in:, Springer, 2004, pp. 26–40.
2004 | Conference Paper | IST-REx-ID: 3895
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2004, pp. 160–169.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2004, pp. 160–169.
2004 | Journal Article | IST-REx-ID: 3931
Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells
H. Zhang, S. Baader, M.K. Sixt, J. Kappler, U. Rauch, Journal of Histochemistry and Cytochemistry 52 (2004) 915–922.
View
| DOI
H. Zhang, S. Baader, M.K. Sixt, J. Kappler, U. Rauch, Journal of Histochemistry and Cytochemistry 52 (2004) 915–922.
2004 | Journal Article | IST-REx-ID: 3929
HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane
V. Witte, B. Laffert, O. Rosorius, P. Lischka, K. Blume, G. Galler, A. Stilper, D. Willbold, P. D’Aloja, M.K. Sixt, J. Kolanus, M. Ott, W. Kolanus, G. Schuler, A. Baur, Molecular Cell 13 (2004) 179–190.
View
| DOI
V. Witte, B. Laffert, O. Rosorius, P. Lischka, K. Blume, G. Galler, A. Stilper, D. Willbold, P. D’Aloja, M.K. Sixt, J. Kolanus, M. Ott, W. Kolanus, G. Schuler, A. Baur, Molecular Cell 13 (2004) 179–190.
2004 | Journal Article | IST-REx-ID: 3990
Computing the writhing number of a polygonal knot
P. Agarwal, H. Edelsbrunner, Y. Wang, Discrete & Computational Geometry 32 (2004) 37–53.
View
| DOI
P. Agarwal, H. Edelsbrunner, Y. Wang, Discrete & Computational Geometry 32 (2004) 37–53.
2004 | Journal Article | IST-REx-ID: 4224
Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model
K. Kruse, P. Pantazis, M.T. Bollenbach, F. Julicher, M. Gonzalez Gaitan, Development 131 (2004) 4843–4856.
View
| DOI
K. Kruse, P. Pantazis, M.T. Bollenbach, F. Julicher, M. Gonzalez Gaitan, Development 131 (2004) 4843–4856.
2004 | Book Chapter | IST-REx-ID: 4239
A Mechanism for the Prebiotic Emergence of Proteins
H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, J. Seckbach, J. Chela Flores, T. Owen, F. Raulin (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.
View
| DOI
H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, J. Seckbach, J. Chela Flores, T. Owen, F. Raulin (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.
2004 | Journal Article | IST-REx-ID: 4253
Coalescence in a Random Background
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
View
| Download (ext.)
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
2004 | Book Review | IST-REx-ID: 3142
Control of neuronal phenotype: What targets tell the cell bodies
S. Hippenmeyer, I. Kramer, S. Arber, Trends in Neurosciences 27 (2004) 482–488.
View
| DOI
S. Hippenmeyer, I. Kramer, S. Arber, Trends in Neurosciences 27 (2004) 482–488.
2004 | Journal Article | IST-REx-ID: 3178
An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision
Y. Boykov, V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 1124–1137.
View
| DOI
Y. Boykov, V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 1124–1137.
2004 | Journal Article | IST-REx-ID: 3173
What energy functions can be minimized via graph cuts?
V. Kolmogorov, R. Zabih, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 147–159.
View
| DOI
V. Kolmogorov, R. Zabih, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 147–159.
2004 | Journal Article | IST-REx-ID: 3172
Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method
V. Kolmogorov, T. Nguyen, A. Nuval, P. Spincemaille, M. Prince, R. Zabih, Y. Wang, Magnetic Resonance in Medicine 52 (2004) 362–367.
View
| DOI
V. Kolmogorov, T. Nguyen, A. Nuval, P. Spincemaille, M. Prince, R. Zabih, Y. Wang, Magnetic Resonance in Medicine 52 (2004) 362–367.
2004 | Conference Paper | IST-REx-ID: 3177
Spatially coherent clustering using graph cuts
R. Zabih, V. Kolmogorov, in:, IEEE, 2004, pp. 437–444.
View
| DOI
R. Zabih, V. Kolmogorov, in:, IEEE, 2004, pp. 437–444.
2004 | Conference Paper | IST-REx-ID: 3179
"GrabCut" - Interactive foreground extraction using iterated graph cuts
C. Rother, V. Kolmogorov, A. Blake, in:, ACM, 2004, pp. 309–314.
View
| DOI
| Download (ext.)
C. Rother, V. Kolmogorov, A. Blake, in:, ACM, 2004, pp. 309–314.
2004 | Journal Article | IST-REx-ID: 3420
Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy
A. Kedrov, C. Ziegler, H.L. Janovjak, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 340 (2004) 1143–1152.
View
| DOI
A. Kedrov, C. Ziegler, H.L. Janovjak, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 340 (2004) 1143–1152.
2004 | Journal Article | IST-REx-ID: 3419
Probing the energy landscape of the membrane protein bacteriorhodopsin
H.L. Janovjak, J. Struckmeier, M. Hubain, M. Kessler, A. Kedrov, D. Mueller, Structure 12 (2004) 871–879.
View
| DOI
H.L. Janovjak, J. Struckmeier, M. Hubain, M. Kessler, A. Kedrov, D. Mueller, Structure 12 (2004) 871–879.
2004 | Book Chapter | IST-REx-ID: 3575
Jacobi sets of multiple Morse functions
H. Edelsbrunner, J. Harer, in:, Foundations of Computational Mathematics, Springer, 2004, pp. 37–57.
View
| DOI
H. Edelsbrunner, J. Harer, in:, Foundations of Computational Mathematics, Springer, 2004, pp. 37–57.
2004 | Book Chapter | IST-REx-ID: 3574
Biological applications of computational topology
H. Edelsbrunner, in:, Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–1412.
View
| Download (ext.)
H. Edelsbrunner, in:, Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–1412.
2004 | Book Review | IST-REx-ID: 3595
Genome size: Does bigger mean worse?
B. Charlesworth, N.H. Barton, Current Biology 14 (2004) R233–R235.
View
| DOI
B. Charlesworth, N.H. Barton, Current Biology 14 (2004) R233–R235.
2004 | Journal Article | IST-REx-ID: 3614
Effects of allele frequency changes on variance components under a general model of epistasis
N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 58 (2004) 2111–2132.
View
| DOI
N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 58 (2004) 2111–2132.
2004 | Journal Article | IST-REx-ID: 3615
Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions
M. Turelli, N.H. Barton, Genetics 166 (2004) 1053–1079.
View
| DOI
M. Turelli, N.H. Barton, Genetics 166 (2004) 1053–1079.
2004 | Journal Article | IST-REx-ID: 3807 | 
Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity
B. Kampa, J. Clements, P.M. Jonas, G. Stuart, Journal of Physiology 556 (2004) 337–45.
View
| DOI
| Download (ext.)
B. Kampa, J. Clements, P.M. Jonas, G. Stuart, Journal of Physiology 556 (2004) 337–45.
2004 | Journal Article | IST-REx-ID: 3809
Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Nature 429 (2004) 184–7.
View
| DOI
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Nature 429 (2004) 184–7.
2004 | Journal Article | IST-REx-ID: 3805
Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons
P.M. Jonas, J. Bischofberger, D. Fricker, R. Miles, Trends in Neurosciences 27 (2004) 30–40.
View
| DOI
P.M. Jonas, J. Bischofberger, D. Fricker, R. Miles, Trends in Neurosciences 27 (2004) 30–40.
2004 | Journal Article | IST-REx-ID: 3918
Production of winged and wingless males in the ant, Cardiocondyla minutior
J. Heinze, A. Böttcher, S. Cremer, Insectes Sociaux 51 (2004) 275–278.
View
| DOI
J. Heinze, A. Böttcher, S. Cremer, Insectes Sociaux 51 (2004) 275–278.
2004 | Conference Paper | IST-REx-ID: 3988
Local search heuristic for rigid protein docking
V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Springer, 2004, pp. 218–229.
View
| DOI
V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Springer, 2004, pp. 218–229.
2004 | Journal Article | IST-REx-ID: 3986
The area derivative of a space-filling diagram
R. Bryant, H. Edelsbrunner, P. Koehl, M. Levitt, Discrete & Computational Geometry 32 (2004) 293–308.
View
| DOI
R. Bryant, H. Edelsbrunner, P. Koehl, M. Levitt, Discrete & Computational Geometry 32 (2004) 293–308.
2004 | Journal Article | IST-REx-ID: 3984
A topological hierarchy for functions on triangulated surfaces
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 385–396.
View
| DOI
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 385–396.
2004 | Journal Article | IST-REx-ID: 3987
Simplification of three-dimensional density maps
V. Natarajan, H. Edelsbrunner, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 587–597.
View
| DOI
V. Natarajan, H. Edelsbrunner, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 587–597.
2004 | Journal Article | IST-REx-ID: 3985
Loops in Reeb graphs of 2-manifolds
K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, Discrete & Computational Geometry 32 (2004) 231–244.
View
| DOI
K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, Discrete & Computational Geometry 32 (2004) 231–244.
2004 | Conference Paper | IST-REx-ID: 3989
Local and global comparison of continuous functions
H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, in:, IEEE, 2004, pp. 275–280.
View
| DOI
H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, in:, IEEE, 2004, pp. 275–280.
2004 | Journal Article | IST-REx-ID: 4172
Gastrulation dynamics: cells move into focus
J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.
View
| DOI
J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.
2004 | Journal Article | IST-REx-ID: 4238
Dynamic response of cancer under the influence of immunological activity and therapy
H. de Vladar, J. González, Journal of Theoretical Biology 227 (2004) 335–348.
View
| DOI
H. de Vladar, J. González, Journal of Theoretical Biology 227 (2004) 335–348.
2004 | Book Chapter | IST-REx-ID: 4230
A mechanism for the prebiotic emergence of proteins
H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, A. Hanslmeier, S. Kempe, J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.
View
H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, A. Hanslmeier, S. Kempe, J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.
2004 | Thesis | IST-REx-ID: 4236
Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares
H. de Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.
View
| DOI
H. de Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.
2004 | Conference Paper | IST-REx-ID: 4372
Monitoring Temporal Properties of Continuous Signals
O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.
View
| DOI
O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.
2004 | Thesis | IST-REx-ID: 4424
Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
View
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
2004 | Conference Paper | IST-REx-ID: 4445
A typed assembly language for real-time programs
T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
View
| DOI
T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
2004 | Conference Paper | IST-REx-ID: 4458
Abstractions from proofs
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, ACM, 2004, pp. 232–244.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, ACM, 2004, pp. 232–244.
2004 | Book Chapter | IST-REx-ID: 4461
Extreme model checking
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
2004 | Conference Paper | IST-REx-ID: 4459
Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
2004 | Conference Paper | IST-REx-ID: 4525
Event-driven programming with logical execution times
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.
View
| DOI
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.
2004 | Conference Paper | IST-REx-ID: 4555
Trading memory for randomness
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
View
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
2004 | Conference Paper | IST-REx-ID: 4558
Quantitative stochastic parity games
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
View
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
2004 | Journal Article | IST-REx-ID: 4556
Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
View
| DOI
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
2004 | Conference Paper | IST-REx-ID: 4578
The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
2004 | Conference Paper | IST-REx-ID: 4577
An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.