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.

11797 Publications


2008 | Published | Conference Paper | IST-REx-ID: 3874
Chatterjee, Krishnendu, et al. “Trading Infinite Memory for Uniform Randomness in Timed Games.” 11th Workshop on Hybrid Systems: Computation and Control, vol. 4981, Springer Nature, 2008, pp. 87–100, doi:10.1007/978-3-540-78929-1_7.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3875
Chatterjee, Krishnendu, et al. “Model-Checking Omega-Regular Properties of Interval Markov Chains.” Foundations of Software Science and Computational Structures - 11th International Conference, vol. 4962, Springer Nature, 2008, pp. 302–17, doi:10.1007/978-3-540-78499-9_22.
View | DOI
 

earlier version | 2008 | Published | Conference Paper | IST-REx-ID: 3876
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 5215, Springer Nature, 2008, pp. 124–40, doi:10.1007/978-3-540-85778-5_10.
View | Files available | DOI | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, et al. “Environment Assumptions for Synthesis.” 19th International Conference on Concurrency Theory, vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–61, doi:10.1007/978-3-540-85361-9_14.
[Preprint] View | DOI | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee, Krishnendu, et al. “The Complexity of Coverage.” 6th Asian Symposium on Programming Language and Systems, vol. 5356, Springer Nature, 2008, pp. 91–106, doi:10.1007/978-3-540-89330-1_7.
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, et al. “Quantitative Languages.” 22nd International Workshop on Computer Science Logic, vol. 5213, Springer Nature, 2008, pp. 385–400, doi:10.1007/978-3-540-87531-4_28.
View | DOI
 

earlier version | 2008 | Published | Conference Paper | IST-REx-ID: 3880
Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.” 19th International Conference, CONCUR 2008, vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–39, doi:10.1007/978-3-540-85361-9.
View | Files available | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 3903
Ugelvig, Line V., et al. “The Introduction History of Invasive Garden Ants in Europe: Integrating Genetic, Chemical and Behavioural Approaches.” BMC Biology, vol. 6, no. 11, Springer Nature, 2008, doi:10.1186/1741-7007-6-11.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3905
Cremer, Sylvia, et al. “Imperfect Chemical Female Mimicry in Males of the Ant Cardiocondyla Obscurior.” Naturwissenschaften, vol. 95, no. 11, Springer Nature, 2008, pp. 1101–05, doi:10.1007/s00114-008-0430-8.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3906
Cremer, Sylvia, et al. “The Evolution of Invasiveness in Garden Ants.” PLoS One, vol. 3, no. 12, e3838, Public Library of Science, 2008, doi:10.1371/journal.pone.0003838.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3907
Suefuji, Masaki, et al. “Queen Number Influences the Timing of the Sexual Production in Colonies of Cardiocondyla Ants.” Biology Letters, vol. 4, no. 6, The Royal Society, 2008, pp. 670–73, doi:10.1098/rsbl.2008.0355.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3939
Lämmermann, Tim, and Michael K. Sixt. “The Microanatomy of T-Cell Responses.” Immunological Reviews, vol. 221, no. 1, Wiley-Blackwell, 2008, pp. 26–43, doi:10.1111/j.1600-065X.2008.00592.x.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3940
Lokmic, Zerina, et al. “The Extracellular Matrix of the Spleen as a Potential Organizer of Immune Cell Compartments.” Seminars in Immunology, vol. 20, no. 1, Academic Press, 2008, pp. 4–13, doi:10.1016/j.smim.2007.12.009.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3941
Lämmermann, Tim, et al. “Rapid Leukocyte Migration by Integrin-Independent Flowing and Squeezing.” Nature, vol. 453, no. 7191, Nature Publishing Group, 2008, pp. 51–55, doi:10.1038/nature06887.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3942
Frommhold, David, 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, 2008, pp. 1435–46, doi:10.1084/jem.20070846.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3943
Kessenbrock, Kai, 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, 2008, pp. 2438–47, doi:10.1172/JCI34694.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3944
Riedl, Julia, et al. “Lifeact: A Versatile Marker to Visualize F-Actin.” Nature Methods, vol. 5, no. 7, Nature Publishing Group, 2008, pp. 605–07, doi:10.1038/nmeth.1220.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3945
Tripp, Christoph, 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, 2008, pp. 715–28, doi:10.1016/j.imbio.2008.07.025.
View | DOI | PubMed | Europe PMC
 

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

2008 | Published | Journal Article | IST-REx-ID: 3970
Dequéant, Mary, 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, doi:10.1371/journal.pone.0002856.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed