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.

6224 Publications


2005 | Book Chapter | IST-REx-ID: 3576
H. Edelsbrunner and P. Koehl, “The geometry of biomolecular solvation,” in Combinatorial and Computational Geometry, vol. 52, Cambridge University Press, 2005, pp. 243–275.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3588
I. Castanon Ortega and C.-P. J. Heisenberg, “Cell migration during zebrafish gastrulation,” in Cell Migration in Development and Disease, D. Wedlich, Ed. Wiley-VCH, 2005, pp. 71–105.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3589
M. Köppen and C.-P. J. Heisenberg, “Cleavage and gastrulation in zebrafish embryos,” in Encyclopedia of Life Sciences, Wiley-Blackwell, 2005.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
I. Castanon Ortega and C.-P. J. Heisenberg, “A stern view of gastrulation,” Nature Cell Biology, vol. 7, no. 1. Nature Publishing Group, pp. 19–19, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
B. Nürnberger, N. H. Barton, L. Kruuk, and T. Vines, “Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes,” Heredity, vol. 94, no. 2. Nature Publishing Group, pp. 247–257, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3612
A. Davison, S. Chiba, N. H. Barton, and B. Clarke, “Speciation and gene flow between snails of opposing chirality,” PLoS Biology, vol. 3, no. 9. Public Library of Science, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
M. Gardner, K. Fowler, N. H. Barton, and L. Patridge, “Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns,” Genetics, vol. 169, no. 3. Genetics Society of America, pp. 1553–1571, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3684
C. Lampert, T. Braun, A. Ulges, D. Keysers, and T. Breuel, “Oblivious document capture and real-time retrieval,” presented at the CBDAR: Camera Based Document Analysis and Recognition , 2005, pp. 79–86.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3689
A. Ulges, C. Lampert, and T. Breuel, “Document image dewarping using robust estimation of curled text lines,” presented at the ICDAR: International Conference on Document Analysis and Recognition, 2005, vol. 2, pp. 1001–1005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3691
C. Lampert, “Boundary regularity of admissible operators,” Publicacions Matemàtiques, vol. 49, no. 1. Universitat Autònoma de Barcelona, Departament de Matemàtique, pp. 179–195, 2005.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2308
G. Novarino et al., “Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity,” Journal of Neuroscience, vol. 24, no. 23. Society for Neuroscience, pp. 5322–5330, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2355 | OA
É. Lieb and R. Seiringer, “ Equivalent forms of the Bessis-Moussa-Villani conjecture,” Journal of Statistical Physics, vol. 115, no. 1–2. Springer, pp. 185–190, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2356 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “One-dimensional behavior of dilute, trapped Bose gases,” Communications in Mathematical Physics, vol. 244, no. 2. Springer, pp. 347–393, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2360 | OA
M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, and J. Yngvason, “Bose-Einstein quantum phase transition in an optical lattice model,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 70, no. 2. American Physical Society, pp. 023612-1-0236121-2, 2004.
View | DOI | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 2417
L. Lovász, K. Vesztergombi, U. Wagner, and E. Welzl, “Convex quadrilaterals and k-sets ,” in Towards a Theory of Geometric Graphs, vol. 342, J. Pach, Ed. American Mathematical Society, 2004, pp. 139–148.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2425
J. Matoušek and U. Wagner, “New constructions of weak ε-nets,” Discrete & Computational Geometry, vol. 32, no. 2. Springer, pp. 195–206, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2426
J. Giesen and U. Wagner, “Shape dimension and intrinsic metric from samples of manifolds,” Discrete & Computational Geometry, vol. 32, no. 2. Springer, pp. 245–267, 2004.
View | DOI
 

2004 | Book Review | IST-REx-ID: 2461
M. Sauer and J. Friml, “The Matryoshka dolls of plant polarity,” Development, vol. 131, no. 23. Company of Biologists, pp. 5774–5775, 2004.
View | DOI
 

2004 | Book Review | IST-REx-ID: 2636
A. Momiyama and R. Shigemoto, “Function and distribution of glutamate receptors in the central synapses,” Tanpakushitsu kakusan koso Protein nucleic acid enzyme, vol. 49, no. 3 Suppl. Kyoritsu Shuppan, pp. 287–294, 2004.
View
 

2004 | Journal Article | IST-REx-ID: 2638
Á. Kulik et al., “Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum,” European Journal of Neuroscience, vol. 19, no. 8. Wiley-Blackwell, pp. 2169–2178, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
J. Somogyi et al., “GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat,” European Journal of Neuroscience, vol. 19, no. 3. Wiley-Blackwell, pp. 552–569, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
T. Notomi and R. Shigemoto, “Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain,” Journal of Comparative Neurology, vol. 471, no. 3. Wiley-Blackwell, pp. 241–276, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2641
Y. Kang, T. Notomi, M. Saito, W. Zhang, and R. Shigemoto, “Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons,” Journal of Neuroscience, vol. 24, no. 14. Society for Neuroscience, pp. 3694–3702, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2642
F. Ferraguti et al., “Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus,” Hippocampus, vol. 14, no. 2. Wiley-Blackwell, pp. 193–215, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
R. Luján, R. Shigemoto, Á. Kulik, and J. Juíz, “Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat,” Journal of Comparative Neurology, vol. 475, no. 1. Wiley-Blackwell, pp. 36–46, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, and P. Somogyi, “Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat,” European Journal of Neuroscience, vol. 19, no. 10. Wiley-Blackwell, pp. 2727–2740, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2645
S. Chan, R. Shigemoto, J. Mercer, and J. Surmeier, “HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons,” Journal of Neuroscience, vol. 24, no. 44. Society for Neuroscience, pp. 9921–9932, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2646
G. López Bendito, R. Shigemoto, Á. Kulik, I. Vida, A. Fairén, and R. Luján, “ Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development,” Hippocampus, vol. 14, no. 7. Wiley-Blackwell, pp. 836–848, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2706
L. Erdös and J. Solovej, “Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength,” Journal of Statistical Physics, vol. 116, no. 1–4. Springer, pp. 475–506, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2707
L. Erdös, M. Salmhofer, and H. Yau, “On the quantum Boltzmann equation,” Journal of Statistical Physics, vol. 116, no. 1–4. Springer, pp. 367–380, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2741
L. Erdös and J. Solovej, “Uniform Lieb-Thirring inequality for the three-dimensional Pauli operator with a strong non-homogeneous magnetic field,” Annales Henri Poincare, vol. 5, no. 4. Birkhäuser, pp. 671–741, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2742
A. Elgart, L. Erdös, B. Schlein, and H. Yau, “Nonlinear Hartree equation as the mean field limit of weakly coupled fermions,” Journal de Mathématiques Pures et Appliquées, vol. 83, no. 10. Elsevier, pp. 1241–1273, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2786
B. Hof et al., “Experimental observation of nonlinear traveling waves in turbulent pipe flow,” Science, vol. 305, no. 5690. American Association for the Advancement of Science, pp. 1594–1598, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2787
B. Hof, A. Juel, L. Zhao, D. Henry, H. Ben Hadid, and T. Mullin, “On the onset of oscillatory convection in molten gallium,” Journal of Fluid Mechanics, vol. 515. Cambridge University Press, pp. 391–413, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8517
D. Dolgopyat, V. Kaloshin, and L. Koralov, “A limit shape theorem for periodic stochastic dispersion,” Communications on Pure and Applied Mathematics, vol. 57, no. 9. Wiley, pp. 1127–1158, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8518
L. Koralov, V. Kaloshin, and D. Dolgopyat, “Sample path properties of the stochastic flows,” The Annals of Probability, vol. 32, no. 1A. Institute of Mathematical Statistics, pp. 1–27, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
A. Panchenko, F. Kondrashov, and S. Bryant, “Prediction of functional sites by analysis of sequence and structure conservation,” Protein Science, vol. 13, no. 4. Wiley-Blackwell, pp. 884–892, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
F. Kondrashov, A. Ogurtsov, and A. Kondrashov, “Bioinformatical assay of human gene morbidity,” Nucleic Acids Research, vol. 32, no. 5. Oxford University Press, pp. 1731–1737, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
F. Kondrashov and E. Koonin, “A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications,” Trends in Genetics, vol. 20, no. 7. Elsevier, pp. 287–291, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1963
A. Mamedova, P. Holt, J. Carroll, and L. A. Sazanov, “Substrate-induced conformational change in bacterial complex I,” Journal of Biological Chemistry, vol. 279, no. 22. American Society for Biochemistry and Molecular Biology, pp. 23830–23836, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 209
T. D. Browning and R. Heath Brown, “Equal sums of three powers,” Inventiones Mathematicae, vol. 157, no. 3. Unknown, pp. 553–573, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
M. Santis, D. Schmid, M. Ruge, S. A. Freunberger, and F. N. Büchi, “Modular stack-internal air humidification concept-verification in a 1 kW stack,” Fuel Cells, vol. 4, no. 3. Wiley, pp. 214–218, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7334
J. Mantzaras et al., “Fuel cell modeling and simulations,” CHIMIA International Journal for Chemistry, vol. 58, no. 12. Swiss Chemical Society, pp. 857–868, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
A. Brunet et al., “Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase,” Science, vol. 303, no. 5666. American Association for the Advancement of Science, pp. 2011–2015, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” Current Biology, vol. 14, no. 12. Elsevier, pp. 1105–1111, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 1456 | OA
T. Hausel, E. Hunsicker, and R. Mazzeo, “Hodge cohomology of gravitational instantons,” Duke Mathematical Journal, vol. 122, no. 3. Duke University Press, pp. 485–548, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
T. Hausel and M. Thaddeus, “Generators for the cohomology ring of the moduli space of rank 2 higgs bundles,” Proceedings of the London Mathematical Society, vol. 88, no. 3. Oxford University Press, pp. 632–658, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 889
A. Kern and F. Kondrashov, “Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs,” Nature Genetics, vol. 36, no. 11. Nature Publishing Group, pp. 1207–1212, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 898
G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, and A. Kondrashov, “Positive selection at sites of multiple amino acid replacements since rat-mouse divergence,” Nature, vol. 429, no. 6991. Nature Publishing Group, pp. 558–562, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 902
C. Castillo Davis, F. Kondrashov, D. Hartl, and R. Kulathinal, “The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint,” Genome Research, vol. 14, no. 5. Cold Spring Harbor Laboratory Press, pp. 802–811, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3805
P. M. Jonas, J. Bischofberger, D. Fricker, and R. Miles, “Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons,” Trends in Neurosciences, vol. 27, no. 1. Elsevier, pp. 30–40, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3807 | OA
B. Kampa, J. Clements, P. M. Jonas, and G. Stuart, “Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity,” Journal of Physiology, vol. 556, no. Pt 2. Wiley-Blackwell, pp. 337–45, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3809
C. Schmidt Hieber, P. M. Jonas, and J. Bischofberger, “Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus,” Nature, vol. 429, no. 6988. Nature Publishing Group, pp. 184–7, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3810
D. Oliver, C. Lien, M. Soom, T. Baukrowitz, P. M. Jonas, and B. Fakler, “Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids,” Science, vol. 304, no. 5668. American Association for the Advancement of Science, pp. 265–70, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3894
K. Chatterjee, R. Majumdar, and M. Jurdziński, “On Nash equilibria in stochastic games,” presented at the CSL: Computer Science Logic, 2004, vol. 3210, pp. 26–40.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Games with secure equilibria,” presented at the LICS: Logic in Computer Science, 2004, pp. 160–169.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
J. Heinze, A. Böttcher, and S. Cremer, “Production of winged and wingless males in the ant, Cardiocondyla minutior,” Insectes Sociaux, vol. 51, no. 3. Springer, pp. 275–278, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
V. Witte et al., “HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane,” Molecular Cell, vol. 13, no. 2. Cell Press, pp. 179–190, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
H. Zhang, S. Baader, M. K. Sixt, J. Kappler, and U. Rauch, “Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells,” Journal of Histochemistry and Cytochemistry, vol. 52, no. 7. Histochemical Society, pp. 915–922, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
P. Bremer, H. Edelsbrunner, B. Hamann, and V. Pascucci, “A topological hierarchy for functions on triangulated surfaces,” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 4. IEEE, pp. 385–396, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Loops in Reeb graphs of 2-manifolds,” Discrete & Computational Geometry, vol. 32, no. 2. Springer, pp. 231–244, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3986
R. Bryant, H. Edelsbrunner, P. Koehl, and M. Levitt, “The area derivative of a space-filling diagram,” Discrete & Computational Geometry, vol. 32, no. 3. Springer, pp. 293–308, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
V. Natarajan and H. Edelsbrunner, “Simplification of three-dimensional density maps,” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 5. IEEE, pp. 587–597, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
V. Choi, P. Agarwal, H. Edelsbrunner, and J. Rudolph, “Local search heuristic for rigid protein docking,” presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, 2004, vol. 3240, pp. 218–229.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Local and global comparison of continuous functions,” presented at the VIS: IEEE Visualization, 2004, pp. 275–280.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
P. Agarwal, H. Edelsbrunner, and Y. Wang, “Computing the writhing number of a polygonal knot,” Discrete & Computational Geometry, vol. 32, no. 1. Springer, pp. 37–53, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4172
J. Montero and C.-P. J. Heisenberg, “Gastrulation dynamics: cells move into focus,” Trends in Cell Biology, vol. 14, no. 11. Cell Press, pp. 620–627, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
K. Kruse, P. Pantazis, M. T. Bollenbach, F. Julicher, and M. Gonzalez Gaitan, “Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model,” Development, vol. 131, no. 19. Company of Biologists, pp. 4843–4856, 2004.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
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, A. Hanslmeier, S. Kempe, and J. Seckbach, Eds. Springer, 2004, pp. 83–87.
View
 

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

Search

Filter Publications