ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6824 Publications

K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, Edit distance for pushdown automata. IST Austria, 2015.

[Published Version] View | Files available | DOI

K. Chatterjee, M. Henzinger, and V. Loitzenbauer, “Improved algorithms for one-pair and k-pair Streett objectives,” in Proceedings - Symposium on Logic in Computer Science, Kyoto, Japan, 2015, vol. 2015–July.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS

2015 | Published | Journal Article | IST-REx-ID: 1566 |

À. Gómez Sicilia, M. K. Sikora, M. Cieplak, and M. Carrión Vázquez, “An exploration of the universe of polyglutamine structures,” PLoS Computational Biology, vol. 11, no. 10. Public Library of Science, 2015.

[Published Version] View | Files available | DOI | WoS

2015 | Research Data Reference | IST-REx-ID: 9714

À. Gómez Sicilia, M. K. Sikora, M. Cieplak, and M. Carrión Vázquez, “An exploration of the universe of polyglutamine structures - submission to PLOS journals.” Public Library of Science, 2015.

[Published Version] View | Files available | DOI

2015 | Published | Journal Article | IST-REx-ID: 1555 |

D. Knipl, P. Pilarczyk, and G. Röst, “Rich bifurcation structure in a two patch vaccination model,” SIAM Journal on Applied Dynamical Systems, vol. 14, no. 2. Society for Industrial and Applied Mathematics, pp. 980–1017, 2015.

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2015 | Published | Journal Article | IST-REx-ID: 1525 |

B. Bauer et al., “Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA,” VÖB Mitteilungen, vol. 68, no. 3. Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, pp. 580–607, 2015.

[Published Version] View | Files available | DOI

2015 | Published | Journal Article | IST-REx-ID: 2034 |

B. Bérard, K. Chatterjee, and N. Sznajder, “Probabilistic opacity for Markov decision processes,” Information Processing Letters, vol. 115, no. 1. Elsevier, pp. 52–59, 2015.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2015 | Published | Journal Article | IST-REx-ID: 1542 |

T. Paixao et al., “Toward a unifying framework for evolutionary processes,” Journal of Theoretical Biology, vol. 383. Elsevier, pp. 28–43, 2015.

[Published Version] View | Files available | DOI | WoS

K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted automata,” in Proceedings - Symposium on Logic in Computer Science, Kyoto, Japan, 2015, vol. 2015–July.

K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2015.

[Published Version] View | Files available | DOI

2015 | Published | Journal Article | IST-REx-ID: 1792

F. Pausinger and A. Svane, “A Koksma-Hlawka inequality for general discrepancy systems,” Journal of Complexity, vol. 31, no. 6. Academic Press, pp. 773–797, 2015.

View | Files available | DOI | WoS

2015 | Published | Thesis | PhD | IST-REx-ID: 1399

F. Pausinger, “On the approximation of intrinsic volumes,” Institute of Science and Technology Austria, 2015.

View | Files available

2015 | Published | Journal Article | IST-REx-ID: 1709 |

J. Reiter, A. Kanodia, R. Gupta, M. Nowak, and K. Chatterjee, “Biological auctions with multiple rewards,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812. Royal Society, 2015.

2015 | Published | Thesis | PhD | IST-REx-ID: 1400

J. Reiter, “The subclonal evolution of cancer,” Institute of Science and Technology Austria, 2015.

View | Files available

2015 | Published | Journal Article | IST-REx-ID: 1666 |

M. Tugrul, T. Paixao, N. H. Barton, and G. Tkačik, “Dynamics of transcription factor binding site evolution,” PLoS Genetics, vol. 11, no. 11. Public Library of Science, 2015.

[Published Version] View | Files available | DOI | WoS

2015 | Published | Conference Paper | IST-REx-ID: 1633 |

D. Hahn and C. Wojtan, “High-resolution brittle fracture simulation with boundary elements,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.

[Submitted Version] View | Files available | DOI | WoS

2015 | Published | Journal Article | IST-REx-ID: 1830 |

F. Theis, L. V. Ugelvig, C. Marr, and S. Cremer, “Opposing effects of allogrooming on disease transmission in ant societies,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669. Royal Society, 2015.

2015 | Research Data Reference | IST-REx-ID: 9721 |

F. Theis, L. V. Ugelvig, C. Marr, and S. Cremer, “Data from: Opposing effects of allogrooming on disease transmission in ant societies.” Dryad, 2015.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2015 | Published | Journal Article | IST-REx-ID: 1811 |

L. Safari, J. Santos, P. Amaro, K. Jänkälä, and F. Fratini, “Analytical evaluation of atomic form factors: Application to Rayleigh scattering,” Journal of Mathematical Physics, vol. 56, no. 5. AIP Publishing, 2015.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2015 | Published | Journal Article | IST-REx-ID: 1677 |

J. Alt, “The local semicircle law for random matrices with a fourfold symmetry,” Journal of Mathematical Physics, vol. 56, no. 10. AIP Publishing, 2015.

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6824 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6824 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options