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.

6658 Publications

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.

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

P. Amaro et al., “Quantum interference shifts in laser spectroscopy with elliptical polarization,” Physical Review A, vol. 92, no. 6. American Physical Society, 2015.

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

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

T. R. Sokolowski and G. Tkačik, “Optimizing information flow in small genetic networks. IV. Spatial coupling,” Physical Review E, vol. 91, no. 6. American Physical Society, 2015.

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

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

S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, and K. Klemm, “Anomalous scaling in an age-dependent branching model,” Physical Review E, vol. 91, no. 2. American Physical Society, 2015.

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

K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” in Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , Austin, TX, USA, 2015, vol. 5, pp. 3496–3502.

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

G. Chevereau et al., “Quantifying the determinants of evolutionary dynamics leading to drug resistance,” PLoS Biology, vol. 13, no. 11. Public Library of Science, 2015.

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

2014 | Published | Book Chapter | IST-REx-ID: 10817

D. Günther, J. Reininghaus, H.-P. Seidel, and T. Weinkauf, “Notes on the simplification of the Morse-Smale complex,” in Topological Methods in Data Analysis and Visualization III., P.-T. Bremer, I. Hotz, V. Pascucci, and R. Peikert, Eds. Cham: Springer Nature, 2014, pp. 135–150.

View | DOI

2014 | Published | Conference Paper | IST-REx-ID: 10884 |

B. Aminof, S. Jacobs, A. Khalimov, and S. Rubin, “Parameterized model checking of token-passing systems,” in Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 262–281.

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

K. Chatterjee, L. Doyen, E. Filiot, and J.-F. Raskin, “Doomsday equilibria for omega-regular games,” in VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 78–97.

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

Research Groups

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

6658 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6658 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options