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.




2941 Publications

2020 | Conference Paper | IST-REx-ID: 7966 | OA
B. Auerbach, F. Giacon, and E. Kiltz, “Everybody’s a target: Scalability in public-key encryption,” in Advances in Cryptology – EUROCRYPT 2020, 2020, vol. 12107, pp. 475–506.
View | DOI | Download Submitted Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7971 | OA
P. Rao and M. Serbyn, “Gully quantum Hall ferromagnetism in biased trilayer graphene,” Physical Review B, vol. 101, no. 24, p. 245411, 2020.
View | DOI | Download Preprint (ext.)
 
2020 | Conference Paper | IST-REx-ID: 7990 | OA
U. Wagner and E. Welzl, “Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips),” in 36th International Symposium on Computational Geometry, Zürich, Switzerland, 2020, vol. 164.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7992 | OA
Z. Patakova, M. Tancer, and U. Wagner, “Barycentric cuts through a convex body,” in 36th International Symposium on Computational Geometry, Zürich, Switzerland, 2020, vol. 164.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8002 | OA
L. Hörmayer, J. C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, and J. Friml, “Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots,” Proceedings of the National Academy of Sciences, vol. 117, no. 26, 2020.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8011 | OA
A. Michailidis, C. J. Turner, Z. Papić, D. A. Abanin, and M. Serbyn, “Stabilizing two-dimensional quantum scars by deformation and synchronization,” Physical Review Research, vol. 2, no. 2, 2020.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8012 | OA
B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive sequentialization of asynchronous programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 227–242.
View | Files available | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 8036 | OA
Y. Collard, G. M. Grosjean, and N. Vandewalle, “Magnetically powered metachronal waves induce locomotion in self-assemblies,” Communications Physics, vol. 3, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8039
Y. Zhang et al., “Tin selenide molecular precursor for the solution processing of thermoelectric materials and devices,” ACS Applied Materials and Interfaces, vol. 12, no. 24, pp. 27104–27111, 2020.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8040
C. Gupta et al., “Charge transfer and chemo-mechanical coupling in respiratory complex I,” Journal of the American Chemical Society, vol. 142, no. 20, pp. 9220–9230, 2020.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 8042 | OA
C. Boccato, C. Brennecke, S. Cenatiempo, and B. Schlein, “The excitation spectrum of Bose gases interacting through singular potentials,” Journal of the European Mathematical Society, vol. 22, no. 7, pp. 2331–2403, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Technical Report | IST-REx-ID: 8067 | OA
A. Varzi et al., Current status and future perspectives of Lithium metal batteries. IST Austria.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8081 | OA
M. A. Hobisch et al., “High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.” .
View | Files available
 
2020 | Journal Article | IST-REx-ID: 8084 | OA
F. Lombardi et al., “Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake,” Journal of Neuroscience, vol. 40, no. 1, pp. 171–190, 2020.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8089 | OA
K. Chatterjee, H. Fu, A. K. Goharshady, and E. K. Goharshady, “Polynomial invariant generation for non-deterministic recursive programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 672–687.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Research Data | IST-REx-ID: 8097 | OA
B. Kavcic, Analysis scripts and research data for the paper “Mechanisms of drug interactions between translation-inhibiting antibiotics.” IST Austria, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8105 | OA
F. Lombardi, J. W. J. L. Wang, X. Zhang, and P. C. Ivanov, “Power-law correlations and coupling of active and quiet states underlie a class of complex systems with self-organization at criticality,” EPJ Web of Conferences, vol. 230, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8112
N. H. Barton, “On the completion of speciation,” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 2020.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8132
E. Salzer et al., “The cytoskeletal regulator HEM1 governs B cell development and prevents autoimmunity,” Science Immunology, vol. 5, no. 49, 2020.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8133 | OA
R. F. Hillary et al., “Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults,” Genome Medicine, vol. 12, no. 1, 2020.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8134 | OA
S. Mayer and R. Seiringer, “The free energy of the two-dimensional dilute Bose gas. II. Upper bound,” Journal of Mathematical Physics, vol. 61, no. 6, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8138 | OA
J. Zhang et al., “Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization,” Nature Communications, vol. 11, no. 1, p. 3508, 2020.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8167 | OA
S. Stankowski et al., “The evolution of strong reproductive isolation between sympatric intertidal snails,” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 2020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8168 | OA
J. Kulmuni, R. K. Butlin, K. Lucek, V. Savolainen, and A. M. Westram, “Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers,” Philosophical Transactions of the Royal Society. Series B: Biological sciences, vol. 375, no. 1806, 2020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8169 | OA
H. Shang et al., “Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group,” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 2020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8170 | OA
A. S. Chatterley et al., “Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains,” Physical Review Letters, vol. 125, no. 1, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Book Chapter | IST-REx-ID: 8173
S. Kainrath and H. L. Janovjak, “Design and application of light-regulated receptor tyrosine kinases,” in Photoswitching Proteins, vol. 2173, D. Niopek, Ed. Springer Nature, 2020, pp. 233–246.
View | DOI
 
2020 | Conference Paper | IST-REx-ID: 8186 | OA
P. M. Henderson, V. Tsiminaki, and C. Lampert, “Leveraging 2D data to learn textured 3D mesh generation,” in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Virtual, 2020, pp. 7498–7507.
View | Files available | Download Submitted Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8190 | OA
M. K. Sixt and A. Huttenlocher, “Zena Werb (1945-2020): Cell biology in context,” The Journal of cell biology, vol. 219, no. 8, 2020.
View | Files available | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8191
D.-A. Alistarh, T. A. Brown, and N. Singhal, “Memory tagging: Minimalist synchronization for scalable concurrent data structures,” in Annual ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, United States, 2020, no. 7, pp. 37–49.
View | DOI
 
2020 | Conference Paper | IST-REx-ID: 8194 | OA
M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France, 2020, vol. 12166, pp. 13–31.
View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8195 | OA
B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8196 | OA
Y. Shehu, Q.-L. Dong, L.-L. Liu, and J.-C. Yao, “New strong convergence method for the sum of two maximal monotone operators,” Optimization and Engineering, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8203 | OA
G. Katsaros et al., “Zero field splitting of heavy-hole states in quantum dots,” Nano Letters, vol. 20, no. 7, pp. 5201–5206, 2020.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Research Data | IST-REx-ID: 8254 | OA
L. S. Arathoon, Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). IST Austria, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8268 | OA
N. M. Gurel et al., “Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications,” IEEE Transactions on Signal Processing, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8271
P. He, Y. Zhang, and G. Xiao, “Origin of a subgenome and genome evolution of allotetraploid cotton species,” Molecular Plant.
View | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8272 | OA
K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games with lexicographic reachability-safety objectives,” in International Conference on Computer Aided Verification, 2020, vol. 12225, pp. 398–420.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8283 | OA
H. Chen et al., “AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling,” International Journal of Molecular Sciences, vol. 21, no. 16, 2020.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8285 | OA
B. K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, and M. A. Kasevich, “Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit,” Physical Review Letters, vol. 125, no. 4, 2020.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2020 | Journal Article | IST-REx-ID: 8317 | OA
O. Aichholzer et al., “Folding polyominoes with holes into a cube,” Computational Geometry: Theory and Applications, vol. 93.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8319 | OA
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B. K. Malia, O. Hosten, and M. A. Kasevich, “Retrieval of cavity-generated atomic spin squeezing after free-space release,” Physical Review A, vol. 102, no. 1, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8320
S. A. Mukba, P. Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova, and E. Z. Alkalaeva, “Expanding the genetic code: Unnatural base pairs in biological systems,” Molecular Biology, vol. 54, no. 4, pp. 475–484, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8321
S. A. Mukba, P. Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova, and E. Z. Alkalaeva, “Expanding the genetic code: Unnatural base pairs in biological systems,” Molekuliarnaia biologiia, vol. 54, no. 4, pp. 531–541, 2020.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8323 | OA
J. Pach, “A farewell to Ricky Pollack,” Discrete and Computational Geometry, 2020.
View | DOI | Download None (ext.)
 
2020 | Journal Article | IST-REx-ID: 8325 | OA
N. Kalinin and M. Shkolnikov, “Sandpile solitons via smoothing of superharmonic functions,” Communications in Mathematical Physics, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Thesis | IST-REx-ID: 8332 | OA
B. Kragl, Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8336 | OA
K. Kubiasova et al., “Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum,” Nature Communications, vol. 11, 2020.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8337 | OA
I. Antoniadi et al., “Cell-surface receptors enable perception of extracellular cytokinins,” Nature Communications, vol. 11, 2020.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 8338 | OA
A. Akopyan, A. I. Bobenko, W. K. Schief, and J. Techter, “On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs,” Discrete and Computational Geometry, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Display / Sort

Citation Style: IEEE

Export / Embed