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.

1790 Publications


2009 |Published| Conference Paper | IST-REx-ID: 3231
E. Kiltz and K. Z. Pietrzak, “On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2009, vol. 5479, pp. 389–406.
View | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 3232
K. Z. Pietrzak, “A leakage resilient mode of operation,” presented at the CRYPTO: International Cryptology Conference, 2009, vol. 5479, pp. 462–482.
View | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 3503 | OA
K. Chatterjee and T. A. Henzinger, “Probabilistic systems with limsup and liminf objectives,” presented at the ILC: Infinity in Logic and Computation, 2009, vol. 5489, pp. 32–45.
View | DOI | Download (ext.)
 

2009 |Published| Conference Paper | IST-REx-ID: 3715
C. Lampert and J. Peters, “Active structured learning for high-speed object detection,” presented at the DAGM: German Association For Pattern Recognition, 2009, vol. 5748, pp. 221–231.
View | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 3780 | OA
A. Davison, N. H. Barton, and B. Clarke, “The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails,” Journal of Evolutionary Biology, vol. 22, no. 8. Wiley, pp. 1624–1635, 2009.
[Submitted Version] View | Files available | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 3828
J. Schwenk et al., “Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors,” Science, vol. 323, no. 5919. American Association for the Advancement of Science, pp. 1313–9, 2009.
View | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 3841 | OA
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.
[Submitted Version] View | Files available | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 3871 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
[Submitted Version] View | Files available | DOI
 

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

2009 |Published| Journal Article | IST-REx-ID: 4192
M. Kai, N. Buchan, C.-P. J. Heisenberg, and M. Tada, “Regulation of planar cell polarity signalling by the prenylation pathway,” Mechanisms of Development, vol. 126, no. Supplement 1. Elsevier, pp. S132–S132, 2009.
View | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 4223
J. Swoboda et al., “Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus,” ACS Chemical Biology, vol. 4, no. 10. American Chemical Society, pp. 875–883, 2009.
View | DOI | Download None (ext.)
 

2009 |Published| Journal Article | IST-REx-ID: 3048
H. Tanaka, S. Kitakura, R. De Rycke, R. De Groodt, and J. Friml, “Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking,” Current Biology, vol. 19, no. 5. Cell Press, pp. 391–397, 2009.
View | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 3950
M. Moser et al., “Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells,” Nature Medicine, vol. 15, no. 3. Nature Publishing Group, pp. 300–305, 2009.
View | DOI
 

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

2009 |Published| Journal Article | IST-REx-ID: 4357
J. P. Bollback and J. Huelsenbeck, “Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence,” Genetics, vol. 181, no. 1. Genetics Society of America, pp. 225–234, 2009.
View | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 4383 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View | Files available | DOI
 

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

2009 |Published| Conference Paper | IST-REx-ID: 4453 | OA
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 |Published| Conference Paper | IST-REx-ID: 4535
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Approximation of event probabilities in noisy cellular processes,” presented at the CMSB: Computational Methods in Systems Biology, 2009, vol. 5688, pp. 173–188.
View | Files available | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 4542 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications