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.
2030 Publications
2010 |
Published |
Conference Paper |
IST-REx-ID: 4362
Runtime verification for software transactional memories
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.
View
| DOI
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.
2010 |
Published |
Conference Paper |
IST-REx-ID: 4369 |
From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
[Submitted Version]
View
| Files available
| DOI
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
2010 |
Published |
Conference Paper |
IST-REx-ID: 4378 |
Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
2010 |
Published |
Conference Paper |
IST-REx-ID: 4388 |
GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
[Submitted Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
2010 |
Published |
Conference Paper |
IST-REx-ID: 4389 |
Robustness of sequential circuits
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
[Submitted Version]
View
| Files available
| DOI
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
2010 |
Published |
Conference Paper |
IST-REx-ID: 4390 |
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
2010 |
Published |
Book Chapter |
IST-REx-ID: 4392
Quantitative Simulation Games
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
View
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
2010 |
Published |
Conference Paper |
IST-REx-ID: 4393 |
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
2010 |
Published |
Conference Paper |
IST-REx-ID: 4395
Verifying local transformations on relaxed memory models
S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.
View
| DOI
S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.
2010 |
Published |
Conference Paper |
IST-REx-ID: 4396 |
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
[Submitted Version]
View
| Files available
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
2009 |
Published |
Conference Paper |
IST-REx-ID: 11752
Influence of magnetic fields on structural martensitic transitions
X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.
View
| Files available
| DOI
X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.
2009 |
Published |
Conference Paper |
IST-REx-ID: 11799
Bidder optimal assignments for general utilities
P. Dütting, M. Henzinger, I. Weber, in:, 5th International Workshop on Internet and Network Economics, Springer Nature, 2009, pp. 575–582.
View
| Files available
| DOI
P. Dütting, M. Henzinger, I. Weber, in:, 5th International Workshop on Internet and Network Economics, Springer Nature, 2009, pp. 575–582.
2009 |
Published |
Conference Paper |
IST-REx-ID: 11906
Detecting the origin of text segments efficiently
O. Abdel Hamid, B. Behzadi, S. Christoph, M. Henzinger, in:, 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 61–70.
View
| DOI
O. Abdel Hamid, B. Behzadi, S. Christoph, M. Henzinger, in:, 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 61–70.
2009 |
Published |
Conference Paper |
IST-REx-ID: 11912 |
A comparison of techniques for sampling web pages
Eda Baykan, M. Henzinger, S.F. Keller, S. de Castelberg, M. Kinzler, in:, 26th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009, pp. 13–30.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Eda Baykan, M. Henzinger, S.F. Keller, S. de Castelberg, M. Kinzler, in:, 26th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009, pp. 13–30.
2009 |
Published |
Journal Article |
IST-REx-ID: 2703
Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices
L. Erdös, B. Schlein, H. Yau, Annals of Probability 37 (2009) 815–852.
View
| DOI
| Download (ext.)
L. Erdös, B. Schlein, H. Yau, Annals of Probability 37 (2009) 815–852.
2009 |
Published |
Journal Article |
IST-REx-ID: 2760
Rigorous derivation of the gross-pitaevskii equation with a large interaction potential
L. Erdös, B. Schlein, H. Yau, Journal of the American Mathematical Society 22 (2009) 1099–1156.
View
| DOI
L. Erdös, B. Schlein, H. Yau, Journal of the American Mathematical Society 22 (2009) 1099–1156.
2009 |
Published |
Conference Paper |
IST-REx-ID: 2797
Quantitative measurement of the life time of turbulence in pipe flow
D. Kuik, C. Poelma, B. Hof, J. Westerweel, in:, Springer, 2009, pp. 145–148.
View
| DOI
D. Kuik, C. Poelma, B. Hof, J. Westerweel, in:, Springer, 2009, pp. 145–148.
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.