Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6696 Publications


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.)
 

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: 3030
Růčková, Eva, Jiří Friml, Petra Procházková Schrumpfová, and Jiří Fajkus. “Role of Alternative Telomere Lengthening Unmasked in Telomerase Knock-out Mutant Plants.” Plant Molecular Biology. Springer, 2008. https://doi.org/10.1007/s11103-008-9295-7.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3031
Dhonukshe, Pankaj, Ilya Grigoriev, Rainer Fischer, Motoki Tominaga, David Robinson, Jiří Hašek, Tomasz Paciorek, et al. “Auxin Transport Inhibitors Impair Vesicle Motility and Actin Cytoskeleton Dynamics in Diverse Eukaryotes.” PNAS. National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0711414105.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3032
Kleine Vehn, Jürgen, Pankaj Dhonukshe, Michael Sauer, Philip Brewer, Justyna Wiśniewska, Tomasz Paciorek, Eva Benková, and Jiří Friml. “ARF GEF Dependent Transcytosis and Polar Delivery of PIN Auxin Carriers in Arabidopsis.” Current Biology. Cell Press, 2008. https://doi.org/10.1016/j.cub.2008.03.021.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3033
Sauer, Michael, and Jiří Friml. “Visualization of Auxin Gradients in Embryogenesis .” In Plant Embryogenesis, edited by María Suárez and Peter Bozhkov, 427:137–44. Humana Press, 2008. https://doi.org/10.1007/978-1-59745-273-1_11.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3034
Friml, Jiří, and Michael Sauer. “Plant Biology: In Their Neighbour’s Shadow.” Nature. Nature Publishing Group, 2008. https://doi.org/10.1038/453298a.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3035
Sauer, Michael, and Jiří Friml. “In Vitro Culture of Arabidopsis Embryos .” In Plant Embryogenesis, edited by María Suárez and Peter Bozhkov, 427:71–76. Humana Press, 2008. https://doi.org/10.1007/978-1-59745-273-1_5.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3036
Dubrovsky, Joseph, Michael Sauer, Selene Napsucialy Mendivil, Maria Ivanchenko, Jiří Friml, Svetlana Shishkova, John Celenza, and Eva Benková. “Auxin Acts as a Local Morphogenetic Trigger to Specify Lateral Root Founder Cells.” PNAS. National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0712307105.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
Feraru, Elena, and Jiří Friml. “PIN Polar Targeting.” Plant Physiology. American Society of Plant Biologists, 2008. https://doi.org/10.1104/pp.108.121756.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3038
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3039
De Smet, Ive, Valya Vassileva, Bert De Rybel, Mitchell Levesque, Wim Grunewald, Daniël Van Damme, Giel Van Noorden, et al. “Receptor-like Kinase ACR4 Restricts Formative Cell Divisions in the Arabidopsis Root.” Science. American Association for the Advancement of Science, 2008. https://doi.org/10.1126/science.1160158.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3040
Kleine Vehn, Jürgen, Łukasz Łangowski, Justyna Wiśniewska, Pankaj Dhonukshe, Philip Brewer, and Jiří Friml. “Cellular and Molecular Requirements for Polar PIN Targeting and Transcytosis in Plants.” Molecular Plant. Oxford University Press, 2008. https://doi.org/10.1093/mp/ssn062.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3041
Santelia, Diana, Sina Henrichs, Vincent Vincenzetti, Michael Sauer, Laurent Bigler, Markus Klein, Aurélien Bailly, et al. “Flavonoids Redirect PIN Mediated Polar Auxin Fluxes during Root Gravitropic Responses.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2008. https://doi.org/ 10.1074/jbc.M710122200.
View | DOI
 

Search

Filter Publications