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.
4871 Publications
2021 | Published | Conference Paper | IST-REx-ID: 9645 | 
Polynomial reachability witnesses via Stellensätze
A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.
2021 | Published | Conference Paper | IST-REx-ID: 9646 |
Quantitative analysis of assertion violations in probabilistic programs
J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.
2021 | Published | Journal Article | IST-REx-ID: 9647 |
Long lived transients in gene regulation
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.
[Published Version]
View
| Files available
| DOI
| WoS
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.
2021 | Published | Journal Article | IST-REx-ID: 9656 |
PIN-mediated polar auxin transport regulations in plant tropic responses
H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist 232 (2021) 510–522.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist 232 (2021) 510–522.
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 | Conference Paper | IST-REx-ID: 9678 |
Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
2021 | Published | Journal Article | IST-REx-ID: 9679 |
Morphology of three-body quantum states from machine learning
D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics 23 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics 23 (2021).
2021 | Published | Thesis | IST-REx-ID: 9728 |
Transition to turbulence and drag reduction in particle-laden pipe flows
N. Agrawal, Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
N. Agrawal, Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows, Institute of Science and Technology Austria, 2021.
2021 | Published | Thesis | IST-REx-ID: 9733 |
The polaron at strong coupling
D. Feliciangeli, The Polaron at Strong Coupling, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
D. Feliciangeli, The Polaron at Strong Coupling, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9746 |
High potency of sequential therapy with only beta-lactam antibiotics
A. Batra, R. Römhild, E. Rousseau, S. Franzenburg, S. Niemann, H. Schulenburg, ELife 10 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
A. Batra, R. Römhild, E. Rousseau, S. Franzenburg, S. Niemann, H. Schulenburg, ELife 10 (2021).
2021 | Published | Book Chapter | IST-REx-ID: 9756
High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL)
W. Kaufmann, D. Kleindienst, H. Harada, R. Shigemoto, in:, Receptor and Ion Channel Detection in the Brain, Humana, New York, 2021, pp. 267–283.
View
| Files available
| DOI
W. Kaufmann, D. Kleindienst, H. Harada, R. Shigemoto, in:, Receptor and Ion Channel Detection in the Brain, Humana, New York, 2021, pp. 267–283.
2021 | Published | Journal Article | IST-REx-ID: 9759 |
Ten simple rules to improve academic work- life balance
M.J. Bartlett, F.N. Arslan, A. Bankston, S. Sarabipour, PLoS Computational Biology 17 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.J. Bartlett, F.N. Arslan, A. Bankston, S. Sarabipour, PLoS Computational Biology 17 (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 | Journal Article | IST-REx-ID: 9761 |
The influence of mitochondrial dynamics and function on retinal ganglion cell susceptibility in optic nerve disease
N.A. Muench, S. Patel, M.E. Maes, R.J. Donahue, A. Ikeda, R.W. Nickells, Cells 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N.A. Muench, S. Patel, M.E. Maes, R.J. Donahue, A. Ikeda, R.W. Nickells, Cells 10 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9769 |
Impurities in a one-dimensional Bose gas: The flow equation approach
F. Brauneis, H.-W. Hammer, M. Lemeshko, A. Volosniev, SciPost Physics 11 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
F. Brauneis, H.-W. Hammer, M. Lemeshko, A. Volosniev, SciPost Physics 11 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9770 |
Interplay between friction and spin-orbit coupling as a source of spin polarization
A. Volosniev, H. Alpern, Y. Paltiel, O. Millo, M. Lemeshko, A. Ghazaryan, Physical Review B 104 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Volosniev, H. Alpern, Y. Paltiel, O. Millo, M. Lemeshko, A. Ghazaryan, Physical Review B 104 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9778 |
Transsynaptic modulation of presynaptic short-term plasticity in hippocampal mossy fiber synapses
D.H. Vandael, Y. Okamoto, P.M. Jonas, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
D.H. Vandael, Y. Okamoto, P.M. Jonas, Nature Communications 12 (2021).
2021 | Submitted | Preprint | IST-REx-ID: 9787 |
The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics
D. Feliciangeli, R. Seiringer, ArXiv (n.d.).
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
D. Feliciangeli, R. Seiringer, ArXiv (n.d.).
2021 | Submitted | Preprint | IST-REx-ID: 9791 |
The effective mass problem for the Landau-Pekar equations
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, ArXiv (n.d.).
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, ArXiv (n.d.).
2021 | Submitted | Preprint | IST-REx-ID: 9792 |
A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature
D. Feliciangeli, A. Gerolin, L. Portinale, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Feliciangeli, A. Gerolin, L. Portinale, ArXiv (n.d.).