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.
4477 Publications
2021 | Submitted | Preprint | IST-REx-ID: 9281 | 
Dubach, Guillaume, and Fabian Mühlböck. “Formal Verification of Zagier’s One-Sentence Proof.” ArXiv, 2103.11389, doi:10.48550/arXiv.2103.11389.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 7883 |
Kuzmicz-Kowalska, Katarzyna, and Anna Kicheva. “Regulation of Size and Scale in Vertebrate Spinal Cord Development.” Wiley Interdisciplinary Reviews: Developmental Biology, e383, Wiley, 2021, doi:10.1002/wdev.383.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9097 |
Pandey, Rakesh, et al. “Role of Subnetworks Mediated by TNF α, IL-23/IL-17 and IL-15 in a Network Involved in the Pathogenesis of Psoriasis.” Scientific Reports, vol. 11, 2204, Springer Nature, 2021, doi:10.1038/s41598-020-80507-7.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10204 |
Osang, Georg F., et al. “Topological Signatures and Stability of Hexagonal Close Packing and Barlow Stackings.” Soft Matter, vol. 17, no. 40, Royal Society of Chemistry , 2021, pp. 9107–15, doi:10.1039/d1sm00774b.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9602 |
Pach, János, and István Tomon. “Erdős-Hajnal-Type Results for Monotone Paths.” Journal of Combinatorial Theory. Series B, vol. 151, Elsevier, 2021, pp. 21–37, doi:10.1016/j.jctb.2021.05.004.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8317 |
Aichholzer, Oswin, et al. “Folding Polyominoes with Holes into a Cube.” Computational Geometry: Theory and Applications, vol. 93, 101700, Elsevier, 2021, doi:10.1016/j.comgeo.2020.101700.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9296 |
Aichholzer, Oswin, et al. “On Compatible Matchings.” 15th International Conference on Algorithms and Computation, vol. 12635, Springer Nature, 2021, pp. 221–33, doi:10.1007/978-3-030-68211-8_18.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Technical Report | IST-REx-ID: 6995 |
Samarasinghe, Ranmal A., et al. Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids. Vol. 24, Springer Nature, 2021, doi:10.1038/s41593-021-00906-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 10414 |
Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” 24th International Symposium on Formal Methods, vol. 13047, Springer Nature, 2021, pp. 619–39, doi:10.1007/978-3-030-90870-6_33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9620 |
Alistarh, Dan-Adrian, and Peter Davies. “Collecting Coupons Is Faster with Friends.” Structural Information and Communication Complexity, vol. 12810, Springer Nature, 2021, pp. 3–12, doi:10.1007/978-3-030-79527-6_1.
[Preprint]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10153 |
Mühlböck, Fabian, and Ross Tate. “Transitioning from Structural to Nominal Code with Efficient Gradual Typing.” Proceedings of the ACM on Programming Languages, vol. 5, 127, Association for Computing Machinery, 2021, doi:10.1145/3485504.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10635 |
Nardin, Michele, et al. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.” Peer Community Journal, vol. 1, e68, Centre Mersenne ; Peer Community In, 2021, doi:10.24072/pcjournal.69.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10148 |
Degraen, Donald, et al. “Capturing Tactile Properties of Real Surfaces for Haptic Reproduction.” 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–71, doi:10.1145/3472749.3474798.
[Preprint]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 10688 |
Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, vol. 2, TU Wien Academic Press, 2021, pp. 143–152, doi:10.34727/2021/isbn.978-3-85448-046-4_23.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10806 |
Calcabrini, Mariano, et al. “Ligand Conversion in Nanocrystal Synthesis: The Oxidation of Alkylamines to Fatty Acids by Nitrate.” JACS Au, vol. 1, no. 11, American Chemical Society, 2021, pp. 1898–903, doi:10.1021/jacsau.1c00349.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 7551 |
Fredes Tolorza, Felipe A., et al. “Ventro-Dorsal Hippocampal Pathway Gates Novelty-Induced Contextual Memory Formation.” Current Biology, vol. 31, no. 1, Elsevier, 2021, p. P25–38.E5, doi:10.1016/j.cub.2020.09.074.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9020 |
Gulden, Tobias, and Alex Kamenev. “Dynamics of Ion Channels via Non-Hermitian Quantum Mechanics.” Entropy, vol. 23, no. 1, e23010125, MDPI, 2021, doi:10.3390/e23010125.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9093 |
Marchukov, Oleksandr, and Artem Volosniev. “Shape of a Sound Wave in a Weakly-Perturbed Bose Gas.” SciPost Physics, vol. 10, no. 2, 025, SciPost Foundation, 2021, doi:10.21468/scipostphys.10.2.025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8198 |
Diringer, Asaf A., and Tobias Gulden. “Impact of Drive Harmonics on the Stability of Floquet Many-Body Localization.” Physical Review B, vol. 103, no. 21, 214204, American Physical Society, 2021, doi:10.1103/PhysRevB.103.214204.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8373 |
Pitrik, József, and Daniel Virosztek. “A Divergence Center Interpretation of General Symmetric Kubo-Ando Means, and Related Weighted Multivariate Operator Means.” Linear Algebra and Its Applications, vol. 609, Elsevier, 2021, pp. 203–17, doi:10.1016/j.laa.2020.09.007.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv