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.
4858 Publications
2014 |
Published |
Conference Paper |
IST-REx-ID: 1392 |
C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.
[Submitted Version]
View
| Files available
| DOI
2014 |
Published |
Conference Paper |
IST-REx-ID: 1393 |
A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in Proceedings of the on Future of Software Engineering, Hyderabad, India, 2014, pp. 167–181.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 |
Published |
Thesis | PhD |
IST-REx-ID: 1395
M. Konrad, “Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus,” Institute of Science and Technology Austria, 2014.
View
2014 |
Published |
Thesis | PhD |
IST-REx-ID: 1402
P. Marhavá, “Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2014.
View
2014 |
Published |
Thesis |
IST-REx-ID: 1403
M. Behrndt, “Forces driving epithelial spreading in zebrafish epiboly,” IST Austria, 2014.
View
| Files available
2014 |
Published |
Thesis |
IST-REx-ID: 1404
M. Stock, “Evolution of a fungal pathogen towards individual versus social immunity in ants,” IST Austria, 2014.
View
2014 |
Research Data Reference |
IST-REx-ID: 9722
A. Lovrics et al., “Transition probability between TF expression states when Dbx2 inhibits Nkx2.2.” Public Library of Science, 2014.
[Published Version]
View
| Files available
| DOI
2014 |
Research Data Reference |
IST-REx-ID: 9739
K. Chatterjee, A. Pavlogiannis, B. Adlam, and M. Novak, “Detailed proofs for ‘The time scale of evolutionary innovation.’” Public Library of Science, 2014.
[Published Version]
View
| Files available
| DOI
2014 |
Research Data Reference |
IST-REx-ID: 9740 |
M. Konrad, A. V. Grasse, S. Tragust, and S. Cremer, “Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host.” Dryad, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9741 |
M. Lagator, N. Colegrave, and P. Neve, “Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses.” Dryad, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9747 |
M. Lagator, A. Morgan, P. Neve, and N. Colegrave, “Data from: Role of sex and migration in adaptation to sink environments.” Dryad, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9752 |
K. Simmons et al., “Data from: Transformation of stimulus correlations by the retina.” Dryad, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9753 |
S. Tragust, L. V. Ugelvig, M. Chapuisat, J. Heinze, and S. Cremer, “Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies.” Dryad, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9888
S. Wolf et al., “Supporting information.” Public Library of Science, 2014.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 9931
R. Dhar, T. Bergmiller, and A. Wagner, “Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes,” Evolution, vol. 68, no. 6. Wiley, pp. 1775–1791, 2014.
View
| Files available
| DOI
| PubMed | Europe PMC
2014 |
Research Data Reference |
IST-REx-ID: 9932 |
R. Dhar, T. Bergmiller, and A. Wagner, “Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes.” Dryad, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 2443 |
S. Simon et al., “Defining the selectivity of processes along the auxin response chain: A study using auxin analogues,” New Phytologist, vol. 200, no. 4. Wiley, pp. 1034–1048, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |
Published |
Conference Paper |
IST-REx-ID: 2444 |
K. Chatterjee and J. Ła̧Cki, “Faster algorithms for Markov decision processes with low treewidth,” vol. 8044. Springer, pp. 543–558, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |
Published |
Conference Paper |
IST-REx-ID: 2445 |
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient synthesis for concurrency by semantics-preserving transformations,” presented at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 951–967.
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 2446 |
K. Chatterjee, A. Gaiser, and J. Kretinsky, “Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis,” vol. 8044. Springer, pp. 559–575, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv