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 
LibreCat: https://research-explorer.ista.ac.at/record/15063
DOI: 10.2140/pmp.2020.1.101
arXiv: 1908.01653

Wasiak, M., Botello, G. S., Abdalmalak, K. A., Sedlmeir, F., Rueda Sanchez, A. R., Segovia-Vargas, D.,https://doi.org/10.23919/eucap48036.2020.9135962__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 
LibreCat: https://research-explorer.ista.ac.at/record/15059
DOI: 10.23919/eucap48036.2020.9135962

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 
LibreCat: https://research-explorer.ista.ac.at/record/15074
DOI: 10.4230/LIPIcs.DISC.2020.40
arXiv: 2005.07761

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 
LibreCat: https://research-explorer.ista.ac.at/record/15077
DOI: 10.4230/LIPIcs.ICALP.2020.7
arXiv: 2003.09297

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.
LibreCat: https://research-explorer.ista.ac.at/record/15082

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 
LibreCat: https://research-explorer.ista.ac.at/record/6748
DOI: 10.1214/20-AOS1945
WoS: 000598369200021
arXiv: 1901.01375

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 
LibreCat: https://research-explorer.ista.ac.at/record/15070
DOI: 10.4171/owr/2019/23

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 
LibreCat: https://research-explorer.ista.ac.at/record/8741
DOI: 10.1098/rsos.200599
WoS: 000545625200001
arXiv: 1910.12042

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 
LibreCat: https://research-explorer.ista.ac.at/record/7687
DOI: 10.31263/voebm.v73i1.3491

Erdös, L., Götze, F., &; Guionnet, A. (2020). Random matrices. Oberwolfach Reports. European Mathematical Society.https://doi.org/10.4171/owr/2019/56 
LibreCat: https://research-explorer.ista.ac.at/record/15079
DOI: 10.4171/owr/2019/56

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 
LibreCat: https://research-explorer.ista.ac.at/record/15072
DOI: 10.4171/owr/2019/41

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 GLT. In Proceedings of 1st International Electronic Conference on Microbiology. Virtual: MDPI.https://doi.org/10.3390/ecm2020-07116 
LibreCat: https://research-explorer.ista.ac.at/record/15071
DOI: 10.3390/ecm2020-07116

Fäßler, F., Dimchev, G. A., Hodirnau, V.-V., Zens, B., Möhl, C., Bradke, F., &; Schur, F. K. (2020). Cryo-electron tomography workflows for quantitative analysis of actin networks involved in cell migration. Microscopy and Microanalysis. Oxford University Press.https://doi.org/10.1017/s1431927620021881 
LibreCat: https://research-explorer.ista.ac.at/record/15286
DOI: 10.1017/s1431927620021881

Faghri, F., Tabrizian, I., Markov, I., Alistarh, D.-A., Roy, D., &; Ramezani-Kebrya, A. (2020). Adaptive gradient quantization for data-parallel SGD. In Advances in Neural Information Processing Systems (Vol. 33). Vancouver, Canada: Neural Information Processing Systems Foundation.
LibreCat: https://research-explorer.ista.ac.at/record/15086
arXiv: 2010.12460

Bhandari, P. (2020). Localization and functional role of Ca.3 in the medial habenula to interpeduncular nucleus pathway. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7525 
LibreCat: https://research-explorer.ista.ac.at/record/7525
DOI: 10.15479/AT:ISTA:7525

Schauer, A., Nunes Pinheiro, D. C., Hauschild, R., &; Heisenberg, C.-P. J. (2020). Zebrafish embryonic explants undergo genetically encoded self-assembly. ELife. eLife Sciences Publications.https://doi.org/10.7554/elife.55190 
LibreCat: https://research-explorer.ista.ac.at/record/7888
DOI: 10.7554/elife.55190
WoS: 000531544400001
PMID: 32250246

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 
LibreCat: https://research-explorer.ista.ac.at/record/8586
DOI: 10.1016/j.jsb.2020.107633
WoS: 000600997800008

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 
LibreCat: https://research-explorer.ista.ac.at/record/7473
DOI: 10.1016/j.neuron.2019.12.022
WoS: 000520854700008
PMID: 31928842

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 
LibreCat: https://research-explorer.ista.ac.at/record/8657
DOI: 10.15479/AT:ISTA:8657

Kavcic, B., Tkadik, 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 
LibreCat: https://research-explorer.ista.ac.at/record/8250
DOI: 10.1038/s41467-020-17734-z
WoS: 000562769300008

Kavcic, B., Tkadik, 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 
LibreCat: https://research-explorer.ista.ac.at/record/7673
DOI: 10.1101/2020.04.18.047886

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 
LibreCat: https://research-explorer.ista.ac.at/record/8002
DOI: 10.1073/pnas.2003346117
WoS: 000565729700033
PMID: 32541049

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 
LibreCat: https://research-explorer.ista.ac.at/record/7680
DOI: 10.15479/AT:ISTA:7680

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 
LibreCat: https://research-explorer.ista.ac.at/record/8620
DOI: 10.15479/AT:ISTA:8620

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 
LibreCat: https://research-explorer.ista.ac.at/record/8340
DOI: 10.15479/AT:ISTA:8340

Dimchev, G. A., Amiri, B., Humphries, A. C., Schaks, M., Dimchev, V., Stradal, T. E. B.,https://doi.org/10.1242/jcs.239020__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 
LibreCat: https://research-explorer.ista.ac.at/record/8434
DOI: 10.1242/jcs.239020
WoS: 000534387800005
PMID:  32094266

Morandell, J., Schwarz, L. A., Basilico, B., Tasciyan, S., Nicolas, A., Sommer, C. M.,https://doi.org/10.1101/2020.01.10.902064 __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  
LibreCat: https://research-explorer.ista.ac.at/record/7800
DOI: 10.1101/2020.01.10.902064 

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 
LibreCat: https://research-explorer.ista.ac.at/record/8131
DOI: 10.1016/j.gde.2020.06.004
WoS: 000598918900019
PMID: 32659636

Mitiouchkina, T., Mishin, A. S., Gonzalez Somermeyer, L., Markina, N. M., Chepurnyh, T. V., Guglya, E. B.,https://doi.org/10.1038/s41587-020-0500-9__Sarkisyan, K. S. (2020). Plants with genetically encoded autoluminescence. Nature Biotechnology. Springer Nature.https://doi.org/10.1038/s41587-020-0500-9 
LibreCat: https://research-explorer.ista.ac.at/record/7889
DOI: 10.1038/s41587-020-0500-9
WoS: 000529298800003
PMID: 32341562

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 
LibreCat: https://research-explorer.ista.ac.at/record/9750
DOI: 10.1101/2020.11.20.391284

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 
LibreCat: https://research-explorer.ista.ac.at/record/7426
DOI: 10.1016/j.nahs.2020.100856
WoS: 000528828600003

Reversat, A., Gärtner, F. R., Merrin, J., Stopp, J. A., Tasciyan, S., Aguilera Servin, J. L.,https://doi.org/10.1038/s41586-020-2283-z__Sixt, M. K. (2020). Cellular locomotion using environmental topography. Nature. Springer Nature.https://doi.org/10.1038/s41586-020-2283-z 
LibreCat: https://research-explorer.ista.ac.at/record/7885
DOI: 10.1038/s41586-020-2283-z
WoS: 000532688300008

Emtenani, S. (2020). Metabolic regulation of Drosophila macrophage tissue invasion. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8983 
LibreCat: https://research-explorer.ista.ac.at/record/8983
DOI: 10.15479/AT:ISTA:8983

Belyaeva, V., Wachner, S., Gridchyn, I., Linder, M., Emtenani, S., György, A.,https://doi.org/10.1101/2020.09.18.301481__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 
LibreCat: https://research-explorer.ista.ac.at/record/8557
DOI: 10.1101/2020.09.18.301481

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.
LibreCat: https://research-explorer.ista.ac.at/record/8831
arXiv: 2012.00322

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 
LibreCat: https://research-explorer.ista.ac.at/record/8532
DOI: 10.3390/ijms21186737
WoS: 000579945300001

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 
LibreCat: https://research-explorer.ista.ac.at/record/7810
DOI: 10.1007/978-3-030-44914-8_5
WoS: 000681656800005

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 
LibreCat: https://research-explorer.ista.ac.at/record/8728
DOI: 10.1007/978-3-030-59152-6_14
WoS: 000723555700014

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 
LibreCat: https://research-explorer.ista.ac.at/record/8089
DOI: 10.1145/3385412.3385969
WoS: 000614622300045
arXiv: 1902.04373

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 
LibreCat: https://research-explorer.ista.ac.at/record/6918
DOI: 10.1016/j.ress.2019.106665
WoS: 000501641400050
arXiv: 1712.09692

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 
LibreCat: https://research-explorer.ista.ac.at/record/7161
DOI: 10.1007/s10957-019-01616-6
WoS: 000511805200009

Tomanek, I., Grah, R., Lagator, M., Andersson, A. M. C., Bollback, J. P., Tkadik, 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 
LibreCat: https://research-explorer.ista.ac.at/record/7652
DOI: 10.1038/s41559-020-1132-7
WoS: 000519008300005

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 
LibreCat: https://research-explorer.ista.ac.at/record/7258
DOI: 10.15479/AT:ISTA:7258

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 
LibreCat: https://research-explorer.ista.ac.at/record/8653
DOI: 10.15479/AT:ISTA:8653

Tan, S., Abas, M. F., Verstraeten, I., Glanc, M., Molnar, G., Hajny, J.,https://doi.org/10.1016/j.cub.2019.11.058__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 
LibreCat: https://research-explorer.ista.ac.at/record/7427
DOI: 10.1016/j.cub.2019.11.058
WoS: 000511287900018
PMID: 31956021

Mazur, E., Kulik, I., Hajny, J., &; Friml, J. (2020). Auxin canalization and vascular tissue formation by TI/AFB-mediated auxin signaling in arabidopsis. New Phytologist. Wiley.https://doi.org/10.1111/nph.16446 
LibreCat: https://research-explorer.ista.ac.at/record/7500
DOI: 10.1111/nph.16446
WoS: 000514939700001
PMID: 31971254

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 
LibreCat: https://research-explorer.ista.ac.at/record/8822
DOI: 10.15479/AT:ISTA:8822

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 
LibreCat: https://research-explorer.ista.ac.at/record/8350
DOI: 10.15479/AT:ISTA:8350

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 
LibreCat: https://research-explorer.ista.ac.at/record/8569
DOI: 10.3389/fcell.2020.574382
WoS: 000577915900001
PMID: 33102480

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 
LibreCat: https://research-explorer.ista.ac.at/record/7815
DOI: 10.3791/61147
WoS: 000546406600043

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 
LibreCat: https://research-explorer.ista.ac.at/record/7902
DOI: 10.15479/AT:ISTA:7902

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 
LibreCat: https://research-explorer.ista.ac.at/record/8190
DOI: 10.1083/jcb.202007029
WoS: 000573631000004

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 
LibreCat: https://research-explorer.ista.ac.at/record/8986
DOI: 10.1126/sciadv.abc8895
WoS: 000599903600014
PMID: 33310852

Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y.,https://doi.org/10.3390/ijms21165727__Qin, Y. (2020). AcoMY, 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 
LibreCat: https://research-explorer.ista.ac.at/record/8283
DOI: 10.3390/ijms21165727
WoS: 000565090300001
PMID: 32785037

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 
LibreCat: https://research-explorer.ista.ac.at/record/8139
DOI: 10.1242/jcs.248062
WoS: 000561047900021
PMID: 32616560

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 
LibreCat: https://research-explorer.ista.ac.at/record/9160
DOI: 10.1016/j.xplc.2020.100048
WoS: 000654052800010
PMID: 33367243

Frehse, G., Abate, A., Adzkiya, D., Becchi, A., Bu, L., Cimatti, A.,https://doi.org/10.29007/rjwn__Zaffanella, E. (2019). ARCH-COM Category Report: Hybrid systems with piecewise constant dynamics. In G. Frehse &; M. Althoff (Eds.), ARC. 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 
LibreCat: https://research-explorer.ista.ac.at/record/10877
DOI: 10.29007/rjwn

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 
LibreCat: https://research-explorer.ista.ac.at/record/441
DOI: 10.1007/s40879-018-0218-0
arXiv: 1711.02089

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 
LibreCat: https://research-explorer.ista.ac.at/record/5793
DOI: 10.1007/978-1-4939-8910-2_14

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 
LibreCat: https://research-explorer.ista.ac.at/record/5887
DOI: 10.3233/JCS-181131

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 
LibreCat: https://research-explorer.ista.ac.at/record/6515
DOI: 10.20382/jocg.v10i1a9

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 
LibreCat: https://research-explorer.ista.ac.at/record/6528
DOI: 10.4230/LIPICS.ITCS.2019.60

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 
LibreCat: https://research-explorer.ista.ac.at/record/6565
DOI: 10.1109/INDIANCC.2019.8715598

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.
LibreCat: https://research-explorer.ista.ac.at/record/6628

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 
LibreCat: https://research-explorer.ista.ac.at/record/6648
DOI: 10.4230/LIPICS.SOCG.2019.31
arXiv: 1903.08510

