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.

4839 Publications


2012 | Published | Conference Paper | IST-REx-ID: 2048 | OA
Faust, S., Pietrzak, K. Z., & Schipper, J. (2012). Practical leakage-resilient symmetric cryptography. In Conference proceedings CHES 2012 (Vol. 7428, pp. 213–232). Leuven, Belgium: Springer. https://doi.org/10.1007/978-3-642-33027-8_13
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 2049 | OA
Heyse, S., Kiltz, E., Lyubashevsky, V., Paar, C., & Pietrzak, K. Z. (2012). Lapin: An efficient authentication protocol based on ring-LPN. In Conference proceedings FSE 2012 (Vol. 7549, pp. 346–365). Washington, DC, USA: Springer. https://doi.org/10.1007/978-3-642-34047-5_20
[Preprint] View | DOI | Download Preprint (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 | 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 | 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 | 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 | 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: 3317 | OA
Eggermann, E., Bucurenciu, I., Goswami, S., & Jonas, P. M. (2012). Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses. Nature Reviews Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nrn3125
[Submitted Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 3331 | OA
Kerber, M., & Sagraloff, M. (2012). A worst case bound for topology computation of algebraic curves. Journal of Symbolic Computation. Elsevier. https://doi.org/10.1016/j.jsc.2011.11.001
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 3341 | OA
Chatterjee, K. (2012). Robustness of structurally equivalent concurrent parity games (Vol. 7213, pp. 270–285). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Tallinn, Estonia: Springer. https://doi.org/10.1007/978-3-642-28729-9_18
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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.)
 

2012 | Published | Journal Article | IST-REx-ID: 493 | OA
Tangermann, M., Müller, K., Aertsen, A., Birbaumer, N., Braun, C., Brunner, C., … Blankertz, B. (2012). Review of the BCI competition IV. Frontiers in Neuroscience. Frontiers Research Foundation. https://doi.org/10.3389/fnins.2012.00055
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed