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.
8915 Publications
2008 | Published | Book Chapter | IST-REx-ID: 3872
Chatterjee K, Henzinger TA. Value iteration. In: 25 Years in Model Checking. Vol 5000. Springer; 2008:107-138. doi:10.1007/978-3-540-69850-0_7
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3873
Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints. In: Vol 4981. Springer; 2008:72-86. doi:DOI: 10.1007/978-3-540-78929-1_6
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. Trading infinite memory for uniform randomness in timed games. In: Vol 4981. Springer; 2008:87-100. doi:10.1007/978-3-540-78929-1_7
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. Model-checking omega-regular properties of interval Markov chains. In: Vol 4962. Springer; 2008:302-317. doi:10.1007/978-3-540-78499-9_22
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3876
Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: complexity and robustness. In: Vol 5215. Springer; 2008:124-140. doi:10.1007/978-3-540-85778-5_10
View
| Files available
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3877
Chatterjee K, Henzinger TA, Jobstmann B. Environment assumptions for synthesis. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:147-161. doi:10.1007/978-3-540-85361-9_14
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3878 | 
Chatterjee K, De Alfaro L, Majumdar R. The complexity of coverage. In: Vol 5356. Springer; 2008:91-106. doi:10.1007/978-3-540-89330-1_7
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 3879
Chatterjee K, Doyen L, Henzinger TA. Quantitative languages. In: Vol 5213. Springer; 2008:385-400. doi:10.1007/978-3-540-87531-4_28
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3880
Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. Strategy construction for parity games with imperfect information. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:325-339. doi:10.1007/978-3-540-85361-9
View
| Files available
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3903
Ugelvig LV, Drijfhout F, Kronauer D, Boomsma J, Pedersen J, Cremer S. The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. 2008;6(11). doi:10.1186/1741-7007-6-11
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3905
Cremer S, D’Ettorre P, Drijfhout F, Sledge M, Turillazzi S, Heinze J. Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior. Naturwissenschaften. 2008;95(11):1101-1105. doi:10.1007/s00114-008-0430-8
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3906
Cremer S, Ugelvig LV, Drijfhout F, et al. The evolution of invasiveness in garden ants. PLoS One. 2008;3(12). doi:10.1371/journal.pone.0003838
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3907
Suefuji M, Cremer S, Oettler J, Heinze J. Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants. Biology Letters. 2008;4(6):670-673. doi:10.1098/rsbl.2008.0355
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3939
Lämmermann T, Sixt MK. The microanatomy of T-cell responses. Immunological Reviews. 2008;221(1):26-43. doi:10.1111/j.1600-065X.2008.00592.x
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3940
Lokmic Z, Lämmermann T, Sixt MK, Cardell S, Hallmann R, Sorokin L. The extracellular matrix of the spleen as a potential organizer of immune cell compartments. Seminars in Immunology. 2008;20(1):4-13. doi:10.1016/j.smim.2007.12.009
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3941
Lämmermann T, Bader B, Monkley S, et al. Rapid leukocyte migration by integrin-independent flowing and squeezing. Nature. 2008;453(7191):51-55. doi:10.1038/nature06887
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3942
Frommhold D, Ludwig A, Bixel MG, et al. Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation. The Journal of Experimental Medicine. 2008;205(6):1435-1446. doi:10.1084/jem.20070846
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3943
Kessenbrock K, Fröhlich L, Sixt MK, et al. Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin. The Journal of Clinical Investigation. 2008;118(7):2438-2447. doi:10.1172/JCI34694
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3944
Riedl J, Crevenna A, Kessenbrock K, et al. Lifeact: a versatile marker to visualize F-actin. Nature Methods. 2008;5(7):605-607. doi:10.1038/nmeth.1220
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3945
Tripp C, Haid B, Flacher V, et al. The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1. Immunobiology. 2008;213(9-10):715-728. doi:10.1016/j.imbio.2008.07.025
View
| DOI