Please note that IST 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.

3307 Publications


2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174, 465–479.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 2980 | OA
Bangerter E, Briner T, Henecka W, Krenn S, Sadeghi A, Schneider T. 2010. Automatic Generation of Sigma-Protocols. EuroPKI: Public Key Infrastructures, Services and Applications, LNCS, vol. 6391, 67–82.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3072 | OA
Grunewald W, Friml J. 2010. The march of the PINs: Developmental plasticity by dynamic polar targeting in plant cells. EMBO Journal. 29(16), 2700–2714.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications