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.




3097 Publications

2020 | Journal Article | IST-REx-ID: 8271
He P, Zhang Y, Xiao G. Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. 2020;13(9):1238-1240. doi:10.1016/j.molp.2020.07.006
View | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: International Conference on Computer Aided Verification. Vol 12225. Springer Nature; 2020:398-420. doi:10.1007/978-3-030-53291-8_21
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8283 | OA
Chen H, Lai L, Li L, 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. 2020;21(16). doi:10.3390/ijms21165727
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8284 | OA
Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 2020;9. doi:10.7554/eLife.59407
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. 2020;125(4). doi:10.1103/PhysRevLett.125.043202
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8286 | OA
Alistarh D-A, Nadiradze G, Sabour A. Dynamic averaging load balancing on cycles. In: 47th International Colloquium on Automata, Languages, and Programming. Vol 168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.ICALP.2020.7
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. In: Proceedings of the International Conference on Embedded Software.
View | Files available | arXiv
 
2020 | Journal Article | IST-REx-ID: 8308 | OA
Brighi P, Abanin DA, Serbyn M. Stability of mobility edges in disordered interacting systems. Physical Review B. 2020;102(6). doi:10.1103/physrevb.102.060202
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8318 | OA
Gutierrez-Fernandez J, Kaszuba K, Minhas GS, et al. Key role of quinone in the mechanism of respiratory complex I. Nature Communications. 2020;11(1). doi:10.1038/s41467-020-17957-0
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8319 | OA
Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA. Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. 2020;102(1). doi:10.1103/PhysRevA.102.012224
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8320
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. 2020;54(4):475-484. doi:10.1134/S0026893320040111
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8321
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia. 2020;54(4):531-541. doi:10.31857/S0026898420040126
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty S, Dziembowski S, Nielsen JB. Reverse firewalls for actively secure MPCs. In: Advances in Cryptology – CRYPTO 2020. Vol 12171. Springer Nature; 2020:732-762. doi:10.1007/978-3-030-56880-1_26
View | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 8323 | OA
Pach J. A farewell to Ricky Pollack. Discrete and Computational Geometry. 2020;64:571-574. doi:10.1007/s00454-020-00237-5
View | DOI | Download None (ext.)
 
2020 | Journal Article | IST-REx-ID: 8325 | OA
Kalinin N, Shkolnikov M. Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics. 2020;378(9):1649-1675. doi:10.1007/s00220-020-03828-8
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8329 | OA
Schlemmer W, Nothdurft P, Petzold A, et al. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. 2020;59(51):22943-22946. doi:10.1002/anie.202008253
View | DOI | Download Published Version (ext.)
 
2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova K, Montesinos López JC, Šamajová O, et al. Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. 2020;11. doi:10.1038/s41467-020-17949-0
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8337 | OA
Antoniadi I, Novák O, Gelová Z, et al. Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications. 2020;11. doi:10.1038/s41467-020-17700-9
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8338 | OA
Akopyan A, Bobenko AI, Schief WK, Techter J. On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry. 2020. doi:10.1007/s00454-020-00240-w
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8339 | OA
Genise N, Micciancio D, Peikert C, Walter M. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In: 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. Vol 12110. Springer Nature; 2020:623-651. doi:10.1007/978-3-030-45374-9_21
View | DOI | Download Preprint (ext.)
 
2020 | Thesis | IST-REx-ID: 8340
Kampjut D. Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. 2020. doi:10.15479/AT:ISTA:8340
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8341
Bezeljak U. In vitro reconstitution of a Rab activation switch. 2020. doi:10.15479/AT:ISTA:8341
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8349 | OA
Nardin M, Phillips JW, Podlaski WF, Keemink SW. Nonlinear computations in spiking neural networks through multiplicative synapses. arXiv.
View | Download Preprint (ext.) | arXiv
 
2020 | Thesis | IST-REx-ID: 8350
Shamipour S. Bulk actin dynamics drive phase segregation in zebrafish oocytes . 2020. doi:10.15479/AT:ISTA:8350
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8353
Steiner J. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. 2020. doi:10.15479/AT:ISTA:8353
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8358 | OA
Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:10.15479/AT:ISTA:8358
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8361 | OA
Varzi A, Thanner K, Scipioni R, et al. Current status and future perspectives of lithium metal batteries. Journal of Power Sources. 2020;480(12). doi:10.1016/j.jpowsour.2020.228803
View | Files available | DOI | Download Published Version (ext.)
 
2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov R. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi:10.15479/AT:ISTA:8366
View | Files available | DOI
 
2020 | Research Data | IST-REx-ID: 8375 | OA
Guseinov R. Supplementary data for “Computational design of curved thin shells: from glass façades to programmable matter.” 2020. doi:10.15479/AT:ISTA:8375
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8383
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. Brief Announcement: Why Extension-Based Proofs Fail. In: Proceedings of the 39th Symposium on Principles of Distributed Computing. ACM; 2020:54-56. doi:10.1145/3382734.3405743
View | DOI
 
2020 | Journal Article | IST-REx-ID: 8384 | OA
Ishida S, Synak P, Narita F, Hachisuka T, Wojtan CJ. A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392405
View | Files available | DOI | Download Submitted Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 8385 | OA
Sperl G, Narain R, Wojtan CJ. Homogenized yarn-level cloth. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392412
View | Files available | DOI | Download Submitted Version (ext.)
 
2020 | Thesis | IST-REx-ID: 8386 | OA
Zhang R. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. 2020. doi:10.15479/AT:ISTA:8386
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8390 | OA
Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:10.15479/AT:ISTA:8390
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8429 | OA
Patxot M, Trejo Banos D, Kousathanas A, et al. Probabilistic inference of the genetic architecture of functional enrichment of complex traits. medRxiv. 2020. doi:10.1101/2020.09.04.20188433
View | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 8529 | OA
Arnold GM, Wulf M, Barzanjeh S, et al. Converting microwave and telecom photons with a silicon photonic nanomechanical interface. Nature Communications. 2020;11. doi:10.1038/s41467-020-18269-z
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. 2020;21(18). doi:10.3390/ijms21186737
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Simplified game of life: Algorithms and complexity. In: 45th International Symposium on Mathematical Foundations of Computer Science. Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.MFCS.2020.22
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8534 | OA
Jecker IR, Kupferman O, Mazzocchi N. Unary prime languages. In: 45th International Symposium on Mathematical Foundations of Computer Science. Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.MFCS.2020.51
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8535 | OA
Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan CJ. Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392466
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8536 | OA
Mondelli M, Hashemi SA, Cioffi J, Goldsmith A. Simplified successive cancellation decoding of polar codes has sublinear latency. In: IEEE International Symposium on Information Theory - Proceedings. Vol 2020-June. IEEE; 2020. doi:10.1109/ISIT44484.2020.9174141
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8538 | OA
Akopyan A, Schwartz R, Tabachnikov S. Billiards in ellipses revisited. European Journal of Mathematics. 2020. doi:10.1007/s40879-020-00426-9
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8539 | OA
Su C, Zhao G, Zhong C. On the K-theory stable bases of the springer resolution. Annales Scientifiques de l’Ecole Normale Superieure. 2020;53(3):663-671. doi:10.24033/asens.2431
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Preprint | IST-REx-ID: 8545 | OA
Contreras X, Davaatseren A, Amberg N, et al. A genome-wide library of MADM mice for single-cell genetic mosaic analysis. bioRxiv. 2020. doi:10.1101/2020.06.05.136192
View | DOI | Download Preprint (ext.)
 
2020 | Preprint | IST-REx-ID: 8546 | OA
Zhang T, Liu T, Mora N, et al. Generation of neuronal diversity from common progenitors via Notch signaling in the cerebellum. bioRxiv. doi:10.1101/2020.03.18.997205
View | DOI | Download Preprint (ext.)
 
2020 | Preprint | IST-REx-ID: 8557 | OA
Belyaeva V, Wachner S, Gridchyn I, et al. Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv. doi:10.1101/2020.09.18.301481
View | Files available | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 8562 | OA
Gavriil K, Guseinov R, Perez Rodriguez J, et al. Computational design of cold bent glass façades. ACM Transactions on Graphics. 2020;39(6). doi:10.1145/3414685.3417843
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8568 | OA
Prehal C, Fitzek H, Kothleitner G, et al. Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. 2020;11. doi:10.1038/s41467-020-18610-6
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8571 | OA
Geretti L, Alexandre Dit Sandretto J, Althoff M, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:49-75. doi:10.29007/zkf6
View | DOI | Download Published Version (ext.)
 

Search

Filter Publications