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.)
 

Filters and Search Terms

year=2004

Search

Filter Publications