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.




5339 Publications

2019 | Published | 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 | Published | Journal Article | IST-REx-ID: 5986 | OA
Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations.” Discrete & Computational Geometry. Springer Nature, 2019. https://doi.org/10.1007/s00454-018-0035-8.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 6046 | OA
Mitosch, Karin, Georg Rieckh, and Mark Tobias Bollenbach. “Temporal Order and Precision of Complex Stress Responses in Individual Bacteria.” Molecular Systems Biology. Embo Press, 2019. https://doi.org/10.15252/msb.20188470.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6049 | OA
De Martino, Daniele. “Feedback-Induced Self-Oscillations in Large Interacting Systems Subjected to Phase Transitions.” Journal of Physics A: Mathematical and Theoretical. IOP Publishing, 2019. https://doi.org/10.1088/1751-8121/aaf2dd.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6050 | OA
Akopyan, Arseniy, and Roman Fedorov. “Two Circles and Only a Straightedge.” Proceedings of the American Mathematical Society. AMS, 2019. https://doi.org/10.1090/proc/14240.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | 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 | Published | 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
 
2019 | Research Data | IST-REx-ID: 6060 | OA
Vicoso, Beatriz. “Supplementary Data for ‘Sex-Biased Gene Expression and Dosage Compensation on the Artemia Franciscana Z-Chromosome’ (Huylman, Toups et Al., 2019). .” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6060.
[Published Version] View | Files available | DOI
 
2019 | Research Data | IST-REx-ID: 6062 | OA
Nardin, Michele. “Supplementary Code and Data for the Paper ‘The Entorhinal Cognitive Map Is Attracted to Goals.’” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6062.
[Published Version] View | Files available | DOI
 
2019 | Published | Journal Article | IST-REx-ID: 6069 | OA
Mayzel, Jonathan, Victor Steinberg, and Atul Varshney. “Stokes Flow Analogous to Viscous Electron Current in Graphene.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-08916-5.
[Published Version] View | Files available | DOI | WoS
 
2019 | Research Data | IST-REx-ID: 6074 | OA
Dotter, Christoph, and Gaia Novarino. “Supplementary Data for the Research Paper ‘Haploinsufficiency of the Intellectual Disability Gene SETD5 Disturbs Developmental Gene Expression and Cognition.’” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6074.
[Published Version] View | Files available | DOI
 
2019 | Published | Journal Article | IST-REx-ID: 6086 | OA
Sadel, Christian, and Disheng Xu. “Singular Analytic Linear Cocycles with Negative Infinite Lyapunov Exponents.” Ergodic Theory and Dynamical Systems. Cambridge University Press, 2019. https://doi.org/10.1017/etds.2017.52.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6087 | OA
Xia, Peng, Daniel J Gütl, Vanessa Zheden, and Carl-Philipp J Heisenberg. “Lateral Inhibition in Cell Specification Mediated by Mechanical Signals Modulating TAZ Activity.” Cell. Elsevier, 2019. https://doi.org/10.1016/j.cell.2019.01.019.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed