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.
5368 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8572 | 
Althoff M, Bak S, Bao Z, Forets M, Frehse G, Freire D, Kochdumper N, Li Y, Mitra S, Ray R, Schilling C, Schupp S, Wetzlinger M. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 16–48.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 9299 |
Pach J, Tardos G, Tóth G. 2020. Crossings between non-homotopic edges. 28th International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network VisualizationLNCS vol. 12590, 359–371.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8163 |
Vegter G, Wintraecken M. 2020. Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 57(2), 193–199.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7962 |
Pach J, Reed B, Yuditsky Y. 2020. Almost all string graphs are intersection graphs of plane convex sets. Discrete and Computational Geometry. 63(4), 888–917.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7236 |
Baskett C, Schroeder L, Weber MG, Schemske DW. 2020. Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs. 90(1), e01397.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8287 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. EMSOFT: International Conference on Embedded Software.
[Preprint]
View
| Files available
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8790 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11), 4018–4029.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9526 |
Choi J, Lyons DB, Kim MY, Moore JD, Zilberman D. 2020. DNA methylation and histone H1 jointly repress transposable elements and aberrant intragenic transcripts. Molecular Cell. 77(2), 310–323.e7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Research Data Reference | IST-REx-ID: 9799 |
Fraisse C, Welch JJ. 2020. Simulation code for Fig S1 from the distribution of epistasis on simple fitness landscapes, Royal Society of London, 10.6084/m9.figshare.7957469.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Research Data Reference | IST-REx-ID: 9798 |
Fraisse C, Welch JJ. 2020. Simulation code for Fig S2 from the distribution of epistasis on simple fitness landscapes, Royal Society of London, 10.6084/m9.figshare.7957472.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Research Data Reference | IST-REx-ID: 9814 |
Ibsen-Jensen R, Tkadlec J, Chatterjee K, Nowak M. 2020. Data and mathematica notebooks for plotting figures from language learning with communication between learners from language acquisition with communication between learners, Royal Society, 10.6084/m9.figshare.5973013.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Submitted | Preprint | IST-REx-ID: 8831 |
Aggarwal K, Hofmann AC, Jirovec D, Prieto Gonzalez I, Sammak A, Botifoll M, Marti-Sanchez S, Veldhorst M, Arbiol J, Scappucci G, Katsaros G. Enhancement of proximity induced superconductivity in planar Germanium. arXiv, 2012.00322.
[Submitted Version]
View
| Files available
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8986 |
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. 6(50), eabc8895.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8283 |
Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, 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. 21(16), 5272.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8002 |
Hörmayer L, Montesinos López JC, 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. 117(26), 202003346.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8569 |
Hansen AH, Hippenmeyer S. 2020. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 8(9), 574382.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7426 |
Garcia Soto M, Prabhakar P. 2020. Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 36(5), 100856.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 9198 |
Shevchenko A, Mondelli M. 2020. Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. Proceedings of the 37th International Conference on Machine Learning. vol. 119, 8773–8784.
[Published Version]
View
| Files available
| arXiv
2020 | Published | Thesis | IST-REx-ID: 8657 |
Kavcic B. 2020. Perturbations of protein synthesis: from antibiotics to genetics and physiology. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8620 |
Morandell J. 2020. Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI