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.
1850 Publications
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| 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
2008 |Published| Journal Article | IST-REx-ID: 9457 | 
Zilberman D, Coleman-Derr D, Ballinger T, Henikoff S. Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. 2008;456(7218):125-129. doi:10.1038/nature07324
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
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: 222 |
De La Bretèche R, Browning TD. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. 2007;143(3):579-605. doi:10.1017/S0305004107000205
View
| DOI
| Download (ext.)
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
2007 |Published| Journal Article | IST-REx-ID: 2750
Erdös L, Salmhofer M, Yau H. Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams. Communications in Mathematical Physics. 2007;271(1):1-53. doi:10.1007/s00220-006-0158-2
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 2751
Erdös L, Salmhofer M, Yau H. Quantum diffusion for the Anderson model in the scaling limit. Annales Henri Poincare. 2007;8(4):621-685. doi:10.1007/s00023-006-0318-0
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 2794
Hof B, Tax W, Westerweel J. Lifetime of turbulence in pipe flow. In: Vol 117. Springer; 2007:556-558. doi:10.1007/978-3-540-72604-3_177
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 3187
Blake A, Criminisi A, Cross G, Kolmogorov V, Rother C. Fusion of stereo colour and contrast. Springer Tracts in Advanced Robotics. 2007;28:295-304. doi:10.1007/978-3-540-48113-3_27
View
| DOI
| Download (ext.)
2007 |Published| Conference Paper | IST-REx-ID: 3218
Pietrzak KZ. Non-trivial black-box combiners for collision-resistant hash-functions don’t exist. In: Vol 4515. Springer; 2007:23-33. doi:10.1007/978-3-540-72540-4_2
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3701
Ulges A, Lampert C, Keysers D, Breuel T. Optimal dominant motion estimation using adaptive search of transformation space. In: Vol 4713. Springer; 2007:204-213. doi:10.1007/978-3-540-74936-3_21
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3981
Attali D, Edelsbrunner H, Harer J, Mileyko Y. Alpha-beta witness complexes. In: Vol 4619. Springer; 2007:386-397. doi:10.1007/978-3-540-73951-7_34
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 3977
Attali D, Edelsbrunner H. Inclusion-exclusion formulas from independent complexes. Discrete & Computational Geometry. 2007;37(1):59-77. doi:10.1007/s00454-006-1274-7
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4152
Rohde L, Heisenberg C-PJ. Zebrafish gastrulation: Cell movements, signals, and mechanisms. International Review of Cytology - A Survey of Cell Biology. 2007;261:159-192. doi:10.1016/S0074-7696(07)61004-3
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 3022
Dhonukshe P, Aniento F, Hwang I, et al. Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis. Current Biology. 2007;17(6):520-527. doi:10.1016/j.cub.2007.01.052
View
| DOI