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 | Journal Article | IST-REx-ID: 3984
Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Topological Hierarchy for Functions on Triangulated Surfaces.” IEEE Transactions on Visualization and Computer Graphics. IEEE, 2004. https://doi.org/10.1109/TVCG.2004.3.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.” IEEE Transactions on Visualization and Computer Graphics. IEEE, 2004. https://doi.org/10.1109/TVCG.2004.32.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
Cole Mclaughlin, Kree, Herbert Edelsbrunner, John Harer, Vijay Natarajan, and Valerio Pascucci. “Loops in Reeb Graphs of 2-Manifolds.” Discrete & Computational Geometry. Springer, 2004. https://doi.org/10.1007/s00454-004-1122-6.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci. “Local and Global Comparison of Continuous Functions,” 275–80. IEEE, 2004. https://doi.org/10.1109/VISUAL.2004.68.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4172
Montero, Juan, and Carl-Philipp J Heisenberg. “Gastrulation Dynamics: Cells Move into Focus.” Trends in Cell Biology. Cell Press, 2004. https://doi.org/10.1016/j.tcb.2004.09.008.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology. Elsevier, 2004. https://doi.org/3801.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
Vladar, Harold de, Roberto Cipriani, Benjamin Scharifker, and Jose 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, edited by A. Hanslmeier, S. Kempe, and J. Seckbach, 83–87. Springer, 2004.
View
 

2004 | Thesis | IST-REx-ID: 4236
Vladar, Harold de. “Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares.” Centro de estudios avazados, IVIC, 2004. https://doi.org/3810.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,” 152–66. Springer, 2004. https://doi.org/1572.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of California, Berkeley, 2004.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,” 104–13. ACM, 2004. https://doi.org/10.1145/1017753.1017774.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,” 232–44. ACM, 2004. https://doi.org/10.1145/964001.964021.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.” In Verification: Theory and Practice, 2772:332–58. Springer, 2004. https://doi.org/10.1007/978-3-540-39910-0_16.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,” 1–13. ACM, 2004. https://doi.org/10.1145/996841.996844.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,” 2993:167–70. Springer, 2004. https://doi.org/10.1007/978-3-540-24743-2_24.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,” 206–17. IEEE, 2004. https://doi.org/10.1109/QEST.2004.10051.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.
View
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation. Elsevier, 2004. https://doi.org/10.1016/j.ic.2004.06.001.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,” 3148:2–18. Springer, 2004. https://doi.org/10.1007/978-3-540-27864-1_2.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,” 251–55. IEEE, 2004. https://doi.org/10.1109/WPC.2004.1311069  .
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples,” 326–35. IEEE, 2004. https://doi.org/10.1109/ICSE.2004.1317455.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,” 2988:77–92. Springer, 2004. https://doi.org/10.1007/978-3-540-24730-2_6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
Cheung, Benny H.H, Fausto Arellano-Carbajal, Irene Rybicki, and Mario de Bono. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.” Current Biology. Elsevier, 2004. https://doi.org/10.1016/j.cub.2004.06.027.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 7334
Mantzaras, John, Stefan Alexander Freunberger, Felix N. Büchi, Markus Roos, Wilhelm Brandstätter, Michel Prestat, Ludwig J. Gauckler, et al. “Fuel Cell Modeling and Simulations.” CHIMIA International Journal for Chemistry. Swiss Chemical Society, 2004. https://doi.org/10.2533/000942904777677029.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
Santis, M., D. Schmid, M. Ruge, Stefan Alexander Freunberger, and F.N. Büchi. “Modular Stack-Internal Air Humidification Concept-Verification in a 1 KW Stack.” Fuel Cells. Wiley, 2004. https://doi.org/10.1002/fuce.200400028.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
Panchenko, Anna, Fyodor Kondrashov, and Stephen Bryant. “Prediction of Functional Sites by Analysis of Sequence and Structure Conservation.” Protein Science. Wiley-Blackwell, 2004. https://doi.org/10.1110/ps.03465504.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
Kondrashov, Fyodor, Aleksey Ogurtsov, and Alexey Kondrashov. “Bioinformatical Assay of Human Gene Morbidity.” Nucleic Acids Research. Oxford University Press, 2004. https://doi.org/10.1093/nar/gkh330.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
Kondrashov, Fyodor, and Eugene Koonin. “A Common Framework for Understanding the Origin of Genetic Dominance and Evolutionary Fates of Gene Duplications.” Trends in Genetics. Elsevier, 2004. https://doi.org/10.1016/j.tig.2004.05.001.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 889
Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory Evolution in Mammalian Mitochondrial TRNAs.” Nature Genetics. Nature Publishing Group, 2004. https://doi.org/10.1038/ng1451.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 9493 | OA
Zilberman, Daniel, Xiaofeng Cao, Lisa K. Johansen, Zhixin Xie, James C. Carrington, and Steven E. Jacobsen. “Role of Arabidopsis ARGONAUTE4 in RNA-Directed DNA Methylation Triggered by Inverted Repeats.” Current Biology. Elsevier, 2004. https://doi.org/10.1016/j.cub.2004.06.055.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 9517 | OA
Xie, Zhixin, Lisa K. Johansen, Adam M. Gustafson, Kristin D. Kasschau, Andrew D. Lellis, Daniel Zilberman, Steven E. Jacobsen, and James C. Carrington. “Genetic and Functional Diversification of Small RNA Pathways in Plants.” PLoS Biology. Public Library of Science, 2004. https://doi.org/10.1371/journal.pbio.0020104.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 9511 | OA
Zilberman, Daniel, and Steven Henikoff. “Silencing of Transposons in Plant Genomes: Kick Them When They’re Down.” Genome Biology. Springer Nature, 2004. https://doi.org/10.1186/gb-2004-5-12-249.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 8517
Dolgopyat, Dmitry, Vadim Kaloshin, and Leonid Koralov. “A Limit Shape Theorem for Periodic Stochastic Dispersion.” Communications on Pure and Applied Mathematics. Wiley, 2004. https://doi.org/10.1002/cpa.20032.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8518
Koralov, Leonid, Vadim Kaloshin, and Dmitry Dolgopyat. “Sample Path Properties of the Stochastic Flows.” The Annals of Probability. Institute of Mathematical Statistics, 2004. https://doi.org/10.1214/aop/1078415827.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 898
Bazykin, Georgii, Fyodor Kondrashov, Aleksey Ogurtsov, Shamil Sunyaev, and Alexey Kondrashov. “Positive Selection at Sites of Multiple Amino Acid Replacements since Rat-Mouse Divergence.” Nature. Nature Publishing Group, 2004. https://doi.org/10.1038/nature02601.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 902
Castillo Davis, Cristian, Fyodor Kondrashov, Daniel Hartl, and Rob Kulathinal. “The Functional Genomic Distribution of Protein Divergence in Two Animal Phyla: Coevolution, Genomic Conflict, and Constraint.” Genome Research. Cold Spring Harbor Laboratory Press, 2004. https://doi.org/10.1101/gr.2195604.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 9454
Chan, Simon W.-L., Daniel Zilberman, Zhixin Xie, Lisa K. Johansen, James C. Carrington, and Steven E. Jacobsen. “RNA Silencing Genes Control de Novo DNA Methylation.” Science. American Association for the Advancement of Science, 2004. https://doi.org/10.1126/science.1095989.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 12203
Liao, Zhihua, Min Chen, Yifu Gong, Liang Guo, Qiumin Tan, Xiaoqi Feng, Xiaofen Sun, Feng Tan, and Kexuan Tang. “A New Geranylgeranyl Diphosphate Synthase Gene from Ginkgo Biloba, Which Intermediates the Biosynthesis of the Key Precursor for Ginkgolides.” DNA Sequence. Informa UK Limited, 2004. https://doi.org/10.1080/10425170410001667348.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 13435
Klajn, Rafal, Marcin Fialkowski, Igor T. Bensemann, Agnieszka Bitner, C. J. Campbell, Kyle Bishop, Stoyan Smoukov, and Bartosz A. Grzybowski. “Multicolour Micropatterning of Thin Films of Dry Gels.” Nature Materials. Springer Nature, 2004. https://doi.org/10.1038/nmat1231.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 13434
Campbell, C. J., M. Fialkowski, Rafal Klajn, I. T. Bensemann, and B. A. Grzybowski. “Color Micro- and Nanopatterning with Counter-Propagating Reaction-Diffusion Fronts.” Advanced Materials. Wiley, 2004. https://doi.org/10.1002/adma.200400383.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
Brunet, Anne, Lora B. Sweeney, J Fitzhugh Sturgill, Katrin Chua, Paul Greer, Yingxi Lin, Hien Tran, et al. “Stress-Dependent Regulation of FOXO Transcription Factors by the SIRT1 Deacetylase.” Science. American Association for the Advancement of Science, 2004. https://doi.org/10.1126/science.1094637.
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications