Please note that IST 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.

98 Publications


2004 | Thesis | IST-REx-ID: 4236
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
 

2004 | Journal Article | IST-REx-ID: 4238
H. de Vladar and J. González, “Dynamic response of cancer under the influence of immunological activity and therapy,” Journal of Theoretical Biology, vol. 227, no. 3. Elsevier, pp. 335–348, 2004.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4239
H. de Vladar, R. Cipriani, B. Scharifker, and J. Bubis, “A Mechanism for the Prebiotic Emergence of Proteins,” in Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, vol. 7, J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, Eds. Springer, 2004, pp. 83–87.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
N. H. Barton, A. Etheridge, and A. Sturm, “Coalescence in a Random Background,” Annals of Applied Probability, vol. 14, no. 2. Institute of Mathematical Statistics, pp. 754–785, 2004.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” presented at the POPL: Principles of Programming Languages, 2004, pp. 232–244.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,” in Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–358.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Trading memory for randomness,” presented at the QEST: Quantitative Evaluation of Systems, 2004, pp. 206–217.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg, “Stack size analysis for interrupt-driven programs,” Information and Computation, vol. 194, no. 2. Elsevier, pp. 144–174, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
K. Chatterjee, M. Jurdziński, and T. A. Henzinger, “Quantitative stochastic parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2004, pp. 121–130.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “An eclipse plug-in for model checking,” presented at the IWPC: Program Comprehension, 2004, pp. 251–255.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating tests from counterexamples,” presented at the ICSE: Software Engineering, 2004, pp. 326–335.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
J. Friml et al., “A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux,” Science, vol. 306, no. 5697. American Association for the Advancement of Science, pp. 862–865, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
M. Duroux, A. Houben, K. Růžička, J. Friml, and K. Grasser, “The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome,” Plant Journal, vol. 40, no. 5. Wiley-Blackwell, pp. 660–671, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2999
M. Sauer and J. Friml, “In vitro culture of Arabidopsis embryos within their ovules,” Plant Journal, vol. 40, no. 5. Wiley-Blackwell, pp. 835–843, 2004.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3142
S. Hippenmeyer, I. Kramer, and S. Arber, “Control of neuronal phenotype: What targets tell the cell bodies,” Trends in Neurosciences, vol. 27, no. 8. Elsevier, pp. 482–488, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3172
V. Kolmogorov et al., “Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method,” Magnetic Resonance in Medicine, vol. 52, no. 2. Wiley-Blackwell, pp. 362–367, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3173
V. Kolmogorov and R. Zabih, “What energy functions can be minimized via graph cuts? ,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 26, no. 2. IEEE, pp. 147–159, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3177
R. Zabih and V. Kolmogorov, “Spatially coherent clustering using graph cuts,” presented at the CVPR: Computer Vision and Pattern Recognition, 2004, vol. 2, pp. 437–444.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3178
Y. Boykov and V. Kolmogorov, “An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 26, no. 9. IEEE, pp. 1124–1137, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3179
C. Rother, V. Kolmogorov, and A. Blake, “"GrabCut" - Interactive foreground extraction using iterated graph cuts ,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, 2004, vol. 23, no. 3, pp. 309–314.
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3208
U. Maurer and K. Z. Pietrzak, “Composition of random systems: When two weak make one strong,” presented at the TCC: Theory of Cryptography Conference, 2004, vol. 2951, pp. 410–427.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3419
H. L. Janovjak, J. Struckmeier, M. Hubain, M. Kessler, A. Kedrov, and D. Mueller, “Probing the energy landscape of the membrane protein bacteriorhodopsin,” Structure, vol. 12, no. 5. Cell Press, pp. 871–879, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3420
A. Kedrov, C. Ziegler, H. L. Janovjak, W. Kühlbrandt, and D. Mueller, “Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy,” Journal of Molecular Biology, vol. 340, no. 5. Elsevier, pp. 1143–1152, 2004.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3574
H. Edelsbrunner, “Biological applications of computational topology,” in Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–1412.
View | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 3575
H. Edelsbrunner and J. Harer, “Jacobi sets of multiple Morse functions,” in Foundations of Computational Mathematics, vol. 312, Springer, 2004, pp. 37–57.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3587
F. Ulrich and C.-P. J. Heisenberg, “Gastrulation in zebrafish,” in Fish development and genetics : the zebrafish and medaka models, vol. 2, V. Korzh and Z. Gong, Eds. World Scientific Publishing, 2004, pp. 39–86.
View
 

2004 | Book Review | IST-REx-ID: 3595
B. Charlesworth and N. H. Barton, “Genome size: Does bigger mean worse?,” Current Biology, vol. 14, no. 6. Cell Press, pp. R233–R235, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3614
N. H. Barton and M. Turelli, “Effects of allele frequency changes on variance components under a general model of epistasis,” Evolution; International Journal of Organic Evolution, vol. 58, no. 10. Wiley-Blackwell, pp. 2111–2132, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3615
M. Turelli and N. H. Barton, “Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions,” Genetics, vol. 166, no. 2. Genetics Society of America, pp. 1053–1079, 2004.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3616
N. H. Barton, “Speciation: Why, how, where and when?,” Current Biology, vol. 14, no. 15. Cell Press, pp. R603–R604, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3617
N. H. Barton and A. Etheridge, “The effect of selection on genealogies,” Genetics, vol. 166, no. 2. Genetics Society of America, pp. 1115–1131, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3688
A. Ulges, C. Lampert, and T. Breuel, “Document capture using stereo vision,” presented at the DocEng: ACM Symposium on Document Engineering, 2004, pp. 198–200.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2004

Search

Filter Publications