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: 3698
Blaschko M, Lampert C, Gretton A. 2008. Semi-supervised Laplacian regularization of kernel canonical correlation analysis. ECML: European Conference on Machine Learning, LNCS, vol. 5211, 133–145.
View | DOI
 

2008 |Published| Book Chapter | IST-REx-ID: 3726
Engel A, Janovjak HL, Fotiadis D, Kedrov A, Cisneros D, Mueller D. 2008.Single-molecule microscopy and force spectroscopy of membrane proteins. In: Single Molecules and Nanotechnology. vol. 12, 279–311.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3880
Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. 2008. Strategy construction for parity games with imperfect information. CONCUR: Concurrency Theory, LNCS, vol. 5201, 325–339.
View | Files available | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. 2008. Permissiveness in transactional memories. DISC: Distributed Computing, LNCS, vol. 5218, 305–319.
View | DOI | Download (ext.)
 

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

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

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

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

2007 |Published| Journal Article | IST-REx-ID: 1797
Viney T, Bálint K, Hillier D, Siegert S, Boldogköi Z, Enquist L, Meister M, Cepko C, Roska B. 2007. Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing. Current Biology. 17(11), 981–988.
View | DOI
 

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

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

2007 |Published| Journal Article | IST-REx-ID: 2751
Erdös L, Salmhofer M, Yau H. 2007. Quantum diffusion for the Anderson model in the scaling limit. Annales Henri Poincare. 8(4), 621–685.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 2794
Hof B, Tax W, Westerweel J. 2007. Lifetime of turbulence in pipe flow. EETC11: European Turbulence Conference, Springer Proceedings in Physics, vol. 117, 556–558.
View | DOI
 

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

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

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

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

2007 |Published| Journal Article | IST-REx-ID: 3977
Attali D, Edelsbrunner H. 2007. Inclusion-exclusion formulas from independent complexes. Discrete & Computational Geometry. 37(1), 59–77.
View | DOI
 

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

2007 |Published| Journal Article | IST-REx-ID: 3022
Dhonukshe P, Aniento F, Hwang I, Robinson D, Mravec J, Stierhof Y, Friml J. 2007. Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis. Current Biology. 17(6), 520–527.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications