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.

50 Publications

2020 | Published | Journal Article | IST-REx-ID: 10862 |

Spectral rigidity for addition of random matrices at the regular edge
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 279 (2020).

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

2019 | Published | 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 | Published | Journal Article | IST-REx-ID: 11615 |

A search for red giant solar-like oscillations in all Kepler data
M. Hon, D. Stello, R.A. García, S. Mathur, S. Sharma, I.L. Colman, L.A. Bugnet, Monthly Notices of the Royal Astronomical Society 485 (2019) 5616–5630.

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

2019 | Published | Journal Article | IST-REx-ID: 11623 |

Surface rotation and photometric activity for Kepler targets. I. M and K main-sequence stars
A.R.G. Santos, R.A. García, S. Mathur, L.A. Bugnet, J.L. van Saders, T.S. Metcalfe, G.V.A. Simonian, M.H. Pinsonneault, The Astrophysical Journal Supplement Series 244 (2019).

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

2019 | Submitted | Preprint | IST-REx-ID: 11630 |

Automatic classification of K2 pulsating stars using machine learning techniques
A.L. Saux, L.A. Bugnet, S. Mathur, S.N. Breton, R.A. Garcia, ArXiv (n.d.).

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

2019 | Published | 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 | Published | 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

2019 | Published | 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 | Published | 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

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

Data Check IOP Scopus vs. Publisher
M. Villányi, (2018).