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.
416 Publications
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 | Published | Journal Article | IST-REx-ID: 14301 |

E. Stahl, T. Martin, F. M. Praetorius, and H. Dietz, “Facile and scalable preparation of pure and dense DNA origami solutions,” Angewandte Chemie International Edition, vol. 126, no. 47. Wiley, pp. 12949–12954, 2014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Conference Paper | IST-REx-ID: 1507 |

L. Erdös, “Random matrices, log-gases and Hölder regularity,” in Proceedings of the International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 1516 |

G. Bräunlich, C. Hainzl, and R. Seiringer, “On the BCS gap equation for superfluid fermionic gases,” in Proceedings of the QMath12 Conference, Berlin, Germany, 2014, pp. 127–137.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 1629 |

P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Edit propagation using geometric relationship functions,” ACM Transactions on Graphics, vol. 33, no. 2. ACM, 2014.
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 1643 |

G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in SCN 2014, Amalfi, Italy, 2014, vol. 8642, pp. 95–114.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 1702 |

A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving recursion free-horn clauses,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Vienna, Austria, 2014, vol. 169, pp. 31–38.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 1708
C. Savin and S. Denève, “Spatio-temporal representations of uncertainty in spiking neural networks,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2014, vol. 3, no. January, pp. 2024–2032.
View
| Download None (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1733 |

P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface simulation distances,” Theoretical Computer Science, vol. 560, no. 3. Elsevier, pp. 348–363, 2014.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1761 |

M. Mongillo et al., “PtSi clustering in silicon probed by transport spectroscopy,” Physical Review X, vol. 3, no. 4. American Physical Society, 2014.
View
| DOI
| Download (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1816 |

S. Huber, M. Held, P. Meerwald, and R. Kwitt, “Topology-preserving watermarking of vector graphics,” International Journal of Computational Geometry and Applications, vol. 24, no. 1. World Scientific Publishing, pp. 61–86, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1821 |

R. Seiringer, “Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation,” Journal of Mathematical Physics, vol. 55, no. 7. American Institute of Physics, 2014.
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1842 |

J. Cibulka, P. Gao, M. Krcál, T. Valla, and P. Valtr, “On the geometric ramsey number of outerplanar graphs,” Discrete & Computational Geometry, vol. 53, no. 1. Springer, pp. 64–79, 2014.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1844 |

V. Risso et al., “Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history,” Molecular Biology and Evolution, vol. 32, no. 2. Oxford University Press, pp. 440–455, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1852 |

M. Sassi et al., “An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis,” Current Biology, vol. 24, no. 19. Cell Press, pp. 2335–2342, 2014.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)