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.

1790 Publications


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: 584
O. Hosten and P. Kwiat, “Spin hall effect of light via weak measurements: Sharp and smooth index variations,” presented at the QELS: Quantum Electronics and Laser Science Conference, San Jose, CA, United States, 2008.
View | Download None (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
 

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: 219
R. De La Bretèche, T. D. Browning, and U. Derenthal, “On Manin’s conjecture for a certain singular cubic surface,” Annales Scientifiques de l’Ecole Normale Superieure, vol. 40, no. 1. Societe Mathematique de France, pp. 1–50, 2007.
View | DOI
 

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
 

2007 |Published| Conference Paper | IST-REx-ID: 3223
Y. Dodis and K. Z. Pietrzak, “Improving the security of MACs via randomized message preprocessing,” presented at the FSE: Fast Software Encryption, 2007, vol. 4593, pp. 414–433.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3222
K. Z. Pietrzak and D. Wikström, “Parallel repetition of computationally sound protocols revisited,” presented at the TCC: Theory of Cryptography Conference, 2007, vol. 4392, pp. 86–102.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3219
U. Maurer, K. Z. Pietrzak, and R. Renner, “Indistinguishability amplification,” presented at the CRYPTO: International Cryptology Conference, 2007, vol. 4622, pp. 130–149.
View | DOI
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications