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.

4188 Publications


2023 | Research Data | IST-REx-ID: 13116 | OA
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13314 | OA
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14257 | OA
Imaging brain tissue architecture across millimeter to nanometer scales
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, N. Amberg, A. Venturino, K. Roessler, T. Czech, R. Höftberger, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, Nature Biotechnology (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 13286 | OA
Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 15027 | OA
aggregation_data
S. Curk, (2023).
[Published Version] View | Files available | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14758 | OA
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14654 | OA
Assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, Journal of Advances in Modeling Earth Systems 15 (2023).
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13139 | OA
Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14991 | OA
Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14990 | OA
Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14260 | OA
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14994 | OA
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 15023 | OA
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14993 | OA
A framework for grassroots research collaboration in machine learning and global health
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
[Published Version] View | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14076 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14743 | OA
QuePaxa: Escaping the tyranny of timeouts in consensus
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Preprint | IST-REx-ID: 15039 | OA
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14812 | OA
Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails
S. Stankowski, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13214 | OA
Nitrate, auxin and cytokinin - a trio to tango
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Research Data | IST-REx-ID: 13173 | OA
Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13236 | OA
Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, in:, International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2023, pp. 453–465.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13182 | OA
Geometric characterization of the persistence of 1D maps
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13044 | OA
Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions (2023).
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 14587 | OA
Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14922 | OA
Concentration without independence via information measures
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 15173 | OA
Enumerating matroids and linear spaces
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14772 | OA
Maximal Lp-regularity and H∞-calculus for block operator matrices and applications
A. Agresti, A. Hussein, Journal of Functional Analysis 285 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Preprint | IST-REx-ID: 15128 | OA
Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Preprint | IST-REx-ID: 14732 | OA
Genetic load, eco-evolutionary feedback and extinction in a metapopulation
O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13262 | OA
Provably-efficient and internally-deterministic parallel Union-Find
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Conference Paper | IST-REx-ID: 12979 | OA
Gloss-aware color correction for 3D printing
J. Condor, M. Piovarci, B. Bickel, P. Didyk, in:, SIGGRAPH ’23 Conference Proceedings, Association for Computing Machinery, 2023.
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 13228 | OA
Runtime monitoring of dynamic fairness properties
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12984 | OA
Skin-Screen: A computational fabrication framework for color tattoos
M. Piovarci, A. Chapiro, B. Bickel, Transactions on Graphics 42 (2023).
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14833 | OA
Whole-genome phylogeography of the intertidal snail Littorina saxatilis
S. Stankowski, Z.B. Zagrodzka, J. Galindo, M. Montaño-Rendón, R. Faria, N. Mikhailova, A.M.H. Blakeslee, E. Arnason, T. Broquet, H.E. Morales, J.W. Grahame, A.M. Westram, K. Johannesson, R.K. Butlin, Evolutionary Journal of the Linnean Society 2 (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14613 | OA
The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome
C. Lasne, M.N. Elkrewi, M.A. Toups, L.A. Layana Franco, A. Macon, B. Vicoso, Molecular Biology and Evolution 40 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Research Data | IST-REx-ID: 14614 | OA
The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome
C. Lasne, M.N. Elkrewi, (2023).
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12491 | OA
Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12781 | OA
Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog
V. Kravchuk, Structural and Mechanistic Study of Bacterial Complex I and Its Cyanobacterial Ortholog, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12809 | OA
Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13201 | OA
The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation
Y. Wang, Z. Yuan, J. Wang, H. Xiao, L. Wan, L. Li, Y. Guo, Z. Gong, J. Friml, J. Zhang, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14226 | OA
Generalizing medial axes with homology switches
E.R. Stephenson, Generalizing Medial Axes with Homology Switches, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12531 | OA
Panoramic functional gradients across the mouse retina
K. Kirillova, Panoramic Functional Gradients across the Mouse Retina, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12800 | OA
The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone
M. Julseth, The Effect of Local Population Structure on Genetic Variation at Selected Loci in the A. Majus Hybrid Zone, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12897 | OA
Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13188 | OA
The design space of Kirchhoff rods
C. Hafner, B. Bickel, ACM Transactions on Graphics 42 (2023).
[Submitted Version] View | Files available | DOI | WoS
 

2023 | Thesis | IST-REx-ID: 12470 | OA
A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy
J.M. Michalska, A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Preprint | IST-REx-ID: 14591 | OA
Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants
N. Gnyliukh, A.J. Johnson, M.-K. Nagel, A. Monzer, A. Hlavata, E. Isono, M. Loose, J. Friml, BioRxiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2022 | Journal Article | IST-REx-ID: 10652 | OA
Constraints on probing quantum coherence to infer gravitational entanglement
O. Hosten, Physical Review Research 4 (2022).
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications