ISTA Research Explorer

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.

51 Publications

2019 | Journal Article | IST-REx-ID: 8418 |

Guardia M, Kaloshin V, Zhang J. Asymptotic density of collision orbits in the Restricted Circular Planar 3 Body Problem. Archive for Rational Mechanics and Analysis. 2019;233(2):799-836. doi:10.1007/s00205-019-01368-7

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

2019 | Conference Paper | IST-REx-ID: 6035 |

Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. JuliaReach: A toolbox for set-based reachability. In: Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. Vol 22. ACM; 2019:39-44. doi:10.1145/3302504.3311804

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

2019 | Journal Article | IST-REx-ID: 10878 |

Flandoli F, Priola E, Zanco GA. A mean-field model with discontinuous coefficients for neurons with spatial interaction. Discrete and Continuous Dynamical Systems. 2019;39(6):3037-3067. doi:10.3934/dcds.2019126

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

2019 | Thesis | IST-REx-ID: 6473 |

Cepeda Humerez SA. Estimating information flow in single cells. 2019. doi:10.15479/AT:ISTA:6473

[Published Version] View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6175 |

Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. Cost analysis of nondeterministic probabilistic programs. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2019:204-220. doi:10.1145/3314221.3314581

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

2018 | Journal Article | IST-REx-ID: 11618 |

Bugnet LA, García RA, Davies GR, et al. FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants. Astronomy & Astrophysics. 2018;620. doi:10.1051/0004-6361/201833106

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

2018 | Preprint | IST-REx-ID: 11631 |

Bugnet LA, García RA, Davies GR, Mathur S, Hall OJ, Rendle BM. FliPer: Classifying TESS pulsating stars. arXiv. doi:10.48550/arXiv.1811.12140

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

2018 | Conference Poster | IST-REx-ID: 6459 |

Petritsch B. Open Access at IST Austria 2009-2017. IST Austria; 2018. doi:10.5281/zenodo.1410279

[Published Version] View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 8422 |

Huang G, Kaloshin V, Sorrentino A. Nearly circular domains which are integrable close to the boundary are ellipses. Geometric and Functional Analysis. 2018;28(2):334-392. doi:10.1007/s00039-018-0440-4

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

2018 | Research Data | IST-REx-ID: 5577 |

Villányi M. Emerald Austrian Publications 2013-2017. 2018. doi:10.15479/AT:ISTA:89