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.

6032 Publications


2005 | Journal Article | IST-REx-ID: 1743
Zhong, Zheyang, Georgios Katsaros, Mathieu Stoffel, Giovanni Costantini, Klaus Kern, Oliver Schmidt, Neng Jin Phillipp, and Günther Bauer. “Periodic Pillar Structures by Si Etching of Multilayer GeSi/Si Islands.” Applied Physics Letters 87, no. 26 (2005): 1–3. https://doi.org/10.1063/1.2150278.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1744
Katsaros, Georgios, Izzat Darwazeh, and Phil Lane. “Non Linear Transmission Effects in Duobinary and Dicode Optical Systems.” IEE Proceedings - Optoelectronics 152, no. 6 (2005): 344–52. https://doi.org/10.1049/ip-opt:20045067.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1795
Siegert, Sandra, Sonja Thaler, Ralf Wagner, and Barbara Schnierle. “Assessment of HIV-1 Entry Inhibitors by MLV/HIV-1 Pseudotyped Vectors.” AIDS Research and Therapy 2, no. 1 (2005). https://doi.org/10.1186/1742-6405-2-7.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1962
Hinchliffe, Philip, and Leonid A Sazanov. “Biochemistry: Organization of Iron-Sulfur Clusters in Respiratory Complex I.” Science 309, no. 5735 (2005): 771–74. https://doi.org/10.1126/science.1113988.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels, Tim P, and L. F. Abbott. “Signal Propagation and Logic Gating in Networks of Integrate-and-Fire Neurons.” Journal of Neuroscience 25, no. 46 (2005): 10786–95. https://doi.org/10.1523/jneurosci.3508-05.2005.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
Vogels, Tim P, Kanaka Rajan, and L.F. Abbott. “Neural Network Dynamics.” Annual Review of Neuroscience 28, no. 1 (2005): 357–76. https://doi.org/10.1146/annurev.neuro.28.061604.135637.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 843
Yampolsky, Lev, Fyodor Kondrashov, and Alexey Kondrashov. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.” Human Molecular Genetics 14, no. 21 (2005): 3191–3201. https://doi.org/10.1093/hmg/ddi350.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 877
Kondrashov, Fyodor. “The Analysis of Monomer Sequences in Protein and TRNA and the Manifestation of the Compensation of Pathogenic Deviations in Their Evolution.” Biofizika 50, no. 3 (2005): 389–95.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 878
Kondrashov, Fyodor. “In Search of the Limits of Evolution.” Nature Genetics 37, no. 1 (2005): 9–10. https://doi.org/10.1038/ng0105-9.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 880
Kondrashov, Fyodor. “The Convergent Evolution of the Secondary Structure of Mitochondrial Cysteine TRNA in the Nine-Banded Armadillo Dasypus Novemcinctus.” Biofizika 50, no. 3 (2005): 396–403.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 882
Kondrashov, Fyodor. “Prediction of Pathogenic Mutations in Mitochondrially Encoded Human TRNAs.” Human Molecular Genetics 14, no. 16 (2005): 2415–19. https://doi.org/10.1093/hmg/ddi243.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 893
Jordan, Ingo, Fyodor Kondrashov, Ivan Adzhubeǐ, Yuri Wolf, Eugene Koonin, Alexey Kondrashov, and Shamil Sunyaev. “A Universal Trend of Amino Acid Gain and Loss in Protein Evolution.” Nature 433, no. 7026 (2005): 633–38. https://doi.org/10.1038/nature03306.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1298
Reiff, Dierk, Alexandra Ihring, Giovanna Guerrero, Ehud Isacoff, Maximilian A Jösch, Junichi Nakai, and Alexander Borst. “In Vivo Performance of Genetically Encoded Indicators of Neural Activity in Flies.” Journal of Neuroscience 25, no. 19 (2005): 4766–78. https://doi.org/10.1523/JNEUROSCI.4900-04.2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
Hausel, Tamas. “Mirror Symmetry and Langlands Duality in the Non-Abelian Hodge Theory of a Curve.” In Geometric Methods in Algebra and Number Theory, 235:193–217. Springer, 2005. https://doi.org/10.1007/0-8176-4417-2_9.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1447 | OA
Hausel, Tamas. “Quaternionic Geometry of Matroids.” Open Mathematics 3, no. 1 (2005): 26–38. https://doi.org/10.2478/BF02475653.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1463 | OA
Hausel, Tamas, and Nicholas Proudfoot. “Abelianization for Hyperkähler Quotients.” Topology 44, no. 1 (2005): 231–48. https://doi.org/10.1016/j.top.2004.04.002.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3175
Rother, Carsten, Sanjiv Kumar, Vladimir Kolmogorov, and Andrew Blake. “Digital Tapestry,” 1:589–96. IEEE, 2005. https://doi.org/10.1109/CVPR.2005.130.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Kolmogorov, Vladimir, Antonio Criminisi, Andrew Blake, Geoffrey Cross, and Carsten Rother. “Bi-Layer Segmentation of Binocular Stereo Video,” 1186–1186. IEEE, 2005. https://doi.org/10.1109/CVPR.2005.90.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
Kolmogorov, Vladimir, and Martin Wainwright. “On the Optimality of Tree Reweighted Max Product Message Passing,” 316–23. AUAI Press, 2005.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov, Vladimir, and Yuri Boykov. “What Metrics Can Be Approximated by Geo Cuts or Global Optimization of Length Area and Flux,” 1:564–71. IEEE, 2005. https://doi.org/10.1109/ICCV.2005.252.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov, Vladimir, Antonio Criminisi, Andrew Blake, Geoffrey Cross, and Carsten Rother. “Bi-Layer Segmentation of Binocular Stereo Video,” 2:407–14. IEEE, 2005. https://doi.org/10.1109/CVPR.2005.91.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
Bellare, Mihir, Krzysztof Z Pietrzak, and Phillip Rogaway. “Improved Security Analyses for CBC MACs,” 3621:527–45. Springer, 2005. https://doi.org/10.1007/11535218_32.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Dodis, Yevgeniy, Roberto Oliveira, and Krzysztof Z Pietrzak. “On the Generic Insecurity of the Full Domain Hash,” 3621:449–66. Springer, 2005. https://doi.org/10.1007/11535218_27.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Pietrzak, Krzysztof Z. “Composition Does Not Imply Adaptive Security,” 3621:55–65. Springer, 2005. https://doi.org/10.1007/11535218_4.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak, Harald L, Tanuj Sapra, and Daniel Mueller. “Complex Stability of Single Proteins Explored by Forced Unfolding Experiments.” Biophysical Journal 88, no. 5 (2005): 37–39. https://doi.org/10.1529/biophysj.105.059774.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn, Michael, Harald L Janovjak, Maurice Hubain, and Daniel Mueller. “Automated Alignment and Pattern Recognition of Single-Molecule Force Spectroscopy Data.” Journal of Microscopy 218, no. 2 (2005): 125–32. https://doi.org/10.1111/j.1365-2818.2005.01478.x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak, Harald L, Jens Struckmeier, and Daniel Mueller. “Hydrodynamic Effects in Fast AFM Single Molecule Force Measurements.” European Biophysics Journal 34, no. 1 (2005): 91–96. https://doi.org/10.1007/s00249-004-0430-3.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3433
Bollback, Jonathan P. “Posterior Mapping and Posterior Predictive Distributions.” In Statistical Methods in Molecular Evolution, edited by Rasmus Nielsen, 439–62. Springer, 2005. https://doi.org/10.1007/0-387-27733-1.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3443
Klausberger, Thomas, Laszlo Marton, Joseph O’Neill, Jojanneke Huck, Yannis Dalezios, Pablo Fuentealba, Wai Suen, et al. “Complementary Roles of Cholecystokinin- and Parvalbumin-Expressing GABAergic Neurons in Hippocampal Network Oscillations.” Journal of Neuroscience 25, no. 42 (2005): 9782–93. https://doi.org/10.1523/JNEUROSCI.3269-05.2005.
View | DOI
 

2005 | Patent | IST-REx-ID: 3509
Williams, Steven, Herbert Edelsbrunner, and Ping Fu. “Methods, Apparatus and Computer Program Products for Modeling Three-Dimensional Colored Objects.” Elsevier, 2005. https://doi.org/US 6,853,373 B2.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3557
Edelsbrunner, Herbert. “Surface Tiling with Differential Topology,” 9–11. ACM, 2005. http://dx.doi.org/10.2312/SGP/SGP05/009-011.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
Attali, Dominique, David Cohen Steiner, and Herbert Edelsbrunner. “Extraction and Simplification of Iso-Surfaces in Tandem,” 139–48. ACM, 2005.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
Edelsbrunner, Herbert, and Patrice Koehl. “The Geometry of Biomolecular Solvation.” In Combinatorial and Computational Geometry, 52:243–75. Cambridge University Press, 2005.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3611
Nürnberger, Beate, Nicholas H Barton, Loeske Kruuk, and Timothy Vines. “Mating Patterns in a Bombina Hybrid Zone: Inferences from Adult and Full Sib Genotypes.” Heredity 94, no. 2 (2005): 247–57. https://doi.org/10.1038/sj.hdy.6800607.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3612
Davison, Angus, Satoshi Chiba, Nicholas H Barton, and Bernard Clarke. “Speciation and Gene Flow between Snails of Opposing Chirality.” PLoS Biology 3, no. 9 (2005). https://doi.org/10.1371/journal.pbio.0030282.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
Gardner, Michael, Kevin Fowler, Nicholas H Barton, and Linda Patridge. “Genetic Variation for Total Fitness in Drosophila Melanogaster: Complex yet Replicable Patterns.” Genetics 169, no. 3 (2005): 1553–71. https://doi.org/10.1534/genetics.104.032367.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3684
Lampert, Christoph, Tim Braun, Adrian Ulges, Daniel Keysers, and Thomas Breuel. “Oblivious Document Capture and Real-Time Retrieval,” 79–86. CBDAR, 2005.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3689
Ulges, Adrian, Christoph Lampert, and Thomas Breuel. “Document Image Dewarping Using Robust Estimation of Curled Text Lines,” 2:1001–5. IEEE, 2005. https://doi.org/ 10.1109/ICDAR.2005.90.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3691
Lampert, Christoph. “Boundary Regularity of Admissible Operators.” Publicacions Matemàtiques 49, no. 1 (2005): 179–95. https://doi.org/10.5565/PUBLMAT_49105_08.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak, Harald L, Daniel Mueller, and Andrew Humphris. “Molecular Force Modulation Spectroscopy Revealing the Dynamic Response of Single Bacteriorhodopsins.” Biophysical Journal 88, no. 2 (2005): 1423–31. https://doi.org/10.1529/biophysj.104.052746.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Slonim, N., G. Atwal, Gasper Tkacik, and William Bialek. “Information-Based Clustering.” PNAS 102, no. 51 (2005): 18297–302. https://doi.org/10.1073/pnas.0507432102.
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
Slonim, Noam, Gurinder Atwal, Gasper Tkacik, and William Bialek. “Estimating Mutual Information and Multi-Information in Large Networks.” ArXiv. ArXiv, 2005.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3753
Le, Thuc, Sébastien Harlepp, Calin C Guet, Kimberly Dittmar, Thierry Emonet, Tao Pan, and Philippe Cluzel. “Real-Time RNA Profiling within a Single Bacterium.” PNAS 102, no. 26 (2005): 9160–64. https://doi.org/10.1073/pnas.0503311102.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
Engel, Dominique, and Peter M Jonas. “Presynaptic Action Potential Amplification by Voltage-Gated Na+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron 45, no. 3 (2005): 405–17. https://doi.org/10.1016/j.neuron.2004.12.048 .
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812
Hefft, Stefan, and Peter M Jonas. “Asynchronous GABA Release Generates Long-Lasting Inhibition at a Hippocampal Interneuron-Principal Neuron Synapse (Review).” Nature Neuroscience. Nature Publishing Group, 2005. https://doi.org/10.1038/nn1542.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria,” 3657:141–61. Springer, 2005. https://doi.org/10.1007/11561163_7.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee, Krishnendu. “Two-Player Nonzero-Sum ω-Regular Games,” 3653:413–27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005. https://doi.org/10.1007/11539452_32.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures,” 3326:89–102. Springer, 2005. https://doi.org/10.1007/978-3-540-30536-1_13.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3902
Cremer, Sylvia, and Jacobus Boomsma. “The Drawback of Mobility: Invasive Species in a Globalised World.” Elsevier, 2005.
View | Download None (ext.)
 

2005 | Journal Article | IST-REx-ID: 3426 | OA
Bollenbach, Mark Tobias, Karsten Kruse, Periklis Pantazis, Marcos González Gaitán, and Frank Jülicher. “Robust Formation of Morphogen Gradients.” Physical Review Letters 94, no. 1 (2005). https://doi.org/10.1103/PhysRevLett.94.018103.
View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Book Chapter | IST-REx-ID: 3589
Köppen, Mathias, and Carl-Philipp J Heisenberg. “Cleavage and Gastrulation in Zebrafish Embryos.” In Encyclopedia of Life Sciences. Wiley-Blackwell, 2005. https://doi.org/10.1038/npg.els.0001072.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3588
Castanon Ortega, Irinka, and Carl-Philipp J Heisenberg. “Cell Migration during Zebrafish Gastrulation.” In Cell Migration in Development and Disease, edited by Doris Wedlich, 71–105. Wiley-VCH, 2005. https://doi.org/10.1002/3527604669.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3720
Guzmán, José, Zoltan Gerevich, Jan Hengstler, Peter Illes, and Werner Kleemann. “P2Y1 Receptors Inhibit Both Strength and Plasticity of Glutamatergic Synaptic Neurotransmission in the Rat Prefrontal Cortex.” Synapse 57, no. 4 (2005): 235–38. https://doi.org/10.1002/syn.20177.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
Castanon Ortega, Irinka, and Carl-Philipp J Heisenberg. “A Stern View of Gastrulation.” Nature Cell Biology. Nature Publishing Group, 2005. https://doi.org/10.1038/ncb0105-19.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
Shi, Lin, Yizhou Yu, Christopher J Wojtan, and Stephen Chenney. “Controllable Motion Synthesis in a Gaseous Medium.” The Visual Computer 21, no. 7 (2005): 474–87. https://doi.org/10.1007/s00371-005-0296-0.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Ulrich, Florian, Michael Krieg, Eva Schötz, Vinzenz Link, Irinka Castanon, Viktor Schnabel, Anna Taubenberger, Daniel Müller, Pierre Puech, and Carl-Philipp J Heisenberg. “Wnt11 Functions in Gastrulation by Controlling Cell Cohesion through Rab5c and E-Cadherin.” Developmental Cell 9, no. 4 (2005): 555–64. https://doi.org/10.1016/j.devcel.2005.08.011.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Puech, Pierre, Anna Taubenberger, Florian Ulrich, Michael Krieg, Daniel Mueller, and Carl-Philipp J Heisenberg. “Measuring Cell Adhesion Forces of Primary Gastrulating Cells from Zebrafish Using Atomic Force Microscopy.” Journal of Cell Science 118, no. 18 (2005): 4199–4206. https://doi.org/10.1242/​jcs.02547.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Norton, Will, Maryam Mangoli, Zsolt Lele, Hans Pogoda, Brianne Diamond, Sara Mercurio, Claire Russell, et al. “Monorail/Foxa2 Regulates Floorplate Differentiation and Specification of Oligodendrocytes, Serotonergic Raphe Neurones and Cranial Motoneurones.” Development 132, no. 4 (2005): 645–58. https://doi.org/10.1242/dev.01611.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Montero, Juan, Lara Carvalho, Michaela Wilsch Bräuninger, Beate Kilian, Chigdem Mustafa, and Carl-Philipp J Heisenberg. “Shield Formation at the Onset of Zebrafish Gastrulation.” Development 132, no. 6 (2005): 1187–98. https://doi.org/10.1242/dev.01667.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and Carl-Philipp J Heisenberg. “Misshapen Mediates Actin-Based Cell Contraction during Zebrafish Epiboly and Drosophila Dorsal Closure.” Mechanisms of Development 122, no. Supplement 1 (2005): S112–13. https://doi.org/10.1016/j.mod.2005.06.010.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
Bourgain, Jean, and Vadim Kaloshin. “On Diffusion in High-Dimensional Hamiltonian Systems.” Journal of Functional Analysis 229, no. 1 (2005): 1–61. https://doi.org/10.1016/j.jfa.2004.09.006.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8491
Schanda, Paul, Ēriks Kupče, and Bernhard Brutscher. “SOFAST-HMQC Experiments for Recording Two-Dimensional Deteronuclear Correlation Spectra of Proteins within a Few Seconds.” Journal of Biomolecular NMR 33, no. 4 (2005): 199–211. https://doi.org/10.1007/s10858-005-4425-x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
Schanda, Paul, and Bernhard Brutscher. “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, no. 22 (2005): 8014–15. https://doi.org/10.1021/ja051306e.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 209
Browning, Timothy D, and Roger Heath Brown. “Equal Sums of Three Powers.” Inventiones Mathematicae 157, no. 3 (2004): 553–73. https://doi.org/10.1007/s00222-004-0360-9.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2308
Novarino, Gaia, Cinzia Fabrizi, Raffaella Tonini, Michela Denti, Albedi Malchiodi, Giuliana Lauro, Benedetto Sacchetti, et al. “Involvement of the Intracellular Ion Channel CLIC1 in Microglia-Mediated β-Amyloid-Induced Neurotoxicity.” Journal of Neuroscience 24, no. 23 (2004): 5322–30. https://doi.org/10.1523/JNEUROSCI.1170-04.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2355 | OA
Lieb, Élliott, and Robert Seiringer. “ Equivalent Forms of the Bessis-Moussa-Villani Conjecture.” Journal of Statistical Physics 115, no. 1–2 (2004): 185–90. https://doi.org/10.1023/B:JOSS.0000019811.15510.27.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2356 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “One-Dimensional Behavior of Dilute, Trapped Bose Gases.” Communications in Mathematical Physics 244, no. 2 (2004): 347–93. https://doi.org/10.1007/s00220-003-0993-3.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2360 | OA
Aizenman, Michael, Élliott Lieb, Robert Seiringer, Jan Solovej, and Jakob Yngvason. “Bose-Einstein Quantum Phase Transition in an Optical Lattice Model.” Physical Review A - Atomic, Molecular, and Optical Physics 70, no. 2 (2004): 023612-1-0236121-2. https://doi.org/10.1103/PhysRevA.70.023612.
View | DOI | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 2417
Lovász, László, Katalin Vesztergombi, Uli Wagner, and Emo Welzl. “Convex Quadrilaterals and K-Sets .” In Towards a Theory of Geometric Graphs, edited by János Pach, 342:139–48. American Mathematical Society, 2004. https://doi.org/10.1090/conm/342.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2425
Matoušek, Jiří, and Uli Wagner. “New Constructions of Weak ε-Nets.” Discrete & Computational Geometry 32, no. 2 (2004): 195–206. https://doi.org/10.1007/s00454-004-1116-4.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2426
Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from Samples of Manifolds.” Discrete & Computational Geometry 32, no. 2 (2004): 245–67. https://doi.org/10.1007/s00454-004-1120-8.
View | DOI
 

2004 | Book Review | IST-REx-ID: 2461
Sauer, Michael, and Jirí Friml. “The Matryoshka Dolls of Plant Polarity.” Development. Company of Biologists, 2004. https://doi.org/10.1242/dev.01463.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
Santis, M., D. Schmid, M. Ruge, Stefan Alexander Freunberger, and F.N. Büchi. “Modular Stack-Internal Air Humidification Concept-Verification in a 1 KW Stack.” Fuel Cells 4, no. 3 (2004): 214–18. https://doi.org/10.1002/fuce.200400028.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7334
Mantzaras, John, Stefan Alexander Freunberger, Felix N. Büchi, Markus Roos, Wilhelm Brandstätter, Michel Prestat, Ludwig J. Gauckler, et al. “Fuel Cell Modeling and Simulations.” CHIMIA International Journal for Chemistry 58, no. 12 (2004): 857–68. https://doi.org/10.2533/000942904777677029.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
Brunet, Anne, Lora Beatrice Jaeger Sweeney, J Fitzhugh Sturgill, Katrin Chua, Paul Greer, Yingxi Lin, Hien Tran, et al. “Stress-Dependent Regulation of FOXO Transcription Factors by the SIRT1 Deacetylase.” Science 303, no. 5666 (2004): 2011–15. https://doi.org/10.1126/science.1094637.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
Heinze, Jürgen, A. Böttcher, and Sylvia Cremer. “Production of Winged and Wingless Males in the Ant, Cardiocondyla Minutior.” Insectes Sociaux 51, no. 3 (2004): 275–78. https://doi.org/10.1007/s00040-004-0740-6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
Witte, Vanessa, Bernd Laffert, Olaf Rosorius, Peter Lischka, Katja Blume, Gunther Galler, Andrea Stilper, et al. “HIV-1 Nef Mimics an Integrin Receptor Signal That Recruits the Polycomb Group Protein Eed to the Plasma Membrane.” Molecular Cell 13, no. 2 (2004): 179–90. https://doi.org/10.1016/S1097-2765(04)00004-8.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang, Hui, Stephan Baader, Michael K Sixt, Joachim Kappler, and Uwe Rauch. “Neurocan-GFP Fusion Protein: A New Approach to Detect Hyaluronan on Tissue Sections and Living Cells.” Journal of Histochemistry and Cytochemistry 52, no. 7 (2004): 915–22. https://doi.org/10.1369/jhc.3A6221.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Topological Hierarchy for Functions on Triangulated Surfaces.” IEEE Transactions on Visualization and Computer Graphics 10, no. 4 (2004): 385–96. https://doi.org/10.1109/TVCG.2004.3.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
Cole Mclaughlin, Kree, Herbert Edelsbrunner, John Harer, Vijay Natarajan, and Valerio Pascucci. “Loops in Reeb Graphs of 2-Manifolds.” Discrete & Computational Geometry 32, no. 2 (2004): 231–44. https://doi.org/10.1007/s00454-004-1122-6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3986
Bryant, Robert, Herbert Edelsbrunner, Patrice Koehl, and Michael Levitt. “The Area Derivative of a Space-Filling Diagram.” Discrete & Computational Geometry 32, no. 3 (2004): 293–308. https://doi.org/10.1007/s00454-004-1099-1.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.” IEEE Transactions on Visualization and Computer Graphics 10, no. 5 (2004): 587–97. https://doi.org/10.1109/TVCG.2004.32.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
Choi, Vicky, Pankaj Agarwal, Herbert Edelsbrunner, and Johannes Rudolph. “Local Search Heuristic for Rigid Protein Docking,” 3240:218–29. Springer, 2004. https://doi.org/10.1007/978-3-540-30219-3_19.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci. “Local and Global Comparison of Continuous Functions,” 275–80. IEEE, 2004. https://doi.org/10.1109/VISUAL.2004.68.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
Agarwal, Pankaj, Herbert Edelsbrunner, and Yusu Wang. “Computing the Writhing Number of a Polygonal Knot.” Discrete & Computational Geometry 32, no. 1 (2004): 37–53. https://doi.org/10.1007/s00454-004-2864-x.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
Vladar, Harold, Roberto Cipriani, Benjamin Scharifker, and Jose 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, edited by A. Hanslmeier, S. Kempe, and J. Seckbach, 83–87. Springer, 2004.
View
 

2004 | Book Chapter | IST-REx-ID: 4239
Vladar, Harold, Roberto Cipriani, Benjamin Scharifker, and Jose 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, edited by J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, 7:83–87. Springer, 2004. https://doi.org/3807.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Barton, Nicholas H, Alison Etheridge, and Anja Sturm. “Coalescence in a Random Background.” Annals of Applied Probability 14, no. 2 (2004): 754–85.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,” 152–66. Springer, 2004. https://doi.org/1572.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,” 104–13. ACM, 2004. https://doi.org/10.1145/1017753.1017774.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,” 232–44. ACM, 2004. https://doi.org/10.1145/964001.964021.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,” 1–13. ACM, 2004. https://doi.org/10.1145/996841.996844.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.” In Verification: Theory and Practice, 2772:332–58. Springer, 2004. https://doi.org/10.1007/978-3-540-39910-0_16.
View | DOI
 

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 194, no. 2 (2004): 144–74. 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
 

Search

Filter Publications