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.




2732 Publications

2020 | Conference Paper | IST-REx-ID: 7635
Koval N, Sokolova M, Fedorov A, Alistarh D-A, Tsitelov D. 2020. Testing concurrency on the JVM with Lincheck. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP. PPOPP: Principles and Practice of Parallel Programming 423–424.
View | DOI
 
2020 | Conference Paper | IST-REx-ID: 7636
Brown TA, Prokopec A, Alistarh D-A. 2020. Non-blocking interpolation search trees with doubly-logarithmic running time. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP. PPOPP: Principles and Practice of Parallel Programming 276–291.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 7637 | OA
Cornalba F, Shardlow T, Zimmer J. 2020. From weakly interacting particles to a regularised Dean-Kawasaki model. Nonlinearity. 33(2), 864–891.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7638 | OA
De Nicola S, Doyon B, Bhaseen MJ. 2020. Non-equilibrium quantum spin dynamics from classical stochastic processes. Journal of Statistical Mechanics: Theory and Experiment. 2020(1).
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7643
Han H, Rakusova H, Verstraeten I, Zhang Y, Friml J. 2020. SCFTIR1/AFB auxin signaling for bending termination during shoot gravitropism. Plant Physiology.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7650 | OA
Deuchert A, Seiringer R. 2020. Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature. Archive for Rational Mechanics and Analysis. 236(6), 1217–1271.
View | DOI | Download Published Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7651 | OA
Larsson J, Westram AM, Bengmark S, Lundh T, Butlin RK. 2020. A developmentally descriptive method for quantifying shape in gastropod shells. Journal of The Royal Society Interface. 17(163).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7788 | OA
Adjobo-Hermans MJW, De Haas R, Willems PHGM, Wojtala A, Van Emst-De Vries SE, Wagenaars JA, Van Den Brand M, Rodenburg RJ, Smeitink JAM, Nijtmans LG, Sazanov LA, Wieckowski MR, Koopman WJH. 2020. NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2. Biochimica et Biophysica Acta - Bioenergetics. 1861(8).
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7789 | OA
Dekoninck S, Hannezo EB, Sifrim A, Miroshnikova YA, Aragona M, Malfait M, Gargouri S, De Neunheuser C, Dubois C, Voet T, Wickström SA, Simons BD, Blanpain C. 2020. Defining the design principles of skin epidermis postnatal growth. Cell. 181(3), 604–620.e22.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7790 | OA
Deuchert A, Mayer S, Seiringer R. 2020. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. Forum of Mathematics, Sigma. 8.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7791 | OA
Akopyan A, Karasev R. 2020. When different norms lead to same billiard trajectories? European Journal of Mathematics.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7792
Taboada-Gutiérrez J, Álvarez-Pérez G, Duan J, Ma W, Crowley K, Prieto Gonzalez I, Bylinkin A, Autore M, Volkova H, Kimura K, Kimura T, Berger MH, Li S, Bao Q, Gao XPA, Errea I, Nikitin AY, Hillenbrand R, Martín-Sánchez J, Alonso-González P. 2020. Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation. Nature Materials.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7793 | OA
Kuhn A, Ramans Harborough S, McLaughlin HM, Natarajan B, Verstraeten I, Friml J, Kepinski S, Østergaard L. 2020. Direct ETTIN-auxin interaction controls chromatin states in gynoecium development. eLife. 9.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7802 | OA
Czumaj A, Davies P, Parter M. 2020. Graph sparsification for derandomizing massively parallel computation with low space. Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020). SPAA: Symposium on Parallelism in Algorithms and Architectures 175–185.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7804 | OA
Flynn SM, Chen C, Artan M, Barratt S, Crisp A, Nelson GM, Peak-Chew SY, Begum F, Skehel M, de Bono M. 2020. MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity. Nature Communications. 11.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7805
Hurny A, Cuesta C, Cavallari N, Ötvös K, Duclercq J, Dokládal L, Montesinos López JC, Gallemi M, Semeradova H, Rauter T, Stenzel I, Persiau G, Benade F, Bhalearo R, Sýkorová E, Gorzsás A, Sechet J, Mouille G, Heilmann I, De Jaeger G, Ludwig-Müller J, Benková E. 2020. Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance. Nature Communications. 11, 2170.
View | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7806 | OA
Filakovský M, Wagner U, Zhechev SY. 2020. Embeddability of simplicial complexes is undecidable. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January. 767–785.
View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 7807 | OA
Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January. 2823–2841.
View | DOI | Download Submitted Version (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7808 | OA
Giacobbe M, Henzinger TA, Lechner M. 2020. How many bits does it take to quantize your neural network? International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 12079. 79–97.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2020. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. European Symposium on Programming. ESOP: Programming Languages and Systems, LNCS, vol. 12075. 112–140.
View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications