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, Marcel, Vadim Kaloshin, and Jianlu Zhang. “Asymptotic Density of Collision Orbits in the Restricted Circular Planar 3 Body Problem.” Archive for Rational Mechanics and Analysis. Springer Nature, 2019. https://doi.org/10.1007/s00205-019-01368-7.

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

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

Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “JuliaReach: A Toolbox for Set-Based Reachability.” In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, 22:39–44. ACM, 2019. https://doi.org/10.1145/3302504.3311804.

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

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

Flandoli, Franco, Enrico Priola, and Giovanni A Zanco. “A Mean-Field Model with Discontinuous Coefficients for Neurons with Spatial Interaction.” Discrete and Continuous Dynamical Systems. American Institute of Mathematical Sciences, 2019. https://doi.org/10.3934/dcds.2019126.

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

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

Cepeda Humerez, Sarah A. “Estimating Information Flow in Single Cells.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6473.

[Published Version] View | Files available | DOI

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

Wang, Peixin, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi. “Cost Analysis of Nondeterministic Probabilistic Programs.” In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 204–20. Association for Computing Machinery, 2019. https://doi.org/10.1145/3314221.3314581.

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

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

Bugnet, Lisa Annabelle, R. A. García, G. R. Davies, S. Mathur, E. Corsaro, O. J. Hall, and B. M. Rendle. “FliPer: A Global Measure of Power Density to Estimate Surface Gravities of Main-Sequence Solar-like Stars and Red Giants.” Astronomy & Astrophysics. EDP Sciences, 2018. https://doi.org/10.1051/0004-6361/201833106.

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

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

Bugnet, Lisa Annabelle, R. A. García, G. R. Davies, S. Mathur, O. J. Hall, and B. M. Rendle. “FliPer: Classifying TESS Pulsating Stars.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1811.12140.

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

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

Petritsch, Barbara. Open Access at IST Austria 2009-2017. IST Austria, 2018. https://doi.org/10.5281/zenodo.1410279.

[Published Version] View | Files available | DOI

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

Huang, Guan, Vadim Kaloshin, and Alfonso Sorrentino. “Nearly Circular Domains Which Are Integrable Close to the Boundary Are Ellipses.” Geometric and Functional Analysis. Springer Nature, 2018. https://doi.org/10.1007/s00039-018-0440-4.

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

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

Villányi, Márton. “Emerald Austrian Publications 2013-2017.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:89.