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.

6514 Publications


2008 | Conference Paper | IST-REx-ID: 2078
Bickel, Bernd, Manuel Lang, Mario Botsch, Miguel Otaduy, and Markus Gross. “Pose-Space Animation and Transfer of Facial Details,” 57–66. ACM, 2008. https://doi.org/10.2312/SCA/SCA08/057-066.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2120 | OA
Maas, Jan, and Jan Van Neerven. “On the Domain of Non-Symmetric Ornstein-Uhlenbeck Operators in Banach Spaces.” Infinite Dimensional Analysis, Quantum Probability and Related Topics. World Scientific Publishing, 2008. https://doi.org/10.1142/S0219025708003245.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121 | OA
Van Neerven, Jan, and Jan Maas. “A Clark-Ocone Formula in UMD Banach Spaces.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2008.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2146 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of Rotationally Inelastic Collisions of Polar Molecules in Electric Fields.” Journal of Chemical Physics. American Institute of Physics, 2008. https://doi.org/10.1063/1.2948392.
View | DOI | Download (ext.)
 

2008 | Book Review | IST-REx-ID: 2147
Lemeshko, Mikhail, and Břetislav Friedrich. “Kvantový Zenonův Jev Aneb Co Nesejde z Očí, Nezestárne.” Chemicke Listy. Czech Society of Chemical Engineering, 2008.
View
 

2008 | Journal Article | IST-REx-ID: 2148
Pokrovski, Gleb, Jacques Roux, Jean Hazemann, Anastassia Borisova, Anastasia Gonchar, and Mikhail Lemeshko. “In Situ X-Ray Absorption Spectroscopy Measurement of Vapour-Brine Fractionation of Antimony at Hydrothermal Conditions.” Mineralogical Magazine. Mineralogical Society, 2008. https://doi.org/10.1180/minmag.2008.072.2.667 .
View | DOI
 

2008 | Journal Article | IST-REx-ID: 224
Browning, Timothy D, and Rainer Dietmann. “On the Representation of Integers by Quadratic Forms.” Proceedings of the London Mathematical Society. John Wiley and Sons Ltd, 2008. https://doi.org/10.1112/plms/pdm032.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 225
De La Bretèche, Régis, and Timothy D Browning. “Binary Linear Forms as Sums of Two Squares.” Compositio Mathematica. Cambridge University Press, 2008. https://doi.org/10.1112/S0010437X08003692.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7320
Flückiger, Reto, Stefan Alexander Freunberger, Denis Kramer, Alexander Wokaun, Günther G. Scherer, and Felix N. Büchi. “Anisotropic, Effective Diffusivity of Porous Gas Diffusion Layer Materials for PEFC.” Electrochimica Acta. Elsevier, 2008. https://doi.org/10.1016/j.electacta.2008.07.034.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7321
Freunberger, Stefan Alexander, Ingo A. Schneider, Pang-Chieh Sui, Alexander Wokaun, Nedjib Djilali, and Felix N. Büchi. “Cell Interaction Phenomena in Polymer Electrolyte Fuel Cell Stacks.” Journal of The Electrochemical Society. The Electrochemical Society, 2008. https://doi.org/10.1149/1.2913095.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7322
Kramer, Denis, Stefan Alexander Freunberger, Reto Flückiger, Ingo A. Schneider, Alexander Wokaun, Felix N. Büchi, and Günther G. Scherer. “Electrochemical Diffusimetry of Fuel Cell Gas Diffusion Layers.” Journal of Electroanalytical Chemistry. Elsevier, 2008. https://doi.org/10.1016/j.jelechem.2007.09.014.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 7425
Santis, Marco, Stefan Alexander Freunberger, Matthias Papra, and Felix N. Büchi. “Experimental Investigation of the Propagation of Local Current Density Variations to Adjacent Cells in PEFC Stacks.” In 3rd International Conference on Fuel Cell Science, Engineering and Technology, 763–65. ASMEDC, 2008. https://doi.org/10.1115/fuelcell2005-74116.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 753
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “How to Solve Consensus in the Smallest Window of Synchrony,” 5218 LNCS:32–46. Springer, 2008. https://doi.org/10.1007/978-3-540-87779-0_3.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7752
Robinson, Matthew Richard, Jill G. Pilkington, Tim H. Clutton-Brock, Josephine M. Pemberton, and Loeske. E.B. Kruuk. “Environmental Heterogeneity Generates Fluctuating Selection on a Secondary Sexual Trait.” Current Biology. Elsevier, 2008. https://doi.org/10.1016/j.cub.2008.04.059.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 517
Barton, Nicholas H. “Identity and Coalescence in Structured Populations: A Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery Slatkin.” Genetical Research. Cambridge University Press, 2008. https://doi.org/10.1017/S0016672308009683.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 581
Hosten, Onur, and Paul Kwiat. “Observation of the Spin Hall Effect of Light via Weak Measurements.” Science. American Association for the Advancement of Science, 2008. https://doi.org/10.1126/science.1152697.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 584
Hosten, Onur, and Paul Kwiat. “Spin Hall Effect of Light via Weak Measurements: Sharp and Smooth Index Variations.” IEEE, 2008.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 6146 | OA
Bretscher, A. J., K. E. Busch, and Mario de Bono. “A Carbon Dioxide Avoidance Behavior Is Integrated with Responses to Ambient Oxygen and Food in Caenorhabditis Elegans.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0707607105.
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 6148
Kammenga, Jan E., Patrick C. Phillips, Mario de Bono, and Agnieszka Doroszuk. “Beyond Induced Mutants: Using Worms to Study Natural Variation in Genetic Pathways.” Trends in Genetics. Elsevier, 2008. https://doi.org/10.1016/j.tig.2008.01.001.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 6149
Olofsson, Birgitta, and Mario de Bono. “Sleep: Dozy Worms and Sleepy Flies.” Current Biology. Elsevier, 2008. https://doi.org/10.1016/j.cub.2008.01.002.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 1296
Jösch, Maximilian A, Johannes Plett, Alexander Borst, and Dierk Reiff. “Response Properties of Motion Sensitive Visual Interneurons in the Lobula Plate of Drosophila Melanogaster.” Current Biology. Cell Press, 2008. https://doi.org/10.1016/j.cub.2008.02.022.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1460 | OA
Hausel, Tamás, and Fernando Rodríguez Villegas. “Mixed Hodge Polynomials of Character Varieties: With an Appendix by Nicholas M. Katz.” Inventiones Mathematicae. Springer, 2008. https://doi.org/10.1007/s00222-008-0142-x.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1036 | OA
Gustavsson, Mattias, Elmar Haller, Manfred Mark, Johann G Danzl, Gabriel Rojas Kopeinig, and Hanns Nägerl. “Control of Interaction-Induced Dephasing of Bloch Oscillations.” Physical Review Letters. American Physical Society, 2008. https://doi.org/10.1103/PhysRevLett.100.080404.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1037 | OA
Knoop, Steven, Michael Mark, Francesca Ferlaino, Johann G Danzl, Tobias Kraemer, Hanns Nägerl, and Rudolf Grimm. “Metastable Feshbach Molecules in High Rotational States.” Physical Review Letters. American Physical Society, 2008. https://doi.org/10.1103/PhysRevLett.100.083002.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
Danzl, Johann G, Elmar Haller, Mattias Gustavsson, Manfred Mark, Russell Hart, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, and Hanns Nägerl. “Quantum Gas of Deeply Bound Ground State Molecules.” Science. American Association for the Advancement of Science, 2008. https://doi.org/10.1126/science.1159909.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 895
Donaldson, Zoe, Fyodor Kondrashov, Andrea Putnam, Yaohui Bai, Tara Stoinski, Elizabeth Hammock, and Larry Young. “Evolution of a Behavior-Linked Microsatellite-Containing Element in the 5′ Flanking Region of the Primate AVPR1A Gene.” BMC Evolutionary Biology. BioMed Central, 2008. https://doi.org/10.1186/1471-2148-8-180.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 907
Assis, Raquel, Alexey Kondrashov, Eugene Koonin, and Fyodor Kondrashov. “Nested Genes and Increasing Organizational Complexity of Metazoan Genomes.” Trends in Genetics. Elsevier, 2008. https://doi.org/10.1016/j.tig.2008.08.003.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 965 | OA
Morozov, Alexei, and Maksym Serbyn. “Nonlinear Algebra and Bogoliubov’s Recursion.” Theoretical and Mathematical Physics. Elsevier, 2008. https://doi.org/10.1007/s11232-008-0026-7.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3714
Lampert, Christoph, Matthew Blaschko, and Thomas Hofmann. “Beyond Sliding Windows: Object Localization by Efficient Subwindow Search,” 1–8. IEEE, 2008. https://doi.org/10.1109/CVPR.2008.4587586.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3716
Lampert, Christoph, and Matthew Blaschko. “A Multiple Kernel Learning Approach to Joint Multi-Class Object Detection,” 5096:31–40. Springer, 2008. https://doi.org/10.1007/978-3-540-69321-5_4.
View | DOI | Download (ext.)
 

2008 | Book Chapter | IST-REx-ID: 3726
Engel, Andreas, Harald L Janovjak, Dimtrios Fotiadis, Alexej Kedrov, David Cisneros, and Daniel Mueller. “Single-Molecule Microscopy and Force Spectroscopy of Membrane Proteins.” In Single Molecules and Nanotechnology, 12:279–311. Springer, 2008. https://doi.org/10.1007/978-3-540-73924-1_11.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3734 | OA
Tkačik, Gašper, Thomas Gregor, and William Bialek. “The Role of Input Noise in Transcriptional Regulation.” PLoS One. Public Library of Science, 2008. https://doi.org/10.1371/journal.pone.0002774.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3739
Tkačik, Gašper, Curtis Callan, and William Bialek. “Information Capacity of Genetic Regulatory Elements.” Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2008. https://doi.org/10.1103/PhysRevE.78.011910.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3740 | OA
Tkačik, Gašper, Curtis Callan, and William Bialek. “Information Flow and Optimization in Transcriptional Regulation.” PNAS. National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0806077105.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744 | OA
Tkačik, Gašper, and Marcelo Magnasco. “Decoding Spike Timing: The Differential Reverse-Correlation Method.” Biosystems. Elsevier, 2008. https://doi.org/10.1016/j.biosystems.2008.04.011.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751 | OA
Kinkhabwala, Ali, and Calin C Guet. “Uncovering Cis Regulatory Codes Using Synthetic Promoter Shuffling.” PLoS One. Public Library of Science, 2008. https://doi.org/10.1371/journal.pone.0002030.
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3754
Guet, Calin C, Luke Bruneaux, Taejin Min, Dan Siegal Gaskins, Israel Figueroa, Thierry Emonet, and Philippe Cluzel. “Minimally Invasive Determination of MRNA Concentration in Single Living Bacteria.” Nucleic Acids Research. Oxford University Press, 2008. https://doi.org/10.1093/nar/gkn329.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3760
Wojtan, Christopher J, and Greg Turk. “Fast Viscoelastic Behavior with Thin Features.” ACM Transactions on Graphics. ACM, 2008. https://doi.org/10.1145/1360612.1360646.
View | DOI | Download None (ext.)
 

2008 | Journal Article | IST-REx-ID: 3769
Kupczok, Anne, Arndt Von Haeseler, and Steffen Klaere. “An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees.” Journal of Computational Biology. Mary Ann Liebert, 2008. https://doi.org/4200.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3822 | OA
Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Action Potential Initiation and Propagation in Hippocampal Mossy Fibre Axons.” Journal of Physiology. Wiley-Blackwell, 2008. https://doi.org/10.1113/jphysiol.2007.150151 .
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3823
Kerr, Angharad, and Peter M Jonas. “The Two Sides of Hippocampal Mossy Fiber Plasticity (Review).” Neuron. Elsevier, 2008. https://doi.org/10.1016/j.neuron.2007.12.015.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3824
Bucurenciu, Iancu, Ákos Kulik, Beat Schwaller, Michael Frotscher, and Peter M Jonas. “Nanodomain Coupling between Ca(2+) Channels and Ca2+ Sensors Promotes Fast and Efficient Transmitter Release at a Cortical GABAergic Synapse.” Neuron. Elsevier, 2008. https://doi.org/10.1016/j.neuron.2007.12.026.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3825 | OA
Aponte, Yexica, Josef Bischofberger, and Peter M Jonas. “Efficient Ca(2+) Buffering in Fast-Spiking Basket Cells of Rat Hippocampus.” Journal of Physiology. Wiley-Blackwell, 2008. https://doi.org/10.1113/jphysiol.2007.147298.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3826
Doischer, Daniel, Jonas Hosp, Yuchio Yanagawa, Kunihiko Obata, Peter M Jonas, Imre Vida, and Marlene Bartos. “Postnatal Differentiation of Basket Cells from Slow to Fast Signaling Devices.” Journal of Neuroscience. Society for Neuroscience, 2008. https://doi.org/10.1523/JNEUROSCI.2890-08.2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3827
Kerr, Angharad, Ellen Reisinger, and Peter M Jonas. “Differential Dependence of Phasic Transmitter Release on Synaptotagmin 1 at GABAergic and Glutamatergic Hippocampal Synapses.” PNAS. National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0800621105.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee, Krishnendu, and Thomas A Henzinger. “Value Iteration.” In 25 Years in Model Checking, 5000:107–38. Springer, 2008. https://doi.org/10.1007/978-3-540-69850-0_7.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Controller Synthesis with Budget Constraints,” 4981:72–86. Springer, 2008. https://doi.org/DOI: 10.1007/978-3-540-78929-1_6.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Trading Infinite Memory for Uniform Randomness in Timed Games,” 4981:87–100. Springer, 2008. https://doi.org/10.1007/978-3-540-78929-1_7.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee, Krishnendu, Thomas A Henzinger, and Koushik Sen. “Model-Checking Omega-Regular Properties of Interval Markov Chains,” 4962:302–17. Springer, 2008. https://doi.org/10.1007/978-3-540-78499-9_22.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness,” 5215:124–40. Springer, 2008. https://doi.org/10.1007/978-3-540-85778-5_10.
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, Thomas A Henzinger, and Barbara Jobstmann. “Environment Assumptions for Synthesis,” 5201:147–61. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9_14.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee, Krishnendu, Luca De Alfaro, and Ritankar Majumdar. “The Complexity of Coverage,” 5356:91–106. Springer, 2008. https://doi.org/10.1007/978-3-540-89330-1_7.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages,” 5213:385–400. Springer, 2008. https://doi.org/10.1007/978-3-540-87531-4_28.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3880
Berwanger, Dietmar, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, and Sangram Raje. “Strategy Construction for Parity Games with Imperfect Information,” 5201:325–39. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3903
Ugelvig, Line V, Falko Drijfhout, Daniel Kronauer, Jacobus Boomsma, Jes Pedersen, and Sylvia Cremer. “The Introduction History of Invasive Garden Ants in Europe: Integrating Genetic, Chemical and Behavioural Approaches.” BMC Biology. BioMed Central, 2008. https://doi.org/10.1186/1741-7007-6-11.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3905
Cremer, Sylvia, Patrizia D’Ettorre, Falko Drijfhout, Matthew Sledge, Stefano Turillazzi, and Jürgen Heinze. “Imperfect Chemical Female Mimicry in Males of the Ant Cardiocondyla Obscurior.” Naturwissenschaften. Springer, 2008. https://doi.org/10.1007/s00114-008-0430-8.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3906
Cremer, Sylvia, Line V Ugelvig, Falko Drijfhout, Birgit Schlick Steiner, Florian Steiner, Bernhard Seifert, David Hughes, et al. “The Evolution of Invasiveness in Garden Ants.” PLoS One. Public Library of Science, 2008. https://doi.org/10.1371/journal.pone.0003838.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3907
Suefuji, Masaki, Sylvia Cremer, Jan Oettler, and Jürgen Heinze. “Queen Number Influences the Timing of the Sexual Production in Colonies of Cardiocondyla Ants.” Biology Letters. Royal Society, The, 2008. https://doi.org/10.1098/rsbl.2008.0355.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3939
Lämmermann, Tim, and Michael K Sixt. “The Microanatomy of T-Cell Responses.” Immunological Reviews. Wiley-Blackwell, 2008. https://doi.org/10.1111/j.1600-065X.2008.00592.x.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3940
Lokmic, Zerina, Tim Lämmermann, Michael K Sixt, Susanna Cardell, Rupert Hallmann, and Lydia Sorokin. “The Extracellular Matrix of the Spleen as a Potential Organizer of Immune Cell Compartments.” Seminars in Immunology. Academic Press, 2008. https://doi.org/10.1016/j.smim.2007.12.009.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3941
Lämmermann, Tim, Bernhard Bader, Susan Monkley, Tim Worbs, Roland Wedlich Söldner, Karin Hirsch, Markus Keller, et al. “Rapid Leukocyte Migration by Integrin-Independent Flowing and Squeezing.” Nature. Nature Publishing Group, 2008. https://doi.org/10.1038/nature06887.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3942
Frommhold, David, Andreas Ludwig, M Gabriele Bixel, Alexander Zarbock, Inna Babushkina, Melitta Weissinger, Sandra Cauwenberghs, et al. “Sialyltransferase ST3Gal-IV Controls CXCR2-Mediated Firm Leukocyte Arrest during Inflammation.” The Journal of Experimental Medicine. Rockefeller University Press, 2008. https://doi.org/10.1084/jem.20070846.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3943
Kessenbrock, Kai, Leopold Fröhlich, Michael K Sixt, Tim Lämmermann, Heiko Pfister, Andrew Bateman, Azzaq Belaaouaj, et al. “Proteinase 3 and Neutrophil Elastase Enhance Inflammation in Mice by Inactivating Antiinflammatory Progranulin.” The Journal of Clinical Investigation. American Society for Clinical Investigation, 2008. https://doi.org/10.1172/JCI34694.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3944
Riedl, Julia, Alvaro Crevenna, Kai Kessenbrock, Jerry Yu, Dorothee Neukirchen, Michal Bista, Frank Bradke, et al. “Lifeact: A Versatile Marker to Visualize F-Actin.” Nature Methods. Nature Publishing Group, 2008. https://doi.org/10.1038/nmeth.1220.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3945
Tripp, Christoph, Bernhard Haid, Vincent Flacher, Michael K Sixt, Hannes Peter, Julia Farkas, Robert Gschwentner, Lydia Sorokin, Nikolaus Romani, and Patrizia Stoitzner. “The Lymph Vessel Network in Mouse Skin Visualised with Antibodies against the Hyaluronan Receptor LYVE-1.” Immunobiology. Elsevier, 2008. https://doi.org/10.1016/j.imbio.2008.07.025.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3969
Edelsbrunner, Herbert, and John Harer. “Persistent Homology - a Survey.” In Surveys on Discrete and Computational Geometry: Twenty Years Later, 257–82. American Mathematical Society, 2008.
View
 

2008 | Journal Article | IST-REx-ID: 3970
Dequéant, Mary, Sebastian Ahnert, Herbert Edelsbrunner, Thomas Fink, Earl Glynn, Gaye Hattem, Andrzej Kudlicki, et al. “Comparison of Pattern Detection Methods in Microarray Time Series of the Segmentation Clock.” PLoS One. Public Library of Science, 2008. https://doi.org/10.1371/journal.pone.0002856.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3971
Edelsbrunner, Herbert, John Harer, Ajith Mascarenhas, Valerio Pascucci, and Jack Snoeyink. “Time-Varying Reeb Graphs for Continuous Space-Time Data.” Computational Geometry: Theory and Applications. Elsevier, 2008. https://doi.org/10.1016/j.comgeo.2007.11.001.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3974
Edelsbrunner, Herbert, John Harer, and Amit Patel. “Reeb Spaces of Piecewise Linear Mappings,” 242–50. ACM, 2008. https://doi.org/10.1145/1377676.1377720.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4135
Storch, D., A. Šizling, J. Reif, Jitka Polechova, E. Šizlingová, and K. Gaston. “The Quest for a Null Model for Macroecological Patterns: Geometry of Species Distributions at Multiple Spatial Scales.” Ecology Letters. Wiley-Blackwell, 2008. https://doi.org/3817.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4137
Bridle, Jon, Jitka Polechova, and Timothy Vines. “Patterns of Biodiversity and Limits to Adaptation in Time and Space.” In Evolution and Speciation, edited by J.R. R. K. Butlin and D. Schluter, 77–101. Cambridge University Press, 2008. https://doi.org/3816.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4141
Vervenne, Hilke, Koen Crombez, Kathleen Lambaerts, Lara Carvalho, Mathias Köppen, Carl-Philipp J Heisenberg, Wim Van De Ven, and Marleen Petit. “Lpp Is Involved in Wnt/PCP Signaling and Acts Together with Scrib to Mediate Convergence and Extension Movements during Zebrafish Gastrulation.” Developmental Biology. Elsevier, 2008. https://doi.org/10.1016/j.ydbio.2008.05.529.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4150
Schötz, Eva, Rebecca Burdine, Frank Julicher, Malcolm Steinberg, Carl-Philipp J Heisenberg, and Ramsey Foty. “Quantitative Differences in Tissue Surface Tension Influence Zebrafish Germ Layer Positioning.” HFSP Journal. HFSP Publishing, 2008. https://doi.org/10.2976/1.2834817.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4161
Oteíza, Pablo, Mathias Köppen, Miguel Concha, and Carl-Philipp J Heisenberg. “Origin and Shaping of the Laterality Organ in Zebrafish.” Development. Company of Biologists, 2008. https://doi.org/10.1242/dev.022228.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4180
Krieg, Michael, Jonne Helenius, Carl-Philipp J Heisenberg, and Daniel Mueller. “A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics.” Angewandte Chemie - International Edition. Wiley-Blackwell, 2008. https://doi.org/10.1002/anie.200803552.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4181
Krieg, Michael, Yohanna Arboleda Estudillo, Pierre Puech, Jos Käfer, François Graner, Daniel Mueller, and Carl-Philipp J Heisenberg. “Tensile Forces Govern Germ-Layer Organization in Zebrafish.” Nature Cell Biology. Nature Publishing Group, 2008. https://doi.org/10.1038/ncb1705.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4190
Kai, Masatake, Carl-Philipp J Heisenberg, and Masazumi Tada. “Sphingosine-1-Phosphate Receptors Regulate Individual Cell Behaviours Underlying the Directed Migration of Prechordal Plate Progenitor Cells during Zebrafish Gastrulation.” Development. Company of Biologists, 2008. https://doi.org/10.1242/dev.020396.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4193
Helenius, Jonne, Carl-Philipp J Heisenberg, Hermann Gaub, and Daniel Mueller. “Single-Cell Force Spectroscopy.” Journal of Cell Science. Company of Biologists, 2008. https://doi.org/10.1242/​jcs.030999.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4198
Heisenberg, Carl-Philipp J, and Lilianna Solnica Krezel. “Back and Forth between Cell Fate Specification and Movement during Vertebrate Gastrulation.” Current Opinion in Genetics & Development. Elsevier, 2008. https://doi.org/10.1016/j.gde.2008.07.011.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4227
Bollenbach, Tobias, Periklis Pantazis, Anna Kicheva, Christian Bokel, Marcos González Gaitán, and Frank Julicher. “Precision of the Dpp Gradient.” Development. Company of Biologists, 2008. https://doi.org/10.1242/dev.012062.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4244
Yang, Erfu, Nicholas H Barton, Tughrul Arslan, and Ahmet Erdogan. “A Novel Shifting Balance Theory-Based Approach to Optimization of an Energy-Constrained Modulation Scheme for Wireless Sensor Networks,” 2749–56. IEEE, 2008. https://doi.org/10.1109/CEC.2008.4631167.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4245
Pannebakker, Bart, Daniel Halligan, K Tracy Reynolds, Gavin Ballantyne, David Shuker, Nicholas H Barton, and Stuart West. “Effects of Spontaneous Mutation Accumulation on Sex Ratio Traits.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2008. https://doi.org/10.1111/j.1558-5646.2008.00434.x.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4366
Podelski, Andreas, Andrey Rybalchenko, and Thomas Wies. “Heap Assumptions on Demand,” 5123:314–27. Springer, 2008. https://doi.org/10.1007/978-3-540-70545-1_31.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4371
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” In Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, 475–505. Springer, 2008. https://doi.org/1566.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui, Rachid, Thomas A Henzinger, Barbara Jobstmann, and Vasu Singh. “Model Checking Transactional Memories,” 372–82. ACM, 2008. https://doi.org/10.1145/1375581.1375626.
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Permissiveness in Transactional Memories,” 5218:305–19. Springer, 2008. https://doi.org/10.1007/978-3-540-87779-0_21.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Completeness and Nondeterminism in Model Checking Transactional Memories,” 5201:21–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9_6.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4397
Beyer, Dirk, Damien Zufferey, and Ritankar Majumdar. “CSIsat: Interpolation for LA+EUF,” 304–8. Springer, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4400
Aviv, Adam, Pavol Cerny, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, and Matt Blaze. “Security Evaluation of ES&S Voting Machines and Election Management System.” USENIX, 2008. https://doi.org/1545.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4409
Prabhu, Vinayak. “Games for the Verification of Timed Systems.” University of California, Berkeley, 2008.
View
 

2008 | Thesis | IST-REx-ID: 4415
Matic, Slobodan. “Compositionality in Deterministic Real-Time Embedded Systems.” University of California, Berkeley, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,” 5330:333–42. Springer, 2008. https://doi.org/10.1007/978-3-540-89439-1_24.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London, 2008. https://doi.org/10.1098/rsta.2008.0141.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4521
Gupta, Ashutosh, Thomas A Henzinger, Ritankar Majumdar, Andrey Rybalchenko, and Ru Xu. “Proving Non-Termination,” 147–58. ACM, 2008. https://doi.org/10.1145/1328438.1328459.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal, Arkadeb. “A Hierarchical Coordination Language for Reliable Real-Time Tasks.” University of California, Berkeley, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4527
Fisher, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,” 5054:17–32. Springer, 2008. https://doi.org/10.1007/978-3-540-68413-8_2.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4532
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science. World Scientific Publishing, 2008. https://doi.org/10.1142/S0129054108005814 .
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4533
Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov. “Interface Theories with Component Reuse,” 79–88. ACM, 2008. https://doi.org/10.1145/1450058.1450070.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters. Elsevier, 2008. https://doi.org/10.1016/j.ipl.2007.08.035.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, and Alberto Sangiovanni Vincentelli. “Logical Reliability of Interacting Real-Time Tasks,” 909–14. IEEE, 2008. https://doi.org/10.1145/1403375.1403595.
View | DOI | Download (ext.)
 

Search

Filter Publications