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

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




5039 Publications

2020 | Preprint | IST-REx-ID: 9750 | OA
Slovakova, Jana, Mateusz K Sikora, Silvia Caballero Mancebo, Gabriel Krens, Walter Kaufmann, Karla Huljev, and Carl-Philipp J Heisenberg. “Tension-Dependent Stabilization of E-Cadherin Limits Cell-Cell Contact Expansion.” BioRxiv. Cold Spring Harbor Laboratory, 2020. https://doi.org/10.1101/2020.11.20.391284.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 7426 | OA
Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2020. https://doi.org/10.1016/j.nahs.2020.100856.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Journal Article | IST-REx-ID: 7885
Reversat, Anne, Florian R Gärtner, Jack Merrin, Julian A Stopp, Saren Tasciyan, Juan L Aguilera Servin, Ingrid de Vries, et al. “Cellular Locomotion Using Environmental Topography.” Nature. Springer Nature, 2020. https://doi.org/10.1038/s41586-020-2283-z.
View | Files available | DOI | WoS
 
2020 | Thesis | IST-REx-ID: 8983 | OA
Emtenani, Shamsi. “Metabolic Regulation of Drosophila Macrophage Tissue Invasion.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8983.
[Published Version] View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8557 | OA
Belyaeva, Vera, Stephanie Wachner, Igor Gridchyn, Markus Linder, Shamsi Emtenani, Attila György, Maria Sibilia, and Daria E Siekhaus. “Cortical Actin Properties Controlled by Drosophila Fos Aid Macrophage Infiltration against Surrounding Tissue Resistance.” BioRxiv, n.d. 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, Kushagra, Andrea C Hofmann, Daniel Jirovec, Ivan Prieto Gonzalez, Amir Sammak, Marc Botifoll, Sara Marti-Sanchez, et al. “Enhancement of Proximity Induced Superconductivity in Planar Germanium.” ArXiv, n.d.
[Submitted Version] View | Files available | arXiv
 
2020 | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst, David, Jacqueline-Claire Montanaro-Punzengruber, Pradeep Bhandari, Matthew J Case, Yugo Fukazawa, and Ryuichi Shigemoto. “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, 2020. https://doi.org/10.3390/ijms21186737.
[Published Version] View | Files available | DOI | WoS
 
2020 | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” In European Symposium on Programming, 12075:112–40. Springer Nature, 2020. 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, Ali, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.” In Automated Technology for Verification and Analysis, 12302:253–70. Springer Nature, 2020. 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, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 672–87. Association for Computing Machinery, 2020. 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, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for Computing Network Reliability in Small Treewidth.” Reliability Engineering and System Safety. Elsevier, 2020. 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, Yekini, Aviv Gibali, and Simone Sagratella. “Inertial Projection-Type Methods for Solving Quasi-Variational Inequalities in Real Hilbert Spaces.” Journal of Optimization Theory and Applications. Springer Nature, 2020. 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, Isabella, Rok Grah, M. Lagator, A. M. C. Andersson, Jonathan P Bollback, Gašper Tkačik, and Calin C Guet. “Gene Amplification as a Form of Population-Level Gene Expression Regulation.” Nature Ecology & Evolution. Springer Nature, 2020. https://doi.org/10.1038/s41559-020-1132-7.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Thesis | IST-REx-ID: 7258 | OA
Scarselli, Davide. “New Approaches to Reduce Friction in Turbulent Pipe Flow.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7258.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8653 | OA
Tomanek, Isabella. “The Evolution of Gene Expression by Copy Number and Point Mutations.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8653.
[Published Version] View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7427 | OA
Tan, Shutang, Melinda F Abas, Inge Verstraeten, Matous Glanc, Gergely Molnar, Jakub Hajny, Pavel Lasák, et al. “Salicylic Acid Targets Protein Phosphatase 2A to Attenuate Growth in Plants.” Current Biology. Cell Press, 2020. 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, Ivan Kulik, Jakub Hajny, and Jiří Friml. “Auxin Canalization and Vascular Tissue Formation by TIR1/AFB-Mediated Auxin Signaling in Arabidopsis.” New Phytologist. Wiley, 2020. 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, Jakub. “Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8822.
[Published Version] View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8350 | OA
Shamipour, Shayan. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes .” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8350.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8569 | OA
Hansen, Andi H, and Simon Hippenmeyer. “Non-Cell-Autonomous Mechanisms in Radial Projection Neuron Migration in the Developing Cerebral Cortex.” Frontiers in Cell and Developmental Biology. Frontiers, 2020. 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, Robert J, Carmen Streicher, Nicole Amberg, Giselle T Cheung, Ximena Contreras, Andi H Hansen, and Simon Hippenmeyer. “Lineage Tracing and Clonal Analysis in Developing Cerebral Cortex Using Mosaic Analysis with Double Markers (MADM).” Journal of Visual Experiments. MyJove Corporation, 2020. https://doi.org/10.3791/61147.
[Published Version] View | Files available | DOI | WoS
 
2020 | Thesis | IST-REx-ID: 7902 | OA
Contreras, Ximena. “Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7902.
[Published Version] View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8190 | OA
Sixt, Michael K, and Anna Huttenlocher. “Zena Werb (1945-2020): Cell Biology in Context.” The Journal of Cell Biology. Rockefeller University Press, 2020. https://doi.org/10.1083/jcb.202007029.
[Published Version] View | Files available | DOI | WoS
 
2020 | Journal Article | IST-REx-ID: 8986 | OA
Zhang, Yuzhou, Lesia Rodriguez Solovey, Lanxin Li, Xixi Zhang, and Jiří Friml. “Functional Innovations of PIN Auxin Transporters Mark Crucial Evolutionary Transitions during Rise of Flowering Plants.” Science Advances. AAAS, 2020. 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, Huihuang, Linyi Lai, Lanxin Li, Liping Liu, Bello Hassan Jakada, Youmei Huang, Qing He, Mengnan Chai, Xiaoping Niu, and Yuan Qin. “AcoMYB4, an Ananas Comosus L. MYB Transcription Factor, Functions in Osmotic Stress through Negative Regulation of ABA Signaling.” International Journal of Molecular Sciences. MDPI, 2020. 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, Alexander J, Nataliia Gnyliukh, Walter Kaufmann, Madhumitha Narasimhan, G Vert, SY Bednarek, and Jiří Friml. “Experimental Toolbox for Quantitative Evaluation of Clathrin-Mediated Endocytosis in the Plant Model Arabidopsis.” Journal of Cell Science. The Company of Biologists, 2020. 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á, Hana, Juan C Montesinos López, and Eva Benková. “All Roads Lead to Auxin: Post-Translational Regulation of Auxin Transport by Multiple Hormonal Pathways.” Plant Communications. Elsevier, 2020. https://doi.org/10.1016/j.xplc.2020.100048.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 10877 | OA
Frehse, Goran, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, et al. “ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.” In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, edited by Goran Frehse and Matthias Althoff, 61:1–13. EasyChair, 2019. https://doi.org/10.29007/rjwn.
[Published Version] View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 441 | OA
Kalinin, Nikita, and Mikhail Shkolnikov. “Tropical Formulae for Summation over a Part of SL(2,Z).” European Journal of Mathematics. Springer Nature, 2019. https://doi.org/10.1007/s40879-018-0218-0.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Book Chapter | IST-REx-ID: 5793
Asaoka, Yoichi, Hitoshi Morita, Hiroko Furumoto, Carl-Philipp J Heisenberg, and Makoto Furutani-Seiki. “Studying YAP-Mediated 3D Morphogenesis Using Fish Embryos and Human Spheroids.” In The Hippo Pathway, edited by Alexander Hergovich, 1893:167–81. Methods in Molecular Biology. Springer, 2019. https://doi.org/10.1007/978-1-4939-8910-2_14.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 5887 | OA
Demay, Gregory, Peter Gazi, Ueli Maurer, and Bjorn Tackmann. “Per-Session Security: Password-Based Cryptography Revisited.” Journal of Computer Security. IOS Press, 2019. https://doi.org/10.3233/JCS-181131.
[Preprint] View | DOI | Download Preprint (ext.)
 
2019 | Journal Article | IST-REx-ID: 6515 | OA
Dyer, Ramsay, Gert Vegter, and Mathijs Wintraecken. “Simplices Modelled on Spaces of Constant Curvature.” Journal of Computational Geometry . Carleton University, 2019. https://doi.org/10.20382/jocg.v10i1a9.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6528 | OA
Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” In 10th Innovations in Theoretical Computer Science Conference, Vol. 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. 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, Atreyee, Miriam Garcia Soto, and Pavithra Prabhakar. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” In 5th Indian Control Conference Proceedings. IEEE, 2019. https://doi.org/10.1109/INDIANCC.2019.8715598.
[Submitted Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6628 | OA
Vegter, Gert, and Mathijs Wintraecken. “The Extrinsic Nature of the Hausdorff Distance of Optimal Triangulations of Manifolds.” In The 31st Canadian Conference in Computational Geometry, 275–79, 2019.
[Submitted Version] View | Files available
 
2019 | Conference Paper | IST-REx-ID: 6648 | OA
Edelsbrunner, Herbert, Ziga Virk, and Hubert Wagner. “Topological Data Analysis in Information Space.” In 35th International Symposium on Computational Geometry, 129:31:1-31:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. 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, Naoki, Hiroki Tokumaru, Shohei Uchinomiya, Hirokazu Fuchida, Shigekazu Tabata, Itaru Hamachi, Ryuichi Shigemoto, and Akio Ojida. “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, 2019. https://doi.org/10.1246/bcsj.20190034.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6725 | OA
Kolmogorov, Vladimir. “Testing the Complexity of a Valued CSP Language.” In 46th International Colloquium on Automata, Languages and Programming, 132:77:1-77:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. 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, Michael. “Sampling the Integers with Low Relative Error.” In Progress in Cryptology – AFRICACRYPT 2019, edited by J Buchmann, A Nitaj, and T Rachidi, 11627:157–80. LNCS. Cham: Springer Nature, 2019. 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, Seyyed Ali, Carlo Condo, Marco Mondelli, and Warren J Gross. “Rate-Flexible Fast Polar Decoders.” IEEE Transactions on Signal Processing. IEEE, 2019. 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, and Martin Töpfer. “On Grounded L-Graphs and Their Relatives.” Electronic Journal of Combinatorics. Electronic Journal of Combinatorics, 2019. https://doi.org/10.37236/8096.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6822 | OA
Avni, Guy, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny. “Bidding Games on Markov Decision Processes.” In Proceedings of the 13th International Conference of Reachability Problems, 11674:1–12. Springer, 2019. 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, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Alexander Svozil. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” In Leibniz International Proceedings in Informatics, Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.7.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6888 | OA
Lechner, Mathias, Ramin Hasani, Manuel Zimmer, Thomas A Henzinger, and Radu Grosu. “Designing Worm-Inspired Neural Networks for Interpretable Robotic Control.” In Proceedings - IEEE International Conference on Robotics and Automation, Vol. 2019–May. IEEE, 2019. https://doi.org/10.1109/icra.2019.8793840.
[Submitted Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. 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, Krishnendu, Thomas A Henzinger, and Jan Otop. “Long-Run Average Behavior of Vector Addition Systems with States,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.27.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6889 | OA
Chatterjee, Krishnendu, and Nir Piterman. “Combinations of Qualitative Winning for Stochastic Parity Games,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.6.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6931 | OA
Nowak, Thomas, and Joel Rybicki. “Byzantine Approximate Agreement on Graphs.” In 33rd International Symposium on Distributed Computing, 146:29:1--29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. 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, Ramin, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, and Daniela Rus. “Response Characterization for Auditing Cell Dynamics in Long Short-Term Memory Networks.” In Proceedings of the International Joint Conference on Neural Networks. IEEE, 2019. https://doi.org/10.1109/ijcnn.2019.8851954.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7007 | OA
Mondelli, Marco, S. Hamed Hassani, and Rüdiger Urbanke. “A New Coding Paradigm for the Primitive Relay Channel.” Algorithms. MDPI, 2019. https://doi.org/10.3390/a12100218.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7035 | OA
Geher, Gyorgy Pal, Tamas Titkos, and Daniel Virosztek. “Dirac Masses and Isometric Rigidity.” In Kyoto RIMS Kôkyûroku, 2125:34–41. Research Institute for Mathematical Sciences, Kyoto University, 2019.
[Submitted Version] View | Download Submitted Version (ext.)
 
2019 | Book (Editor) | IST-REx-ID: 7171
Kersting, Kristian, Christoph Lampert, and Constantin Rothkopf, eds. Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt. 1st ed. Wiesbaden: Springer Nature, 2019. https://doi.org/10.1007/978-3-658-26763-6.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7401 | OA
Fulek, Radoslav, and Jan Kyncl. “Z_2-Genus of Graphs and Minimum Rank of Partial Symmetric Matrices.” In 35th International Symposium on Computational Geometry (SoCG 2019), Vol. 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. 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, Rajeev, Mirco Giacobbe, Thomas A Henzinger, Kim G. Larsen, and Marius Mikučionis. “Continuous-Time Models for System Design and Analysis.” In Computing and Software Science, edited by Bernhard Steffen and Gerhard Woeginger, 10000:452–77. LNCS. Springer Nature, 2019. 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, Lorenzo, and Ulisse Stefanelli. “Penalization via Global Functionals of Optimal-Control Problems for Dissipative Evolution.” Advances in Mathematical Sciences and Applications. Gakko Tosho, 2019.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Preprint | IST-REx-ID: 7552 | OA
Bialek, William, Thomas Gregor, and Gašper Tkačik. “Action at a Distance in Transcriptional Regulation.” ArXiv:1912.08579. ArXiv, n.d.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7576 | OA
Immler, Fabian, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian Schilling. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In EPiC Series in Computing, 61:41–61. EasyChair Publications, 2019. https://doi.org/10.29007/m75b.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 8175 | OA
Betea, Dan, Jérémie Bouttier, Peter Nejjar, and Mirjana Vuletíc. “New Edge Asymptotics of Skew Young Diagrams via Free Boundaries.” In Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Formal Power Series and Algebraic Combinatorics, 2019.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 8570 | OA
Althoff, Matthias, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, and Stefan Schupp. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.” In EPiC Series in Computing, 61:14–40. EasyChair, 2019. https://doi.org/10.29007/bj1w.
[Published Version] View | DOI | Download Published Version (ext.)
 
2019 | Journal Article | IST-REx-ID: 9460 | OA
Kim, M. Yvonne, Akemi Ono, Stefan Scholten, Tetsu Kinoshita, Daniel Zilberman, Takashi Okamoto, and Robert L. Fischer. “DNA Demethylation by ROS1a in Rice Vegetative Cells Promotes Methylation in Sperm.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2019. https://doi.org/10.1073/pnas.1821435116.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6819 | OA
Antoniou, Michael N., Armel Nicolas, Robin Mesnage, Martina Biserni, Francesco V. Rao, and Cristina Vazquez Martin. “Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells.” BMC Research Notes. BioMed Central, 2019. https://doi.org/10.1186/s13104-019-4534-3.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2019 | Research Data Reference | IST-REx-ID: 9784 | OA
Antoniou, Michael N., Armel Nicolas, Robin Mesnage, Martina Biserni, Francesco V. Rao, and Cristina Vazquez Martin. “MOESM1 of Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9411761.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Research Data Reference | IST-REx-ID: 9839 | OA
Polechova, Jitka. “Data from: Is the Sky the Limit? On the Expansion Threshold of a Species’ Range.” Dryad, 2019. https://doi.org/10.5061/dryad.5vv37.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Journal Article | IST-REx-ID: 9530 | OA
Harris, Keith D., James P. B. Lloyd, Katherine Domb, Daniel Zilberman, and Assaf Zemach. “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, 2019. https://doi.org/10.1186/s13072-019-0307-4.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 12192 | OA
He, Shengbo, Martin Vickers, Jingyi Zhang, and Xiaoqi Feng. “Natural Depletion of Histone H1 in Sex Cells Causes DNA Demethylation, Heterochromatin Decondensation and Transposon Activation.” ELife. eLife Sciences Publications, Ltd, 2019. https://doi.org/10.7554/elife.42530.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Journal Article | IST-REx-ID: 12190
Lawrence, Emma J., Hongbo Gao, Andrew J. Tock, Christophe Lambing, Alexander R. Blackwell, Xiaoqi Feng, and Ian R. Henderson. “Natural Variation in TBP-ASSOCIATED FACTOR 4b Controls Meiotic Crossover and Germline Transcription in Arabidopsis.” Current Biology. Elsevier BV, 2019. https://doi.org/10.1016/j.cub.2019.06.084.
View | DOI | PubMed | Europe PMC
 
2019 | Conference Abstract | IST-REx-ID: 12901 | OA
Schlögl, Alois, Janos Kiss, and Stefano Elefante. “Is Debian Suitable for Running an HPC Cluster?” In AHPC19 - Austrian HPC Meeting 2019 , 25. Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz, 2019.
[Published Version] View | Files available | Download Published Version (ext.)
 
2019 | Conference Paper | IST-REx-ID: 6989 | OA
Aichholzer, Oswin, Hugo A Akitaya, Kenneth C Cheung, Erik D Demaine, Martin L Demaine, Sandor P Fekete, Linda Kleist, et al. “Folding Polyominoes with Holes into a Cube.” In Proceedings of the 31st Canadian Conference on Computational Geometry, 164–70. Canadian Conference on Computational Geometry, 2019.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6884 | OA
Avni, Guy, Thomas A Henzinger, and Dorde Zikelic. “Bidding Mechanisms in Graph Games,” Vol. 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.MFCS.2019.11.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Research Data Reference | IST-REx-ID: 9726
Ucar, Mehmet C, and Reinhard Lipowsky. “Supplementary Information - Collective Force Generation by Molecular Motors Is Determined by Strain-Induced Unbinding.” American Chemical Society , 2019. https://doi.org/10.1021/acs.nanolett.9b04445.s001.
[Published Version] View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6671 | OA
Boissonnat, Jean-Daniel, André Lieutier, and Mathijs Wintraecken. “The Reach, Metric Distortion, Geodesic Convexity and the Variation of Tangent Spaces.” Journal of Applied and Computational Topology. Springer Nature, 2019. https://doi.org/10.1007/s41468-019-00029-8.
[Published Version] View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 301 | OA
Gerencser, Mate, and István Gyöngy. “A Feynman–Kac Formula for Stochastic Dirichlet Problems.” Stochastic Processes and Their Applications. Elsevier, 2019. https://doi.org/10.1016/j.spa.2018.04.003.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 80 | OA
Deuchert, Andreas, Robert Seiringer, and Jakob Yngvason. “Bose–Einstein Condensation in a Dilute, Trapped Gas at Positive Temperature.” Communications in Mathematical Physics. Springer, 2019. https://doi.org/10.1007/s00220-018-3239-0.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 5911 | OA
Faria, Rui, Kerstin Johannesson, Roger K. Butlin, and Anja M Westram. “Evolving Inversions.” Trends in Ecology and Evolution. Elsevier, 2019. https://doi.org/10.1016/j.tree.2018.12.005.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 439 | OA
Hausel, Tamás, Martin Mereb, and Michael Wong. “Arithmetic and Representation Theory of Wild Character Varieties.” Journal of the European Mathematical Society. European Mathematical Society, 2019. https://doi.org/10.4171/JEMS/896.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 105 | OA
Marsh, Ashley, Gaia Novarino, Paul Lockhart, and Richard Leventer. “CUGC for Pontocerebellar Hypoplasia Type 9 and Spastic Paraplegia-63.” European Journal of Human Genetics. Springer Nature, 2019. https://doi.org/10.1038/s41431-018-0231-2.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 65 | OA
Dareiotis, Konstantinos, Mate Gerencser, and Benjamin Gess. “Entropy Solutions for Stochastic Porous Media Equations.” Journal of Differential Equations. Elsevier, 2019. https://doi.org/10.1016/j.jde.2018.09.012.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 5907 | OA
Mócsai, Réka, Rudolf Figl, Clemens Troschl, Richard Strasser, Elisabeth Svehla, Markus Windwarder, Andreas Thader, and Friedrich Altmann. “N-Glycans of the Microalga Chlorella Vulgaris Are of the Oligomannosidic Type but Highly Methylated.” Scientific Reports. Nature Publishing Group, 2019. https://doi.org/10.1038/s41598-018-36884-1.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 5908 | OA
Lee, Eunkyoung, Steffen Vanneste, Jessica Pérez-Sancho, Francisco Benitez-Fuente, Matthew Strelau, Alberto P. Macho, Miguel A. Botella, Jiří Friml, and Abel Rosado. “Ionic Stress Enhances ER–PM Connectivity via Phosphoinositide-Associated SYT1 Contact Site Expansion in Arabidopsis.” Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2019. https://doi.org/10.1073/pnas.1818099116.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 5680
Andalo, Christophe, Monique Burrus, Sandrine Paute, Christine Lauzeral, and David Field. “Prevalence of Legitimate Pollinators and Nectar Robbers and the Consequences for Fruit Set in an Antirrhinum Majus Hybrid Zone.” Botany Letters. Taylor and Francis, 2019. https://doi.org/10.1080/23818107.2018.1545142.
View | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 5790 | OA
Chaplick, Steven, Radoslav Fulek, and Pavel Klavík. “Extending Partial Representations of Circle Graphs.” Journal of Graph Theory. Wiley, 2019. https://doi.org/10.1002/jgt.22436.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 405 | OA
Virosztek, Daniel. “Jointly Convex Quantum Jensen Divergences.” Linear Algebra and Its Applications. Elsevier, 2019. https://doi.org/10.1016/j.laa.2018.03.002.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 175 | OA
Browning, Timothy D, and Daniel Loughran. “Sieving Rational Points on Varieties.” Transactions of the American Mathematical Society. American Mathematical Society, 2019. https://doi.org/10.1090/tran/7514.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 319 | OA
Gerencser, Mate, and Martin Hairer. “Singular SPDEs in Domains with Boundaries.” Probability Theory and Related Fields. Springer, 2019. https://doi.org/10.1007/s00440-018-0841-1.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 429 | OA
Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Stability of the Matrix Dyson Equation and Random Matrices with Correlations.” Probability Theory and Related Fields. Springer, 2019. https://doi.org/10.1007/s00440-018-0835-z.
[Published Version] View | Files available | DOI | WoS
 
2019 | Conference Paper | IST-REx-ID: 5947 | OA
Chatterjee, Bapi, Sathya Peri, Muktikanta Sa, and Nandini Singhal. “A Simple and Practical Concurrent Non-Blocking Unbounded Graph with Linearizable Reachability Queries.” In ACM International Conference Proceeding Series, 168–77. ACM, 2019. https://doi.org/10.1145/3288599.3288617.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 5857 | OA
Fulek, Radoslav, and János Pach. “Thrackles: An Improved Upper Bound.” Discrete Applied Mathematics. Elsevier, 2019. https://doi.org/10.1016/j.dam.2018.12.025.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 5944 | OA
Corominas-Murtra, Bernat. “Thermodynamics of Duplication Thresholds in Synthetic Protocell Systems.” Life. MDPI, 2019. https://doi.org/10.3390/life9010009.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 6029 | OA
Lindner, Marco, Aliz Tresztenyak, Gergö Fülöp, Wiebke Jahr, Adrian Prinz, Iris Prinz, Johann G Danzl, Gerhard J. Schütz, and Eva Sevcsik. “A Fast and Simple Contact Printing Approach to Generate 2D Protein Nanopatterns.” Frontiers in Chemistry. Frontiers Media S.A., 2019. https://doi.org/10.3389/fchem.2018.00655.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 6028 | OA
Gerencser, Mate, and Martin Hairer. “A Solution Theory for Quasilinear Singular SPDEs.” Communications on Pure and Applied Mathematics. Wiley, 2019. https://doi.org/10.1002/cpa.21816.
[Published Version] View | Files available | DOI | WoS
 
2019 | Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic Programs.” In International Conference on Verification, Model Checking, and Abstract Interpretation, 11388:468–90. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-11245-5_22.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 5945 | OA
Petkova, Mariela D., Gašper Tkačik, William Bialek, Eric F. Wieschaus, and Thomas Gregor. “Optimal Decoding of Cellular Identities in a Genetic Network.” Cell. Cell Press, 2019. https://doi.org/10.1016/j.cell.2019.01.007.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 5943 | OA
Klotz, Lukasz, Konrad Gumowski, and José Eduardo Wesfreid. “Experiments on a Jet in a Crossflow in the Low-Velocity-Ratio Regime.” Journal of Fluid Mechanics. Cambridge University Press, 2019. https://doi.org/10.1017/jfm.2018.974.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6042 | OA
Christakis, Maria, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, and Valentin Wüstholz. “Semantic Fault Localization and Suspiciousness Ranking.” In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 11427:226–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-17462-0_13.
[Published Version] View | Files available | DOI | WoS
 
2019 | Conference Paper | IST-REx-ID: 6035 | OA
Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “JuliaReach: A Toolbox for Set-Based Reachability.” In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, 22:39–44. ACM, 2019. https://doi.org/10.1145/3302504.3311804.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 6052 | OA
Truckenbrodt, Sven M, Christoph M Sommer, Silvio O Rizzoli, and Johann G Danzl. “A Practical Guide to Optimization in X10 Expansion Microscopy.” Nature Protocols. Nature Publishing Group, 2019. https://doi.org/10.1038/s41596-018-0117-3.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6025 | OA
Capek, Daniel, Michael Smutny, Alexandra Madelaine Tichy, Maurizio Morri, Harald L Janovjak, and Carl-Philipp J Heisenberg. “Light-Activated Frizzled7 Reveals a Permissive Role of Non-Canonical Wnt Signaling in Mesendoderm Cell Migration.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.42093.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 6022 | OA
Merrill, Richard M., Pasi Rastas, Simon H. Martin, Maria C Melo Hurtado, Sarah Barker, John Davey, W. Owen Mcmillan, and Chris D. Jiggins. “Genetic Dissection of Assortative Mating Behavior.” PLoS Biology. Public Library of Science, 2019. https://doi.org/10.1371/journal.pbio.2005902.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 6023 | OA
Yoshida, Saiko, Alja Van Der Schuren, Maritza Van Dop, Luc Van Galen, Shunsuke Saiga, Milad Adibi, Barbara Möller, et al. “A SOSEKI-Based Coordinate System Interprets Global Polarity Cues in Arabidopsis.” Nature Plants. Springer Nature, 2019. https://doi.org/10.1038/s41477-019-0363-6.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2019 | Journal Article | IST-REx-ID: 6053 | OA
Kalaee, Mahmoud, Mohammad Mirhosseini, Paul B. Dieterle, Matilda Peruzzo, Johannes M Fink, and Oskar Painter. “Quantum Electromechanics of a Hypersonic Crystal.” Nature Nanotechnology. Springer Nature, 2019. https://doi.org/10.1038/s41565-019-0377-2.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Search

Filter Publications