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.
8978 Publications
2008 | Conference Paper | IST-REx-ID: 4386
Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
2008 | Conference Paper | IST-REx-ID: 4387
Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
2008 | Conference Paper | IST-REx-ID: 4397
CSIsat: Interpolation for LA+EUF
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
View
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
2008 | Conference Paper | IST-REx-ID: 4400
Security Evaluation of ES&S Voting Machines and Election Management System
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, USENIX, 2008.
View
| DOI
| Download (ext.)
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, USENIX, 2008.
2008 | Thesis | IST-REx-ID: 4409 |
Games for the verification of timed systems
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
View
| Download None (ext.)
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.