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.
5872 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8089 | 
Chatterjee, Krishnendu, et al. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–87, doi:10.1145/3385412.3385969.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7387 |
Baranova, Natalia S., et al. “Diffusion and Capture Permits Dynamic Coupling between Treadmilling FtsZ Filaments and Cell Division Proteins.” Nature Microbiology, vol. 5, Springer Nature, 2020, pp. 407–17, doi:10.1038/s41564-019-0657-5.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Published | Preprint | IST-REx-ID: 9750 |
Slovakova, Jana, et al. “Tension-Dependent Stabilization of E-Cadherin Limits Cell-Cell Contact Expansion.” BioRxiv, Cold Spring Harbor Laboratory, 2020, doi:10.1101/2020.11.20.391284.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 9198 |
Shevchenko, Aleksandr, and Marco Mondelli. “Landscape Connectivity and Dropout Stability of SGD Solutions for Over-Parameterized Neural Networks.” Proceedings of the 37th International Conference on Machine Learning, vol. 119, ML Research Press, 2020, pp. 8773–84.
[Published Version]
View
| Files available
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7426 |
Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems, vol. 36, no. 5, 100856, Elsevier, 2020, doi:10.1016/j.nahs.2020.100856.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Thesis | IST-REx-ID: 8340 |
Kampjut, Domen. Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8340.
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8350 |
Shamipour, Shayan. Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes . Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8350.
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8434 |
Dimchev, Georgi A., et al. “Lamellipodin Tunes Cell Migration by Stabilizing Protrusions and Promoting Adhesion Formation.” Journal of Cell Science, vol. 133, no. 7, jcs239020, The Company of Biologists, 2020, doi:10.1242/jcs.239020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8569 |
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, vol. 8, no. 9, 574382, Frontiers, 2020, doi:10.3389/fcell.2020.574382.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Thesis | IST-REx-ID: 7258 |
Scarselli, Davide. New Approaches to Reduce Friction in Turbulent Pipe Flow. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7258.
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7885 |
Reversat, Anne, et al. “Cellular Locomotion Using Environmental Topography.” Nature, vol. 582, Springer Nature, 2020, pp. 582–585, doi:10.1038/s41586-020-2283-z.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 14184 |
Locatello, Francesco, et al. “Disentangling Factors of Variation Using Few Labels.” 8th International Conference on Learning Representations, 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 14189 |
Gresele, Luigi, et al. “The Incomplete Rosetta Stone Problem: Identifiability Results for Multi-View Nonlinear ICA.” Proceedings of the 35th Conference on Uncertainty in Artificial Intelligence, vol. 115, ML Research Press, 2019, pp. 217–27.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 14190 |
Gondal, Muhammad Waleed, et al. “On the Transfer of Inductive Bias from Simulation to the Real World: A New Disentanglement Dataset.” Advances in Neural Information Processing Systems, vol. 32, 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 14191 |
Locatello, Francesco, et al. “Stochastic Frank-Wolfe for Composite Convex Minimization.” Advances in Neural Information Processing Systems, vol. 32, 2019, pp. 14291–14301.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 14193 |
Steenkiste, Sjoerd van, et al. “Are Disentangled Representations Helpful for Abstract Visual Reasoning?” Advances in Neural Information Processing Systems, vol. 32, 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 14197 |
Locatello, Francesco, et al. “On the Fairness of Disentangled Representations.” Advances in Neural Information Processing Systems, vol. 32, 2019, pp. 14611–14624.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 14200 |
Locatello, Francesco, et al. “Challenging Common Assumptions in the Unsupervised Learning of Disentangled Representations.” Proceedings of the 36th International Conference on Machine Learning, vol. 97, ML Research Press, 2019, pp. 4114–24.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 10874 |
Ionica, Sorina, et al. “Modular Invariants for Genus 3 Hyperelliptic Curves.” Research in Number Theory, vol. 5, 9, Springer Nature, 2019, doi:10.1007/s40993-018-0146-6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 10877 |
Frehse, Goran, et al. “ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.” ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, edited by Goran Frehse and Matthias Althoff, vol. 61, EasyChair, 2019, pp. 1–13, doi:10.29007/rjwn.
[Published Version]
View
| Files available
| DOI