Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4959 Publications


2022 | Thesis | IST-REx-ID: 11193 | OA
Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11160 | OA
CHD8 haploinsufficiency links autism to transient alterations in excitatory and inhibitory trajectories
C.E. Villa, C. Cheroni, C. Dotter, A. López-Tóbon, B. Oliveira, R. Sacco, A.Ç. Yahya, J. Morandell, M. Gabriele, M. Tavakoli, J. Lyudchik, C.M. Sommer, M. Gabitto, J.G. Danzl, G. Testa, G. Novarino, Cell Reports 39 (2022).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 12364 | OA
Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12248 | OA
ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp
M.N. Elkrewi, U. Khauratovich, M.A. Toups, V.K. Bett, A. Mrnjavac, A. Macon, C. Fraisse, L. Sax, A.K. Huylmans, F. Hontoria, B. Vicoso, Genetics 222 (2022).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
 

2022 | Journal Article | IST-REx-ID: 7577 | OA
Weak convergence for variational inequalities with inertial-type method
Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2022 | Preprint | IST-REx-ID: 11943 | OA
Saturated reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, BioRxiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2022 | Preprint | IST-REx-ID: 11950 | OA
Uncovering brain tissue architecture across scales with super-resolution light microscopy
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, A. Venturino, K. Roessler, T. Czech, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, BioRxiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2022 | Journal Article | IST-REx-ID: 15268 | OA
Evolutionary and structural constraints influencing apolipoprotein A‐I amyloid behavior
R.A. Gisonno, T. Masson, N.A. Ramella, E.E. Barrera, V. Romanowski, M.A. Tricerri, Proteins: Structure, Function, and Bioinformatics 90 (2022) 258–269.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 10023 | OA
Trajectorial dissipation and gradient flow for the relative entropy in Markov chains
I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10052 | OA
Decomposing permutation automata
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10054 | OA
Faster algorithms for bounded liveness in graphs and game graphs
K. Chatterjee, M.H. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 10071 | OA
How to tutorial-a-thon
H. Adams, H. Kourimska, T. Heiss, S. Percival, L. Ziegelmeier, Notices of the American Mathematical Society 68 (2021) 1511–1514.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10072 | OA
A new notion of commutativity for the algorithmic Lovász Local Lemma
D.G. Harris, F. Iliopoulos, V. Kolmogorov, in:, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10075 | OA
A bit of nondeterminism makes pushdown automata expressive and succinct
S. Guha, I.R. Jecker, K. Lehtinen, M. Zimmermann, in:, 46th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Preprint | IST-REx-ID: 10080 | OA [Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 10153 | OA
Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10148 | OA
Capturing tactile properties of real surfaces for haptic reproduction
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
[Preprint] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10174 | OA [Preprint] View | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10180 | OA
Sparsity in deep learning: Pruning and growth for efficient inference and training in neural networks
T. Hoefler, D.-A. Alistarh, T. Ben-Nun, N. Dryden, E.-A. Peste, Journal of Machine Learning Research 22 (2021) 1–124.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications