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.
5586 Publications
2021 | Published | Journal Article | IST-REx-ID: 9241 | 
Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing
O. Elek, R. Zhang, D. Sumin, K. Myszkowski, B. Bickel, A. Wilkie, J. Křivánek, T. Weyrich, Optics Express 29 (2021) 7568–7588.
[Published Version]
View
| Files available
| DOI
| WoS
O. Elek, R. Zhang, D. Sumin, K. Myszkowski, B. Bickel, A. Wilkie, J. Křivánek, T. Weyrich, Optics Express 29 (2021) 7568–7588.
2021 | Published | Conference Paper | IST-REx-ID: 10148 |
Capturing tactile properties of real surfaces for haptic reproduction
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
[Preprint]
View
| Files available
| DOI
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
2021 | Scientific Software | IST-REx-ID: 9327 |
Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data)
G. Sperl, R. Narain, C. Wojtan, (2021).
View
| Files available
| DOI
G. Sperl, R. Narain, C. Wojtan, (2021).
2021 | Published | Journal Article | IST-REx-ID: 9818 |
Mechanics-aware deformation of yarn pattern geometry
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 40 (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 40 (2021).
2021 | Published | Thesis | IST-REx-ID: 9022 |
Fluctuations in the spectrum of random matrices
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9928 |
Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, PRX Quantum 2 (2021) 040341.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, PRX Quantum 2 (2021) 040341.
2021 | Published | Thesis | IST-REx-ID: 10035 |
On the adaptive security of graph-based games
K. Klein, On the Adaptive Security of Graph-Based Games, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
K. Klein, On the Adaptive Security of Graph-Based Games, Institute of Science and Technology Austria, 2021.
2021 | Published | Thesis | IST-REx-ID: 9920 |
Geometric superinductors and their applications in circuit quantum electrodynamics
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, Institute of Science and Technology Austria, 2021.
2021 | Research Data Reference | IST-REx-ID: 13057 |
Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9987 |
Stateless model checking under a reads-value-from equivalence
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.
2021 | Published | Journal Article | IST-REx-ID: 10191 |
The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
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 | Journal Article | IST-REx-ID: 10631 |
Excited rotational states of molecules in a superfluid
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, S.H. Albrechtsen, A.V. Muñoz, L. Christiansen, H. Stapelfeldt, M. Lemeshko, Physical Review A 104 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, S.H. Albrechtsen, A.V. Muñoz, L. Christiansen, H. Stapelfeldt, M. Lemeshko, Physical Review A 104 (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 | Journal Article | IST-REx-ID: 9642 |
Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain
A. Venturino, R. Schulz, H. De Jesús-Cortés, M.E. Maes, B. Nagy, F. Reilly-Andújar, G. Colombo, R.J. Cubero, F.E. Schoot Uiterkamp, M.F. Bear, S. Siegert, Cell Reports 36 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Venturino, R. Schulz, H. De Jesús-Cortés, M.E. Maes, B. Nagy, F. Reilly-Andújar, G. Colombo, R.J. Cubero, F.E. Schoot Uiterkamp, M.F. Bear, S. Siegert, Cell Reports 36 (2021).
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 | Journal Article | IST-REx-ID: 8601 |
Edge universality for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2021).
2021 | Published | Journal Article | IST-REx-ID: 9205 |
Cryo-EM grid optimization for membrane proteins
D. Kampjut, J. Steiner, L.A. Sazanov, IScience 24 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Kampjut, J. Steiner, L.A. Sazanov, IScience 24 (2021).