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 | 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 | 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 | 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
2008 | 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 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 3974
Edelsbrunner H, Harer J, Patel A. Reeb spaces of piecewise linear mappings. In: ACM; 2008:242-250. doi:10.1145/1377676.1377720
View
| DOI
2008 | Journal Article | IST-REx-ID: 4150
Schötz E, Burdine R, Julicher F, Steinberg M, Heisenberg C-PJ, Foty R. Quantitative differences in tissue surface tension influence zebrafish germ layer positioning. HFSP Journal. 2008;2(1):42-56. doi:10.2976/1.2834817
View
| DOI
2008 | Journal Article | IST-REx-ID: 4181
Krieg M, Arboleda Estudillo Y, Puech P, et al. Tensile forces govern germ-layer organization in zebrafish. Nature Cell Biology. 2008;10(4):429-436. doi:10.1038/ncb1705
View
| DOI
2008 | Journal Article | IST-REx-ID: 4180
Krieg M, Helenius J, Heisenberg C-PJ, Mueller D. A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics. Angewandte Chemie - International Edition. 2008;47(50):9775-9777. doi:10.1002/anie.200803552
View
| DOI
2008 | Journal Article | IST-REx-ID: 4193
Helenius J, Heisenberg C-PJ, Gaub H, Mueller D. Single-cell force spectroscopy. Journal of Cell Science. 2008;121(11):1785-1791. doi:10.1242/jcs.030999
View
| DOI
2008 | Journal Article | IST-REx-ID: 4198
Heisenberg C-PJ, Solnica Krezel L. Back and forth between cell fate specification and movement during vertebrate gastrulation. Current Opinion in Genetics & Development. 2008;18(4):311-316. doi:10.1016/j.gde.2008.07.011
View
| DOI
2008 | Journal Article | IST-REx-ID: 4227
Bollenbach T, Pantazis P, Kicheva A, Bokel C, González Gaitán M, Julicher F. Precision of the Dpp gradient. Development. 2008;135(6):1137-1146. doi:10.1242/dev.012062
View
| DOI
2008 | Journal Article | IST-REx-ID: 4245
Pannebakker B, Halligan D, Reynolds KT, et al. Effects of spontaneous mutation accumulation on sex ratio traits. Evolution; International Journal of Organic Evolution. 2008;62(8):1921-1935. doi:10.1111/j.1558-5646.2008.00434.x
View
| DOI
2008 | Conference Paper | IST-REx-ID: 4244
Yang E, Barton NH, Arslan T, Erdogan A. A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks. In: IEEE; 2008:2749-2756. doi:10.1109/CEC.2008.4631167
View
| DOI
2008 | Book Chapter | IST-REx-ID: 4371
Maler O, Nickovic D, Pnueli A. 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:475-505. doi:10.1007/978-3-540-78127-1_26
View
| DOI
2008 | Conference Paper | IST-REx-ID: 4366
Podelski A, Rybalchenko A, Wies T. Heap Assumptions on Demand. In: Vol 5123. Springer; 2008:314-327. doi:10.1007/978-3-540-70545-1_31
View
| DOI