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.

6696 Publications


2005 | Conference Paper | IST-REx-ID: 3175
Rother C, Kumar S, Kolmogorov V, Blake A. 2005. Digital tapestry. CVPR: Computer Vision and Pattern Recognition vol. 1, 589–596.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. 2005. Bi-layer segmentation of binocular stereo video. CVPR: Computer Vision and Pattern Recognition, 1186–1186.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
Kolmogorov V, Wainwright M. 2005. On the optimality of tree reweighted max product message passing. UAI: Uncertainty in Artificial Intelligence, 316–323.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov V, Boykov Y. 2005. What metrics can be approximated by geo cuts or global optimization of length area and flux. ICCV: International Conference on Computer Vision vol. 1, 564–571.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. 2005. Bi-layer segmentation of binocular stereo video. CVPR: Computer Vision and Pattern Recognition vol. 2, 407–414.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
Bellare M, Pietrzak KZ, Rogaway P. 2005. Improved security analyses for CBC MACs. CRYPTO: International Cryptology Conference, LNCS, vol. 3621, 527–545.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Dodis Y, Oliveira R, Pietrzak KZ. 2005. On the generic insecurity of the full domain hash. CRYPTO: International Cryptology Conference, LNCS, vol. 3621, 449–466.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Pietrzak KZ. 2005. Composition does not imply adaptive security. CRYPTO: International Cryptology Conference, LNCS, vol. 3621, 55–65.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak HL, Sapra T, Mueller D. 2005. Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. 88(5), 37–39.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn M, Janovjak HL, Hubain M, Mueller D. 2005. Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. 218(2), 125–132.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak HL, Struckmeier J, Mueller D. 2005. Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal. 34(1), 91–96.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3426 | OA
Bollenbach MT, Kruse K, Pantazis P, González Gaitán M, Jülicher F. 2005. Robust formation of morphogen gradients. Physical Review Letters. 94(1).
View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Book Chapter | IST-REx-ID: 3433
Bollback JP. 2005.Posterior mapping and posterior predictive distributions. In: Statistical methods in Molecular Evolution. , 439–462.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3443
Klausberger T, Marton L, O’Neill J, Huck J, Dalezios Y, Fuentealba P, Suen W, Papp E, Kaneko T, Watanabe M, Csicsvari JL, Somogyi P. 2005. Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations. Journal of Neuroscience. 25(42), 9782–9793.
View | DOI
 

2005 | Patent | IST-REx-ID: 3509
Williams S, Edelsbrunner H, Fu P. 2005. Methods, apparatus and computer program products for modeling three-dimensional colored objects.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3557
Edelsbrunner H. 2005. Surface tiling with differential topology. SGP: Eurographics Symposium on Geometry processing, 9–11.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
Attali D, Cohen Steiner D, Edelsbrunner H. 2005. Extraction and simplification of iso-surfaces in tandem. SGP: Eurographics Symposium on Geometry processing, 139–148.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
Edelsbrunner H, Koehl P. 2005.The geometry of biomolecular solvation. In: Combinatorial and Computational Geometry. Mathematical Sciences Research Institute Publications, vol. 52, 243–275.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3588
Castanon Ortega I, Heisenberg C-PJ. 2005.Cell migration during zebrafish gastrulation. In: Cell Migration in Development and Disease. , 71–105.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3589
Köppen M, Heisenberg C-PJ. 2005.Cleavage and gastrulation in zebrafish embryos. In: Encyclopedia of Life Sciences. .
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
Castanon Ortega I, Heisenberg C-PJ. 2005. A stern view of gastrulation. Nature Cell Biology. 7(1), 19–19.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
Nürnberger B, Barton NH, Kruuk L, Vines T. 2005. Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes. Heredity. 94(2), 247–257.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3612
Davison A, Chiba S, Barton NH, Clarke B. 2005. Speciation and gene flow between snails of opposing chirality. PLoS Biology. 3(9).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
Gardner M, Fowler K, Barton NH, Patridge L. 2005. Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns. Genetics. 169(3), 1553–1571.
View | DOI
 

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

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

2005 | Journal Article | IST-REx-ID: 3691
Lampert C. 2005. Boundary regularity of admissible operators. Publicacions Matemàtiques. 49(1), 179–195.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 9491 | OA
Tran RK, Henikoff JG, ZILBERMAN D, Ditt RF, Jacobsen SE, Henikoff S. 2005. DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes. Current Biology. 15(2), 154–159.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 9514 | OA
Tran RK, ZILBERMAN D, de Bustos C, Ditt RF, Henikoff JG, Lindroth AM, Delrow J, Boyle T, Kwong S, Bryson TD, Jacobsen SE, Henikoff S. 2005. Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis. Genome Biology. 6(11), R90.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 9529
ZILBERMAN D, Henikoff S. 2005. Epigenetic inheritance in Arabidopsis: Selective silence. Current Opinion in Genetics and Development. 15(5), 557–562.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 2308
Novarino G, Fabrizi C, Tonini R, Denti M, Malchiodi A, Lauro G, Sacchetti B, Paradisi S, Ferroni A, Curmi P, Breit S, Mazzanti M. 2004. Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity. Journal of Neuroscience. 24(23), 5322–5330.
View | DOI
 

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

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

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

2004 | Book Chapter | IST-REx-ID: 2417
Lovász L, Vesztergombi K, Wagner U, Welzl E. 2004.Convex quadrilaterals and k-sets . In: Towards a Theory of Geometric Graphs. Contemporary Mathematics , vol. 342, 139–148.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2425
Matoušek J, Wagner U. 2004. New constructions of weak ε-nets. Discrete & Computational Geometry. 32(2), 195–206.
View | DOI
 

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

2004 | Book Review | IST-REx-ID: 2461
Sauer M, Friml J. 2004. The Matryoshka dolls of plant polarity. Development. 131(23), 5774–5775.
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 2638
Kulik Á, Nakadate K, Hagiwara A, Fukazawa Y, Luján R, Saito H, Suzuki N, Futatsugi A, Mikoshiba K, Frotscher M, Shigemoto R. 2004. Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum. European Journal of Neuroscience. 19(8), 2169–2178.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
Somogyi J, Baude A, Omori Y, Shimizu H, El Mestikawy S, Fukaya M, Shigemoto R, Watanabe M, Somogyi P. 2004. 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. 19(3), 552–569.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
Notomi T, Shigemoto R. 2004. Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain. Journal of Comparative Neurology. 471(3), 241–276.
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 2642
Ferraguti F, Cobden P, Pollard M, Cope D, Shigemoto R, Watanabe M, Somogyi P. 2004. Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. Hippocampus. 14(2), 193–215.
View | DOI
 

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

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

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

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

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

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

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

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

2004 | Journal Article | IST-REx-ID: 2786
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F, Faisst H, Eckhardt B, Wedin H, Kersweli R, Waleffe F. 2004. Experimental observation of nonlinear traveling waves in turbulent pipe flow. Science. 305(5690), 1594–1598.
View | DOI
 

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

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

2004 | Journal Article | IST-REx-ID: 8518
Koralov L, Kaloshin V, Dolgopyat D. 2004. Sample path properties of the stochastic flows. The Annals of Probability. 32(1A), 1–27.
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 870
Kondrashov F, Ogurtsov A, Kondrashov A. 2004. Bioinformatical assay of human gene morbidity. Nucleic Acids Research. 32(5), 1731–1737.
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 1963
Mamedova A, Holt P, Carroll J, Sazanov LA. 2004. Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry. 279(22), 23830–23836.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 209
Browning TD, Heath Brown R. 2004. Equal sums of three powers. Inventiones Mathematicae. 157(3), 553–573.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
Santis M, Schmid D, Ruge M, Freunberger SA, Büchi FN. 2004. Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. 4(3), 214–218.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7334
Mantzaras J, Freunberger SA, Büchi FN, Roos M, Brandstätter W, Prestat M, Gauckler LJ, Andreaus B, Hajbolouri F, Senn SM, Poulikakos D, Chaniotis AK, Larrain D, Autissier N, Maréchal F. 2004. Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. 58(12), 857–868.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
Brunet A, Sweeney LBJ, Sturgill JF, Chua K, Greer P, Lin Y, Tran H, Ross S, Mostoslavsky R, Cohen H, Hu L, Chen H-L, Jedrychowski M, Gygi S, Sinclair D, Alt F, Greenberg M. 2004. Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. 303(5666), 2011–2015.
View | DOI
 

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

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

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

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

2004 | Journal Article | IST-REx-ID: 889
Kern A, Kondrashov F. 2004. Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. 36(11), 1207–1212.
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 902
Castillo Davis C, Kondrashov F, Hartl D, Kulathinal R. 2004. The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. Genome Research. 14(5), 802–811.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3805
Jonas PM, Bischofberger J, Fricker D, Miles R. 2004. Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons. Trends in Neurosciences. 27(1), 30–40.
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber C, Jonas PM, Bischofberger J. 2004. Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus. Nature. 429(6988), 184–7.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3810
Oliver D, Lien C, Soom M, Baukrowitz T, Jonas PM, Fakler B. 2004. Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids. Science. 304(5668), 265–70.
View | DOI
 

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

2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee K, Henzinger TA, Jurdziński M. 2004. Games with secure equilibria. LICS: Logic in Computer Science, 160–169.
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 3929
Witte V, Laffert B, Rosorius O, Lischka P, Blume K, Galler G, Stilper A, Willbold D, D’Aloja P, Sixt MK, Kolanus J, Ott M, Kolanus W, Schuler G, Baur A. 2004. HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane. Molecular Cell. 13(2), 179–190.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang H, Baader S, Sixt MK, Kappler J, Rauch U. 2004. Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells. Journal of Histochemistry and Cytochemistry. 52(7), 915–922.
View | DOI
 

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

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

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

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

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

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

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

2004 | Journal Article | IST-REx-ID: 4172
Montero J, Heisenberg C-PJ. 2004. Gastrulation dynamics: cells move into focus. Trends in Cell Biology. 14(11), 620–627.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
Kruse K, Pantazis P, Bollenbach MT, Julicher F, Gonzalez Gaitan M. 2004. Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. Development. 131(19), 4843–4856.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
de Vladar H, Cipriani R, Scharifker B, Bubis J. 2004.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. Cellular Origin and Life in Extreme Habitats and Astrobiology, , 83–87.
View
 

2004 | Thesis | IST-REx-ID: 4236
de Vladar H. 2004. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
de Vladar H, González J. 2004. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 227(3), 335–348.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4239
de Vladar H, Cipriani R, Scharifker B, Bubis J. 2004.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. Cellular Origin, Life in Extreme Habitats and Astrobiology, vol. 7, 83–87.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Barton NH, Etheridge A, Sturm A. 2004. Coalescence in a Random Background. Annals of Applied Probability. 14(2), 754–785.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala R. 2004. Program verification by lazy abstraction. University of California, Berkeley.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger TA, Kirsch C. 2004. A typed assembly language for real-time programs. EMSOFT: Embedded Software , 104–113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. 2004. Abstractions from proofs. POPL: Principles of Programming Languages, 232–244.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference. PLDI: Programming Languages Design and Implementation, 1–13.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. 2004.Extreme model checking. In: Verification: Theory and Practice. LNCS, vol. 2772, 332–358.
View | DOI
 

Search

Filter Publications