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.
1995 Publications
2008 | Published | Journal Article | IST-REx-ID: 3032
ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wiśniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
View
| DOI
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wiśniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
2008 | Published | Journal Article | IST-REx-ID: 4227
Precision of the Dpp gradient
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.
View
| DOI
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.
2008 | Published | Conference Paper | IST-REx-ID: 4366
Heap Assumptions on Demand
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.
View
| DOI
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.
2008 | Published | Book Chapter | IST-REx-ID: 4371
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
2008 | Published | Conference Paper | IST-REx-ID: 4386
Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
2008 | Published | Conference Paper | IST-REx-ID: 4387
Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
2008 | Published | Conference Paper | IST-REx-ID: 4452
Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
View
| DOI
| Download (ext.)
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
2008 | Published | Conference Paper | IST-REx-ID: 4527
Bounded asynchrony: Concurrency for modeling cell-cell interactions
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
View
| DOI
| Download (ext.)
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
2008 | Published | Journal Article | IST-REx-ID: 1296
Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.
View
| DOI
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.
2008 | Published | Conference Paper | IST-REx-ID: 753
How to solve consensus in the smallest window of synchrony
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2008, pp. 32–46.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2008, pp. 32–46.
2008 | Published | Conference Paper | IST-REx-ID: 18337
Regularized partial matching of rigid shapes
A.M. Bronstein, M.M. Bronstein, in:, 10th European Conference on Computer Vision, Springer Berlin Heidelberg, 2008, pp. 143–154.
View
| DOI
A.M. Bronstein, M.M. Bronstein, in:, 10th European Conference on Computer Vision, Springer Berlin Heidelberg, 2008, pp. 143–154.
2008 | Published | Conference Paper | IST-REx-ID: 3198
Feature correspondence via graph matching: Models and global optimization
L. Torresani, V. Kolmogorov, C. Rother, in:, Springer, 2008, pp. 596–609.
View
| DOI
| Download (ext.)
L. Torresani, V. Kolmogorov, C. Rother, in:, Springer, 2008, pp. 596–609.
2008 | Published | Conference Paper | IST-REx-ID: 3224
A new mode of operation for block ciphers and length preserving MACs
Y. Dodis, K.Z. Pietrzak, P. Puniya, in:, Springer, 2008, pp. 198–219.
View
| DOI
Y. Dodis, K.Z. Pietrzak, P. Puniya, in:, Springer, 2008, pp. 198–219.
2008 | Published | Conference Paper | IST-REx-ID: 3226
Weak pseudorandom functions in minicrypt
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2008, pp. 423–436.
View
| DOI
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2008, pp. 423–436.
2008 | Published | Conference Paper | IST-REx-ID: 3228
Compression from collisions or why CRHF combiners have a long output
K.Z. Pietrzak, in:, Springer, 2008, pp. 413–432.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2008, pp. 413–432.
2008 | Published | Book Chapter | IST-REx-ID: 3577
Skeletal structures
S. Biasotti, D. Attali, J. Boissonnat, H. Edelsbrunner, G. Elber, M. Mortara, G. Sanniti Di Baja, M. Spagnuolo, M. Tanase, R. Veltkam, in:, Shape Analysis and Structuring, Springer, 2008, pp. 145–183.
View
| DOI
S. Biasotti, D. Attali, J. Boissonnat, H. Edelsbrunner, G. Elber, M. Mortara, G. Sanniti Di Baja, M. Spagnuolo, M. Tanase, R. Veltkam, in:, Shape Analysis and Structuring, Springer, 2008, pp. 145–183.
2008 | Published | Conference Paper | IST-REx-ID: 3600
Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, Springer, 2008, pp. 249–260.
View
| DOI
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, Springer, 2008, pp. 249–260.
2008 | Published | Conference Paper | IST-REx-ID: 3698
Semi-supervised Laplacian regularization of kernel canonical correlation analysis
M. Blaschko, C. Lampert, A. Gretton, in:, Springer, 2008, pp. 133–145.
View
| DOI
M. Blaschko, C. Lampert, A. Gretton, in:, Springer, 2008, pp. 133–145.
2008 | Published | Conference Paper | IST-REx-ID: 3705
Learning to localize objects with structured output regression
M. Blaschko, C. Lampert, in:, Springer, 2008, pp. 2–15.
View
| DOI
| Download (ext.)
M. Blaschko, C. Lampert, in:, Springer, 2008, pp. 2–15.
2008 | Published | Conference Paper | IST-REx-ID: 3716
A multiple kernel learning approach to joint multi-class object detection
C. Lampert, M. Blaschko, in:, Springer, 2008, pp. 31–40.
View
| DOI
| Download (ext.)
C. Lampert, M. Blaschko, in:, Springer, 2008, pp. 31–40.