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.
297 Publications
2022 | Published | Conference Paper | IST-REx-ID: 11775 | 
Abstract monitors for quantitative specifications
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
2022 | Published | Thesis | IST-REx-ID: 11777 |
High-dimensional expansion and crossing numbers of simplicial complexes
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.
[Published Version]
View
| Files available
| DOI
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 11839 |
Almost-orthogonal layers for efficient general-purpose Lipschitz networks
B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.
2022 | Published | Thesis | IST-REx-ID: 11879 |
Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11932 |
On the encoding, transfer, and consolidation of spatial memories
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11945 |
Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function
R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria, 2022.
2022 | Submitted | Preprint | IST-REx-ID: 17157 |
Spectrum of equivariant cohomology as a fixed point scheme
T. Hausel, K.P. Rychlewicz, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, K.P. Rychlewicz, ArXiv (n.d.).
2022 | Published | Thesis | IST-REx-ID: 12072 |
Existence and density problems in Diophantine geometry: From norm forms to Campana points
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 12102 |
Algorithms and hardness results for computing cores of Markov chains
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| Files available
| DOI
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Published | Journal Article | IST-REx-ID: 12117 |
Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay
V. Hübschmann, M. Korkut, S. Siegert, STAR Protocols 3 (2022).
[Published Version]
View
| Files available
| DOI
V. Hübschmann, M. Korkut, S. Siegert, STAR Protocols 3 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12291 |
ABP1–TMK auxin perception for global phosphorylation and auxin canalization
Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.
2022 | Published | Journal Article | IST-REx-ID: 12307
Tangible topology through the lens of limits
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.
View
| DOI
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.
2022 | Published | Thesis | IST-REx-ID: 12358 |
Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting
G. Sperl, Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
G. Sperl, Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12364 |
Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12366 |
Controllable states of superconducting Qubit ensembles
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12368 |
Remodeling of E-cadherin-mediated contacts via cortical flows
F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12378 |
MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes
G. Colombo, MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
G. Colombo, MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12390 |
Translation-invariant quantum systems with effectively broken symmetry
M. Brooks, Translation-Invariant Quantum Systems with Effectively Broken Symmetry, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Brooks, Translation-Invariant Quantum Systems with Effectively Broken Symmetry, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12401 |
Role of microenvironment heterogeneity in cancer cell invasion
S. Tasciyan, Role of Microenvironment Heterogeneity in Cancer Cell Invasion, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
S. Tasciyan, Role of Microenvironment Heterogeneity in Cancer Cell Invasion, Institute of Science and Technology Austria, 2022.
2022 | Submitted | Preprint | IST-REx-ID: 12677 |
Repeated prophet inequality with near-optimal bounds
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).