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.
6293 Publications
2020 |
Published |
Journal Article |
IST-REx-ID: 6918 |
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 |
Published |
Conference Paper |
IST-REx-ID: 7810 |
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 |
Published |
Conference Paper |
IST-REx-ID: 8728 |
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 |
Published |
Conference Paper |
IST-REx-ID: 8089 |
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 |
Published |
Preprint |
IST-REx-ID: 9750 |
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 |
Published |
Thesis | PhD |
IST-REx-ID: 7525 |
Bhandari, Pradeep. “Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7525.
[Published Version]
View
| Files available
| DOI
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. Elsevier, 2020. https://doi.org/10.1016/j.nahs.2020.100856.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 7161 |
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 |
Published |
Thesis | PhD |
IST-REx-ID: 7258 |
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 |
Published |
Journal Article |
IST-REx-ID: 8002 |
Hörmayer, Lukas, Juan C Montesinos López, Petra Marhavá, Eva Benková, Saiko Yoshida, and Jiří Friml. “Wounding-Induced Changes in Cellular Pressure and Localized Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.” Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2020. https://doi.org/10.1073/pnas.2003346117.
[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. Frontiers, 2020. https://doi.org/10.3389/fcell.2020.574382.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
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, 2019. https://doi.org/10.1016/j.cub.2019.06.084.
View
| DOI
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 12192 |
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, 2019. https://doi.org/10.7554/elife.42530.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Journal Article |
IST-REx-ID: 27 |
Amberg, Nicole, Susanne Laukoter, and Simon Hippenmeyer. “Epigenetic Cues Modulating the Generation of Cell Type Diversity in the Cerebral Cortex.” Journal of Neurochemistry. Wiley, 2019. https://doi.org/10.1111/jnc.14601.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 301 |
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 |
Published |
Journal Article |
IST-REx-ID: 319 |
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 |
Published |
Journal Article |
IST-REx-ID: 138 |
Nikolic, Nela. “Autoregulation of Bacterial Gene Expression: Lessons from the MazEF Toxin–Antitoxin System.” Current Genetics. Springer, 2019. https://doi.org/10.1007/s00294-018-0879-8.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Conference Paper |
IST-REx-ID: 14184 |
Locatello, Francesco, Michael Tschannen, Stefan Bauer, Gunnar Rätsch, Bernhard Schölkopf, and Olivier Bachem. “Disentangling Factors of Variation Using Few Labels.” In 8th International Conference on Learning Representations, 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |
Published |
Conference Paper |
IST-REx-ID: 14189 |
Gresele, Luigi, Paul K. Rubenstein, Arash Mehrjou, Francesco Locatello, and Bernhard Schölkopf. “The Incomplete Rosetta Stone Problem: Identifiability Results for Multi-View Nonlinear ICA.” In Proceedings of the 35th Conference on Uncertainty in Artificial Intelligence, 115:217–27. ML Research Press, 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |
Published |
Conference Paper |
IST-REx-ID: 14190 |
Gondal, Muhammad Waleed, Manuel Wüthrich, Đorđe Miladinović, Francesco Locatello, Martin Breidt, Valentin Volchkov, Joel Akpo, Olivier Bachem, Bernhard Schölkopf, and Stefan Bauer. “On the Transfer of Inductive Bias from Simulation to the Real World: A New Disentanglement Dataset.” In Advances in Neural Information Processing Systems, Vol. 32, 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv