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.




3450 Publications

2021 | Thesis | IST-REx-ID: 10007 | OA
Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, IST Austria, 2021.
View | Files available | DOI
 
2021 | Preprint | IST-REx-ID: 10013 | OA View | Files available | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 10015 | OA
The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators
N. Nikonorova, E. Murphy, C. Fonseca de Lima, S. Zhu, B. van de Cotte, L. Vu, D. Balcerowicz, L. Li, X. Kong, G. De Rop, T. Beeckman, J. Friml, K. Vissenberg, P. Morris, Z. Ding, I. De Smet, Cells 10 (2021).
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2021 | Conference Paper | IST-REx-ID: 10002 | OA
Symbolic time and space tradeoffs for probabilistic verification
K. Chatterjee, W. Dvorak, M. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10004 | OA
Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10003 | OA
Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–14.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9250 | OA
Mechanism of mediated alkali peroxide oxidation and triplet versus singlet oxygen formation
Y.K. Petit, E. Mourad, C. Prehal, C. Leypold, A. Windischbacher, D. Mijailovic, C. Slugovc, S.M. Borisov, E. Zojer, S. Brutti, O. Fontaine, S.A. Freunberger, Nature Chemistry 13 (2021) 465–471.
View | Files available | DOI
 
2021 | Thesis | IST-REx-ID: 9992 | OA
Wound healing in the Arabidopsis root meristem
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, IST Austria, 2021.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7956 | OA
Shear-induced ordering in systems with competing interactions: A machine learning study
J. Pȩkalski, W. Rzadkowski, A.Z. Panagiotopoulos, The Journal of Chemical Physics 152 (2020).
View | DOI | Download Published Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7957 | OA
Neurodevelopmental disorders: From genetics to functional pathways
I. Parenti, L.E. Garcia Rabaneda, H. Schön, G. Novarino, Trends in Neurosciences 43 (2020) 608–621.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7960 | OA
Intersection patterns of planar sets
G. Kalai, Z. Patakova, Discrete and Computational Geometry 64 (2020) 304–323.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7962 | OA
Almost all string graphs are intersection graphs of plane convex sets
J. Pach, B. Reed, Y. Yuditsky, Discrete and Computational Geometry 63 (2020) 888–917.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7966 | OA
Everybody’s a target: Scalability in public-key encryption
B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT 2020, Springer Nature, 2020, pp. 475–506.
View | DOI | Download Submitted Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7968 | OA
Analytic model of chiral-induced spin selectivity
A. Ghazaryan, Y. Paltiel, M. Lemeshko, The Journal of Physical Chemistry C 124 (2020) 11716–11721.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7971 | OA
Gully quantum Hall ferromagnetism in biased trilayer graphene
P. Rao, M. Serbyn, Physical Review B 101 (2020).
View | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 7985 | OA
Lithium-oxygen batteries and related systems: Potential, status, and future
W. Kwak, D. Sharon, C. Xia, H. Kim, L. Johnson, P. Bruce, L. Nazar, Y. Sun, A. Frimer, M. Noked, S.A. Freunberger, D. Aurbach, Chemical Reviews 120 (2020) 6626–6683.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7989 | OA
Bounding radon number via Betti numbers
Z. Patakova, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7990 | OA
Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips)
U. Wagner, E. Welzl, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7991 | OA
Homotopic curve shortening and the affine curve-shortening flow
S. Avvakumov, G. Nivasch, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7992 | OA
Barycentric cuts through a convex body
Z. Patakova, M. Tancer, U. Wagner, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7994 | OA
Extending drawings of graphs to arrangements of pseudolines
A.M. Arroyo Guevara, J. Bensmail, R. Bruce Richter, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7995 | OA
Assortative mating, sexual selection, and their consequences for gene flow in Littorina
S. Perini, M. Rafajlović, A.M. Westram, K. Johannesson, R.K. Butlin, Evolution 74 (2020) 1482–1497.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 7996 | OA
Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, IST Austria, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7999 | OA
Bayesian reassessment of the epigenetic architecture of complex traits
Trejo Banos D, McCartney D, Patxot M, Anchieri L, Battram T, Christiansen C, Costeira R, Walker R, Morris S, Campbell A, Zhang Q, Porteous D, McRae A, Wray N, Visscher P, Haley C, Evans K, Deary I, McIntosh A, Hemani G, Bell J, Marioni R, Robinson MR. 2020. Bayesian reassessment of the epigenetic architecture of complex traits. Nature Communications. 11, 2865.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8001 | OA View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8011 | OA
Stabilizing two-dimensional quantum scars by deformation and synchronization
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review Research 2 (2020).
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8012 | OA
Inductive sequentialization of asynchronous programs
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
View | Files available | DOI | Download Published Version (ext.)
 
2020 | Thesis | IST-REx-ID: 8032 | OA
Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, IST Austria, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8036 | OA
Magnetically powered metachronal waves induce locomotion in self-assemblies
Y. Collard, G.M. Grosjean, N. Vandewalle, Communications Physics 3 (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8038 | OA
Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator
J.M. Fink, M. Kalaee, R. Norte, A. Pitanti, O. Painter, Quantum Science and Technology 5 (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8039
Tin selenide molecular precursor for the solution processing of thermoelectric materials and devices
Y. Zhang, Y. Liu, C. Xing, T. Zhang, M. Li, M. Pacios, X. Yu, J. Arbiol, J. Llorca, D. Cadavid, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 12 (2020) 27104–27111.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8042 | OA
The excitation spectrum of Bose gases interacting through singular potentials
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Journal of the European Mathematical Society 22 (2020) 2331–2403.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8043 | OA
Oblique stripe solutions of channel flow
C.S. Paranjape, Y. Duguet, B. Hof, Journal of Fluid Mechanics 897 (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8057 | OA
Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie 132 (2020) 16047–16051.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8063 | OA
Object-centric image generation with factored depths, locations, and appearances
T. Anciukevicius, C. Lampert, P.M. Henderson, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8077 | OA
Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence
Y. Shehu, O.S. Iyiola, Applied Numerical Mathematics 157 (2020) 315–337.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8081 | OA
High specific capacitance supercapacitors from hierarchically organized all-cellulose composites
M.A. Hobisch, E. Mourad, W.J. Fischer, C. Prehal, S. Eyley, A. Childress, A. Zankel, A. Mautner, S. Breitenbach, A.M. Rao, W. Thielemans, S.A. Freunberger, R. Eckhart, W. Bauer, S. Spirk, (n.d.).
View | Files available
 
2020 | Journal Article | IST-REx-ID: 8084 | OA
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
F. Lombardi, M. Gómez-Extremera, P. Bernaola-Galván, R. Vetrivelan, C.B. Saper, T.E. Scammell, P.C. Ivanov, Journal of Neuroscience 40 (2020) 171–190.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8091 | OA
Emergence of Haldane pseudo-potentials in systems with short-range interactions
R. Seiringer, J. Yngvason, Journal of Statistical Physics 181 (2020) 448–464.
View | Files available | DOI | arXiv
 
2020 | Book Chapter | IST-REx-ID: 8092 | OA
XGAN: Unsupervised image-to-image translation for many-to-many mappings
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8093
EGFR/Ras-induced CCL20 production modulates the tumour microenvironment
Hippe A, Braun SA, Oláh P, Gerber PA, Schorr A, Seeliger S, Holtz S, Jannasch K, Pivarcsi A, Buhren B, Schrumpf H, Kislat A, Bünemann E, Steinhoff M, Fischer J, Lira SA, Boukamp P, Hevezi P, Stoecklein NH, Hoffmann T, Alves F, Sleeman J, Bauer T, Klufa J, Amberg N, Sibilia M, Zlotnik A, Müller-Homey A, Homey B. 2020. EGFR/Ras-induced CCL20 production modulates the tumour microenvironment. British Journal of Cancer. 123, 942–954.
View | DOI | PubMed | Europe PMC
 
 
2020 | Journal Article | IST-REx-ID: 8099 | OA
Disagreement in FST estimators: A case study from sex chromosomes
W.J. Gammerdinger, M.A. Toups, B. Vicoso, Molecular Ecology Resources 20 (2020) 1517–1525.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8101 | OA
Quantitatively consistent scale-spanning model for same-material tribocharging
G.M. Grosjean, S. Wald, J.C.A. Sobarzo Ponce, S.R. Waitukaitis, Physical Review Materials 4 (2020).
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8105 | OA View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8112
On the completion of speciation
N.H. Barton, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8126 | OA
Complementary inhibitory weight profiles emerge from plasticity and allow attentional switching of receptive fields
E.J. Agnes, A.I. Luppi, T.P. Vogels, The Journal of Neuroscience 40 (2020) 9634–9649.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8127 | OA
Training deep neural density estimators to identify mechanistic models of neural dynamics
P.J. Gonçalves, J.-M. Lueckmann, M. Deistler, M. Nonnenmacher, K. Öcal, G. Bassetto, C. Chintaluri, W.F. Podlaski, S.A. Haddad, T.P. Vogels, D.S. Greenberg, J.H. Macke, ELife 9 (2020).
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8130 | OA
Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons
L. Bossmann, Archive for Rational Mechanics and Analysis 238 (2020) 541–606.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8131 | OA
Molecular mechanisms for targeted ASD treatments
B. Basilico, J. Morandell, G. Novarino, Current Opinion in Genetics and Development 65 (2020) 126–137.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8132
The cytoskeletal regulator HEM1 governs B cell development and prevents autoimmunity
Salzer E, Zoghi S, Kiss MG, Kage F, Rashkova C, Stahnke S, Haimel M, Platzer R, Caldera M, Ardy RC, Hoeger B, Block J, Medgyesi D, Sin C, Shahkarami S, Kain R, Ziaee V, Hammerl P, Bock C, Menche J, Dupré L, Huppa JB, Sixt MK, Lomakin A, Rottner K, Binder CJ, Stradal TEB, Rezaei N, Boztug K. 2020. The cytoskeletal regulator HEM1 governs B cell development and prevents autoimmunity. Science Immunology. 5(49), eabc3979.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8134 | OA
The free energy of the two-dimensional dilute Bose gas. II. Upper bound
S. Mayer, R. Seiringer, Journal of Mathematical Physics 61 (2020).
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8135 | OA
Radius functions on Poisson–Delaunay mosaics and related complexes experimentally
H. Edelsbrunner, A. Nikitenko, K. Ölsböck, P. Synak, in:, Topological Data Analysis, Springer Nature, 2020, pp. 181–218.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8138 | OA
Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization
J. Zhang, E. Mazur, J. Balla, M.C. Gallei, P. Kalousek, Z. Medveďová, Y. Li, Y. Wang, T. Prat, M.K. Vasileva, V. Reinöhl, S. Procházka, R. Halouzka, P. Tarkowski, C. Luschnig, P. Brewer, J. Friml, Nature Communications 11 (2020) 3508.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8142 | OA
Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage
J.C. Montesinos López, A. Abuzeineh, A. Kopf, A. Juanes Garcia, K. Ötvös, J. Petrášek, M.K. Sixt, E. Benková, The Embo Journal 39 (2020).
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Thesis | IST-REx-ID: 8155 | OA
Gene regulation across scales – how biophysical constraints shape evolution
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, IST Austria, 2020.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8156 | OA
Topological methods in geometry and discrete mathematics
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8162 | OA
Cell-type specificity of genomic imprinting in cerebral cortex
S. Laukoter, F. Pauler, R.J. Beattie, N. Amberg, A.H. Hansen, C. Streicher, T. Penz, C. Bock, S. Hippenmeyer, Neuron 107 (2020) 1160–1179.e9.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8163 | OA
Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8167 | OA
The evolution of strong reproductive isolation between sympatric intertidal snails
S. Stankowski, A.M. Westram, Z.B. Zagrodzka, I. Eyres, T. Broquet, K. Johannesson, R.K. Butlin, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8168 | OA
Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers
J. Kulmuni, R.K. Butlin, K. Lucek, V. Savolainen, A.M. Westram, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8170 | OA
Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains
A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson, I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 125 (2020).
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Book Chapter | IST-REx-ID: 8173
Design and application of light-regulated receptor tyrosine kinases
S. Kainrath, H.L. Janovjak, in:, D. Niopek (Ed.), Photoswitching Proteins, Springer Nature, 2020, pp. 233–246.
View | DOI
 
2020 | Scientific Software | IST-REx-ID: 8181 | OA View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8186 | OA
Leveraging 2D data to learn textured 3D mesh generation
P.M. Henderson, V. Tsiminaki, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVF, 2020, pp. 7498–7507.
View | Files available | Download Submitted Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8189
Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation
X. Yu, J. Liu, J. Li, Z. Luo, Y. Zuo, C. Xing, J. Llorca, D. Nasiou, J. Arbiol, K. Pan, T. Kleinhanns, Y. Xie, A. Cabot, Nano Energy 77 (2020).
View | DOI
 
2020 | Conference Paper | IST-REx-ID: 8191
Memory tagging: Minimalist synchronization for scalable concurrent data structures
D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2020, pp. 37–49.
View | DOI
 
2020 | Conference Paper | IST-REx-ID: 8193
Multiple-environment Markov decision processes: Efficient analysis and applications
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
View | Files available
 
2020 | Conference Paper | IST-REx-ID: 8194 | OA
An SMT theory of fixed-point arithmetic
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8195 | OA
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8196 | OA
New strong convergence method for the sum of two maximal monotone operators
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8199 | OA
Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps
T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8203 | OA
Zero field splitting of heavy-hole states in quantum dots
G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8248 | OA
Local conditions for triangulating submanifolds of Euclidean space
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, M. Wintraecken, Discrete and Computational Geometry (2020).
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 8250 | OA
Mechanisms of drug interactions between translation-inhibiting antibiotics
B. Kavcic, G. Tkačik, M.T. Bollenbach, Nature Communications 11 (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8261 | OA
Selective routing of spatial information flow from input to output in hippocampal granule cells
X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8268 | OA
Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications
N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M. Puschel, C. Zhang, IEEE Transactions on Signal Processing 68 (2020) 4268–4282.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8271
Origin of a subgenome and genome evolution of allotetraploid cotton species
P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240.
View | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8272 | OA
Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8283 | OA
AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling
H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8285 | OA
Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit
B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical Review Letters 125 (2020).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8286 | OA
Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, in:, 47th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8287 | OA
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, n.d.
View | Files available | arXiv
 
2020 | Scientific Software | IST-REx-ID: 8294 | OA
RGtracker
R. Hauschild, (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8308 | OA
Stability of mobility edges in disordered interacting systems
P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8318 | OA
Key role of quinone in the mechanism of respiratory complex I
J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo, D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8319 | OA
Retrieval of cavity-generated atomic spin squeezing after free-space release
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8320
Expanding the genetic code: Unnatural base pairs in biological systems
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molecular Biology 54 (2020) 475–484.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8321
Expanding the genetic code: Unnatural base pairs in biological systems
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 531–541.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8322 | OA
Reverse firewalls for actively secure MPCs
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
View | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 8323 | OA
A farewell to Ricky Pollack
J. Pach, Discrete and Computational Geometry 64 (2020) 571–574.
View | DOI | Download None (ext.)
 
2020 | Journal Article | IST-REx-ID: 8325 | OA
Sandpile solitons via smoothing of superharmonic functions
N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics 378 (2020) 1649–1675.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Thesis | IST-REx-ID: 8332 | OA
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8336 | OA
Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum
K. Kubiasova, J.C. Montesinos López, O. Šamajová, J. Nisler, V. Mik, H. Semeradova, L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doležal, P. Galuszka, J. Šamaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications 11 (2020).
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8337 | OA
Cell-surface receptors enable perception of extracellular cytokinins
I. Antoniadi, O. Novák, Z. Gelová, A.J. Johnson, O. Plíhal, R. Simerský, V. Mik, T. Vain, E. Mateo-Bonmatí, M. Karady, M. Pernisová, L. Plačková, K. Opassathian, J. Hejátko, S. Robert, J. Friml, K. Doležal, K. Ljung, C. Turnbull, Nature Communications 11 (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8338 | OA
On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs
A. Akopyan, A.I. Bobenko, W.K. Schief, J. Techter, Discrete and Computational Geometry (2020).
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8339 | OA
Improved discrete Gaussian and subgaussian analysis for lattice cryptography
N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.
View | DOI | Download Preprint (ext.)
 
2020 | Preprint | IST-REx-ID: 8349 | OA
Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv
 
2020 | Thesis | IST-REx-ID: 8366 | OA
Computational design of curved thin shells: From glass façades to programmable matter
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, IST Austria, 2020.
View | Files available | DOI
 
 

Search

Filter Publications