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.
1937 Publications
2021 | Published | Journal Article | IST-REx-ID: 10222 | 
The beauty of random polytopes inscribed in the 2-sphere
A. Akopyan, H. Edelsbrunner, A. Nikitenko, Experimental Mathematics (2021) 1–15.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Akopyan, H. Edelsbrunner, A. Nikitenko, Experimental Mathematics (2021) 1–15.
2021 | Published | Thesis | IST-REx-ID: 10058 |
Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases
D. Jirovec, Singlet-Triplet Qubits and Spin-Orbit Interaction in 2-Dimensional Ge Hole Gases, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
D. Jirovec, Singlet-Triplet Qubits and Spin-Orbit Interaction in 2-Dimensional Ge Hole Gases, Institute of Science and Technology Austria, 2021.
2021 | Published | Thesis | IST-REx-ID: 9623 |
Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes
S. Caballero Mancebo, Fertilization-Induced Deformations Are Controlled by the Actin Cortex and a Mitochondria-Rich Subcortical Layer in Ascidian Oocytes, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
S. Caballero Mancebo, Fertilization-Induced Deformations Are Controlled by the Actin Cortex and a Mitochondria-Rich Subcortical Layer in Ascidian Oocytes, Institute of Science and Technology Austria, 2021.
2021 | Accepted | Preprint | IST-REx-ID: 10095 |
Cell surface and intracellular auxin signalling for H+-fluxes in root growth
L. Li, I. Verstraeten, M. Roosjen, K. Takahashi, L. Rodriguez Solovey, J. Merrin, J. Chen, L. Shabala, W. Smet, H. Ren, S. Vanneste, S. Shabala, B. De Rybel, D. Weijers, T. Kinoshita, W.M. Gray, J. Friml, Research Square (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
L. Li, I. Verstraeten, M. Roosjen, K. Takahashi, L. Rodriguez Solovey, J. Merrin, J. Chen, L. Shabala, W. Smet, H. Ren, S. Vanneste, S. Shabala, B. De Rybel, D. Weijers, T. Kinoshita, W.M. Gray, J. Friml, Research Square (n.d.).
2021 | Published | Journal Article | IST-REx-ID: 9438 |
Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses
D.H. Vandael, Y. Okamoto, C. Borges Merjane, V.M. Vargas Barroso, B. Suter, P.M. Jonas, Nature Protocols 16 (2021) 2947–2967.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D.H. Vandael, Y. Okamoto, C. Borges Merjane, V.M. Vargas Barroso, B. Suter, P.M. Jonas, Nature Protocols 16 (2021) 2947–2967.
2021 | Published | Thesis | IST-REx-ID: 10135 |
Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis
H. Semerádová, Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
H. Semerádová, Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis, Institute of Science and Technology Austria, 2021.
2020 | Published | Conference Paper | IST-REx-ID: 10328
New designs and noise channels in electro-optic microwave to optical up-conversion
N.J. Lambert, S. Mobassem, A.R. Rueda Sanchez, H.G.L. Schwefel, in:, OSA Quantum 2.0 Conference, Optica Publishing Group, 2020.
View
| DOI
N.J. Lambert, S. Mobassem, A.R. Rueda Sanchez, H.G.L. Schwefel, in:, OSA Quantum 2.0 Conference, Optica Publishing Group, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 10556 |
Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures
E. Kokoris Kogias, D. Malkhi, A. Spiegelman, in:, Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2020, pp. 1751–1767.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
E. Kokoris Kogias, D. Malkhi, A. Spiegelman, in:, Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2020, pp. 1751–1767.
2020 | Published | Conference Paper | IST-REx-ID: 10697 |
Intrinsic quantized anomalous Hall effect in a moiré heterostructure, part I: Device fabrication and transport
Y. Zhang, M. Serlin, C. Tschirhart, H. Polshyn, J. Zhu, L. Balents, M.E. Huber, T. Taniguchi, K. Watanabe, A. Young, in:, APS March Meeting 2020, American Physical Society, 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
Y. Zhang, M. Serlin, C. Tschirhart, H. Polshyn, J. Zhu, L. Balents, M.E. Huber, T. Taniguchi, K. Watanabe, A. Young, in:, APS March Meeting 2020, American Physical Society, 2020.
2020 | Published | Book Chapter | IST-REx-ID: 11622 |
The impact of a fossil magnetic field on dipolar mixed-mode frequencies in sub- and red-giant stars
L.A. Bugnet, V. Prat, S. Mathis, R.A. García, S. Mathur, K. Augustson, C. Neiner, M.J. Thompson, in:, M. Monteiro, R.A. Garcia, J. Christensen-Dalsgaard, S.W. McIntosh (Eds.), Dynamics of the Sun and Stars, 1st ed., Springer Nature, Cham, 2020, pp. 251–257.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L.A. Bugnet, V. Prat, S. Mathis, R.A. García, S. Mathur, K. Augustson, C. Neiner, M.J. Thompson, in:, M. Monteiro, R.A. Garcia, J. Christensen-Dalsgaard, S.W. McIntosh (Eds.), Dynamics of the Sun and Stars, 1st ed., Springer Nature, Cham, 2020, pp. 251–257.
2020 | Published | Conference Paper | IST-REx-ID: 8623 |
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
[Submitted Version]
View
| Files available
| DOI
| WoS
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
2020 | Published | Conference Paper | IST-REx-ID: 9040 |
Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
[Published Version]
View
| Files available
| DOI
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
2020 | Published | Journal Article | IST-REx-ID: 8679
Neural circuit policies enabling auditable autonomy
M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.
View
| Files available
| DOI
| WoS
M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.
2020 | Published | Conference Paper | IST-REx-ID: 8195 |
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
[Published Version]
View
| Files available
| DOI
| WoS
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
2020 | Published | Conference Paper | IST-REx-ID: 8194 |
An SMT theory of fixed-point arithmetic
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
2020 | Published | Conference Paper | IST-REx-ID: 7808 |
How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
[Published Version]
View
| Files available
| DOI
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
2020 | Published | Journal Article | IST-REx-ID: 11978 |
Evidence for photocatalyst involvement in oxidative additions of nickel-catalyzed carboxylate O-arylations
J.A. Malik, A. Madani, B. Pieber, P.H. Seeberger, Journal of the American Chemical Society 142 (2020) 11042–11049.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.A. Malik, A. Madani, B. Pieber, P.H. Seeberger, Journal of the American Chemical Society 142 (2020) 11042–11049.
2020 | Published | Journal Article | IST-REx-ID: 13467 |
Contribution from stars stripped in binaries to cosmic reionization of hydrogen and helium
Y.L.L. Götberg, S.E. de Mink, M. McQuinn, E. Zapartas, J.H. Groh, C. Norman, Astronomy & Astrophysics 634 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Y.L.L. Götberg, S.E. de Mink, M. McQuinn, E. Zapartas, J.H. Groh, C. Norman, Astronomy & Astrophysics 634 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 9299 |
Crossings between non-homotopic edges
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
2020 | Published | Journal Article | IST-REx-ID: 8163 |
Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
[Published Version]
View
| Files available
| DOI
| WoS
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.