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.

4966 Publications


2012 | Published | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee, K., & Velner, Y. (2012). Mean-payoff pushdown games. IST Austria. https://doi.org/10.15479/AT:IST-2012-0002
[Published Version] View | Files available | DOI
 

2012 | Published | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations. IST Austria. https://doi.org/10.15479/AT:IST-2012-0001
[Published Version] View | Files available | DOI
 

2012 | Published | Technical Report | IST-REx-ID: 5396 | OA
Korc, F., Kolmogorov, V., & Lampert, C. (2012). Approximating marginals using discrete energy minimization. IST Austria. https://doi.org/10.15479/AT:IST-2012-0003
[Published Version] View | Files available | DOI
 

2012 | Published | Report | IST-REx-ID: 5398 | OA
Porsche, J. (2012). Actual state of research data @ ISTAustria. IST Austria.
[Published Version] View | Files available
 

2012 | Published | Book Chapter | IST-REx-ID: 5745 | OA
Gupta, A. (2012). Improved Single Pass Algorithms for Resolution Proof Reduction. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 107–121). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-33386-6_10
View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 6588 | OA
Pausinger, F. (2012). Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. B. Verkin Institute for Low Temperature Physics and Engineering.
[Published Version] View | Download Published Version (ext.) | WoS
 

2012 | Research Data Reference | IST-REx-ID: 13075 | OA
Lohse, K., Barton, N. H., Stone, G., & Melika, G. (2012). Data from: A likelihood-based comparison of population histories in a parasitoid guild. Dryad. https://doi.org/10.5061/DRYAD.0G0FS
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 1384 | OA
Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). Conditional model checking: A technique to pass information between verifiers. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 9451 | OA
Ibarra, C. A., Feng, X., Schoft, V. K., Hsieh, T.-F., Uzawa, R., Rodrigues, J. A., … Zilberman, D. (2012). Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1224839
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 9497 | OA
Coleman-Derr, D., & Zilberman, D. (2012). Deposition of histone variant H2A.Z within gene bodies regulates responsive genes. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1002988
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 9499 | OA
Kim, S. Y., Lee, J., Eshed-Williams, L., Zilberman, D., & Sung, Z. R. (2012). EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. Public Library of Science. https://doi.org/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, J. T., & Zilberman, D. (2012). Regulation of biological accuracy, precision, and memory by plant chromatin organization. Current Opinion in Genetics and Development. Elsevier. https://doi.org/10.1016/j.gde.2012.01.007
View | DOI | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 9535 | OA
Coleman-Derr, D., & Zilberman, D. (2012). DNA methylation, H2A.Z, and the regulation of constitutive expression. Cold Spring Harbor Symposia on Quantitative Biology. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/sqb.2012.77.014944
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 12198 | OA
Ibarra, C. A., Feng, X., Schoft, V. K., Hsieh, T.-F., Uzawa, R., Rodrigues, J. A., … Zilberman, D. (2012). Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1224839
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Research Data Reference | IST-REx-ID: 9755 | OA
Konrad, M., Vyleta, M., Theis, F., Stock, M., Klatt, M., Drescher, V., … Cremer, S. (2012). Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies. Dryad. https://doi.org/10.5061/dryad.sv37s
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9757 | OA
Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., & Cremer, S. (2012). Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Dryad. https://doi.org/10.5061/dryad.61649
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9758 | OA
Aeschbacher, S., Futschik, A., & Beaumont, M. (2012). Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. Dryad. https://doi.org/10.5061/dryad.274b1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 3836
Ghosal, A., Iercan, D., Kirsch, C., Henzinger, T. A., & Sangiovanni Vincentelli, A. (2012). Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. Science of Computer Programming. Elsevier. https://doi.org/10.1016/j.scico.2010.06.004
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 3846 | OA
Chatterjee, K., & Henzinger, T. A. (2012). A survey of stochastic ω regular games. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2011.05.002
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3163
Lampert, C. (2011). Maximum margin multi-label structured prediction. Presented at the NIPS: Neural Information Processing Systems, Granada, Spain: Neural Information Processing Systems.
View | Files available
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed