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.

6749 Publications


2008 | Journal Article | IST-REx-ID: 3942
D. Frommhold et al., “Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation,” The Journal of Experimental Medicine, vol. 205, no. 6. Rockefeller University Press, pp. 1435–1446, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3943
K. Kessenbrock et al., “Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin,” The Journal of Clinical Investigation, vol. 118, no. 7. American Society for Clinical Investigation, pp. 2438–2447, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3944
J. Riedl et al., “Lifeact: a versatile marker to visualize F-actin,” Nature Methods, vol. 5, no. 7. Nature Publishing Group, pp. 605–607, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3945
C. Tripp et al., “The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1,” Immunobiology, vol. 213, no. 9–10. Elsevier, pp. 715–28, 2008.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3969
H. Edelsbrunner and J. Harer, “Persistent homology - a survey,” in Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–282.
View
 

2008 | Journal Article | IST-REx-ID: 3970
M. Dequéant et al., “Comparison of pattern detection methods in microarray time series of the segmentation clock,” PLoS One, vol. 3, no. 8. Public Library of Science, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3971
H. Edelsbrunner, J. Harer, A. Mascarenhas, V. Pascucci, and J. Snoeyink, “Time-varying Reeb graphs for continuous space-time data,” Computational Geometry: Theory and Applications, vol. 41, no. 3. Elsevier, pp. 149–166, 2008.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3974
H. Edelsbrunner, J. Harer, and A. Patel, “Reeb spaces of piecewise linear mappings,” presented at the SCG: Symposium on Computational Geometry, 2008, pp. 242–250.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4135
D. Storch, A. Šizling, J. Reif, J. 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, vol. 11, no. 8. Wiley-Blackwell, pp. 771–784, 2008.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4137
J. Bridle, J. Polechova, and T. Vines, “Patterns of biodiversity and limits to adaptation in time and space,” in Evolution and Speciation, J. R. R. K. Butlin and D. Schluter, Eds. Cambridge University Press, 2008, pp. 77–101.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4141
H. Vervenne et al., “Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation,” Developmental Biology, vol. 320, no. 1. Elsevier, pp. 267–277, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4150
E. Schötz, R. Burdine, F. Julicher, M. Steinberg, C.-P. J. Heisenberg, and R. Foty, “Quantitative differences in tissue surface tension influence zebrafish germ layer positioning,” HFSP Journal, vol. 2, no. 1. HFSP Publishing, pp. 42–56, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4161
P. Oteíza, M. Köppen, M. Concha, and C.-P. J. Heisenberg, “Origin and shaping of the laterality organ in zebrafish,” Development, vol. 135, no. 16. Company of Biologists, pp. 2807–2813, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4180
M. Krieg, J. Helenius, C.-P. J. Heisenberg, and D. Mueller, “A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics,” Angewandte Chemie - International Edition, vol. 47, no. 50. Wiley-Blackwell, pp. 9775–9777, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4181
M. Krieg et al., “Tensile forces govern germ-layer organization in zebrafish,” Nature Cell Biology, vol. 10, no. 4. Nature Publishing Group, pp. 429–436, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4190
M. Kai, C.-P. J. Heisenberg, and M. Tada, “Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation,” Development, vol. 135, no. 18. Company of Biologists, pp. 3043–3051, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4193
J. Helenius, C.-P. J. Heisenberg, H. Gaub, and D. Mueller, “Single-cell force spectroscopy,” Journal of Cell Science, vol. 121, no. 11. Company of Biologists, pp. 1785–1791, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4198
C.-P. J. Heisenberg and L. Solnica Krezel, “Back and forth between cell fate specification and movement during vertebrate gastrulation,” Current Opinion in Genetics & Development, vol. 18, no. 4. Elsevier, pp. 311–316, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4227
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, and F. Julicher, “Precision of the Dpp gradient,” Development, vol. 135, no. 6. Company of Biologists, pp. 1137–1146, 2008.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4244
E. Yang, N. H. Barton, T. Arslan, and A. Erdogan, “A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks,” presented at the WCCI: IEEE World Congress on Computational Intelligence, 2008, pp. 2749–2756.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4245
B. Pannebakker et al., “Effects of spontaneous mutation accumulation on sex ratio traits,” Evolution; International Journal of Organic Evolution, vol. 62, no. 8. Wiley-Blackwell, pp. 1921–1935, 2008.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4366
A. Podelski, A. Rybalchenko, and T. Wies, “Heap Assumptions on Demand,” presented at the CAV: Computer Aided Verification, 2008, vol. 5123, pp. 314–327.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4371
O. Maler, D. Nickovic, and A. 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, Springer, 2008, pp. 475–505.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
R. Guerraoui, T. A. Henzinger, B. Jobstmann, and V. Singh, “Model checking transactional memories,” presented at the PLDI: Programming Languages Design and Implementation, 2008, pp. 372–382.
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
R. Guerraoui, T. A. Henzinger, and V. Singh, “Permissiveness in transactional memories,” presented at the DISC: Distributed Computing, 2008, vol. 5218, pp. 305–319.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
R. Guerraoui, T. A. Henzinger, and V. Singh, “Completeness and nondeterminism in model checking transactional memories,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 21–35.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4397
D. Beyer, D. Zufferey, and R. Majumdar, “CSIsat: Interpolation for LA+EUF,” presented at the CAV: Computer Aided Verification, 2008, pp. 304–308.
View
 

2008 | Conference Paper | IST-REx-ID: 4400
A. Aviv et al., “Security Evaluation of ES&S Voting Machines and Election Management System,” presented at the Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08, 2008.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4409
V. Prabhu, “Games for the verification of timed systems,” University of California, Berkeley, 2008.
View
 

2008 | Thesis | IST-REx-ID: 4415
S. Matic, “Compositionality in deterministic real-time embedded systems,” University of California, Berkeley, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
T. A. Henzinger, T. Hottelier, and L. Kovács, “Valigator: A verification tool with bound and invariant generation,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, 2008, vol. 5330, pp. 333–342.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
T. A. Henzinger, “Two challenges in embedded systems design: Predictability and robustness,” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881. Royal Society of London, pp. 3727–3736, 2008.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4521
A. Gupta, T. A. Henzinger, R. Majumdar, A. Rybalchenko, and R. Xu, “Proving non-termination,” presented at the POPL: Principles of Programming Languages, 2008, pp. 147–158.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
A. Ghosal, “A hierarchical coordination language for reliable real-time tasks,” University of California, Berkeley, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4527
J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman, “Bounded asynchrony: Concurrency for modeling cell-cell interactions,” presented at the FMSB: Formal Methods in Systems Biology, 2008, vol. 5054, pp. 17–32.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4532
L. Doyen, T. A. Henzinger, and J. Raskin, “Equivalence of labeled Markov chains,” International Journal of Foundations of Computer Science, vol. 19, no. 3. World Scientific Publishing, pp. 549–563, 2008.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4533
L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, “Interface theories with component reuse,” presented at the EMSOFT: Embedded Software , 2008, pp. 79–88.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4534
K. Chatterjee and T. A. Henzinger, “Reduction of stochastic parity to stochastic mean-payoff games,” Information Processing Letters, vol. 106, no. 1. Elsevier, pp. 1–7, 2008.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4546
K. Chatterjee et al., “Logical reliability of interacting real-time tasks,” presented at the DATE: Design, Automation and Test in Europe, 2008, pp. 909–914.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4548
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Stochastic limit-average games are in EXPTIME,” International Journal of Game Theory, vol. 37, no. 2. Springer, pp. 219–234, 2008.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4568
D. Beyer, T. A. Henzinger, and G. Théoduloz, “Program analysis with dynamic change of precision,” presented at the ASE: Automated Software Engineering, 2008, pp. 29–38.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3030
E. Růčková, J. Friml, P. Procházková Schrumpfová, and J. Fajkus, “Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants,” Plant Molecular Biology, vol. 66, no. 6. Springer, pp. 637–646, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3031
P. Dhonukshe et al., “Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes,” PNAS, vol. 105, no. 11. National Academy of Sciences, pp. 4489–4494, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3032
J. Kleine Vehn et al., “ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis,” Current Biology, vol. 18, no. 7. Cell Press, pp. 526–531, 2008.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3033
M. Sauer and J. Friml, “Visualization of auxin gradients in embryogenesis ,” in Plant Embryogenesis, vol. 427, M. Suárez and P. Bozhkov, Eds. Humana Press, 2008, pp. 137–144.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3034
J. Friml and M. Sauer, “Plant biology: In their neighbour’s shadow,” Nature, vol. 453, no. 7193. Nature Publishing Group, pp. 298–299, 2008.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3035
M. Sauer and J. Friml, “In vitro culture of Arabidopsis embryos ,” in Plant Embryogenesis, vol. 427, M. Suárez and P. Bozhkov, Eds. Humana Press, 2008, pp. 71–76.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3036
J. Dubrovsky et al., “Auxin acts as a local morphogenetic trigger to specify lateral root founder cells,” PNAS, vol. 105, no. 25. National Academy of Sciences, pp. 8790–8794, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
E. Feraru and J. Friml, “PIN polar targeting,” Plant Physiology, vol. 147, no. 4. American Society of Plant Biologists, pp. 1553–1559, 2008.
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
 

Search

Filter Publications