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, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069  .
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
Friml, Jiří, 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, 2004, pp. 862–65, doi:10.1126/science.1100618.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
Duroux, Meg, et al. “The Chromatin Remodelling Complex FACT Associates with Actively Transcribed Regions of the Arabidopsis Genome.” Plant Journal, vol. 40, no. 5, Wiley-Blackwell, 2004, pp. 660–71, doi: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, vol. 40, no. 5, Wiley-Blackwell, 2004, pp. 835–43, doi:10.1111/j.1365-313X.2004.02248.x.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3142
Hippenmeyer, Simon, et al. “Control of Neuronal Phenotype: What Targets Tell the Cell Bodies.” Trends in Neurosciences, vol. 27, no. 8, Elsevier, 2004, pp. 482–88, doi:10.1016/j.tins.2004.05.012.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3172
Kolmogorov, Vladimir, et al. “Multiprocessor Scheduling Implementation of the Simultaneous Multiple Volume SMV Navigator Method.” Magnetic Resonance in Medicine, vol. 52, no. 2, Wiley-Blackwell, 2004, pp. 362–67, doi: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, vol. 26, no. 2, IEEE, 2004, pp. 147–59, doi: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. Vol. 2, IEEE, 2004, pp. 437–44, doi: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, vol. 26, no. 9, IEEE, 2004, pp. 1124–37, doi:10.1109/TPAMI.2004.60.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3179
Rother, Carsten, et al. "GrabCut" - Interactive Foreground Extraction Using Iterated Graph Cuts . Vol. 23, no. 3, ACM, 2004, pp. 309–14, doi: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. Vol. 2951, Springer, 2004, pp. 410–27, doi:10.1007/978-3-540-24638-1_23.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3419
Janovjak, Harald L., et al. “Probing the Energy Landscape of the Membrane Protein Bacteriorhodopsin.” Structure, vol. 12, no. 5, Cell Press, 2004, pp. 871–79, doi:10.1016/j.str.2004.03.016.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3420
Kedrov, Alexej, et al. “Controlled Unfolding and Refolding of a Single Sodium/Proton Antiporter Using Atomic Force Microscopy.” Journal of Molecular Biology, vol. 340, no. 5, Elsevier, 2004, pp. 1143–52, doi:10.1016/j.jmb.2004.05.026.
View | DOI
 

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

Filters and Search Terms

year=2004

Search

Filter Publications