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.
4950 Publications
2022 |Published| Thesis | IST-REx-ID: 12364 | 
Dotter C. 2022. Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12248 |
Elkrewi MN, Khauratovich U, Toups MA, Bett VK, Mrnjavac A, Macon A, Fraisse C, Sax L, Huylmans AK, Hontoria F, Vicoso B. 2022. ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp. Genetics. 222(2), iyac123.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 7577 |
Shehu Y, Iyiola OS. 2022. Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. 101(1), 192–216.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Submitted| Preprint | IST-REx-ID: 11943 |
Velicky P, Miguel Villalba E, Michalska JM, Wei D, Lin Z, Watson J, Troidl J, Beyer J, Ben Simon Y, Sommer CM, Jahr W, Cenameri A, Broichhagen J, Grant SGN, Jonas PM, Novarino G, Pfister H, Bickel B, Danzl JG. Saturated reconstruction of living brain tissue. bioRxiv, 10.1101/2022.03.16.484431.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2022 |Submitted| Preprint | IST-REx-ID: 11950 |
Michalska JM, Lyudchik J, Velicky P, Korinkova H, Watson J, Cenameri A, Sommer CM, Venturino A, Roessler K, Czech T, Siegert S, Novarino G, Jonas PM, Danzl JG. Uncovering brain tissue architecture across scales with super-resolution light microscopy. bioRxiv, 10.1101/2022.08.17.504272.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2022 |Submitted| Preprint | IST-REx-ID: 17157 |
Hausel T, Rychlewicz KP. Spectrum of equivariant cohomology as a fixed point scheme. arXiv, 2212.11836.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10767 |
Kelemen RK, Elkrewi MN, Lindholm AK, Vicoso B. 2022. Novel patterns of expression and recruitment of new genes on the t-haplotype, a mouse selfish chromosome. Proceedings of the Royal Society B: Biological Sciences. 289(1968), 20211985.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 10023 |
Karatzas I, Maas J, Schachermayer W. 2021. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. 21(4), 481–536.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10052 |
Jecker IR, Mazzocchi N, Wolf P. 2021. Decomposing permutation automata. 32nd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 203, 18.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10054 |
Chatterjee K, Henzinger MH, Kale SS, Svozil A. 2021. Faster algorithms for bounded liveness in graphs and game graphs. 48th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 198, 124.
[Published Version]
View
| Files available
| DOI
2021 |Published| Journal Article | IST-REx-ID: 10071 |
Adams H, Kourimska H, Heiss T, Percival S, Ziegelmeier L. 2021. How to tutorial-a-thon. Notices of the American Mathematical Society. 68(9), 1511–1514.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 10072 |
Harris DG, Iliopoulos F, Kolmogorov V. 2021. A new notion of commutativity for the algorithmic Lovász Local Lemma. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. APPROX/RANDOM: Approximation Algorithms for Combinatorial Optimization Problems/ Randomization and Computation, LIPIcs, vol. 207, 31.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10075 |
Guha S, Jecker IR, Lehtinen K, Zimmermann M. 2021. A bit of nondeterminism makes pushdown automata expressive and succinct. 46th International Symposium on Mathematical Foundations of Computer Science. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 202, 53.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10080 |
Nardin M, Käfer K, Csicsvari JL. The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv, 10.1101/2021.09.30.462269.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 |Published| Journal Article | IST-REx-ID: 10153 |
Mühlböck F, Tate R. 2021. Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. 5, 127.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 10148 |
Degraen D, Piovarci M, Bickel B, Kruger A. 2021. Capturing tactile properties of real surfaces for haptic reproduction. 34th Annual ACM Symposium. UIST: User Interface Software and Technology, 954–971.
[Preprint]
View
| Files available
| DOI
2021 |Submitted| Preprint | IST-REx-ID: 10174 |
Clozeau N, Gloria A. Quantitative nonlinear homogenization: control of oscillations. arXiv, 2104.04263.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10180 |
Hoefler T, Alistarh D-A, Ben-Nun T, Dryden N, Peste E-A. 2021. Sparsity in deep learning: Pruning and growth for efficient inference and training in neural networks. Journal of Machine Learning Research. 22(241), 1–124.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10218 |
Alistarh D-A, Gelashvili R, Rybicki J. 2021. Brief announcement: Fast graphical population protocols. 35th International Symposium on Distributed Computing. DISC: Distributed Computing , LIPIcs, vol. 209, 43.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10217 |
Alistarh D-A, Gelashvili R, Nadiradze G. 2021. Lower bounds for shared-memory leader election under bounded write contention. 35th International Symposium on Distributed Computing. DISC: Distributed Computing, LIPIcs, vol. 209, 4.
[Published Version]
View
| Files available
| DOI