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
2020 | Journal Article | IST-REx-ID: 9781 | 
Feliciangeli D, Seiringer R. 2020. Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball. SIAM Journal on Mathematical Analysis. 52(1), 605–622.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Research Data | IST-REx-ID: 7383 |
Grah R. 2020. Matlab scripts for the Paper: Gene Amplification as a Form of Population-Level Gene Expression regulation, Institute of Science and Technology Austria, 10.15479/AT:ISTA:7383.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 11615 |
Hon M, Stello D, García RA, Mathur S, Sharma S, Colman IL, Bugnet LA. 2019. A search for red giant solar-like oscillations in all Kepler data. Monthly Notices of the Royal Astronomical Society. 485(4), 5616–5630.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 11623 |
Santos ARG, García RA, Mathur S, Bugnet LA, van Saders JL, Metcalfe TS, Simonian GVA, Pinsonneault MH. 2019. Surface rotation and photometric activity for Kepler targets. I. M and K main-sequence stars. The Astrophysical Journal Supplement Series. 244(1), 21.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 11630 |
Saux AL, Bugnet LA, Mathur S, Breton SN, Garcia RA. Automatic classification of K2 pulsating stars using machine learning techniques. arXiv, 1906.09611.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 8418 |
Guardia M, Kaloshin V, Zhang J. 2019. Asymptotic density of collision orbits in the Restricted Circular Planar 3 Body Problem. Archive for Rational Mechanics and Analysis. 233(2), 799–836.
[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. 2019. JuliaReach: A toolbox for set-based reachability. Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control vol. 22, 39–44.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 10878 |
Flandoli F, Priola E, Zanco GA. 2019. A mean-field model with discontinuous coefficients for neurons with spatial interaction. Discrete and Continuous Dynamical Systems. 39(6), 3037–3067.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Thesis | IST-REx-ID: 6473 |
Cepeda Humerez SA. 2019. Estimating information flow in single cells. Institute of Science and Technology Austria.
[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. 2019. Cost analysis of nondeterministic probabilistic programs. PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Conference on Programming Language Design and Implementation, 204–220.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 11618 |
Bugnet LA, García RA, Davies GR, Mathur S, Corsaro E, Hall OJ, Rendle BM. 2018. FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants. Astronomy & Astrophysics. 620, A38.
[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, 1811.12140.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Conference Poster | IST-REx-ID: 6459 |
Petritsch B. 2018. Open Access at IST Austria 2009-2017, IST Austria,p.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 8422 |
Huang G, Kaloshin V, Sorrentino A. 2018. Nearly circular domains which are integrable close to the boundary are ellipses. Geometric and Functional Analysis. 28(2), 334–392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Research Data | IST-REx-ID: 5577 |
Villányi M. 2018. Emerald Austrian Publications 2013-2017, Institute of Science and Technology Austria, 10.15479/AT:ISTA:89.
[Submitted Version]
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5578 |
Villányi M. 2018. IOP Austrian Publications 2012-2015, Institute of Science and Technology Austria, 10.15479/AT:ISTA:90.
[Submitted Version]
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5574 |
Villányi M. 2018. Data Check IOP Scopus vs. Publisher, Institute of Science and Technology Austria, 10.15479/AT:ISTA:86.
[Submitted Version]
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5582 |
Villányi M. 2018. Taylor&Francis Austrian Publications 2013-2017, Institute of Science and Technology Austria, 10.15479/AT:ISTA:94.
[Submitted Version]
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5581 |
Villányi M. 2018. Springer Austrian Publications 2013-2016, Institute of Science and Technology Austria, 10.15479/AT:ISTA:93.
[Submitted Version]
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5580 |
Villányi M. 2018. SAGE Austrian Publications 2013-2017, Institute of Science and Technology Austria, 10.15479/AT:ISTA:92.
[Submitted Version]
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5579 |
Villányi M. 2018. RSC Austrian Publications 2013-2017, Institute of Science and Technology Austria, 10.15479/AT:ISTA:91.
[Submitted Version]
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5576 |
Villányi M. 2018. Data Check T&F Scopus vs. FWF, Institute of Science and Technology Austria, 10.15479/AT:ISTA:88.
[Submitted Version]
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5575 |
Villányi M. 2018. Data Check RSC Scopus vs. FWF, Institute of Science and Technology Austria, 10.15479/AT:ISTA:87.
[Submitted Version]
View
| Files available
| DOI
2017 | Preprint | IST-REx-ID: 11633 |
Bugnet LA, Garcia RA, Davies GR, Mathur S, Corsaro E. FliPer: Checking the reliability of global seismic parameters from automatic pipelines. arXiv, 1711.02890.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 10396 |
Schlögl A, Jonas PM, Schmidt-Hieber C, Guzman SJ. 2013. Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. 58(SI-1-Track-G), 000010151520134181.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 9943 |
Sommer CM, Straehle C, Köthe U, Hamprecht FA. 2011. Ilastik: Interactive learning and segmentation toolkit. 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro. ISBI: International Symposium on Biomedical Imaging.
[Preprint]
View
| DOI
| Download Preprint (ext.)
1998 | Journal Article | IST-REx-ID: 11680
Alberts D, Henzinger MH. 1998. Average-case analysis of dynamic graph algorithms. Algorithmica. 20, 31–60.
View
| Files available
| DOI
1996 | Journal Article | IST-REx-ID: 6161 |
de Bono M, Hodgkin J. 1996. Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. 144(2), 587–595.
[Published Version]
View
| Download Published Version (ext.)
| PubMed | Europe PMC