Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
402 Publications
2010 | Conference Paper | IST-REx-ID: 4378 | 
Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.” edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_6.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4396 |
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 489 |
Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .” In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010. https://doi.org/10.4204/EPTCS.25.7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 12199
Feng, Xiaoqi, and Hugh G. Dickinson. “Tapetal Cell Fate, Lineage and Proliferation in the Arabidopsis Anther.” Development. The Company of Biologists, 2010. https://doi.org/10.1242/dev.049320.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 9491 |
Tran, Robert K., Jorja G. Henikoff, Daniel Zilberman, Renata F. Ditt, Steven E. Jacobsen, and Steven Henikoff. “DNA Methylation Profiling Identifies CG Methylation Clusters in Arabidopsis Genes.” Current Biology. Elsevier, 2005. https://doi.org/10.1016/j.cub.2005.01.008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC