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.




6456 Publications

2020 | Published | Conference Paper | IST-REx-ID: 7810 | OA
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 6918 | OA
An efficient algorithm for computing network reliability in small treewidth
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
earlier version | 2020 | Published | Preprint | IST-REx-ID: 9750 | OA
Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion
J. Slovakova, M.K. Sikora, S. Caballero Mancebo, G. Krens, W. Kaufmann, K. Huljev, C.-P.J. Heisenberg, BioRxiv (2020).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7525 | OA
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 7426 | OA
Abstraction based verification of stability of polyhedral switched systems
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 7161 | OA
Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 8002 | OA
Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots
L. Hörmayer, J.C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, J. Friml, Proceedings of the National Academy of Sciences of the United States of America 117 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7258 | OA
New approaches to reduce friction in turbulent pipe flow
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, Institute of Science and Technology Austria, 2020.
View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8569 | OA
Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex
A.H. Hansen, S. Hippenmeyer, Frontiers in Cell and Developmental Biology 8 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 10874 | OA
Modular invariants for genus 3 hyperelliptic curves
S. Ionica, P. Kılıçer, K. Lauter, E. Lorenzo García, M.-A. Manzateanu, M. Massierer, C. Vincent, Research in Number Theory 5 (2019).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 10877 | OA
ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics
G. Frehse, A. Abate, D. Adzkiya, A. Becchi, L. Bu, A. Cimatti, M. Giacobbe, A. Griggio, S. Mover, M.S. Mufid, I. Riouak, S. Tonetta, E. Zaffanella, in:, G. Frehse, M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, 2019, pp. 1–13.
[Published Version] View | Files available | DOI
 
2019 | Published | Journal Article | IST-REx-ID: 10878 | OA
A mean-field model with discontinuous coefficients for neurons with spatial interaction
F. Flandoli, E. Priola, G.A. Zanco, Discrete and Continuous Dynamical Systems 39 (2019) 3037–3067.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 10879 | OA
Perturbations of continuum random Schrödinger operators with applications to Anderson orthogonality and the spectral shift function
A.M. Dietlein, M. Gebert, P. Müller, Journal of Spectral Theory 9 (2019) 921–965.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 11062 | OA
Age mosaicism across multiple scales in adult tissues
R. Arrojo e Drigo, V. Lev-Ram, S. Tyagi, R. Ramachandra, T. Deerinck, E. Bushong, S. Phan, V. Orphan, C. Lechene, M.H. Ellisman, M. Hetzer, Cell Metabolism 30 (2019) 343–351.e3.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 27 | OA
Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex
N. Amberg, S. Laukoter, S. Hippenmeyer, Journal of Neurochemistry 149 (2019) 12–26.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 301 | OA
A Feynman–Kac formula for stochastic Dirichlet problems
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 12190
Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis
E.J. Lawrence, H. Gao, A.J. Tock, C. Lambing, A.R. Blackwell, X. Feng, I.R. Henderson, Current Biology 29 (2019) 2676–2686.e3.
View | DOI | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 12192 | OA
Natural depletion of histone H1 in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation
S. He, M. Vickers, J. Zhang, X. Feng, ELife 8 (2019).
[Published Version] View | Files available | DOI
 
2019 | Research Data Reference | IST-REx-ID: 13067 | OA
Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes?
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R. Butlin, (2019).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Published | Journal Article | IST-REx-ID: 138 | OA
Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system
N. Nikolic, Current Genetics 65 (2019) 133–138.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed