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.
6436 Publications
2012 |
Published |
Journal Article |
IST-REx-ID: 9499 |
Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. 2012;8(3). doi:10.1371/journal.pgen.1002512
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 9528
Huff JT, Zilberman D. Regulation of biological accuracy, precision, and memory by plant chromatin organization. Current Opinion in Genetics and Development. 2012;22(2):132-138. doi:10.1016/j.gde.2012.01.007
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 9535 |
Coleman-Derr D, Zilberman D. DNA methylation, H2A.Z, and the regulation of constitutive expression. Cold Spring Harbor Symposia on Quantitative Biology. 2012;77:147-154. doi:10.1101/sqb.2012.77.014944
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 |
Research Data Reference |
IST-REx-ID: 9755 |
Konrad M, Vyleta M, Theis F, et al. Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies. 2012. doi:10.5061/dryad.sv37s
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 |
Research Data Reference |
IST-REx-ID: 9757 |
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. 2012. doi:10.5061/dryad.61649
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 |
Research Data Reference |
IST-REx-ID: 9758 |
Aeschbacher S, Futschik A, Beaumont M. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. 2012. doi:10.5061/dryad.274b1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 |
Published |
Journal Article |
IST-REx-ID: 493 |
Tangermann M, Müller K, Aertsen A, et al. Review of the BCI competition IV. Frontiers in Neuroscience. 2012;6. doi:10.3389/fnins.2012.00055
[Published Version]
View
| Files available
| DOI
| WoS
2012 |
Published |
Journal Article |
IST-REx-ID: 494
Boker U, Kupferman O. Translating to Co-Büchi made tight, unified, and useful. ACM Transactions on Computational Logic (TOCL). 2012;13(4). doi:10.1145/2362355.2362357
View
| DOI
| WoS
2012 |
Published |
Conference Paper |
IST-REx-ID: 495 |
Kruckman A, Rubin S, Sheridan J, Zax B. A Myhill Nerode theorem for automata with advice. In: Proceedings GandALF 2012. Vol 96. Open Publishing Association; 2012:238-246. doi:10.4204/EPTCS.96.18
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 496 |
Rabinovich A, Rubin S. Interpretations in trees with countably many branches. In: IEEE; 2012. doi:10.1109/LICS.2012.65
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2012 |
Published |
Conference Paper |
IST-REx-ID: 497 |
Chatterjee K, Chaubal S, Kamath P. Faster algorithms for alternating refinement relations. In: Vol 16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:167-182. doi:10.4230/LIPIcs.CSL.2012.167
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 498 |
Pickup M, Field D, Rowell D, Young A. Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications. 2012;5(8):913-924. doi:10.1111/j.1752-4571.2012.00284.x
[Published Version]
View
| Files available
| DOI
| WoS
2012 |
Published |
Journal Article |
IST-REx-ID: 506 |
Sixt MK. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 2012;197(3):347-349. doi:10.1083/jcb.201204039
[Published Version]
View
| Files available
| DOI
| WoS
2012 |
Published |
Technical Report |
IST-REx-ID: 5377 |
Chatterjee K, Velner Y. Mean-Payoff Pushdown Games. IST Austria; 2012. doi:10.15479/AT:IST-2012-0002
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Technical Report |
IST-REx-ID: 5378 |
Chatterjee K, Chaubal S, Kamath P. Faster Algorithms for Alternating Refinement Relations. IST Austria; 2012. doi:10.15479/AT:IST-2012-0001
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Technical Report |
IST-REx-ID: 5396 |
Korc F, Kolmogorov V, Lampert C. Approximating Marginals Using Discrete Energy Minimization. IST Austria; 2012. doi:10.15479/AT:IST-2012-0003
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Report |
IST-REx-ID: 5398 |
Porsche J. Actual State of Research Data @ ISTAustria. IST Austria; 2012.
[Published Version]
View
| Files available
2012 |
Published |
Conference Paper |
IST-REx-ID: 5745 |
Gupta A. Improved single pass algorithms for resolution proof reduction. In: 10th International Symposium on Automated Technology for Verification and Analysis. Vol 7561. Springer Nature; 2012:107-121. doi:10.1007/978-3-642-33386-6_10
[Submitted Version]
View
| Files available
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 6588 |
Pausinger F. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 2012;8(1):63-78.
[Published Version]
View
| Download Published Version (ext.)
| WoS
2012 |
Published |
Journal Article |
IST-REx-ID: 3836
Ghosal A, Iercan D, Kirsch C, Henzinger TA, Sangiovanni Vincentelli A. Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. Science of Computer Programming. 2012;77(2):96-112. doi:10.1016/j.scico.2010.06.004
View
| DOI
| WoS