Zenmyo, N., Tokumaru, H., Uchinomiya, S., Fuchida, H., Tabata, S., Hamachi, I.,https://doi.org/10.1246/bcsj.20190034__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 
LibreCat: https://research-explorer.ista.ac.at/record/6659
DOI: 10.1246/bcsj.20190034

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 
LibreCat: https://research-explorer.ista.ac.at/record/6725
DOI: 10.4230/LIPICS.ICALP.2019.77
arXiv: 1803.02289

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 
LibreCat: https://research-explorer.ista.ac.at/record/6726
DOI: 10.1007/978-3-030-23696-0_9

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 
LibreCat: https://research-explorer.ista.ac.at/record/6750
DOI: 10.1109/TSP.2019.2944738
arXiv: 1903.09203

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 
LibreCat: https://research-explorer.ista.ac.at/record/6759
DOI: 10.37236/8096
arXiv: 1808.04148

Avni, G., Henzinger, T. A., Ibsen-Jensen, R., &; Novotny, P. (2019). Bidding games on Markov decision processes. In https://doi.org/10.1007/978-3-030-30806-3_1__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 
LibreCat: https://research-explorer.ista.ac.at/record/6822
DOI: 10.1007/978-3-030-30806-3_1

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 
LibreCat: https://research-explorer.ista.ac.at/record/6887
DOI: 10.4230/LIPICS.CONCUR.2019.7

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 
LibreCat: https://research-explorer.ista.ac.at/record/6888
DOI: 10.1109/icra.2019.8793840

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 
LibreCat: https://research-explorer.ista.ac.at/record/6886
DOI: 10.4230/LIPICS.CONCUR.2019.20
arXiv: 1905.03588

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 
LibreCat: https://research-explorer.ista.ac.at/record/6885
DOI: 10.4230/LIPICS.CONCUR.2019.27

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 
LibreCat: https://research-explorer.ista.ac.at/record/6889
DOI: 10.4230/LIPICS.CONCUR.2019.6

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 
LibreCat: https://research-explorer.ista.ac.at/record/6931
DOI: 10.4230/LIPICS.DISC.2019.29
arXiv: 1908.02743

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 
LibreCat: https://research-explorer.ista.ac.at/record/6985
DOI: 10.1109/ijcnn.2019.8851954
arXiv: 1809.03864

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 
LibreCat: https://research-explorer.ista.ac.at/record/7007
DOI: 10.3390/a12100218
arXiv: 1801.03153

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.
LibreCat: https://research-explorer.ista.ac.at/record/7035

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 
LibreCat: https://research-explorer.ista.ac.at/record/7171
DOI: 10.1007/978-3-658-26763-6

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 
LibreCat: https://research-explorer.ista.ac.at/record/7401
DOI: 10.4230/LIPICS.SOCG.2019.39
arXiv: 1903.08637

Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., &; Mikudionis, 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 
LibreCat: https://research-explorer.ista.ac.at/record/7453
DOI: 10.1007/978-3-319-91908-9_22

Portinale, L., &; Stefanelli, U. (2019). Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. Gakko Tosho.
LibreCat: https://research-explorer.ista.ac.at/record/7550
arXiv: 1910.10050

Bialek, W., Gregor, T., &; Tkadik, G. (n.d.). Action at a distance in transcriptional regulation. arXiv:1912.08579. ArXiv.
LibreCat: https://research-explorer.ista.ac.at/record/7552
arXiv: 1912.08579

Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M.,https://doi.org/10.29007/m75b__Schilling, C. (2019). ARCH-COM 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 
LibreCat: https://research-explorer.ista.ac.at/record/7576
DOI: 10.29007/m75b

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.
LibreCat: https://research-explorer.ista.ac.at/record/8175
arXiv: 1902.08750

Althoff, M., Bak, S., Forets, M., Frehse, G., Kochdumper, N., Ray, R.,https://doi.org/10.29007/bj1w__Schupp, S. (2019). ARCH-COM 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 
LibreCat: https://research-explorer.ista.ac.at/record/8570
DOI: 10.29007/bj1w

Kim, M. Y., Ono, A., Scholten, S., Kinoshita, T., Zilberman, D., Okamoto, T., &; Fischer, R. L. (2019). DNA demethylation by ROa in rice vegetative cells promotes methylation in sperm. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1821435116 
LibreCat: https://research-explorer.ista.ac.at/record/9460
DOI: 10.1073/pnas.1821435116
PMID: 31000601

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 
LibreCat: https://research-explorer.ista.ac.at/record/6819
DOI: 10.1186/s13104-019-4534-3
PMID: 31395095

Antoniou, M. N., Nicolas, A., Mesnage, R., Biserni, M., Rao, F. V., &; Martin, C. V. (2019). MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. Springer Nature.https://doi.org/10.6084/m9.figshare.9411761.v1 
LibreCat: https://research-explorer.ista.ac.at/record/9784
DOI: 10.6084/m9.figshare.9411761.v1

Polechova, J. (2019). Data from: Is the sky the limit? On the expansion threshold of a species’ range. Dryad.https://doi.org/10.5061/dryad.5vv37 
LibreCat: https://research-explorer.ista.ac.at/record/9839
DOI: 10.5061/dryad.5vv37

Harris, K. D., Lloyd, J. P. B., Domb, K., Zilberman, D., &; Zemach, A. (2019). DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development. Epigenetics and Chromatin. Springer Nature.https://doi.org/10.1186/s13072-019-0307-4 
LibreCat: https://research-explorer.ista.ac.at/record/9530
DOI: 10.1186/s13072-019-0307-4
PMID: 31601251

He, S., Vickers, M., Zhang, J., &; Feng, X. (2019). Natural depletion of histonehttps://doi.org/10.7554/elife.42530__in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation. ELife. eLife Sciences Publications, Ltd.https://doi.org/10.7554/elife.42530 
LibreCat: https://research-explorer.ista.ac.at/record/12192
DOI: 10.7554/elife.42530

Lawrence, E. J., Gao, H., Tock, A. J., Lambing, C., Blackwell, A. R., Feng, X., &; Henderson, I. R. (2019). Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis. Current Biology. Elsevier BV.https://doi.org/10.1016/j.cub.2019.06.084 
LibreCat: https://research-explorer.ista.ac.at/record/12190
DOI: 10.1016/j.cub.2019.06.084
PMID: 31378616

Schlögl, A., Kiss, J., &; Elefante, S. (2019). Is Debian suitable for running an HPC Cluster? In AHP - Austrian HPC Meeting 2019  (p. 25). Grundlsee, Austria: Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz.
LibreCat: https://research-explorer.ista.ac.at/record/12901

Aichholzer, O., Akitaya, H. A., Cheung, K. C., Demaine, E. D., Demaine, M. L., Fekete, S. P.,  Schmidt, C. (2019). Folding polyominoes with holes into a cube. In Proceedings of the 31st Canadian Conference on Computational Geometry (pp. 164–170). Edmonton, Canada: Canadian Conference on Computational Geometry.
LibreCat: https://research-explorer.ista.ac.at/record/6989
arXiv: 1910.09917

Avni, G., Henzinger, T. A., &; Zikelic, D. (2019). Bidding mechanisms in graph games (Vol. 138). Presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.MFCS.2019.11 
LibreCat: https://research-explorer.ista.ac.at/record/6884
DOI: 10.4230/LIPICS.MFCS.2019.11
arXiv: 1905.03835

Ucar, M. C., &; Lipowsky, R. (2019). Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding. American Chemical Society .https://doi.org/10.1021/acs.nanolett.9b04445.s001 
LibreCat: https://research-explorer.ista.ac.at/record/9726
DOI: 10.1021/acs.nanolett.9b04445.s001

Boissonnat, J.-D., Lieutier, A., &; Wintraecken, M. (2019). The reach, metric distortion, geodesic convexity and the variation of tangent spaces. Journal of Applied and Computational Topology. Springer Nature.https://doi.org/10.1007/s41468-019-00029-8 
LibreCat: https://research-explorer.ista.ac.at/record/6671
DOI: 10.1007/s41468-019-00029-8