Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4133 Publications


2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov S. Topological methods in geometry and discrete mathematics. 2020. doi:10.15479/AT:ISTA:8156
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 14891 | OA
Lewin M, Lieb EH, Seiringer R. The local density approximation in density functional theory. Pure and Applied Analysis. 2020;2(1):35-73. doi:10.2140/paa.2020.2.35
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8914 | OA
Salamatina A, Yang JH, Brenner-Morton S, et al. Differential loss of spinal interneurons in a mouse model of ALS. Neuroscience. 2020;450:81-95. doi:10.1016/j.neuroscience.2020.08.011
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Research Data | IST-REx-ID: 8834 | OA
Katsaros G. Enhancement of proximity induced superconductivity in planar Germanium. 2020. doi:10.15479/AT:ISTA:8834
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8097 | OA
Kavcic B. Analysis scripts and research data for the paper “Mechanisms of drug interactions between translation-inhibiting antibiotics.” 2020. doi:10.15479/AT:ISTA:8097
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8254 | OA
Arathoon LS. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). 2020. doi:10.15479/AT:ISTA:8254
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7541 | OA
Gao F, Wang J-H, Watzinger H, et al. Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling. Advanced Materials. 2020;32(16). doi:10.1002/adma.201906523
[Published Version] View | Files available | DOI | WoS
 

2020 | Research Data | IST-REx-ID: 8930 | OA
Kavcic B. Analysis scripts and research data for the paper “Minimal biophysical model of combined antibiotic action.” 2020. doi:10.15479/AT:ISTA:8930
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8951 | OA
Nagy-Staron AA. Sequences of gene regulatory network permutations for the article “Local genetic context shapes the function of a gene regulatory network.” 2020. doi:10.15479/AT:ISTA:8951
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 7383 | OA
Grah R. Matlab scripts for the Paper: Gene Amplification as a Form of Population-Level Gene Expression regulation. 2020. doi:10.15479/AT:ISTA:7383
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 9222 | OA
Katsaros G. Transport data for: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling. 2020. doi:10.15479/AT:ISTA:9222
[Published Version] View | Files available | DOI
 

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
[Published Version] View | Files available | DOI
 

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
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 2020;20(7):5201-5206. doi:10.1021/acs.nanolett.0c01466
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8740 | OA
Gridchyn I, Schönenberger P, O’Neill J, Csicsvari JL. Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior. eLife. 2020;9. doi:10.7554/eLife.61106
[Published Version] View | Files available | DOI | WoS
 

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
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 7689 | OA
Katsaros G. Supplementary data for “Zero field splitting of heavy-hole states in quantum dots.” 2020. doi:10.15479/AT:ISTA:7689
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8761 | OA
Guseinov R. Supplementary data for “Computational design of cold bent glass façades.” 2020. doi:10.15479/AT:ISTA:8761
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8563 | OA
Csicsvari JL, Gridchyn I, Schönenberger P. Optogenetic alteration of hippocampal network activity. 2020. doi:10.15479/AT:ISTA:8563
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7262 | OA
Guseinov R, McMahan C, Perez Rodriguez J, Daraio C, Bickel B. Programming temporal morphing of self-actuated shells. Nature Communications. 2020;11. doi:10.1038/s41467-019-14015-2
[Published Version] View | Files available | DOI | WoS
 

2020 | Research Data | IST-REx-ID: 14592 | OA
Schur FK. STL-files for 3D-printed grid holders described in  Fäßler F, Zens B, et al.; 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. 2020. doi:10.15479/AT:ISTA:14592
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7213 | OA
Bhatia S, Chatterjee B, Nathani D, Kaul M. A persistent homology perspective to the link prediction problem. In: Complex Networks and Their Applications VIII. Vol 881. Springer Nature; 2020:27-39. doi:10.1007/978-3-030-36687-2_3
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 10556 | OA
Kokoris Kogias E, Malkhi D, Spiegelman A. Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures. In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery; 2020:1751–1767. doi:10.1145/3372297.3423364
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Conference Paper | IST-REx-ID: 9202 | OA
Garcia Soto M, Prabhakar P. Hybridization for stability verification of nonlinear switched systems. In: 2020 IEEE Real-Time Systems Symposium. IEEE; 2020:244-256. doi:10.1109/RTSS49844.2020.00031
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 6906 | OA
Boccato C, Brennecke C, Cenatiempo S, Schlein B. Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime. Communications in Mathematical Physics. 2020;376:1311-1395. doi:10.1007/s00220-019-03555-9
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 6944 | OA
Sun R, Lampert C. KS(conf): A light-weight test if a multiclass classifier operates outside of its specifications. International Journal of Computer Vision. 2020;128(4):970-995. doi:10.1007/s11263-019-01232-x
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8324 | OA
Wang P, Fu H, Chatterjee K, Deng Y, Xu M. Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. In: Proceedings of the ACM on Programming Languages. Vol 4. ACM; 2020. doi:10.1145/3371093
[Published Version] View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 6184 | OA
Alt J, Erdös L, Krüger TH, Schröder DJ. Correlated random matrices: Band rigidity and edge universality. Annals of Probability. 2020;48(2):963-1001. doi:10.1214/19-AOP1379
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 15037 | OA
Moulinier-Anzola J, Schwihla M, De-Araújo L, et al. TOLs function as ubiquitin receptors in the early steps of the ESCRT pathway in higher plants. Molecular Plant. 2020;13(5):717-731. doi:10.1016/j.molp.2020.02.012
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 15036 | OA
Rosa HVD, Leonardo DA, Brognara G, et al. Molecular recognition at septin interfaces: The switches hold the key. Journal of Molecular Biology. 2020;432(21):5784-5801. doi:10.1016/j.jmb.2020.09.001
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8384 | OA
Ishida S, Synak P, Narita F, Hachisuka T, Wojtan C. A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392405
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2020 | Conference Paper | IST-REx-ID: 7802 | OA
Czumaj A, Davies P, Parter M. Graph sparsification for derandomizing massively parallel computation with low space. In: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020). Association for Computing Machinery; 2020:175-185. doi:10.1145/3350755.3400282
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7636 | OA
Brown TA, Prokopec A, Alistarh D-A. Non-blocking interpolation search trees with doubly-logarithmic running time. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2020:276-291. doi:10.1145/3332466.3374542
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2020 | Journal Article | IST-REx-ID: 8385 | OA
Sperl G, Narain R, Wojtan C. Homogenized yarn-level cloth. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392412
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2020 | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski J, Rzadkowski W, Panagiotopoulos AZ. Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of chemical physics. 2020;152(20). doi:10.1063/5.0005194
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8382 | OA
Baig MA, Hendler D, Milani A, Travers C. Long-lived snapshots with polylogarithmic amortized step complexity. In: Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2020:31-40. doi:10.1145/3382734.3406005
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7428 | OA
Ghazaryan A, Lopes PLS, Hosur P, Gilbert MJ, Ghaemi P. Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors. Physical Review B. 2020;101(2). doi:10.1103/PhysRevB.101.020504
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

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
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 15055 | OA
Brázdil T, Chatterjee K, Novotný P, Vahala J. Reinforcement learning of risk-constrained policies in Markov decision processes. Proceedings of the 34th AAAI Conference on Artificial Intelligence. 2020;34(06):9794-9801. doi:10.1609/aaai.v34i06.6531
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 15057 | OA
Park S, Artan M, Han SH, et al. VRK-1 extends life span by activation of AMPK via phosphorylation. Science Advances. 2020;6(27). doi:10.1126/sciadv.aaw7824
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 15061 | OA
Pinotsis N, Zielinska K, Babuta M, et al. Calcium modulates the domain flexibility and function of an α-actinin similar to the ancestral α-actinin. Proceedings of the National Academy of Sciences. 2020;117(36):22101-22112. doi:10.1073/pnas.1917269117
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 15064 | OA
Bauer U, Edelsbrunner H, Jablonski G, Mrozek M. Čech-Delaunay gradient flow and homology inference for self-maps. Journal of Applied and Computational Topology. 2020;4(4):455-480. doi:10.1007/s41468-020-00058-8
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 15063 | OA
Cipolloni G, Erdös L, Schröder DJ. Optimal lower bound on the least singular value of the shifted Ginibre ensemble. Probability and Mathematical Physics. 2020;1(1):101-146. doi:10.2140/pmp.2020.1.101
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 15074 | OA
Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. Brief announcement: Efficient load-balancing through distributed token dropping. In: 34th International Symposium on Distributed Computing. Vol 179. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.DISC.2020.40
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 15077 | 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
[Published Version] View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 15082 | OA
Aichholzer O, Obmann J, Patak P, Perz D, Tkadlec J. Disjoint tree-compatible plane perfect matchings. In: 36th European Workshop on Computational Geometry. ; 2020.
[Published Version] View | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 6748 | OA
Javanmard A, Mondelli M, Montanari A. Analysis of a two-layer neural network via displacement convexity. Annals of Statistics. 2020;48(6):3619-3642. doi:10.1214/20-AOS1945
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 8741 | OA
Klose AK, Karle V, Winkelmann R, Donges JF. Emergence of cascading dynamics in interacting tipping elements of ecology and climate: Cascading dynamics in tipping elements. Royal Society Open Science. 2020;7(6). doi:10.1098/rsos.200599
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7687 | OA
Ernst D, Novotny G, Schönher EM. (Core Trust) Seal your repository! Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. 2020;73(1):46-59. doi:10.31263/voebm.v73i1.3491
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 15071 | OA
Oshurkova V, Troshina O, Trubitsyn V, Ryzhmanova Y, Bochkareva O, Shcherbakova V. Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLS2T. In: Proceedings of 1st International Electronic Conference on Microbiology. MDPI; 2020. doi:10.3390/ecm2020-07116
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7525 | OA
Bhandari P. Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway. 2020. doi:10.15479/AT:ISTA:7525
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8586 | OA
Fäßler F, Zens B, Hauschild R, Schur FK. 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Journal of Structural Biology. 2020;212(3). doi:10.1016/j.jsb.2020.107633
[Published Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 8657 | OA
Kavcic B. Perturbations of protein synthesis: from antibiotics to genetics and physiology. 2020. doi:10.15479/AT:ISTA:8657
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7473 | OA
Borges Merjane C, Kim O, Jonas PM. Functional electron microscopy (“Flash and Freeze”) of identified cortical synapses in acute brain slices. Neuron. 2020;105:992-1006. doi:10.1016/j.neuron.2019.12.022
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8250 | OA
Kavcic B, Tkačik G, Bollenbach MT. Mechanisms of drug interactions between translation-inhibiting antibiotics. Nature Communications. 2020;11. doi:10.1038/s41467-020-17734-z
[Published Version] View | Files available | DOI | WoS
 

2020 | Preprint | IST-REx-ID: 7673 | OA
Kavcic B, Tkačik G, Bollenbach MT. A minimal biophysical model of combined antibiotic action. bioRxiv. 2020. doi:10.1101/2020.04.18.047886
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8002 | OA
Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J. Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots. Proceedings of the National Academy of Sciences. 2020;117(26). doi:10.1073/pnas.2003346117
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 7680 | OA
Kainrath S. Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. 2020. doi:10.15479/AT:ISTA:7680
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8620 | OA
Morandell J. Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. 2020. doi:10.15479/AT:ISTA:8620
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8340 | OA
Kampjut D. Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. 2020. doi:10.15479/AT:ISTA:8340
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 7800 | OA
Morandell J, Schwarz LA, Basilico B, et al. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. bioRxiv. doi:10.1101/2020.01.10.902064
[Preprint] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8131 | OA
Basilico B, Morandell J, Novarino G. Molecular mechanisms for targeted ASD treatments. Current Opinion in Genetics and Development. 2020;65(12):126-137. doi:10.1016/j.gde.2020.06.004
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8434 | OA
Dimchev GA, Amiri B, Humphries AC, et al. Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation. Journal of Cell Science. 2020;133(7). doi:10.1242/jcs.239020
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7889 | OA
Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, Markina NM, Chepurnyh TV, Guglya EB, Karataeva TA, Palkina KA, Shakhova ES, Fakhranurova LI, Chekova SV, Tsarkova AS, Golubev YV, Negrebetsky VV, Dolgushin SA, Shalaev PV, Shlykov D, Melnik OA, Shipunova VO, Deyev SM, Bubyrev AI, Pushin AS, Choob VV, Dolgov SV, Kondrashov F, Yampolsky IV, Sarkisyan KS. 2020. Plants with genetically encoded autoluminescence. Nature Biotechnology. 38, 944–946.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 9750 | OA
Slovakova J, Sikora MK, Caballero Mancebo S, et al. Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion. bioRxiv. 2020. doi:10.1101/2020.11.20.391284
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7426 | OA
Garcia Soto M, Prabhakar P. Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 2020;36(5). doi:10.1016/j.nahs.2020.100856
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 8983 | OA
Emtenani S. Metabolic regulation of Drosophila macrophage tissue invasion. 2020. doi:10.15479/AT:ISTA:8983
[Published Version] View | Files available | DOI
 

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
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8831 | OA
Aggarwal K, Hofmann AC, Jirovec D, et al. Enhancement of proximity induced superconductivity in planar Germanium. arXiv.
[Submitted Version] View | Files available | arXiv
 

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
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In: European Symposium on Programming. Vol 12075. Springer Nature; 2020:112-140. doi:10.1007/978-3-030-44914-8_5
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8728 | OA
Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In: Automated Technology for Verification and Analysis. Vol 12302. Springer Nature; 2020:253-270. doi:10.1007/978-3-030-59152-6_14
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee K, Fu H, Goharshady AK, Goharshady EK. Polynomial invariant generation for non-deterministic recursive programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:672-687. doi:10.1145/3385412.3385969
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 6918 | OA
Goharshady AK, Mohammadi F. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 2020;193. doi:10.1016/j.ress.2019.106665
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7161 | OA
Shehu Y, Gibali A, Sagratella S. Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. 2020;184:877–894. doi:10.1007/s10957-019-01616-6
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 7652 | OA
Tomanek I, Grah R, Lagator M, et al. Gene amplification as a form of population-level gene expression regulation. Nature Ecology & Evolution. 2020;4(4):612-625. doi:10.1038/s41559-020-1132-7
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 7258 | OA
Scarselli D. New approaches to reduce friction in turbulent pipe flow. 2020. doi:10.15479/AT:ISTA:7258
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8653 | OA
Tomanek I. The evolution of gene expression by copy number and point mutations. 2020. doi:10.15479/AT:ISTA:8653
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7427 | OA
Tan S, Abas MF, Verstraeten I, et al. Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. 2020;30(3):381-395.e8. doi:10.1016/j.cub.2019.11.058
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7500 | OA
Mazur E, Kulik I, Hajny J, Friml J. Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis. New Phytologist. 2020;226(5):1375-1383. doi:10.1111/nph.16446
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8822 | OA
Hajny J. Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. 2020. doi:10.15479/AT:ISTA:8822
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8350 | OA
Shamipour S. Bulk actin dynamics drive phase segregation in zebrafish oocytes . 2020. doi:10.15479/AT:ISTA:8350
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8569 | OA
Hansen AH, Hippenmeyer S. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 2020;8(9). doi:10.3389/fcell.2020.574382
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7815 | OA
Beattie RJ, Streicher C, Amberg N, et al. Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM). Journal of Visual Experiments. 2020;(159). doi:10.3791/61147
[Published Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 7902 | OA
Contreras X. Genetic dissection of neural development in health and disease at single cell resolution. 2020. doi:10.15479/AT:ISTA:7902
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8190 | OA
Sixt MK, Huttenlocher A. Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. 2020;219(8). doi:10.1083/jcb.202007029
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8986 | OA
Zhang Y, Rodriguez Solovey L, Li L, Zhang X, Friml J. Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. 2020;6(50). doi:10.1126/sciadv.abc8895
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

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
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8139 | OA
Johnson AJ, Gnyliukh N, Kaufmann W, et al. Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. 2020;133(15). doi:10.1242/jcs.248062
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 9160 | OA
Semerádová H, Montesinos López JC, Benková E. All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. 2020;1(3). doi:10.1016/j.xplc.2020.100048
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 10664 | OA
Yankowitz M, Chen S, Polshyn H, et al. New correlated phenomena in magic-angle twisted bilayer graphene/s. Journal Club for Condensed Matter Physics. 2019;03. doi:10.36471/jccm_february_2019_03
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 10877 | OA
Frehse G, Abate A, Adzkiya D, et al. ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. In: Frehse G, Althoff M, eds. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Vol 61. EasyChair; 2019:1-13. doi:10.29007/rjwn
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 441 | OA
Kalinin N, Shkolnikov M. Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. 2019;5(3):909–928. doi:10.1007/s40879-018-0218-0
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5887 | OA
Demay G, Gazi P, Maurer U, Tackmann B. Per-session security: Password-based cryptography revisited. Journal of Computer Security. 2019;27(1):75-111. doi:10.3233/JCS-181131
[Preprint] View | DOI | Download Preprint (ext.)
 

2019 | Journal Article | IST-REx-ID: 6515 | OA
Dyer R, Vegter G, Wintraecken M. Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . 2019;10(1):223–256. doi:10.20382/jocg.v10i1a9
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6528 | OA
Pietrzak KZ. Simple verifiable delay functions. In: 10th Innovations in Theoretical Computer Science Conference. Vol 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.ITCS.2019.60
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 6565 | OA
Kundu A, Garcia Soto M, Prabhakar P. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In: 5th Indian Control Conference Proceedings. IEEE; 2019. doi:10.1109/INDIANCC.2019.8715598
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6628 | OA
Vegter G, Wintraecken M. The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds. In: The 31st Canadian Conference in Computational Geometry. ; 2019:275-279.
[Submitted Version] View | Files available
 

2019 | Conference Paper | IST-REx-ID: 6648 | OA
Edelsbrunner H, Virk Z, Wagner H. Topological data analysis in information space. In: 35th International Symposium on Computational Geometry. Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:31:1-31:14. doi:10.4230/LIPICS.SOCG.2019.31
[Published Version] View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6659 | OA
Zenmyo N, Tokumaru H, Uchinomiya S, et al. Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins. Bulletin of the Chemical Society of Japan. 2019;92(5):995-1000. doi:10.1246/bcsj.20190034
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications