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.
7117 Publications
2021 | Published | Conference Paper | IST-REx-ID: 10414 | 
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
2021 | Published | Conference Paper | IST-REx-ID: 9620 |
Collecting coupons is faster with friends
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
[Preprint]
View
| Files available
| DOI
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
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: 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 | Published | Conference Paper | IST-REx-ID: 10688 |
The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
2021 | Published | Journal Article | IST-REx-ID: 10806 |
Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
[Published Version]
View
| Files available
| DOI
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
2021 | Published | Journal Article | IST-REx-ID: 7551 |
Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation
F.A. Fredes Tolorza, M.A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M.A. Jösch, R. Shigemoto, Current Biology 31 (2021) P25–38.E5.
[Published Version]
View
| Files available
| DOI
| WoS
F.A. Fredes Tolorza, M.A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M.A. Jösch, R. Shigemoto, Current Biology 31 (2021) P25–38.E5.
2021 | Published | Journal Article | IST-REx-ID: 9093 |
Shape of a sound wave in a weakly-perturbed Bose gas
O. Marchukov, A. Volosniev, SciPost Physics 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
O. Marchukov, A. Volosniev, SciPost Physics 10 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8373 |
A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2021) 203–217.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2021) 203–217.
2021 | Published | Journal Article | IST-REx-ID: 9036 |
The metric property of the quantum Jensen-Shannon divergence
D. Virosztek, Advances in Mathematics 380 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Virosztek, Advances in Mathematics 380 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9376 |
Computational design of planar multistable compliant structures
R. Zhang, T. Auzinger, B. Bickel, ACM Transactions on Graphics 40 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
R. Zhang, T. Auzinger, B. Bickel, ACM Transactions on Graphics 40 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9158 |
Disentanglement approach to quantum spin ground states: Field theory and stochastic simulation
S. De Nicola, Journal of Statistical Mechanics: Theory and Experiment 2021 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
S. De Nicola, Journal of Statistical Mechanics: Theory and Experiment 2021 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9657 |
GmPIN-dependent polar auxin transport is involved in soybean nodule development
Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell. 33(9), 2981–3003.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell. 33(9), 2981–3003.
2021 | Published | Journal Article | IST-REx-ID: 9540 |
Structural basis for inhibition of the AAA-ATPase Drg1 by diazaborine
M. Prattes, I. Grishkovskaya, V.-V. Hodirnau, I. Rössler, I. Klein, C. Hetzmannseder, G. Zisser, C.C. Gruber, K. Gruber, D. Haselbach, H. Bergler, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Prattes, I. Grishkovskaya, V.-V. Hodirnau, I. Rössler, I. Klein, C. Hetzmannseder, G. Zisser, C.C. Gruber, K. Gruber, D. Haselbach, H. Bergler, Nature Communications 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9359 |
Homological stability and densities of generalized configuration spaces
Q.P. Ho, Geometry & Topology 25 (2021) 813–912.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
Q.P. Ho, Geometry & Topology 25 (2021) 813–912.
2021 | Published | Journal Article | IST-REx-ID: 9168 |
The rates of introgression and barriers to genetic exchange between hybridizing species: Sex chromosomes vs autosomes
C. Fraisse, H. Sachdeva, Genetics 217 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
C. Fraisse, H. Sachdeva, Genetics 217 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10163 |
PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC
Appel L-M, Franke V, Bruno M, Grishkovskaya I, Kasiliauskaite A, Kaufmann T, Schoeberl UE, Puchinger MG, Kostrhon S, Ebenwaldner C, Sebesta M, Beltzung E, Mechtler K, Lin G, Vlasova A, Leeb M, Pavri R, Stark A, Akalin A, Stefl R, Bernecky C, Djinovic-Carugo K, Slade D. 2021. PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC. Nature Communications. 12(1), 6078.
[Published Version]
View
| Files available
| DOI
| WoS
Appel L-M, Franke V, Bruno M, Grishkovskaya I, Kasiliauskaite A, Kaufmann T, Schoeberl UE, Puchinger MG, Kostrhon S, Ebenwaldner C, Sebesta M, Beltzung E, Mechtler K, Lin G, Vlasova A, Leeb M, Pavri R, Stark A, Akalin A, Stefl R, Bernecky C, Djinovic-Carugo K, Slade D. 2021. PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC. Nature Communications. 12(1), 6078.
2021 | Published | Journal Article | IST-REx-ID: 10301 |
Control of protein synthesis and memory by GluN3A-NMDA receptors through inhibition of GIT1/mTORC1 assembly
M.J. Conde-Dusman, P.N. Dey, Ó. Elía-Zudaire, L.E. Garcia Rabaneda, C. García-Lira, T. Grand, V. Briz, E.R. Velasco, R. Andero Galí, S. Niñerola, A. Barco, P. Paoletti, J.F. Wesseling, F. Gardoni, S.J. Tavalin, I. Perez-Otaño, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
M.J. Conde-Dusman, P.N. Dey, Ó. Elía-Zudaire, L.E. Garcia Rabaneda, C. García-Lira, T. Grand, V. Briz, E.R. Velasco, R. Andero Galí, S. Niñerola, A. Barco, P. Paoletti, J.F. Wesseling, F. Gardoni, S.J. Tavalin, I. Perez-Otaño, ELife 10 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9903 |
Area-law entangled eigenstates from nullspaces of local Hamiltonians
V. Karle, M. Serbyn, A. Michailidis, Physical Review Letters 127 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
V. Karle, M. Serbyn, A. Michailidis, Physical Review Letters 127 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9981 |
Importance sampling scheme for the stochastic simulation of quantum spin dynamics
S. De Nicola, SciPost Physics 11 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. De Nicola, SciPost Physics 11 (2021).