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.
1621 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| 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: 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 |Published| 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 |Published| 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
2008 |Published| Journal Article | IST-REx-ID: 3032
Kleine Vehn J, Dhonukshe P, Sauer M, et al. ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis. Current Biology. 2008;18(7):526-531. doi:10.1016/j.cub.2008.03.021
View
| DOI
2008 |Published| Conference Paper | IST-REx-ID: 3198
Torresani L, Kolmogorov V, Rother C. Feature correspondence via graph matching: Models and global optimization. In: Vol 5303. Springer; 2008:596-609. doi:10.1007/978-3-540-88688-4_44
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 3224
Dodis Y, Pietrzak KZ, Puniya P. A new mode of operation for block ciphers and length preserving MACs. In: Vol 4965. Springer; 2008:198-219. doi:10.1007/978-3-540-78967-3_12
View
| DOI
2008 |Published| Conference Paper | IST-REx-ID: 3225
Fischlin M, Lehmann A, Pietrzak KZ. Robust multi property combiners for hash functions revisited. In: Vol 5126. Springer; 2008:655-666. doi:10.1007/978-3-540-70583-3_53
View
| Files available
| DOI
2008 |Published| Book Chapter | IST-REx-ID: 3577
Biasotti S, Attali D, Boissonnat J, et al. Skeletal structures. In: Shape Analysis and Structuring. Springer; 2008:145-183. doi:10.1007/978-3-540-33265-7_5
View
| DOI
2008 |Published| Conference Paper | IST-REx-ID: 3698
Blaschko M, Lampert C, Gretton A. Semi-supervised Laplacian regularization of kernel canonical correlation analysis. In: Vol 5211. Springer; 2008:133-145. doi:10.1007/978-3-540-87479-9_27
View
| DOI
2008 |Published| Book Chapter | IST-REx-ID: 3726
Engel A, Janovjak HL, Fotiadis D, Kedrov A, Cisneros D, Mueller D. Single-molecule microscopy and force spectroscopy of membrane proteins. In: Single Molecules and Nanotechnology. Vol 12. Springer; 2008:279-311. doi:10.1007/978-3-540-73924-1_11
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| Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. Permissiveness in transactional memories. In: Vol 5218. Springer; 2008:305-319. doi:10.1007/978-3-540-87779-0_21
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. Completeness and nondeterminism in model checking transactional memories. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:21-35. doi:10.1007/978-3-540-85361-9_6
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 4452
Henzinger TA, Hottelier T, Kovács L. Valigator: A verification tool with bound and invariant generation. In: Vol 5330. Springer; 2008:333-342. doi:10.1007/978-3-540-89439-1_24
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. Bounded asynchrony: Concurrency for modeling cell-cell interactions. In: Vol 5054. Springer; 2008:17-32. doi:10.1007/978-3-540-68413-8_2
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 753
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. How to solve consensus in the smallest window of synchrony. In: Vol 5218 LNCS. Springer; 2008:32-46. doi:10.1007/978-3-540-87779-0_3
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 1797
Viney T, Bálint K, Hillier D, et al. Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing. Current Biology. 2007;17(11):981-988. doi:10.1016/j.cub.2007.04.058
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 2496
Toyono T, Kataoka S, Seta Y, Shigemoto R, Toyoshima K. Expression of group II metabotropic glutamate receptors in rat gustatory papillae. Cell and Tissue Research. 2007;328(1):57-63. doi:10.1007/s00441-006-0351-9
View
| DOI