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| Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,” 5330:333–42. Springer, 2008. https://doi.org/10.1007/978-3-540-89439-1_24.
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 4527
Fisher, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,” 5054:17–32. Springer, 2008. https://doi.org/10.1007/978-3-540-68413-8_2.
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 753
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “How to Solve Consensus in the Smallest Window of Synchrony,” 5218 LNCS:32–46. Springer, 2008. https://doi.org/10.1007/978-3-540-87779-0_3.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 1797
Viney, Tim, Kamill Bálint, Dániel Hillier, Sandra Siegert, Zsolt Boldogköi, Lynn Enquist, Markus Meister, Constance Cepko, and Botond Roska. “Local Retinal Circuits of Melanopsin-Containing Ganglion Cells Identified by Transsynaptic Viral Tracing.” Current Biology. Cell Press, 2007. https://doi.org/10.1016/j.cub.2007.04.058.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 2496
Toyono, Takashi, Shinji Kataoka, Yuji Seta, Ryuichi Shigemoto, and Kuniaki Toyoshima. “Expression of Group II Metabotropic Glutamate Receptors in Rat Gustatory Papillae.” Cell and Tissue Research. Springer, 2007. https://doi.org/10.1007/s00441-006-0351-9.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 2750
Erdös, László, Manfred Salmhofer, and Horng Yau. “Quantum Diffusion of the Random Schrödinger Evolution in the Scaling Limit II. The Recollision Diagrams.” Communications in Mathematical Physics. Springer, 2007. https://doi.org/10.1007/s00220-006-0158-2.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 2751
Erdös, László, Manfred Salmhofer, and Horng Yau. “Quantum Diffusion for the Anderson Model in the Scaling Limit.” Annales Henri Poincare. Birkhäuser, 2007. https://doi.org/10.1007/s00023-006-0318-0.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 2794
Hof, Björn, Wilco Tax, and Jerry Westerweel. “Lifetime of Turbulence in Pipe Flow,” 117:556–58. Springer, 2007. https://doi.org/10.1007/978-3-540-72604-3_177.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 3187
Blake, Andrew, Antonio Criminisi, Geoffrey Cross, Vladimir Kolmogorov, and Carsten Rother. “Fusion of Stereo Colour and Contrast.” Springer Tracts in Advanced Robotics. Springer, 2007. https://doi.org/10.1007/978-3-540-48113-3_27.
View
| DOI
| Download (ext.)
2007 |Published| Conference Paper | IST-REx-ID: 3218
Pietrzak, Krzysztof Z. “Non-Trivial Black-Box Combiners for Collision-Resistant Hash-Functions Don’t Exist,” 4515:23–33. Springer, 2007. https://doi.org/10.1007/978-3-540-72540-4_2.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3701
Ulges, Adrian, Christoph Lampert, Daniel Keysers, and Thomas Breuel. “Optimal Dominant Motion Estimation Using Adaptive Search of Transformation Space,” 4713:204–13. Springer, 2007. https://doi.org/10.1007/978-3-540-74936-3_21.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3981
Attali, Dominique, Herbert Edelsbrunner, John Harer, and Yuriy Mileyko. “Alpha-Beta Witness Complexes,” 4619:386–97. Springer, 2007. https://doi.org/10.1007/978-3-540-73951-7_34.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 3977
Attali, Dominique, and Herbert Edelsbrunner. “Inclusion-Exclusion Formulas from Independent Complexes.” Discrete & Computational Geometry. Springer, 2007. https://doi.org/10.1007/s00454-006-1274-7.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4152
Rohde, Laurel, and Carl-Philipp J Heisenberg. “Zebrafish Gastrulation: Cell Movements, Signals, and Mechanisms.” International Review of Cytology - A Survey of Cell Biology. Academic Press, 2007. https://doi.org/10.1016/S0074-7696(07)61004-3.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 3022
Dhonukshe, Pankaj, Fernando Aniento, Inhwan Hwang, David Robinson, Jozef Mravec, York Stierhof, and Jiří Friml. “Clathrin-Mediated Constitutive Endocytosis of PIN Auxin Efflux Carriers in Arabidopsis.” Current Biology. Cell Press, 2007. https://doi.org/10.1016/j.cub.2007.01.052.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3223
Dodis, Yevgeniy, and Krzysztof Z Pietrzak. “Improving the Security of MACs via Randomized Message Preprocessing,” 4593:414–33. Springer, 2007. https://doi.org/10.1007/978-3-540-74619-5_26.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3222
Pietrzak, Krzysztof Z, and Douglas Wikström. “Parallel Repetition of Computationally Sound Protocols Revisited,” 4392:86–102. Springer, 2007. https://doi.org/10.1007/978-3-540-70936-7_5.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3219
Maurer, Ueli, Krzysztof Z Pietrzak, and Renato Renner. “Indistinguishability Amplification,” 4622:130–49. Springer, 2007. https://doi.org/10.1007/978-3-540-74143-5_8.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3221
Pietrzak, Krzysztof Z, and Johan Sjödin. “Range Extension for Weak PRFs the Good the Bad and the Ugly,” 4515:517–33. Springer, 2007. https://doi.org/10.1007/978-3-540-72540-4_30.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3681
Ulges, Adrian, Christoph Lampert, Daniel Keysers, and Thomas Breuel. “Optimal Dominant Motion Estimation Using Adaptive Search of Transformation Space,” 4713:204–13. Springer, 2007. https://doi.org/10.1007/978-3-540-74936-3_21.
View
| DOI