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.
2068 Publications
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: 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: 4383 |
Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
View
| Files available
| DOI
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
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.
earlier version | 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: 4453 |
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View
| Files available
| DOI
| Download (ext.)
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
earlier version | 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.
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: 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: 4580 |
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View
| Files available
| DOI
| Download (ext.)
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
2009 |
Published |
Journal Article |
IST-REx-ID: 3048
Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking
H. Tanaka, S. Kitakura, R. De Rycke, R. De Groodt, J. Friml, Current Biology 19 (2009) 391–397.
View
| DOI
H. Tanaka, S. Kitakura, R. De Rycke, R. De Groodt, J. Friml, Current Biology 19 (2009) 391–397.
2009 |
Published |
Conference Paper |
IST-REx-ID: 3230
A new randomness extraction paradigm for hybrid encryption
E. Kiltz, K.Z. Pietrzak, M. Stam, M. Yung, in:, Springer, 2009, pp. 590–609.
View
| DOI
E. Kiltz, K.Z. Pietrzak, M. Stam, M. Yung, in:, Springer, 2009, pp. 590–609.
2009 |
Published |
Conference Paper |
IST-REx-ID: 3231
On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model
E. Kiltz, K.Z. Pietrzak, in:, Springer, 2009, pp. 389–406.
View
| DOI
E. Kiltz, K.Z. Pietrzak, in:, Springer, 2009, pp. 389–406.
2009 |
Published |
Conference Paper |
IST-REx-ID: 3232
A leakage resilient mode of operation
K.Z. Pietrzak, in:, Springer, 2009, pp. 462–482.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2009, pp. 462–482.
2009 |
Published |
Conference Paper |
IST-REx-ID: 3503 |
Probabilistic systems with limsup and liminf objectives
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
View
| DOI
| Download (ext.)
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
2009 |
Published |
Conference Paper |
IST-REx-ID: 3715
Active structured learning for high-speed object detection
C. Lampert, J. Peters, in:, Springer, 2009, pp. 221–231.
View
| DOI
C. Lampert, J. Peters, in:, Springer, 2009, pp. 221–231.
2009 |
Published |
Journal Article |
IST-REx-ID: 3780 |
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
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.