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.
1940 Publications
2009 | Published | Journal Article | IST-REx-ID: 3828
Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors
J. Schwenk, N. Harmel, G. Zolles, W. Bildl, Á. Kulik, B. Heimrich, O. Chisaka, P.M. Jonas, U. Schulte, B. Fakler, N. Klocker, Science 323 (2009) 1313–9.
View
| DOI
J. Schwenk, N. Harmel, G. Zolles, W. Bildl, Á. Kulik, B. Heimrich, O. Chisaka, P.M. Jonas, U. Schulte, B. Fakler, N. Klocker, Science 323 (2009) 1313–9.
2009 | Published | Conference Paper | IST-REx-ID: 3841 | 
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
2009 | Published | Conference Paper | IST-REx-ID: 4569 |
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
2009 | Published | Journal Article | IST-REx-ID: 18356
Partial similarity of objects, or how to compare a centaur to a horse
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, International Journal of Computer Vision 84 (2009) 163–183.
View
| DOI
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, International Journal of Computer Vision 84 (2009) 163–183.
2008 | Published | Journal Article | IST-REx-ID: 11111
Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation
D.J. Anderson, M. Hetzer, Journal of Cell Biology 182 (2008) 911–924.
View
| DOI
| PubMed | Europe PMC
D.J. Anderson, M. Hetzer, Journal of Cell Biology 182 (2008) 911–924.
2008 | Published | Conference Paper | IST-REx-ID: 2331 |
Spectral properties of the BCS gap equation of superfluidity
C. Hainzl, R. Seiringer, in:, World Scientific Publishing, 2008, pp. 117–136.
View
| DOI
| Download (ext.)
C. Hainzl, R. Seiringer, in:, World Scientific Publishing, 2008, pp. 117–136.
2008 | Published | Journal Article | IST-REx-ID: 2374 |
Free energy of a dilute Bose gas: Lower bound
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
View
| DOI
| Download (ext.)
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
2008 | Published | Conference Paper | IST-REx-ID: 2432
On center regions and balls containing many points
S. Smorodinsky, M. Sulovský, U. Wagner, in:, Springer, 2008, pp. 363–373.
View
| DOI
S. Smorodinsky, M. Sulovský, U. Wagner, in:, Springer, 2008, pp. 363–373.
2008 | Published | Journal Article | IST-REx-ID: 2678
Connexin45-containing neuronal gap junctions in rodent retina also contain connexin36 in both apposing hemiplaques, forming bihomotypic gap junctions, with scaffolding contributed by zonula occludens-1
X. Li, N. Kamasawa, C. Ciolofan, C. Olson, S. Lu, K. Davidson, T. Yasumura, R. Shigemoto, J. Rash, J. Nagy, Journal of Neuroscience 28 (2008) 9769–9789.
View
| DOI
X. Li, N. Kamasawa, C. Ciolofan, C. Olson, S. Lu, K. Davidson, T. Yasumura, R. Shigemoto, J. Rash, J. Nagy, Journal of Neuroscience 28 (2008) 9769–9789.
2008 | Published | Journal Article | IST-REx-ID: 2753
Quantum diffusion of the random Schrödinger evolution in the scaling limit
L. Erdös, M. Salmhofer, H. Yau, Acta Mathematica 200 (2008) 211–277.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, Acta Mathematica 200 (2008) 211–277.
2008 | Published | Journal Article | IST-REx-ID: 2755
Ground-state energy of a low-density Bose gas: A second-order upper bound
L. Erdös, B. Schlein, H. Yau, Physical Review A - Atomic, Molecular, and Optical Physics 78 (2008).
View
| DOI
L. Erdös, B. Schlein, H. Yau, Physical Review A - Atomic, Molecular, and Optical Physics 78 (2008).
2008 | Published | Journal Article | IST-REx-ID: 3943
Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin
K. Kessenbrock, L. Fröhlich, M.K. Sixt, T. Lämmermann, H. Pfister, A. Bateman, A. Belaaouaj, J. Ring, M. Ollert, R. Fässler, D. Jenne, The Journal of Clinical Investigation 118 (2008) 2438–2447.
View
| DOI
K. Kessenbrock, L. Fröhlich, M.K. Sixt, T. Lämmermann, H. Pfister, A. Bateman, A. Belaaouaj, J. Ring, M. Ollert, R. Fässler, D. Jenne, The Journal of Clinical Investigation 118 (2008) 2438–2447.
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.