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.

9096 Publications


2013 | Conference Paper | IST-REx-ID: 2445 | OA
Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_68
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2926
Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., & Cremer, S. (2013). Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2012.11.034
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2013). Trading performance for stability in Markov decision processes. In 28th Annual ACM/IEEE Symposium (pp. 331–340). New Orleans, LA, United States: IEEE. https://doi.org/10.1109/LICS.2013.39
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee, K., Kößler, A., & Schmid, U. (2013). Automated analysis of real-time scheduling using graph games. In Proceedings of the 16th International conference on Hybrid systems: Computation and control (pp. 163–172). Philadelphia, PA, United States: ACM. https://doi.org/10.1145/2461328.2461356
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2272 | OA
Takhanov, R., & Kolmogorov, V. (2013). Inference algorithms for pattern-based CRFs on sequence data. In ICML’13 Proceedings of the 30th International Conference on International (Vol. 28, pp. 145–153). Atlanta, GA, USA: ML Research Press.
[Submitted Version] View | Files available | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy, E., Baster, P., Friml, J., & Duque, P. (2013). ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. Taylor & Francis. https://doi.org/10.4161/psb.25688
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society. https://doi.org/10.1098/rspb.2012.3035
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Research Data Reference | IST-REx-ID: 9751 | OA
Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. Dryad. https://doi.org/10.5061/dryad.b1q2n
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 7785
Joo, W. J., Sweeney, L. B., Liang, L., & Luo, L. (2013). Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2013.03.022
View | DOI
 

2013 | Report | IST-REx-ID: 2274 | OA
Dziembowski, S., Faust, S., Kolmogorov, V., & Pietrzak, K. Z. (2013). Proofs of Space. IST Austria.
[Published Version] View | Files available
 

Search

Filter Publications