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.
1966 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 | Journal Article | IST-REx-ID: 3947
Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper)
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, M.K. Sixt, Blood 113 (2009) 5703–5710.
View
| DOI
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, M.K. Sixt, Blood 113 (2009) 5703–5710.
2009 | Published | Journal Article | IST-REx-ID: 3950
Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells
M. Moser, M. Bauer, S. Schmid, R. Ruppert, S. Schmidt, M.K. Sixt, H. Wang, M. Sperandio, R. Fässler, Nature Medicine 15 (2009) 300–305.
View
| DOI
M. Moser, M. Bauer, S. Schmid, R. Ruppert, S. Schmidt, M.K. Sixt, H. Wang, M. Sperandio, R. Fässler, Nature Medicine 15 (2009) 300–305.
2009 | Published | Conference Paper | IST-REx-ID: 3968 | 
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
2009 | Published | Journal Article | IST-REx-ID: 4192
Regulation of planar cell polarity signalling by the prenylation pathway
M. Kai, N. Buchan, C.-P.J. Heisenberg, M. Tada, Mechanisms of Development 126 (2009) S132–S132.
View
| DOI
M. Kai, N. Buchan, C.-P.J. Heisenberg, M. Tada, Mechanisms of Development 126 (2009) S132–S132.
2009 | Published | Journal Article | IST-REx-ID: 8478
Direct observation of the dynamic process underlying allosteric signal transmission
S. Brüschweiler, P. Schanda, K. Kloiber, B. Brutscher, G. Kontaxis, R. Konrat, M. Tollinger, Journal of the American Chemical Society 131 (2009) 3063–3068.
View
| DOI
S. Brüschweiler, P. Schanda, K. Kloiber, B. Brutscher, G. Kontaxis, R. Konrat, M. Tollinger, Journal of the American Chemical Society 131 (2009) 3063–3068.
2009 | Published | Journal Article | IST-REx-ID: 88 |
Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments
A.P. Higginbotham, O. Semonin, S. Bruce, C. Chan, M. Maindi, T. Donnelly, M. Maurer, W. Bang, I.. Churina, J. Osterholz, I. Kim, A. Bernstein, T. Ditmire, Review of Scientific Instruments 80 (2009).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
A.P. Higginbotham, O. Semonin, S. Bruce, C. Chan, M. Maindi, T. Donnelly, M. Maurer, W. Bang, I.. Churina, J. Osterholz, I. Kim, A. Bernstein, T. Ditmire, Review of Scientific Instruments 80 (2009).
2009 | Published | Conference Paper | IST-REx-ID: 4545 |
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
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 | 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: 4542 |
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
2009 | Published | Conference Paper | IST-REx-ID: 4543
Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
View
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
2009 | Published | Conference Paper | IST-REx-ID: 4360
Combining theories with shared set operations
T. Wies, R. Piskac, V. Kuncak, in:, 7th International Symposium on Frontiers of Combining Systems, Springer, 2009, pp. 366–382.
View
| DOI
T. Wies, R. Piskac, V. Kuncak, in:, 7th International Symposium on Frontiers of Combining Systems, Springer, 2009, pp. 366–382.
2009 | Published | Conference Paper | IST-REx-ID: 4377
It's doomed; we can prove it
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Second World Congress on Formal Methods, Springer, 2009, pp. 338–353.
View
| DOI
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Second World Congress on Formal Methods, Springer, 2009, pp. 338–353.
2009 | Published | Conference Paper | IST-REx-ID: 4391
Automated analysis of Java methods for confidentiality
P. Cerny, R. Alur, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 173–187.
View
| DOI
P. Cerny, R. Alur, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 173–187.
2009 | Published | Conference Paper | IST-REx-ID: 4365
Abstraction refinement for quantified array assertions
M. Seghir, A. Podelski, T. Wies, in:, 16th International Symposium on Static Analysis, Springer, 2009, pp. 3–18.
View
| DOI
M. Seghir, A. Podelski, T. Wies, in:, 16th International Symposium on Static Analysis, Springer, 2009, pp. 3–18.
2009 | Published | Conference Paper | IST-REx-ID: 4375
Intra-module inference
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 493–508.
View
| DOI
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 493–508.
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
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: 4535
Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.