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
T. Lämmermann and M. K. Sixt, “The microanatomy of T-cell responses,” Immunological Reviews, vol. 221, no. 1. Wiley-Blackwell, pp. 26–43, 2008.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 4386
R. Guerraoui, T. A. Henzinger, and V. Singh, “Permissiveness in transactional memories,” presented at the DISC: Distributed Computing, 2008, vol. 5218, pp. 305–319.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 4387
R. Guerraoui, T. A. Henzinger, and V. Singh, “Completeness and nondeterminism in model checking transactional memories,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 21–35.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 4452
T. A. Henzinger, T. Hottelier, and L. Kovács, “Valigator: A verification tool with bound and invariant generation,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, 2008, vol. 5330, pp. 333–342.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 4527
J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman, “Bounded asynchrony: Concurrency for modeling cell-cell interactions,” presented at the FMSB: Formal Methods in Systems Biology, 2008, vol. 5054, pp. 17–32.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 753
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “How to solve consensus in the smallest window of synchrony,” presented at the DISC: Distributed Computing, 2008, vol. 5218 LNCS, pp. 32–46.
View | DOI
 

2008 |Published| Journal Article | IST-REx-ID: 9457 | OA
D. Zilberman, D. Coleman-Derr, T. Ballinger, and S. Henikoff, “Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks,” Nature, vol. 456, no. 7218. Springer Nature, pp. 125–129, 2008.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2007 |Published| Journal Article | IST-REx-ID: 1797
T. Viney et al., “Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing,” Current Biology, vol. 17, no. 11. Cell Press, pp. 981–988, 2007.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 222 | OA
R. De La Bretèche and T. D. Browning, “On Manin’s conjecture for singular del Pezzo surfaces of degree four, II,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 143, no. 3. Unknown, pp. 579–605, 2007.
View | DOI | Download (ext.)
 

2007 |Published| Journal Article | IST-REx-ID: 2496
T. Toyono, S. Kataoka, Y. Seta, R. Shigemoto, and K. Toyoshima, “Expression of group II metabotropic glutamate receptors in rat gustatory papillae,” Cell and Tissue Research, vol. 328, no. 1. Springer, pp. 57–63, 2007.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 2750
L. Erdös, M. Salmhofer, and H. Yau, “Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams,” Communications in Mathematical Physics, vol. 271, no. 1. Springer, pp. 1–53, 2007.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 2751
L. Erdös, M. Salmhofer, and H. Yau, “Quantum diffusion for the Anderson model in the scaling limit,” Annales Henri Poincare, vol. 8, no. 4. Birkhäuser, pp. 621–685, 2007.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 2794
B. Hof, W. Tax, and J. Westerweel, “Lifetime of turbulence in pipe flow,” presented at the EETC11: European Turbulence Conference, 2007, vol. 117, pp. 556–558.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3187
A. Blake, A. Criminisi, G. Cross, V. Kolmogorov, and C. Rother, “Fusion of stereo colour and contrast,” Springer Tracts in Advanced Robotics, vol. 28. Springer, pp. 295–304, 2007.
View | DOI | Download (ext.)
 

2007 |Published| Conference Paper | IST-REx-ID: 3218
K. Z. Pietrzak, “Non-trivial black-box combiners for collision-resistant hash-functions don’t exist,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2007, vol. 4515, pp. 23–33.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3701
A. Ulges, C. Lampert, D. Keysers, and T. Breuel, “Optimal dominant motion estimation using adaptive search of transformation space,” presented at the DAGM: German Association For Pattern Recognition, 2007, vol. 4713, pp. 204–213.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3981
D. Attali, H. Edelsbrunner, J. Harer, and Y. Mileyko, “Alpha-beta witness complexes,” presented at the WADS: International Workshop on Algrithms and Data Structures, 2007, vol. 4619, pp. 386–397.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3977
D. Attali and H. Edelsbrunner, “Inclusion-exclusion formulas from independent complexes,” Discrete & Computational Geometry, vol. 37, no. 1. Springer, pp. 59–77, 2007.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 4152
L. Rohde and C.-P. J. Heisenberg, “Zebrafish gastrulation: Cell movements, signals, and mechanisms,” International Review of Cytology - A Survey of Cell Biology, vol. 261. Academic Press, pp. 159–192, 2007.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3022
P. Dhonukshe et al., “Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis,” Current Biology, vol. 17, no. 6. Cell Press, pp. 520–527, 2007.
View | DOI
 

Filters and Search Terms

isbn%3D978-3-030-00150-6

Search

Filter Publications