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.
1850 Publications
2008 |Published| Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. 2008. Permissiveness in transactional memories. DISC: Distributed Computing, LNCS, vol. 5218, 305–319.
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. 2008. Completeness and nondeterminism in model checking transactional memories. CONCUR: Concurrency Theory, LNCS, vol. 5201, 21–35.
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 4452
Henzinger TA, Hottelier T, Kovács L. 2008. Valigator: A verification tool with bound and invariant generation. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 5330, 333–342.
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. 2008. Bounded asynchrony: Concurrency for modeling cell-cell interactions. FMSB: Formal Methods in Systems Biology, LNCS, vol. 5054, 17–32.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 9457 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zilberman D, Coleman-Derr D, Ballinger T, Henikoff S. 2008. Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. 456(7218), 125–129.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2007 |Published| Journal Article | IST-REx-ID: 1797
Viney T, Bálint K, Hillier D, Siegert S, Boldogköi Z, Enquist L, Meister M, Cepko C, Roska B. 2007. Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing. Current Biology. 17(11), 981–988.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 222 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
De La Bretèche R, Browning TD. 2007. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. 143(3), 579–605.
View
| DOI
| Download (ext.)
2007 |Published| Journal Article | IST-REx-ID: 3187
Blake A, Criminisi A, Cross G, Kolmogorov V, Rother C. 2007. Fusion of stereo colour and contrast. Springer Tracts in Advanced Robotics. 28, 295–304.
View
| DOI
| Download (ext.)