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.
453 Publications
2022 | Conference Paper | IST-REx-ID: 12135 | 
B. Chen et al., “Gloss management for consistent reproduction of real and virtual objects,” in SIGGRAPH Asia 2022 Conference Papers, Daegu, South Korea, 2022, vol. 2022.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12171 |
M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of parametric hybrid automata from time series,” in 20th International Symposium on Automated Technology for Verification and Analysis, Virtual, 2022, vol. 13505, pp. 337–353.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12177 |
T. Cremaschi and L. Dello Schiavo, “Effective contraction of Skinning maps,” Proceedings of the American Mathematical Society, Series B, vol. 9, no. 43. American Mathematical Society, pp. 445–459, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12574 |
M. Kneib et al., “Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry,” The Cryosphere, vol. 16, no. 11. Copernicus Publications, pp. 4701–4725, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 11432 |
C. Schreck and C. Wojtan, “Coupling 3D liquid simulation with 2D wave propagation for large scale water surface animation using the equivalent sources method,” Computer Graphics Forum, vol. 41, no. 2. Wiley, pp. 343–353, 2022.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2022 | Journal Article | IST-REx-ID: 9977 |
W. Mistegaard and J. E. Andersen, “Resurgence analysis of quantum invariants of Seifert fibered homology spheres,” Journal of the London Mathematical Society, vol. 105, no. 2. Wiley, pp. 709–764, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10826 |
G. Valperga and M. de Bono, “Impairing one sensory modality enhances another by reconfiguring peptidergic signalling in Caenorhabditis elegans,” eLife, vol. 11. eLife Sciences Publications, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 10887 |
G. Ivanov and M. Naszódi, “Functional John ellipsoids,” Journal of Functional Analysis, vol. 282, no. 11. Elsevier, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11155 |
M. Obr, W. J. H. Hagen, R. A. Dick, L. Yu, A. Kotecha, and F. K. Schur, “Exploring high-resolution cryo-ET and subtomogram averaging capabilities of contemporary DEDs,” Journal of Structural Biology, vol. 214, no. 2. Elsevier, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11587 |
Zhang R, Kuo R, Coulter M, Calixto CPG, Entizne JC, Guo W, Marquez Y, Milne L, Riegler S, Matsui A, Tanaka M, Harvey S, Gao Y, Wießner-Kroh T, Paniagua A, Crespi M, Denby K, Hur AB, Huq E, Jantsch M, Jarmolowski A, Koester T, Laubinger S, Li QQ, Gu L, Seki M, Staiger D, Sunkar R, Szweykowska-Kulinska Z, Tu SL, Wachter A, Waugh R, Xiong L, Zhang XN, Conesa A, Reddy ASN, Barta A, Kalyna M, Brown JWS. 2022. A high-resolution single-molecule sequencing-based Arabidopsis transcriptome using novel methods of Iso-seq analysis. Genome Biology. 23, 149.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12110 |
S. J. Henheik and R. Tumulka, “Interior-boundary conditions for the Dirac equation at point sources in three dimensions,” Journal of Mathematical Physics, vol. 63, no. 12. AIP Publishing, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12128 |
C. Poelking, F. A. Faber, and B. Cheng, “BenchML: An extensible pipelining framework for benchmarking representations of materials and molecules at scale,” Machine Learning: Science and Technology, vol. 3, no. 4. IOP Publishing, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12147 |
R. Hasani et al., “Closed-form continuous-time neural networks,” Nature Machine Intelligence, vol. 4, no. 11. Springer Nature, pp. 992–1003, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 12152 |
X. Jiang et al., “Modelling membrane reshaping by staged polymerization of ESCRT-III filaments,” PLOS Computational Biology, vol. 18, no. 10. Public Library of Science, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12174 |
Guerrini R, Mei D, Szigeti MK, Pepe S, Koenig MK, Von Allmen G, Cho MT, McDonald K, Baker J, Bhambhani V, Powis Z, Rodan L, Nabbout R, Barcia G, Rosenfeld JA, Bacino CA, Mignot C, Power LH, Harris CJ, Marjanovic D, Møller RS, Hammer TB, Keski Filppula R, Vieira P, Hildebrandt C, Sacharow S, Maragliano L, Benfenati F, Lachlan K, Benneche A, Petit F, de Sainte Agathe JM, Hallinan B, Si Y, Wentzensen IM, Zou F, Narayanan V, Matsumoto N, Boncristiano A, la Marca G, Kato M, Anderson K, Barba C, Sturiale L, Garozzo D, Bei R, Masuelli L, Conti V, Novarino G, Fassio A. 2022. Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis. Brain. 145(8), 2687–2703.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 | Journal Article | IST-REx-ID: 12227 |
S. Kovačič et al., “Carbon foams via ring-opening metathesis polymerization of emulsion templates: A facile method to make carbon current collectors for battery applications,” ACS Applied Energy Materials, vol. 5, no. 11. American Chemical Society, pp. 14381–14390, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12233 |
N. Doan, S. A. Hashemi, M. Mondelli, and W. J. Gross, “Decoding Reed-Muller codes with successive codeword permutations,” IEEE Transactions on Communications, vol. 70, no. 11. Institute of Electrical and Electronics Engineers, pp. 7134–7145, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 12239 |
A. J. Johnson et al., “Three-dimensional visualization of planta clathrin-coated vesicles at ultrastructural resolution,” Molecular Plant, vol. 15, no. 10. Elsevier, pp. 1533–1542, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12262 |
M. Prattes et al., “Visualizing maturation factor extraction from the nascent ribosome by the AAA-ATPase Drg1,” Nature Structural & Molecular Biology, vol. 29, no. 9. Springer Nature, pp. 942–953, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12290 |
G. Cipolloni, L. Erdös, and D. J. Schröder, “Optimal multi-resolvent local laws for Wigner matrices,” Electronic Journal of Probability, vol. 27. Institute of Mathematical Statistics, pp. 1–38, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 10945 |
M. O. Çoruh, G. Gündüz, Ü. Çolak, and B. Maviş, “pH-dependent coloring of combination effect pigments with anthocyanins from Brassica oleracea var. capitata F. rubra,” Colorants, vol. 1, no. 2. MDPI, pp. 149–164, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11362 |
M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12452 |
P. Rao et al., “VoRF: Volumetric Relightable Faces,” in 33rd British Machine Vision Conference, London, United Kingdom, 2022.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 11478 |
K. Bartalska et al., “A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation,” iScience, vol. 25, no. 7. Elsevier, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Book Chapter | IST-REx-ID: 12294
R. Kumar, M. Reichelt, and N. C. Bisht, “An LC-MS/MS Assay for Enzymatic Characterization of Methylthioalkylmalate Synthase (MAMS) Involved in Glucosinolate Biosynthesis,” in Biochemical Pathways and Environmental Responses in Plants: Part A, vol. 676, J. Jez, Ed. Elsevier, 2022, pp. 49–69.
View
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12138 |
V. Kravchuk, O. Petrova, D. Kampjut, A. Wojciechowska-Bason, Z. Breese, and L. A. Sazanov, “A universal coupling mechanism of respiratory complex I,” Nature, vol. 609, no. 7928. Springer Nature, pp. 808–814, 2022.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Thesis | IST-REx-ID: 12401 |
S. Tasciyan, “Role of microenvironment heterogeneity in cancer cell invasion,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Preprint | IST-REx-ID: 11943 |
P. Velicky et al., “Saturated reconstruction of living brain tissue,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2022 | Preprint | IST-REx-ID: 11950 |
J. M. Michalska et al., “Uncovering brain tissue architecture across scales with super-resolution light microscopy,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 | Journal Article | IST-REx-ID: 10616 |
C. L. Tschirhart et al., “Imaging orbital ferromagnetism in a moiré Chern insulator,” Science, vol. 372, no. 6548. American Association for the Advancement of Science, pp. 1323–1327, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2021 | Conference Paper | IST-REx-ID: 10671 |
R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “Liquid time-constant networks,” in Proceedings of the AAAI Conference on Artificial Intelligence, Virtual, 2021, vol. 35, no. 9, pp. 7657–7666.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10670 |
C. J. Vorbach, R. Hasani, A. Amini, M. Lechner, and D. Rus, “Causal navigation by continuous-time neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10688 |
B. Kragl and S. Qadeer, “The Civl verifier,” in Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, Virtual, 2021, vol. 2, pp. 143–152.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 11500 |
Bacon R, Mary D, Garel T, Blaizot J, Maseda M, Schaye J, Wisotzki L, Conseil S, Brinchmann J, Leclercq F, Abril-Melgarejo V, Boogaard L, Bouché NF, Contini T, Feltre A, Guiderdoni B, Herenz C, Kollatschny W, Kusakabe H, Matthee JJ, Michel-Dansac L, Nanayakkara T, Richard J, Roth M, Schmidt KB, Steinmetz M, Tresse L, Urrutia T, Verhamme A, Weilbacher PM, Zabl J, Zoutendijk SL. 2021. The MUSE Extremely Deep Field: The cosmic web in emission at high redshift. Astronomy & Astrophysics. 647, A107.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11525 |
S. G. Gallego et al., “Constraining the cosmic UV background at z > 3 with MUSE Lyman-α emission observations,” Monthly Notices of the Royal Astronomical Society, vol. 504, no. 1. Oxford University Press, pp. 16–32, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11604 |
J. Audenaert et al., “TESS Data for Asteroseismology (T’DA) stellar variability classification pipeline: Setup and application to the Kepler Q9 data,” The Astronomical Journal, vol. 162, no. 5. IOP Publishing, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 9825 |
T. Laarhoven and M. Walter, “Dual lattice attacks for closest vector problems (with preprocessing),” in Topics in Cryptology – CT-RSA 2021, Virtual Event, 2021, vol. 12704, pp. 478–502.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 | Conference Paper | IST-REx-ID: 9824
L. Čomić, R. Zrour, G. Largeteau-Skapin, R. Biswas, and E. Andres, “Body centered cubic grid - coordinate system and discrete analytical plane definition,” in Discrete Geometry and Mathematical Morphology, Uppsala, Sweden, 2021, vol. 12708, pp. 152–163.
View
| DOI
2021 | Conference Paper | IST-REx-ID: 10667 |
M. Lechner, Ð. Žikelić, K. Chatterjee, and T. A. Henzinger, “Infinite time horizon safety of Bayesian neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 8582 |
H. Li et al., “Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana,” New Phytologist, vol. 229, no. 1. Wiley, pp. 351–369, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Conference Paper | IST-REx-ID: 9200 |
M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of hybrid automata with affine dynamics from time-series data,” in HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Nashville, TN, United States, 2021, p. 2102.12734.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9244 |
S. Hankeova et al., “DUCT reveals architectural mechanisms contributing to bile duct recovery in a mouse model for alagille syndrome,” eLife, vol. 10. eLife Sciences Publications, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9241 |
O. Elek et al., “Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing,” Optics Express, vol. 29, no. 5. The Optical Society, pp. 7568–7588, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9295 |
A. M. Arroyo Guevara, D. Mcquillan, R. B. Richter, G. Salazar, and M. Sullivan, “Drawings of complete graphs in the projective plane,” Journal of Graph Theory, vol. 97, no. 3. Wiley, pp. 426–440, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9294 |
F. R. Gärtner and M. K. Sixt, “Engaging the front wheels to drive through fibrous terrain,” Developmental Cell, vol. 56, no. 6. Elsevier, pp. 723–725, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9349 |
Lenne PF, Munro E, Heemskerk I, Warmflash A, Bocanegra L, Kishi K, Kicheva A, Long Y, Fruleux A, Boudaoud A, Saunders TE, Caldarelli P, Michaut A, Gros J, Maroudas-Sacks Y, Keren K, Hannezo EB, Gartner ZJ, Stormo B, Gladfelter A, Rodrigues A, Shyer A, Minc N, Maître JL, Di Talia S, Khamaisi B, Sprinzak D, Tlili S. 2021. Roadmap for the multiscale coupling of biochemical and mechanical signals during development. Physical biology. 18(4), 041501.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9376 |
R. Zhang, T. Auzinger, and B. Bickel, “Computational design of planar multistable compliant structures,” ACM Transactions on Graphics, vol. 40, no. 5. Association for Computing Machinery, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9412 |
G. Cipolloni, L. Erdös, and D. J. Schröder, “Fluctuation around the circular law for random matrices with real entries,” Electronic Journal of Probability, vol. 26. Institute of Mathematical Statistics, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9569 |
M. S. Dar et al., “Heat induction in two-dimensional graphene–Fe3O4 nanohybrids for magnetic hyperthermia applications with artificial neural network modeling,” RSC Advances, vol. 11, no. 35. Royal Society of Chemistry, pp. 21702–21715, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9602 |
J. Pach and I. Tomon, “Erdős-Hajnal-type results for monotone paths,” Journal of Combinatorial Theory. Series B, vol. 151. Elsevier, pp. 21–37, 2021.
[Published Version]
View
| Files available
| DOI
| WoS