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.

4895 Publications


2020 | Conference Paper | IST-REx-ID: 8191
Alistarh, D.-A., Brown, T. A., & Singhal, N. (2020). Memory tagging: Minimalist synchronization for scalable concurrent data structures. In Annual ACM Symposium on Parallelism in Algorithms and Architectures (pp. 37–49). Virtual Event, United States: Association for Computing Machinery. https://doi.org/10.1145/3350755.3400213
View | DOI | WoS
 

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. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP (pp. 423–424). San Diego, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3332466.3374503
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8383
Alistarh, D.-A., Aspnes, J., Ellen, F., Gelashvili, R., & Zhu, L. (2020). Brief Announcement: Why Extension-Based Proofs Fail. In Proceedings of the 39th Symposium on Principles of Distributed Computing (pp. 54–56). Virtual, Italy: Association for Computing Machinery. https://doi.org/10.1145/3382734.3405743
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8385 | OA
Sperl, G., Narain, R., & Wojtan, C. (2020). Homogenized yarn-level cloth. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/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, A. Z. (2020). Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of Chemical Physics. AIP Publishing. https://doi.org/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, M. A., Hendler, D., Milani, A., & Travers, C. (2020). Long-lived snapshots with polylogarithmic amortized step complexity. In Proceedings of the 39th Symposium on Principles of Distributed Computing (pp. 31–40). Virtual, Italy: Association for Computing Machinery. https://doi.org/10.1145/3382734.3406005
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7428 | OA
Ghazaryan, A., Lopes, P. L. S., Hosur, P., Gilbert, M. J., & Ghaemi, P. (2020). Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors. Physical Review B. American Physical Society. https://doi.org/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, B. K., Hosten, O., & Kasevich, M. A. (2020). Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.102.012224
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 8766
Jeschke, S., Hafner, C., Chentanez, N., Macklin, M., Müller-Fischer, M., & Wojtan, C. (2020). Making procedural water waves boundary-aware. Computer Graphics Forum. Online Symposium: Wiley. https://doi.org/10.1111/cgf.14100
View | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 15055 | OA
Brázdil, T., Chatterjee, K., Novotný, P., & Vahala, J. (2020). Reinforcement learning of risk-constrained policies in Markov decision processes. Proceedings of the 34th AAAI Conference on Artificial Intelligence. New York, NY, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/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, S. H., Park, H.-E. H., Jung, Y., Hwang, A. B., … Lee, S.-J. V. (2020). VRK-1 extends life span by activation of AMPK via phosphorylation. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.aaw7824
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 15061 | OA
Pinotsis, N., Zielinska, K., Babuta, M., Arolas, J. L., Kostan, J., Khan, M. B., … Djinovic-Carugo, K. (2020). Calcium modulates the domain flexibility and function of an α-actinin similar to the ancestral α-actinin. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/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. (2020). Čech-Delaunay gradient flow and homology inference for self-maps. Journal of Applied and Computational Topology. Springer Nature. https://doi.org/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, D. J. (2020). Optimal lower bound on the least singular value of the shifted Ginibre ensemble. Probability and Mathematical Physics. Mathematical Sciences Publishers. https://doi.org/10.2140/pmp.2020.1.101
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 15059
Wasiak, M., Botello, G. S., Abdalmalak, K. A., Sedlmeir, F., Rueda Sanchez, A. R., Segovia-Vargas, D., … Munoz, L. E. G. (2020). Compact millimeter and submillimeter-wave photonic radiometer for cubesats. In 14th European Conference on Antennas and Propagation. Copenhagen, Denmark: IEEE. https://doi.org/10.23919/eucap48036.2020.9135962
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 15074 | OA
Brandt, S., Keller, B., Rybicki, J., Suomela, J., & Uitto, J. (2020). Brief announcement: Efficient load-balancing through distributed token dropping. In 34th International Symposium on Distributed Computing (Vol. 179). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/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. (2020). Dynamic averaging load balancing on cycles. In 47th International Colloquium on Automata, Languages, and Programming (Vol. 168). Saarbrücken, Germany, Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/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. (2020). Disjoint tree-compatible plane perfect matchings. In 36th European Workshop on Computational Geometry. Würzburg, Germany, Virtual.
[Published Version] View | Download Published Version (ext.)
 

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

2020 | Journal Article | IST-REx-ID: 15070
Anderson, L., Hausel, T., Mazzeo, R., & Schaposnik, L. (2020). Geometry and physics of Higgs bundles. Oberwolfach Reports. European Mathematical Society. https://doi.org/10.4171/owr/2019/23
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8741 | OA
Klose, A. K., Karle, V., Winkelmann, R., & Donges, J. F. (2020). Emergence of cascading dynamics in interacting tipping elements of ecology and climate: Cascading dynamics in tipping elements. Royal Society Open Science. The Royal Society. https://doi.org/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, E. M. (2020). (Core Trust) Seal your repository! Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. Vereinigung Osterreichischer Bibliothekarinnen und Bibliothekare. https://doi.org/10.31263/voebm.v73i1.3491
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 15079
Erdös, L., Götze, F., & Guionnet, A. (2020). Random matrices. Oberwolfach Reports. European Mathematical Society. https://doi.org/10.4171/owr/2019/56
View | DOI
 

2020 | Journal Article | IST-REx-ID: 15072
Hainzl, C., Schlein, B., Seiringer, R., & Warzel, S. (2020). Many-body quantum systems. Oberwolfach Reports. European Mathematical Society. https://doi.org/10.4171/owr/2019/41
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 15071 | OA
Oshurkova, V., Troshina, O., Trubitsyn, V., Ryzhmanova, Y., Bochkareva, O., & Shcherbakova, V. (2020). 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. Virtual: MDPI. https://doi.org/10.3390/ecm2020-07116
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7525 | OA
Bhandari, P. (2020). Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway. Institute of Science and Technology Austria. https://doi.org/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, F. K. (2020). 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Journal of Structural Biology. Elsevier. https://doi.org/10.1016/j.jsb.2020.107633
[Published Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 8657 | OA
Kavcic, B. (2020). Perturbations of protein synthesis: from antibiotics to genetics and physiology. Institute of Science and Technology Austria. https://doi.org/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, P. M. (2020). Functional electron microscopy (“Flash and Freeze”) of identified cortical synapses in acute brain slices. Neuron. Elsevier. https://doi.org/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, M. T. (2020). Mechanisms of drug interactions between translation-inhibiting antibiotics. Nature Communications. Springer Nature. https://doi.org/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, M. T. (2020). A minimal biophysical model of combined antibiotic action. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/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, J. C., Marhavá, P., Benková, E., Yoshida, S., & Friml, J. (2020). Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2003346117
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 7680 | OA
Kainrath, S. (2020). Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7680
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8620 | OA
Morandell, J. (2020). Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8620
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8340 | OA
Kampjut, D. (2020). Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8340
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 7800 | OA
Morandell, J., Schwarz, L. A., Basilico, B., Tasciyan, S., Nicolas, A., Sommer, C. M., … Novarino, G. (n.d.). Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/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. (2020). Molecular mechanisms for targeted ASD treatments. Current Opinion in Genetics and Development. Elsevier. https://doi.org/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, G. A., Amiri, B., Humphries, A. C., Schaks, M., Dimchev, V., Stradal, T. E. B., … Rottner, K. (2020). Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation. Journal of Cell Science. The Company of Biologists. https://doi.org/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, M. K., Caballero Mancebo, S., Krens, G., Kaufmann, W., Huljev, K., & Heisenberg, C.-P. J. (2020). Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.11.20.391284
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7885
Reversat, A., Gärtner, F. R., Merrin, J., Stopp, J. A., Tasciyan, S., Aguilera Servin, J. L., … Sixt, M. K. (2020). Cellular locomotion using environmental topography. Nature. Springer Nature. https://doi.org/10.1038/s41586-020-2283-z
View | Files available | DOI | WoS
 

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

2020 | Thesis | IST-REx-ID: 8983 | OA
Emtenani, S. (2020). Metabolic regulation of Drosophila macrophage tissue invasion. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8983
[Published Version] View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8557 | OA
Belyaeva, V., Wachner, S., Gridchyn, I., Linder, M., Emtenani, S., György, A., … Siekhaus, D. E. (n.d.). Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv. https://doi.org/10.1101/2020.09.18.301481
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8831 | OA
Aggarwal, K., Hofmann, A. C., Jirovec, D., Prieto Gonzalez, I., Sammak, A., Botifoll, M., … Katsaros, G. (n.d.). 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, M. J., Fukazawa, Y., & Shigemoto, R. (2020). 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. MDPI. https://doi.org/10.3390/ijms21186737
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature. https://doi.org/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, A. K., Mohammadi, K., & Pavlogiannis, A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In Automated Technology for Verification and Analysis (Vol. 12302, pp. 253–270). Hanoi, Vietnam: Springer Nature. https://doi.org/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, A. K., & Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385969
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 6918 | OA
Goharshady, A. K., & Mohammadi, F. (2020). An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. Elsevier. https://doi.org/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. (2020). Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. Springer Nature. https://doi.org/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., Andersson, A. M. C., Bollback, J. P., Tkačik, G., & Guet, C. C. (2020). Gene amplification as a form of population-level gene expression regulation. Nature Ecology & Evolution. Springer Nature. https://doi.org/10.1038/s41559-020-1132-7
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 7258 | OA
Scarselli, D. (2020). New approaches to reduce friction in turbulent pipe flow. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7258
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 7427 | OA
Tan, S., Abas, M. F., Verstraeten, I., Glanc, M., Molnar, G., Hajny, J., … Friml, J. (2020). Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. Cell Press. https://doi.org/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. (2020). Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis. New Phytologist. Wiley. https://doi.org/10.1111/nph.16446
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

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

2020 | Thesis | IST-REx-ID: 8350 | OA
Shamipour, S. (2020). Bulk actin dynamics drive phase segregation in zebrafish oocytes . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8350
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 7815 | OA
Beattie, R. J., Streicher, C., Amberg, N., Cheung, G. T., Contreras, X., Hansen, A. H., & Hippenmeyer, S. (2020). Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM). Journal of Visual Experiments. MyJove Corporation. https://doi.org/10.3791/61147
[Published Version] View | Files available | DOI | WoS
 

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

2020 | Journal Article | IST-REx-ID: 8190 | OA
Sixt, M. K., & Huttenlocher, A. (2020). Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. Rockefeller University Press. https://doi.org/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. (2020). Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. AAAS. https://doi.org/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., Liu, L., Jakada, B. H., Huang, Y., … Qin, Y. (2020). AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21165727
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8139 | OA
Johnson, A. J., Gnyliukh, N., Kaufmann, W., Narasimhan, M., Vert, G., Bednarek, S., & Friml, J. (2020). Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. The Company of Biologists. https://doi.org/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, J. C., & Benková, E. (2020). All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. Elsevier. https://doi.org/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., Watanabe, K., Taniguchi, T., Graf, D., … Finney, J. (2019). New correlated phenomena in magic-angle twisted bilayer graphene/s. Journal Club for Condensed Matter Physics. Simons Foundation ; University of California, Riverside. https://doi.org/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., Becchi, A., Bu, L., Cimatti, A., … Zaffanella, E. (2019). ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. In G. Frehse & M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Vol. 61, pp. 1–13). Montreal, Canada: EasyChair. https://doi.org/10.29007/rjwn
[Published Version] View | Files available | DOI
 

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

2019 | Book Chapter | IST-REx-ID: 5793
Asaoka, Y., Morita, H., Furumoto, H., Heisenberg, C.-P. J., & Furutani-Seiki, M. (2019). Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids. In A. Hergovich (Ed.), The hippo pathway (Vol. 1893, pp. 167–181). Springer. https://doi.org/10.1007/978-1-4939-8910-2_14
View | DOI
 

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

2019 | Journal Article | IST-REx-ID: 6515 | OA
Dyer, R., Vegter, G., & Wintraecken, M. (2019). Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . Carleton University. https://doi.org/10.20382/jocg.v10i1a9
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6528 | OA
Pietrzak, K. Z. (2019). Simple verifiable delay functions. In 10th Innovations in Theoretical Computer Science Conference (Vol. 124). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/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. (2019). Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In 5th Indian Control Conference Proceedings. Delhi, India: IEEE. https://doi.org/10.1109/INDIANCC.2019.8715598
[Submitted Version] View | Files available | DOI
 

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

2019 | Conference Paper | IST-REx-ID: 6648 | OA
Edelsbrunner, H., Virk, Z., & Wagner, H. (2019). Topological data analysis in information space. In 35th International Symposium on Computational Geometry (Vol. 129, p. 31:1-31:14). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/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., Fuchida, H., Tabata, S., Hamachi, I., … Ojida, A. (2019). 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. Bulletin of the Chemical Society of Japan. https://doi.org/10.1246/bcsj.20190034
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6725 | OA
Kolmogorov, V. (2019). Testing the complexity of a valued CSP language. In 46th International Colloquium on Automata, Languages and Programming (Vol. 132, p. 77:1-77:12). Patras, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ICALP.2019.77
[Published Version] View | Files available | DOI | arXiv
 

2019 | Book Chapter | IST-REx-ID: 6726 | OA
Walter, M. (2019). Sampling the integers with low relative error. In J. Buchmann, A. Nitaj, & T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019 (Vol. 11627, pp. 157–180). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-23696-0_9
[Preprint] View | DOI | Download Preprint (ext.)
 

2019 | Journal Article | IST-REx-ID: 6750 | OA
Hashemi, S. A., Condo, C., Mondelli, M., & Gross, W. J. (2019). Rate-flexible fast polar decoders. IEEE Transactions on Signal Processing. IEEE. https://doi.org/10.1109/TSP.2019.2944738
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6759 | OA
Jelínek, V., & Töpfer, M. (2019). On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics. https://doi.org/10.37236/8096
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6822 | OA
Avni, G., Henzinger, T. A., Ibsen-Jensen, R., & Novotny, P. (2019). Bidding games on Markov decision processes. In Proceedings of the 13th International Conference of Reachability Problems (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer. https://doi.org/10.1007/978-3-030-30806-3_1
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6887 | OA
Chatterjee, K., Dvorák, W., Henzinger, M. H., & Svozil, A. (2019). Near-linear time algorithms for Streett objectives in graphs and MDPs. In Leibniz International Proceedings in Informatics (Vol. 140). Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.7
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6888 | OA
Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., & Grosu, R. (2019). Designing worm-inspired neural networks for interpretable robotic control. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2019–May). Montreal, QC, Canada: IEEE. https://doi.org/10.1109/icra.2019.8793840
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari, M., Avni, G., & Henzinger, T. A. (2019). Determinacy in discrete-bidding infinite-duration games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.20
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6885 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2019). Long-run average behavior of vector addition systems with states (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.27
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6889 | OA
Chatterjee, K., & Piterman, N. (2019). Combinations of Qualitative Winning for Stochastic Parity Games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.6
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6931 | OA
Nowak, T., & Rybicki, J. (2019). Byzantine approximate agreement on graphs. In 33rd International Symposium on Distributed Computing (Vol. 146, p. 29:1--29:17). Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.DISC.2019.29
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6985 | OA
Hasani, R., Amini, A., Lechner, M., Naser, F., Grosu, R., & Rus, D. (2019). Response characterization for auditing cell dynamics in long short-term memory networks. In Proceedings of the International Joint Conference on Neural Networks. Budapest, Hungary: IEEE. https://doi.org/10.1109/ijcnn.2019.8851954
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7007 | OA
Mondelli, M., Hassani, S. H., & Urbanke, R. (2019). A new coding paradigm for the primitive relay channel. Algorithms. MDPI. https://doi.org/10.3390/a12100218
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7035 | OA
Geher, G. P., Titkos, T., & Virosztek, D. (2019). Dirac masses and isometric rigidity. In Kyoto RIMS Kôkyûroku (Vol. 2125, pp. 34–41). Kyoto, Japan: Research Institute for Mathematical Sciences, Kyoto University.
[Submitted Version] View | Download Submitted Version (ext.)
 

2019 | Book (Editor) | IST-REx-ID: 7171
Kersting, K., Lampert, C., & Rothkopf, C. (Eds.). (2019). Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt (1st ed.). Wiesbaden: Springer Nature. https://doi.org/10.1007/978-3-658-26763-6
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7401 | OA
Fulek, R., & Kyncl, J. (2019). Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In 35th International Symposium on Computational Geometry (SoCG 2019) (Vol. 129). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.39
[Published Version] View | Files available | DOI | arXiv
 

2019 | Book Chapter | IST-REx-ID: 7453 | OA
Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., & Mikučionis, M. (2019). Continuous-time models for system design and analysis. In B. Steffen & G. Woeginger (Eds.), Computing and Software Science (Vol. 10000, pp. 452–477). Springer Nature. https://doi.org/10.1007/978-3-319-91908-9_22
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 7550 | OA
Portinale, L., & Stefanelli, U. (2019). Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. Gakko Tosho.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 7552 | OA
Bialek, W., Gregor, T., & Tkačik, G. (n.d.). Action at a distance in transcriptional regulation. arXiv:1912.08579. ArXiv.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7576 | OA
Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M., … Schilling, C. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 61, pp. 41–61). Montreal, Canada: EasyChair Publications. https://doi.org/10.29007/m75b
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 8175 | OA
Betea, D., Bouttier, J., Nejjar, P., & Vuletíc, M. (2019). New edge asymptotics of skew Young diagrams via free boundaries. In Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Ljubljana, Slovenia: Formal Power Series and Algebraic Combinatorics.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 8570 | OA
Althoff, M., Bak, S., Forets, M., Frehse, G., Kochdumper, N., Ray, R., … Schupp, S. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics. In EPiC Series in Computing (Vol. 61, pp. 14–40). Montreal, Canada: EasyChair. https://doi.org/10.29007/bj1w
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6819 | OA
Antoniou, M. N., Nicolas, A., Mesnage, R., Biserni, M., Rao, F. V., & Martin, C. V. (2019). Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. BioMed Central. https://doi.org/10.1186/s13104-019-4534-3
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications