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.

102 Publications


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 | 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: 4558
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.
View
 

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: 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: 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 | Journal Article | IST-REx-ID: 2997
Friml, Jiří, Xiong Yang, Marta Michniewicz, Dolf Weijers, Ab Quint, Olaf Tietz, René Benjamins, et al. “A PINOID-Dependent Binary Switch in Apical-Basal PIN Polar Targeting Directs Auxin Efflux.” Science. American Association for the Advancement of Science, 2004. https://doi.org/10.1126/science.1100618.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
Duroux, Meg, Andreas Houben, Kamil Růžička, Jiří Friml, and Klaus Grasser. “The Chromatin Remodelling Complex FACT Associates with Actively Transcribed Regions of the Arabidopsis Genome.” Plant Journal. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.1365-313X.2004.02242.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2999
Sauer, Michael, and Jiří Friml. “In Vitro Culture of Arabidopsis Embryos within Their Ovules.” Plant Journal. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.1365-313X.2004.02248.x.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3142
Hippenmeyer, Simon, Ina Kramer, and Silvia Arber. “Control of Neuronal Phenotype: What Targets Tell the Cell Bodies.” Trends in Neurosciences. Elsevier, 2004. https://doi.org/10.1016/j.tins.2004.05.012.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3172
Kolmogorov, Vladimir, Thành Nguyen, Anthony Nuval, Pascal Spincemaille, Martin Prince, Ramin Zabih, and Yusu Wang. “Multiprocessor Scheduling Implementation of the Simultaneous Multiple Volume SMV Navigator Method.” Magnetic Resonance in Medicine. Wiley-Blackwell, 2004. https://doi.org/10.1002/mrm.20162.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3173
Kolmogorov, Vladimir, and Ramin Zabih. “What Energy Functions Can Be Minimized via Graph Cuts? .” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2004. https://doi.org/10.1109/TPAMI.2004.1262177.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3177
Zabih, Ramin, and Vladimir Kolmogorov. “Spatially Coherent Clustering Using Graph Cuts,” 2:437–44. IEEE, 2004. https://doi.org/10.1109/CVPR.2004.1315196.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3178
Boykov, Yuri, and Vladimir Kolmogorov. “An Experimental Comparison of Min-Cut/Max-Flow Algorithms for Energy Minimization in Vision.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2004. https://doi.org/10.1109/TPAMI.2004.60.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3179
Rother, Carsten, Vladimir Kolmogorov, and Andrew Blake. “"GrabCut" - Interactive Foreground Extraction Using Iterated Graph Cuts ,” 23:309–14. ACM, 2004. https://doi.org/10.1145/1015706.1015720.
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3208
Maurer, Ueli, and Krzysztof Z Pietrzak. “Composition of Random Systems: When Two Weak Make One Strong,” 2951:410–27. Springer, 2004. https://doi.org/10.1007/978-3-540-24638-1_23.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3419
Janovjak, Harald L, Jens Struckmeier, Maurice Hubain, Max Kessler, Alexej Kedrov, and Daniel Mueller. “Probing the Energy Landscape of the Membrane Protein Bacteriorhodopsin.” Structure. Cell Press, 2004. https://doi.org/10.1016/j.str.2004.03.016.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3420
Kedrov, Alexej, Christine Ziegler, Harald L Janovjak, Werner Kühlbrandt, and Daniel Mueller. “Controlled Unfolding and Refolding of a Single Sodium/Proton Antiporter Using Atomic Force Microscopy.” Journal of Molecular Biology. Elsevier, 2004. https://doi.org/10.1016/j.jmb.2004.05.026.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3574
Edelsbrunner, Herbert. “Biological Applications of Computational Topology.” In Handbook of Discrete and Computational Geometry, 1395–1412. CRC Press, 2004.
View | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 3575
Edelsbrunner, Herbert, and John Harer. “Jacobi Sets of Multiple Morse Functions.” In Foundations of Computational Mathematics, 312:37–57. Springer, 2004. https://doi.org/10.1017/CBO9781139106962.003.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3587
Ulrich, Florian, and Carl-Philipp J Heisenberg. “Gastrulation in Zebrafish.” In Fish Development and Genetics : The Zebrafish and Medaka Models, edited by Vladimir Korzh and Zhiyuan Gong, 2:39–86. World Scientific Publishing, 2004.
View
 

2004 | Book Review | IST-REx-ID: 3595
Charlesworth, Brian, and Nicholas H Barton. “Genome Size: Does Bigger Mean Worse?” Current Biology. Cell Press, 2004. https://doi.org/10.1016/j.cub.2004.02.054.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3614
Barton, Nicholas H, and Michael Turelli. “Effects of Allele Frequency Changes on Variance Components under a General Model of Epistasis.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.0014-3820.2004.tb01591.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3615
Turelli, Michael, and Nicholas H Barton. “Polygenic Variation Maintained by Balancing Selection: Pleiotropy, Sex-Dependent Allelic Effects and GxE Interactions.” Genetics. Genetics Society of America, 2004. https://doi.org/10.1534/genetics.166.2.1053.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3616
Barton, Nicholas H. “Speciation: Why, How, Where and When?” Current Biology. Cell Press, 2004. https://doi.org/10.1016/j.cub.2004.07.037.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3617
Barton, Nicholas H, and Alison Etheridge. “The Effect of Selection on Genealogies.” Genetics. Genetics Society of America, 2004. https://doi.org/10.1534/genetics.166.2.1115.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3688
Ulges, Adrian, Christoph Lampert, and Thomas Breuel. “Document Capture Using Stereo Vision,” 198–200. ACM, 2004. https://doi.org/10.1145/1030397.1030434.
View | DOI | Download (ext.)
 

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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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: 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.
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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2004

Search

Filter Publications