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.

6029 Publications


2005 | Journal Article | IST-REx-ID: 3003
Vieten A, Vanneste S, Wiśniewska J, Benková E, Benjamins R, Beeckman T, Luschnig C, Friml J. 2005. Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. 132(20), 4521–4531.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers D, Sauer M, Meurette O, Friml J, Ljung K, Sandberg G, Hooykaas P, Offringa R. 2005. Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. 17(9), 2517–2526.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal A, Sokolova O, Robins D, Daugherty K, Hippenmeyer S, Riezman H, Grigorieff N, Goode B. 2005. Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. 12(1), 26–31.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer S, Vrieseling E, Sigrist M, Portmann T, Laengle C, Ladle D, Arber S. 2005. A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. 3(5), 0878–0890.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1740
Costantini G, Rastelli A, Manzano C, Acosta Diaz P, Katsaros G, Songmuang R, Schmidt O, Von Känel H, Kern K. 2005. Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. 278(1–4), 38–45.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1741
Denker U, Rastelli A, Stoffel M, Tersoff J, Katsaros G, Costantini G, Kern K, Jin Phillipp N, Jesson D, Schmidt O. 2005. Lateral motion of SiGe islands driven by surface-mediated alloying. Physical Review Letters. 94(21).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1742
Katsaros G, Costantini G, Stoffel M, Esteban R, Bittner A, Rastelli A, Denker U, Schmidt O, Kern K. 2005. Kinetic origin of island intermixing during the growth of Ge on Si (001). Physical Review B - Condensed Matter and Materials Physics. 72(19).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Zhong Z, Katsaros G, Stoffel M, Costantini G, Kern K, Schmidt O, Jin Phillipp N, Bauer G. 2005. Periodic pillar structures by Si etching of multilayer GeSi/Si islands. Applied Physics Letters. 87(26), 1–3.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1744
Katsaros G, Darwazeh I, Lane P. 2005. Non linear transmission effects in duobinary and dicode optical systems. IEE Proceedings - Optoelectronics. 152(6), 344–352.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1795
Siegert S, Thaler S, Wagner R, Schnierle B. 2005. Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors. AIDS Research and Therapy. 2(1).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1962
Hinchliffe P, Sazanov LA. 2005. Biochemistry: Organization of iron-sulfur clusters in respiratory complex I. Science. 309(5735), 771–774.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels TP, Abbott LF. 2005. Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. 25(46), 10786–10795.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
Vogels TP, Rajan K, Abbott LF. 2005. Neural network dynamics. Annual Review of Neuroscience. 28(1), 357–376.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 843
Yampolsky L, Kondrashov F, Kondrashov A. 2005. Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. 14(21), 3191–3201.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 877
Kondrashov F. 2005. The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution. Biofizika. 50(3), 389–395.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 878
Kondrashov F. 2005. In search of the limits of evolution. Nature Genetics. 37(1), 9–10.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 880
Kondrashov F. 2005. The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus. Biofizika. 50(3), 396–403.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 882
Kondrashov F. 2005. Prediction of pathogenic mutations in mitochondrially encoded human tRNAs. Human Molecular Genetics. 14(16), 2415–2419.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 893
Jordan I, Kondrashov F, Adzhubeǐ I, Wolf Y, Koonin E, Kondrashov A, Sunyaev S. 2005. A universal trend of amino acid gain and loss in protein evolution. Nature. 433(7026), 633–638.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1298
Reiff D, Ihring A, Guerrero G, Isacoff E, Jösch MA, Nakai J, Borst A. 2005. In vivo performance of genetically encoded indicators of neural activity in flies. Journal of Neuroscience. 25(19), 4766–4778.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
Hausel T. 2005. Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. Geometric Methods in Algebra and Number Theory. , Progress in Mathematics, vol. 235. 193–217.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1447 | OA
Hausel T. 2005. Quaternionic geometry of matroids. Open Mathematics. 3(1), 26–38.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1463 | OA
Hausel T, Proudfoot N. 2005. Abelianization for hyperkähler quotients. Topology. 44(1), 231–248.
View | DOI | Download (ext.)
 

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 | Book Chapter | IST-REx-ID: 3433
Bollback JP. 2005. Posterior mapping and posterior predictive distributions. 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. Combinatorial and Computational Geometry. , Mathematical Sciences Research Institute Publications, vol. 52. 243–275.
View | Download (ext.)
 

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: 3721 | OA
Janovjak HL, Mueller D, Humphris A. 2005. Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. 88(2), 1423–1431.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Slonim N, Atwal G, Tkacik G, Bialek W. 2005. Information-based clustering. PNAS. 102(51), 18297–18302.
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
Slonim N, Atwal G, Tkacik G, Bialek W. 2005. Estimating mutual information and multi-information in large networks. ArXiv., 1–11.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3753
Le T, Harlepp S, Guet CC, Dittmar K, Emonet T, Pan T, Cluzel P. 2005. Real-time RNA profiling within a single bacterium. PNAS. 102(26), 9160–9164.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
Engel D, Jonas PM. 2005. Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons. Neuron. 45(3), 405–17.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812
Hefft S, Jonas PM. 2005. Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review). Nature Neuroscience. 8(10), 1319–28.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee K, Henzinger TA, Jurdziński M. 2005. Games with secure equilibria. FMCO: Formal Methods for Components and Objects, LNCS, vol. 3657. 141–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee K. 2005. Two-player nonzero-sum ω-regular games. CONCUR: Concurrency Theory, LNCS , vol. 3653. 413–427.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee K, Dasgupta P, Chakrabarti P. 2005. Complexity of compositional model checking of computation tree logic on simple structures. IWDC: International Workshop on Distributed Computing , LNCS, vol. 3326. 89–102.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3902
Cremer S, Boomsma J. 2005. The drawback of mobility: invasive species in a globalised world. Marie Curie Conference
View | Download None (ext.)
 

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: 3589
Köppen M, Heisenberg C-PJ. 2005. Cleavage and gastrulation in zebrafish embryos. Encyclopedia of Life Sciences.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 3720
Guzmán J, Gerevich Z, Hengstler J, Illes P, Kleemann W. 2005. P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex. Synapse. 57(4), 235–238.
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: 3763
Shi L, Yu Y, Wojtan CJ, Chenney S. 2005. Controllable motion synthesis in a gaseous medium. The Visual Computer. 21(7), 474–487.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Ulrich F, Krieg M, Schötz E, Link V, Castanon I, Schnabel V, Taubenberger A, Müller D, Puech P, Heisenberg C-PJ. 2005. Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. 9(4), 555–564.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Puech P, Taubenberger A, Ulrich F, Krieg M, Mueller D, Heisenberg C-PJ. 2005. Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. 118(18), 4199–4206.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Montero J, Carvalho L, Wilsch Bräuninger M, Kilian B, Mustafa C, Heisenberg C-PJ. 2005. Shield formation at the onset of zebrafish gastrulation. Development. 132(6), 1187–1198.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. 2005. Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure. Mechanisms of Development. 122(Supplement 1), S112–S113.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
Bourgain J, Kaloshin V. 2005. On diffusion in high-dimensional Hamiltonian systems. Journal of Functional Analysis. 229(1), 1–61.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8491
Schanda P, Kupče Ē, Brutscher B. 2005. SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds. Journal of Biomolecular NMR. 33(4), 199–211.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
Schanda P, Brutscher B. 2005. Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds. Journal of the American Chemical Society. 127(22), 8014–8015.
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: 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 . 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 | 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 | 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 | Book Chapter | IST-REx-ID: 4230
Vladar H, Cipriani R, Scharifker B, Bubis J. 2004. A mechanism for the prebiotic emergence of proteins. 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 | Book Chapter | IST-REx-ID: 4239
Vladar H, Cipriani R, Scharifker B, Bubis J. 2004. A Mechanism for the Prebiotic Emergence of Proteins. 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 | 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. Verification: Theory and Practice. , LNCS, vol. 2772. 332–358.
View | DOI
 

Search

Filter Publications