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.
342 Publications
2021 | Published | Journal Article | IST-REx-ID: 10635 | 
Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 10665 |
Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
2021 | Published | Conference Paper | IST-REx-ID: 10667 |
Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 9826 |
Inverse-Sybil attacks in automated contact tracing
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
2021 | Published | Conference Paper | IST-REx-ID: 10694 |
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
2021 | Published | Thesis | IST-REx-ID: 10007 |
Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
2021 | Published | Thesis | IST-REx-ID: 10199 |
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 11458 |
AC/DC: Alternating Compressed/DeCompressed training of deep neural networks
A. Krumes, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 8557–8570.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
A. Krumes, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 8557–8570.
2021 | Published | Thesis | IST-REx-ID: 9992 |
Wound healing in the Arabidopsis root meristem
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of Science and Technology Austria, 2021.
2021 | Published | Thesis | IST-REx-ID: 9397 |
Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation
K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9913 |
Nitrate triggered phosphoproteome changes and a PIN2 phosphosite modulating root system architecture
A. Vega, I. Fredes, J. O’Brien, Z. Shen, K. Ötvös, R. Abualia, E. Benková, S.P. Briggs, R.A. Gutiérrez, EMBO Reports 22 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Vega, I. Fredes, J. O’Brien, Z. Shen, K. Ötvös, R. Abualia, E. Benková, S.P. Briggs, R.A. Gutiérrez, EMBO Reports 22 (2021).
2021 | Published | Thesis | IST-REx-ID: 10303 |
Role of hormones in nitrate regulated growth
R. Abualia, Role of Hormones in Nitrate Regulated Growth, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
R. Abualia, Role of Hormones in Nitrate Regulated Growth, Institute of Science and Technology Austria, 2021.
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.
2021 | Published | Thesis | IST-REx-ID: 10293 |
Evolution of cooperation via (in)direct reciprocity under imperfect information
L. Schmid, Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
L. Schmid, Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9997 |
The evolution of indirect reciprocity under action and assessment generosity
L. Schmid, P. Shati, C. Hilbe, K. Chatterjee, Scientific Reports 11 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Schmid, P. Shati, C. Hilbe, K. Chatterjee, Scientific Reports 11 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9402 |
A unified framework of direct and indirect reciprocity
L. Schmid, K. Chatterjee, C. Hilbe, M.A. Nowak, Nature Human Behaviour 5 (2021) 1292–1302.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Schmid, K. Chatterjee, C. Hilbe, M.A. Nowak, Nature Human Behaviour 5 (2021) 1292–1302.
2021 | Published | Thesis | IST-REx-ID: 9962 |
Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration
A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration, 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 | Published | Journal Article | IST-REx-ID: 9760 |
Quantum annealing initialization of the quantum approximate optimization algorithm
S. Sack, M. Serbyn, Quantum 5 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Sack, M. Serbyn, Quantum 5 (2021).
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.