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.
2030 Publications
2019 |
Published |
Journal Article |
IST-REx-ID: 7459
Vadla SS, Costanzo T, John S, Caruntu G, Roy SC. Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites. Scripta Materialia. 2019;159:33-36. doi:10.1016/j.scriptamat.2018.09.003
View
| DOI
2019 |
Published |
Conference Paper |
IST-REx-ID: 7639
Rannen-Triki A, Berman M, Kolmogorov V, Blaschko MB. Function norms for neural networks. In: Proceedings of the 2019 International Conference on Computer Vision Workshop. IEEE; 2019. doi:10.1109/ICCVW.2019.00097
View
| DOI
| WoS
2019 |
Research Data Reference |
IST-REx-ID: 9900 |
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808886.v1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 |
Published |
Thesis |
IST-REx-ID: 6392 |
Lukacisin M. Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. 2019. doi:10.15479/AT:ISTA:6392
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6849 |
Rangel Guerrero DK. The role of CCK-interneurons in regulating hippocampal network dynamics. 2019. doi:10.15479/AT:ISTA:6849
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6363 |
Espinoza Martinez C. Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. 2019. doi:10.15479/AT:ISTA:6363
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6891 |
Kopf A. The implication of cytoskeletal dynamics on leukocyte migration. 2019. doi:10.15479/AT:ISTA:6891
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Journal Article |
IST-REx-ID: 11557 |
Sobral D, Matthee JJ, Darvish B, et al. The nature of luminous Ly α emitters at z ∼ 2–3: Maximal dust-poor starbursts and highly ionizing AGN. Monthly Notices of the Royal Astronomical Society. 2018;477(2):2817-2840. doi:10.1093/mnras/sty782
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |
Published |
Journal Article |
IST-REx-ID: 11558 |
Sobral D, Santos S, Matthee JJ, et al. Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6. Monthly Notices of the Royal Astronomical Society. 2018;476(4):4725-4752. doi:10.1093/mnras/sty378
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |
Published |
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 |
Published |
Conference Paper |
IST-REx-ID: 11872 |
Bhattacharya S, Chakrabarty D, Henzinger M, Nanongkai D. Dynamic algorithms for graph coloring. In: 29th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2018:1-20. doi:10.1137/1.9781611975031.1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |
Published |
Journal Article |
IST-REx-ID: 11890 |
Bhattacharya S, Henzinger M, Italiano GF. Deterministic fully dynamic data structures for vertex cover and matching. SIAM Journal on Computing. 2018;47(3):859-887. doi:10.1137/140998925
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 285 |
Huszár K, Spreer J, Wagner U. On the treewidth of triangulated 3-manifolds. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.SoCG.2018.46
[Submitted Version]
View
| Files available
| DOI
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 297 |
Brázdil T, Chatterjee K, Kretinsky J, Toman V. Strategy representation by decision trees in reactive synthesis. In: Vol 10805. Springer; 2018:385-407. doi:10.1007/978-3-319-89960-2_21
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 298 |
Alwen JF, Blocki J, Pietrzak KZ. Sustained space complexity. In: Vol 10821. Springer; 2018:99-130. doi:10.1007/978-3-319-78375-8_4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 299 |
Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In: Beyer D, Huisman M, eds. Vol 10806. Springer; 2018:303-319. doi:10.1007/978-3-319-89963-3_18
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 300 |
Micciancio D, Walter M. On the bit security of cryptographic primitives. In: Vol 10820. Springer; 2018:3-28. doi:10.1007/978-3-319-78381-9_1
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 302 |
Cohen B, Pietrzak KZ. Simple proofs of sequential work. In: Vol 10821. Springer; 2018:451-467. doi:10.1007/978-3-319-78375-8_15
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 312 |
Edelsbrunner H, Iglesias Ham M. On the optimality of the FCC lattice for soft sphere packing. SIAM J Discrete Math. 2018;32(1):750-782. doi:10.1137/16M1097201
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 |
Published |
Book |
IST-REx-ID: 3300
Clarke EM, Henzinger TA, Veith H, Bloem R. Handbook of Model Checking. 1st ed. Cham: Springer Nature; 2018. doi:10.1007/978-3-319-10575-8
View
| DOI