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
Schwenk J, Harmel N, Zolles G, Bildl W, Kulik Á, Heimrich B, Chisaka O, Jonas PM, Schulte U, Fakler B, Klocker N. 2009. Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. 323(5919), 1313–9.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3947
Lämmermann T, Renkawitz J, Wu X, Hirsch K, Brakebusch C, Sixt MK. 2009. Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. 113(23), 5703–5710.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3950
Moser M, Bauer M, Schmid S, Ruppert R, Schmidt S, Sixt MK, Wang H, Sperandio M, Fässler R. 2009. Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells. Nature Medicine. 15(3), 300–305.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner H, Harer J. 2009. The persistent Morse complex segmentation of a 3-manifold. 3DPH: Modelling the Physiological Human, LNCS, vol. 5903, 36–50.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4192
Kai M, Buchan N, Heisenberg C-PJ, Tada M. 2009. Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. 126(Supplement 1), S132–S132.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 8478
Brüschweiler S, Schanda P, Kloiber K, Brutscher B, Kontaxis G, Konrat R, Tollinger M. 2009. Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. 131(8), 3063–3068.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 88 | OA
Higginbotham AP, Semonin O, Bruce S, Chan C, Maindi M, Donnelly T, Maurer M, Bang W, Churina I., Osterholz J, Kim I, Bernstein A, Ditmire T. 2009. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 80(6), 063503.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4543
Chatterjee K, Henzinger TA, Horn F. 2009. Stochastic games with finitary objectives. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 5734, 34–54.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4360
Wies T, Piskac R, Kuncak V. 2009. Combining theories with shared set operations. 7th International Symposium on Frontiers of Combining Systems. FroCoS: Frontiers of Combining Systems, LNCS, vol. 5749, 366–382.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4377
Hoenicke J, Leino KR, Podelski A, Schäf M, Wies T. 2009. It’s doomed; we can prove it. Second World Congress on Formal Methods. FM: Formal Methods, LNCS, vol. 5850, 338–353.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4391
Cerny P, Alur R. 2009. Automated analysis of Java methods for confidentiality. 21st International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 5643, 173–187.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4365
Seghir M, Podelski A, Wies T. 2009. Abstraction refinement for quantified array assertions. 16th International Symposium on Static Analysis. SAS: Static Analysis Symposium, LNCS, vol. 5673, 3–18.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4375
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. 2009. Intra-module inference. 21st International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 5643, 493–508.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797, 3–23.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4535
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Approximation of event probabilities in noisy cellular processes. CMSB: Computational Methods in Systems Biology, LNCS, vol. 5688, 173–188.
View | Files available | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed