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: 3769
A. Kupczok, A. Von Haeseler, and S. Klaere, “An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees.,” Journal of Computational Biology, vol. 15, no. 6. Mary Ann Liebert, pp. 577–591, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3826
D. Doischer et al., “Postnatal differentiation of basket cells from slow to fast signaling devices,” Journal of Neuroscience, vol. 28, no. 48. Society for Neuroscience, pp. 12956–68, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3827
A. Kerr, E. Reisinger, and P. M. Jonas, “Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses,” PNAS, vol. 105, no. 40. National Academy of Sciences, pp. 15581–6, 2008.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2008, vol. 2, pp. 107–118.
[Published Version] View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3875
K. Chatterjee, T. A. Henzinger, and K. Sen, “Model-checking omega-regular properties of interval Markov chains,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, 2008, vol. 4962, pp. 302–317.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3873
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Controller synthesis with budget constraints,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 72–86.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3876
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: complexity and robustness,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2008, vol. 5215, pp. 124–140.
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3877
K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Environment assumptions for synthesis,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 147–161.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
K. Chatterjee, L. De Alfaro, and R. Majumdar, “The complexity of coverage,” presented at the APLAS: Asian Symposium on Programming Languages and Systems, 2008, vol. 5356, pp. 91–106.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3874
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Trading infinite memory for uniform randomness in timed games,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 87–100.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3879
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” presented at the CSL: Computer Science Logic, 2008, vol. 5213, pp. 385–400.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3872
K. Chatterjee and T. A. Henzinger, “Value iteration,” in 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–138.
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 | 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: 3941
T. Lämmermann et al., “Rapid leukocyte migration by integrin-independent flowing and squeezing,” Nature, vol. 453, no. 7191. Nature Publishing Group, pp. 51–55, 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 | 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
 

Search

Filter Publications