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.
5148 Publications
2012 |Published| Technical Report | IST-REx-ID: 5396 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.
[Published Version]
View
| Files available
| DOI
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.
2012 |Published| Journal Article | IST-REx-ID: 9451 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
C.A. Ibarra, X. Feng, V.K. Schoft, T.-F. Hsieh, R. Uzawa, J.A. Rodrigues, A. Zemach, N. Chumak, A. Machlicova, T. Nishimura, D. Rojas, R.L. Fischer, H. Tamaru, D. Zilberman, Science 337 (2012) 1360–1364.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C.A. Ibarra, X. Feng, V.K. Schoft, T.-F. Hsieh, R. Uzawa, J.A. Rodrigues, A. Zemach, N. Chumak, A. Machlicova, T. Nishimura, D. Rojas, R.L. Fischer, H. Tamaru, D. Zilberman, Science 337 (2012) 1360–1364.
2012 |Published| Journal Article | IST-REx-ID: 9535 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
DNA methylation, H2A.Z, and the regulation of constitutive expression
D. Coleman-Derr, D. Zilberman, Cold Spring Harbor Symposia on Quantitative Biology 77 (2012) 147–154.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Coleman-Derr, D. Zilberman, Cold Spring Harbor Symposia on Quantitative Biology 77 (2012) 147–154.
2012 |Published| Journal Article | IST-REx-ID: 3242 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Social transfer of pathogenic fungus promotes active immunisation in ant colonies
M. Konrad, M. Vyleta, F. Theis, M. Stock, S. Tragust, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, PLoS Biology 10 (2012).
[Published Version]
View
| Files available
| DOI
M. Konrad, M. Vyleta, F. Theis, M. Stock, S. Tragust, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, PLoS Biology 10 (2012).
2012 | Research Data Reference | IST-REx-ID: 9755 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies
M. Konrad, M. Vyleta, F. Theis, M. Stock, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, (2012).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Konrad, M. Vyleta, F. Theis, M. Stock, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, (2012).
2012 | Research Data Reference | IST-REx-ID: 9758 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates
S. Aeschbacher, A. Futschik, M. Beaumont, (2012).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Aeschbacher, A. Futschik, M. Beaumont, (2012).
2012 | Research Data Reference | IST-REx-ID: 9757 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).
2012 |Published| Journal Article | IST-REx-ID: 9499 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development
S.Y. Kim, J. Lee, L. Eshed-Williams, D. Zilberman, Z.R. Sung, PLoS Genetics 8 (2012).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S.Y. Kim, J. Lee, L. Eshed-Williams, D. Zilberman, Z.R. Sung, PLoS Genetics 8 (2012).
2012 |Published| Journal Article | IST-REx-ID: 9497 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Deposition of histone variant H2A.Z within gene bodies regulates responsive genes
D. Coleman-Derr, D. Zilberman, PLoS Genetics 8 (2012).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Coleman-Derr, D. Zilberman, PLoS Genetics 8 (2012).
2012 |Published| Journal Article | IST-REx-ID: 9528
Regulation of biological accuracy, precision, and memory by plant chromatin organization
J.T. Huff, D. Zilberman, Current Opinion in Genetics and Development 22 (2012) 132–138.
View
| DOI
| PubMed | Europe PMC
J.T. Huff, D. Zilberman, Current Opinion in Genetics and Development 22 (2012) 132–138.
2012 |Published| Journal Article | IST-REx-ID: 2968 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A likelihood based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
[Submitted Version]
View
| Files available
| DOI
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
2012 | Research Data Reference | IST-REx-ID: 13075 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Data from: A likelihood-based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).
2012 |Published| Conference Paper | IST-REx-ID: 10903
Accurate invariant checking for programs manipulating lists and arrays with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
View
| DOI
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
2012 |Published| Conference Paper | IST-REx-ID: 10905 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
2012 |Published| Conference Paper | IST-REx-ID: 10906 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
2012 |Published| Book Chapter | IST-REx-ID: 5745 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Improved Single Pass Algorithms for Resolution Proof Reduction
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
View
| Files available
| DOI
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
2012 |Published| Conference Paper | IST-REx-ID: 3251 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
[Submitted Version]
View
| Files available
| DOI
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
2012 |Published| Journal Article | IST-REx-ID: 3157 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen, I. Božić, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486 (2012) 537–540.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen, I. Božić, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486 (2012) 537–540.
2012 |Published| Journal Article | IST-REx-ID: 3260 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Evolutionary dynamics of biological auctions
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.
2012 |Published| Journal Article | IST-REx-ID: 3258 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons
S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.