ISTA Research Explorer

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.

11725 Publications

Search / Filter

earlier version | 2008 | Published | Conference Paper | IST-REx-ID: 3876

Chatterjee K, Henzinger TA, Prabhu V. 2008. Timed parity games: complexity and robustness. Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 5215, 124–140.

View | Files available | DOI | arXiv

2008 | Published | Conference Paper | IST-REx-ID: 3877

Chatterjee K, Henzinger TA, Jobstmann B. 2008. Environment assumptions for synthesis. 19th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 5201, 147–161.

[Preprint] View | DOI | arXiv

2008 | Published | Conference Paper | IST-REx-ID: 3878 |

Chatterjee K, De Alfaro L, Majumdar R. 2008. The complexity of coverage. 6th Asian Symposium on Programming Language and Systems. APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 5356, 91–106.

View | DOI | Download None (ext.) | arXiv

2008 | Published | Conference Paper | IST-REx-ID: 3879

Chatterjee K, Doyen L, Henzinger TA. 2008. Quantitative languages. 22nd International Workshop on Computer Science Logic. CSL: Computer Science Logic, LNCS, vol. 5213, 385–400.

View | DOI

earlier version | 2008 | Published | Conference Paper | IST-REx-ID: 3880

Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. 2008. Strategy construction for parity games with imperfect information. 19th International Conference, CONCUR 2008. CONCUR: Concurrency Theory, LNCS, vol. 5201, 325–339.

View | Files available | DOI

2008 | Published | Journal Article | IST-REx-ID: 3903

Ugelvig LV, Drijfhout F, Kronauer D, Boomsma J, Pedersen J, Cremer S. 2008. The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. 6(11).

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3905

Cremer S, D’Ettorre P, Drijfhout F, Sledge M, Turillazzi S, Heinze J. 2008. Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior. Naturwissenschaften. 95(11), 1101–1105.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3906

Cremer S, Ugelvig LV, Drijfhout F, Schlick Steiner B, Steiner F, Seifert B, Hughes D, Schulz A, Petersen K, Konrad H, Stauffer C, Kiran K, Espadaler X, D’Ettorre P, Aktaç N, Eilenberg J, Jones G, Nash D, Pedersen J, Boomsma J. 2008. The evolution of invasiveness in garden ants. PLoS One. 3(12), e3838.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3907

Suefuji M, Cremer S, Oettler J, Heinze J. 2008. Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants. Biology Letters. 4(6), 670–673.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3939

Lämmermann T, Sixt MK. 2008. The microanatomy of T-cell responses. Immunological Reviews. 221(1), 26–43.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3940

Lokmic Z, Lämmermann T, Sixt MK, Cardell S, Hallmann R, Sorokin L. 2008. The extracellular matrix of the spleen as a potential organizer of immune cell compartments. Seminars in Immunology. 20(1), 4–13.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3941

Lämmermann T, Bader B, Monkley S, Worbs T, Wedlich Söldner R, Hirsch K, Keller M, Förster R, Critchley D, Fässler R, Sixt MK. 2008. Rapid leukocyte migration by integrin-independent flowing and squeezing. Nature. 453(7191), 51–55.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3942

Frommhold D, Ludwig A, Bixel MG, Zarbock A, Babushkina I, Weissinger M, Cauwenberghs S, Ellies L, Marth J, Beck Sickinger A, Sixt MK, Lange Sperandio B, Zernecke A, Brandt E, Weber C, Vestweber D, Ley K, Sperandio M. 2008. Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation. The Journal of Experimental Medicine. 205(6), 1435–1446.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3943

Kessenbrock K, Fröhlich L, Sixt MK, Lämmermann T, Pfister H, Bateman A, Belaaouaj A, Ring J, Ollert M, Fässler R, Jenne D. 2008. Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin. The Journal of Clinical Investigation. 118(7), 2438–2447.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3944

Riedl J, Crevenna A, Kessenbrock K, Yu J, Neukirchen D, Bista M, Bradke F, Jenne D, Holak T, Werb Z, Sixt MK, Wedlich Soldner R. 2008. Lifeact: a versatile marker to visualize F-actin. Nature Methods. 5(7), 605–607.

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3945

Tripp C, Haid B, Flacher V, Sixt MK, Peter H, Farkas J, Gschwentner R, Sorokin L, Romani N, Stoitzner P. 2008. The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1. Immunobiology. 213(9–10), 715–728.

View | DOI | PubMed | Europe PMC

2008 | Published | Book Chapter | IST-REx-ID: 3969

Edelsbrunner H, Harer J. 2008.Persistent homology - a survey. In: Surveys on Discrete and Computational Geometry: Twenty Years Later. Contemporary Mathematics, , 257–282.

View

2008 | Published | Journal Article | IST-REx-ID: 3970

Dequéant M, Ahnert S, Edelsbrunner H, Fink T, Glynn E, Hattem G, Kudlicki A, Mileyko Y, Morton J, Mushegian A, Pachter L, Rowicka M, Shiu A, Sturmfels B, Pourquie O. 2008. Comparison of pattern detection methods in microarray time series of the segmentation clock. PLoS One. 3(8).

View | DOI | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 3971

Edelsbrunner H, Harer J, Mascarenhas A, Pascucci V, Snoeyink J. 2008. Time-varying Reeb graphs for continuous space-time data. Computational Geometry: Theory and Applications. 41(3), 149–166.

View | DOI

2008 | Published | Conference Paper | IST-REx-ID: 3974

Edelsbrunner H, Harer J, Patel A. 2008. Reeb spaces of piecewise linear mappings. Proceedings of the twenty-fourth annual symposium on Computational geometry. SCG: Symposium on Computational Geometry, 242–250.

View | DOI