Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5293 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: 10153 |
Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
F. Mühlböck, R. Tate, 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 | 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: 9020 |
Dynamics of ion channels via non-hermitian quantum mechanics
T. Gulden, A. Kamenev, Entropy 23 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Gulden, A. Kamenev, Entropy 23 (2021).
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: 8198 |
Impact of drive harmonics on the stability of Floquet many-body localization
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.A. Diringer, T. Gulden, Physical Review B 103 (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: 8773 |
Contravariant forms on Whittaker modules
A. Brown, A. Romanov, Proceedings of the American Mathematical Society 149 (2021) 37–52.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Brown, A. Romanov, Proceedings of the American Mathematical Society 149 (2021) 37–52.
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: 9569 |
Heat induction in two-dimensional graphene–Fe3O4 nanohybrids for magnetic hyperthermia applications with artificial neural network modeling
M.S. Dar, K.B. Akram, A. Sohail, F. Arif, F. Zabihi, S. Yang, S. Munir, M. Zhu, M. Abid, M. Nauman, RSC Advances 11 (2021) 21702–21715.
[Published Version]
View
| Files available
| DOI
| WoS
M.S. Dar, K.B. Akram, A. Sohail, F. Arif, F. Zabihi, S. Yang, S. Munir, M. Zhu, M. Abid, M. Nauman, RSC Advances 11 (2021) 21702–21715.
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.