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 |

Asymptotic density of collision orbits in the Restricted Circular Planar 3 Body Problem
M. Guardia, V. Kaloshin, J. Zhang, Archive for Rational Mechanics and Analysis 233 (2019) 799–836.

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

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

JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.

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

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

A mean-field model with discontinuous coefficients for neurons with spatial interaction
F. Flandoli, E. Priola, G.A. Zanco, Discrete and Continuous Dynamical Systems 39 (2019) 3037–3067.

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

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

Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute of Science and Technology Austria, 2019.

[Published Version] View | Files available | DOI

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

Cost analysis of nondeterministic probabilistic programs
P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. Shi, in:, PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2019, pp. 204–220.

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

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

FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants
L.A. Bugnet, R.A. García, G.R. Davies, S. Mathur, E. Corsaro, O.J. Hall, B.M. Rendle, Astronomy & Astrophysics 620 (2018).

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

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

FliPer: Classifying TESS pulsating stars
L.A. Bugnet, R.A. García, G.R. Davies, S. Mathur, O.J. Hall, B.M. Rendle, ArXiv (n.d.).

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

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

Open Access at IST Austria 2009-2017
B. Petritsch, Open Access at IST Austria 2009-2017, IST Austria, 2018.

[Published Version] View | Files available | DOI

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

Nearly circular domains which are integrable close to the boundary are ellipses
G. Huang, V. Kaloshin, A. Sorrentino, Geometric and Functional Analysis 28 (2018) 334–392.

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

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

Emerald Austrian Publications 2013-2017
M. Villányi, (2018).