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.
5288 Publications
2012 | Published | Technical Report | IST-REx-ID: 5396 |
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 |
Porsche, J. (2012). Actual state of research data @ ISTAustria. IST Austria.
[Published Version]
View
| Files available
2012 | Research Data Reference | IST-REx-ID: 9755 |
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 |
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 |
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: 12198 |
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: 13075 |
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 | Book Chapter | IST-REx-ID: 10896
zur Nedden, S., Doney, A. S., & Frenguelli, B. G. (2012). The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In S. Masino & D. Boison (Eds.), Adenosine (1st ed., pp. 109–129). New York: Springer. https://doi.org/10.1007/978-1-4614-3903-5_6
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10903
Bouajjani, A., Dragoi, C., Enea, C., & Sighireanu, M. (2012). Accurate invariant checking for programs manipulating lists and arrays with infinite data. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 167–182). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-33386-6_14
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10904
Chatterjee, K., Randour, M., & Raskin, J.-F. (2012). Strategy synthesis for multi-dimensional quantitative objectives. In M. Koutny & I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory (Vol. 7454, pp. 115–131). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-32940-1_10
[Preprint]
View
| Files available
| DOI
| arXiv
2012 | Published | Conference Paper | IST-REx-ID: 10905 |
Chatterjee, K., Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2012). Polynomial-time algorithms for energy games with special weight structures. In Algorithms – ESA 2012 (Vol. 7501, pp. 301–312). Ljubljana, Slovenia: Springer. https://doi.org/10.1007/978-3-642-33090-2_27
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., & Rybalchenko, A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan & B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-28756-5_46
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 1384 |
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: 6588 |
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 | Conference Paper | IST-REx-ID: 2825
Lampert, C. (2012). Dynamic pruning of factor graphs for maximum marginal prediction (Vol. 1, pp. 82–90). Presented at the NIPS: Neural Information Processing Systems, Lake Tahoe, NV, United States: Neural Information Processing Systems.
View
2012 | Published | Journal Article | IST-REx-ID: 2848 |
Chatterjee, K., Zufferey, D., & Nowak, M. (2012). Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2012.02.021
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 2849 |
Edelsbrunner, H., & Strelkova, N. (2012). On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. IOP Publishing Ltd. https://doi.org/10.1070/RM2012v067n06ABEH004820
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2888
Henzinger, T. A. (2012). Quantitative reactive models. In Conference proceedings MODELS 2012 (Vol. 7590, pp. 1–2). Innsbruck, Austria: Springer. https://doi.org/10.1007/978-3-642-33666-9_1
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2890
Cerny, P., Gopi, S., Henzinger, T. A., Radhakrishna, A., & Totla, N. (2012). Synthesis from incompatible specifications. In Proceedings of the tenth ACM international conference on Embedded software (pp. 53–62). Tampere, Finland: ACM. https://doi.org/10.1145/2380356.2380371
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2891 |
Boker, U., & Henzinger, T. A. (2012). Approximate determinization of quantitative automata. In Leibniz International Proceedings in Informatics (Vol. 18, pp. 362–373). Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362
[Published Version]
View
| Files available
| DOI