Please note that ISTA 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.
9087 Publications
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: 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 | 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: 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: 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: 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 | Conference Paper | IST-REx-ID: 4384 | 
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
| Download None (ext.)
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 | 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: 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 | 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.)
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory. Springer, 2008. https://doi.org/10.1007/s00182-007-0110-5.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4568
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Program Analysis with Dynamic Change of Precision,” 29–38. ACM, 2008. https://doi.org/10.1109/ASE.2008.13.
View
| DOI
| Download (ext.)
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.” Optica Publishing Group, 2008.
View
| Download None (ext.)
2008 | Journal Article | IST-REx-ID: 6146 |
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.
[Published Version]
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: 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: 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: 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: 844
Schmidt, Steffen, Anna Gerasimova, Fyodor Kondrashov, Ivan Adzuhbei, Alexey Kondrashov, and Shamil Sunyaev. “Hypermutable Non-Synonymous Sites Are under Stronger Negative Selection.” PLoS Genetics. Public Library of Science, 2008. https://doi.org/10.1371/journal.pgen.1000281.
View
| DOI
2008 | Journal Article | IST-REx-ID: 8481
Bersch, Beate, Adrien Favier, Paul Schanda, Sébastien van Aelst, Tatiana Vallaeys, Jacques Covès, Max Mergeay, and Ruddy Wattiez. “Molecular Structure and Metal-Binding Properties of the Periplasmic CopK Protein Expressed in Cupriavidus Metallidurans CH34 during Copper Challenge.” Journal of Molecular Biology. Elsevier, 2008. https://doi.org/10.1016/j.jmb.2008.05.017.
View
| DOI
2008 | Journal Article | IST-REx-ID: 8480
Schanda, Paul, Bernhard Brutscher, Robert Konrat, and Martin Tollinger. “Folding of the KIX Domain: Characterization of the Equilibrium Analog of a Folding Intermediate Using 15N/13C Relaxation Dispersion and Fast 1H/2H Amide Exchange NMR Spectroscopy.” Journal of Molecular Biology. Elsevier, 2008. https://doi.org/10.1016/j.jmb.2008.05.040.
View
| DOI
2008 | Journal Article | IST-REx-ID: 8482
Kern, Thomas, Paul Schanda, and Bernhard Brutscher. “Sensitivity-Enhanced IPAP-SOFAST-HMQC for Fast-Pulsing 2D NMR with Reduced Radiofrequency Load.” Journal of Magnetic Resonance. Elsevier, 2008. https://doi.org/10.1016/j.jmr.2007.11.015.
View
| DOI
2008 | Journal Article | IST-REx-ID: 9537
Zilberman, Daniel. “The Evolving Functions of DNA Methylation.” Current Opinion in Plant Biology. Elsevier , 2008. https://doi.org/10.1016/j.pbi.2008.07.004.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 965 |
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 | Journal Article | IST-REx-ID: 8510
Kaloshin, Vadim, and Mark Levi. “An Example of Arnold Diffusion for Near-Integrable Hamiltonians.” Bulletin of the American Mathematical Society. American Mathematical Society, 2008. https://doi.org/10.1090/s0273-0979-08-01211-1.
View
| DOI
2008 | Journal Article | IST-REx-ID: 8509
Kaloshin, Vadim, and Mark Levi. “Geometry of Arnold Diffusion.” SIAM Review. Society for Industrial & Applied Mathematics, 2008. https://doi.org/10.1137/070703235.
View
| DOI
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: 9457 |
Zilberman, Daniel, Devin Coleman-Derr, Tracy Ballinger, and Steven Henikoff. “Histone H2A.Z and DNA Methylation Are Mutually Antagonistic Chromatin Marks.” Nature. Springer Nature, 2008. https://doi.org/10.1038/nature07324.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 13423
Klajn, Rafal, Timothy P. Gray, Paul J. Wesson, Benjamin D. Myers, Vinayak P. Dravid, Stoyan K. Smoukov, and Bartosz A. Grzybowski. “Bulk Synthesis and Surface Patterning of Nanoporous Metals and Alloys from Supraspherical Nanoparticle Aggregates.” Advanced Functional Materials. Wiley, 2008. https://doi.org/10.1002/adfm.200800293.
View
| DOI
2008 | Journal Article | IST-REx-ID: 13422
Wei, Yanhu, Rafal Klajn, Anatoliy O. Pinchuk, and Bartosz A. Grzybowski. “Synthesis, Shape Control, and Optical Properties of Hybrid Au/Fe3O4 ‘Nanoflowers.’” Small. Wiley, 2008. https://doi.org/10.1002/smll.200800511.
View
| DOI
| PubMed | Europe PMC