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.

4854 Publications


2012 | Published | Conference Paper | IST-REx-ID: 1384 | OA
D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “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, 2012.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 12198 | OA
C. A. Ibarra et al., “Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes,” Science, vol. 337, no. 6100. American Association for the Advancement of Science, pp. 1360–1364, 2012.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2012 | Published | Conference Paper | IST-REx-ID: 2048 | OA
S. Faust, K. Z. Pietrzak, and J. Schipper, “Practical leakage-resilient symmetric cryptography,” in Conference proceedings CHES 2012, Leuven, Belgium, 2012, vol. 7428, pp. 213–232.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 2049 | OA
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, and K. Z. Pietrzak, “Lapin: An efficient authentication protocol based on ring-LPN,” in Conference proceedings FSE 2012, Washington, DC, USA, 2012, vol. 7549, pp. 346–365.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2263 | OA
H. Liang, S. Hippenmeyer, and H. Ghashghaei, “A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors,” Biology open, vol. 1, no. 12. The Company of Biologists, pp. 1200–1203, 2012.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2302
T. A. Henzinger and M. Mateescu, “The propagation approach for computing biochemical reaction networks,” IEEE ACM Transactions on Computational Biology and Bioinformatics, vol. 10, no. 2. IEEE, pp. 310–322, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 2318 | OA
R. Seiringer, “Absence of bound states implies non-negativity of the scattering length,” Journal of Spectral Theory, vol. 2, no. 3. European Mathematical Society, pp. 321–328, 2012.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2411 | OA
I. Ebersberger et al., “A consistent phylogenetic backbone for the fungi,” Molecular Biology and Evolution, vol. 29, no. 5. Oxford University Press, pp. 1319–1334, 2012.
[Published Version] View | Files available | DOI
 

2012 | Research Data Reference | IST-REx-ID: 9755 | OA
M. Konrad et al., “Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies.” Dryad, 2012.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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

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

2012 | Published | Book Chapter | IST-REx-ID: 10896
S. zur Nedden, A. S. Doney, and B. G. Frenguelli, “The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books,” in Adenosine, 1st ed., S. Masino and D. Boison, Eds. New York: Springer, 2012, pp. 109–129.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 10903
A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Accurate invariant checking for programs manipulating lists and arrays with infinite data,” in Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 167–182.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 10904
K. Chatterjee, M. Randour, and J.-F. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” in CONCUR 2012 - Concurrency Theory, Newcastle upon Tyne, United Kingdom, 2012, vol. 7454, pp. 115–131.
[Preprint] View | Files available | DOI | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 10905 | OA
K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” in Algorithms – ESA 2012, Ljubljana, Slovenia, 2012, vol. 7501, pp. 301–312.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 10906 | OA
S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko, “HSF(C): A software verifier based on Horn clauses,” in Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, 2012, vol. 7214, pp. 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 3131 | OA
D. Weissman and N. H. Barton, “Limits to the rate of adaptive substitution in sexual populations,” PLoS Genetics, vol. 8, no. 6. Public Library of Science, 2012.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2968 | OA
K. Lohse, N. H. Barton, G. Melika, and G. Stone, “A likelihood based comparison of population histories in a parasitoid guild,” Molecular Ecology, vol. 21, no. 18. Wiley-Blackwell, pp. 4605–4617, 2012.
[Submitted Version] View | Files available | DOI
 

2012 | Research Data Reference | IST-REx-ID: 13075 | OA
K. Lohse, N. H. Barton, G. Stone, and G. Melika, “Data from: A likelihood-based comparison of population histories in a parasitoid guild.” Dryad, 2012.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed