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 | OA
Goharshady, A. K., & Mohammadi, F. (2020). An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. Elsevier. 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 | OA
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature. 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 | OA
Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K., & Pavlogiannis, A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In Automated Technology for Verification and Analysis (Vol. 12302, pp. 253–270). Hanoi, Vietnam: Springer Nature. 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 | OA
Chatterjee, K., Fu, H., Goharshady, A. K., & Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385969
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Preprint | IST-REx-ID: 9750 | OA
Slovakova, J., Sikora, M. K., Caballero Mancebo, S., Krens, G., Kaufmann, W., Huljev, K., & Heisenberg, C.-P. J. (2020). Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion. bioRxiv. Cold Spring Harbor Laboratory. 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 | OA
Bhandari, P. (2020). Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7525
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 7426 | OA
Garcia Soto, M., & Prabhakar, P. (2020). Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2020.100856
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 7161 | OA
Shehu, Y., Gibali, A., & Sagratella, S. (2020). Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. Springer Nature. https://doi.org/10.1007/s10957-019-01616-6
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7258 | OA
Scarselli, D. (2020). New approaches to reduce friction in turbulent pipe flow. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7258
View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8002 | OA
Hörmayer, L., Montesinos López, J. C., 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 of the United States of America. National Academy of Sciences. 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 | OA
Hansen, A. H., & Hippenmeyer, S. (2020). Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. Frontiers. 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, E. J., Gao, H., Tock, A. J., Lambing, C., Blackwell, A. R., Feng, X., & Henderson, I. R. (2019). Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2019.06.084
View | DOI | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 12192 | OA
He, S., Vickers, M., Zhang, J., & Feng, X. (2019). Natural depletion of histone H1 in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.42530
[Published Version] View | Files available | DOI
 
2019 | Published | Journal Article | IST-REx-ID: 27 | OA
Amberg, N., Laukoter, S., & Hippenmeyer, S. (2019). Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. Wiley. https://doi.org/10.1111/jnc.14601
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 301 | OA
Gerencser, M., & Gyöngy, I. (2019). A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and Their Applications. Elsevier. 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 | OA
Gerencser, M., & Hairer, M. (2019). Singular SPDEs in domains with boundaries. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-018-0841-1
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 138 | OA
Nikolic, N. (2019). Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system. Current Genetics. Springer. https://doi.org/10.1007/s00294-018-0879-8
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Conference Paper | IST-REx-ID: 14184 | OA
Locatello, F., Tschannen, M., Bauer, S., Rätsch, G., Schölkopf, B., & Bachem, O. (2019). Disentangling factors of variation using few labels. In 8th International Conference on Learning Representations. Virtual.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 14189 | OA
Gresele, L., Rubenstein, P. K., Mehrjou, A., Locatello, F., & Schölkopf, B. (2019). The incomplete Rosetta Stone problem: Identifiability results for multi-view nonlinear ICA. In Proceedings of the 35th Conference on Uncertainty in Artificial  Intelligence (Vol. 115, pp. 217–227). Tel Aviv, Israel: ML Research Press.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 14190 | OA
Gondal, M. W., Wüthrich, M., Miladinović, Đ., Locatello, F., Breidt, M., Volchkov, V., … Bauer, S. (2019). 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). Vancouver, Canada.
[Preprint] View | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed