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.




5595 Publications

2023 | Published | Journal Article | IST-REx-ID: 12802 | OA
Large neutral amino acid levels tune perinatal neuronal excitability and survival
L. Knaus, B. Basilico, D. Malzl, M. Gerykova Bujalkova, M. Smogavec, L.A. Schwarz, S. Gorkiewicz, N. Amberg, F. Pauler, C. Knittl-Frank, M. Tassinari, N. Maulide, T. Rülicke, J. Menche, S. Hippenmeyer, G. Novarino, Cell 186 (2023) 1950–1967.e25.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 14854
Ubiquity of bound states for the strongly coupled polaron
Mitrouskas, David Johannes, Ubiquity of bound states for the strongly coupled polaron. Pure and Applied Analysis 5 (4). 2023
View | DOI
 
2023 | Published | Thesis | IST-REx-ID: 12826 | OA
Neural control of optic flow-based navigation in Drosophila melanogaster
Pokusaeva, Victoria, Neural control of optic flow-based navigation in Drosophila melanogaster. 2023
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 14506 | OA
Advances in efficiency and privacy in payment channel network analysis
Yeo, Michelle X, Advances in efficiency and privacy in payment channel network analysis. 2023
[Published Version] View | Files available | DOI
 
2023 | Published | Conference Paper | IST-REx-ID: 14490 | OA
Lightning creation games
Z. Avarikioti, T. Lizurej, T. Michalak, M.X. Yeo, in:, 43rd International Conference on Distributed Computing Systems, IEEE, 2023, pp. 603–613.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Thesis | IST-REx-ID: 14539 | OA
Automated verification and control of infinite state stochastic systems
Zikelic, Dorde, Automated verification and control of infinite state stochastic systems. 2023
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 12726
Synchronization in collectively moving active matter
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 14530 | OA
Synchronization in collectively moving active matter
Riedl, Michael, Synchronization in collectively moving active matter. 2023
[Updated Version] View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 14651 | OA
Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus
Arathoon, Louise S, Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. 2023
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 12709 | OA
Computing the multicover bifiltration
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, Discrete and Computational Geometry 70 (2023) 376–405.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14768 | OA
Deterministic clustering in high dimensional spaces: Sketches and approximation
Cohen-Addad, Vincent, Deterministic clustering in high dimensional spaces: Sketches and approximation. 2023 IEEE 64th Annual Symposium on Foundations of Computer Science. 2023
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14718 | OA
Binary decision diagrams on modern hardware
Pastva, Samuel, Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. 2023
[Published Version] View | Files available | DOI
 
2023 | Published | Conference Paper | IST-REx-ID: 14086 | OA
Faster submodular maximization for several classes of matroids
Henzinger, Monika H, Faster submodular maximization for several classes of matroids. 50th International Colloquium on Automata, Languages, and Programming 261. 2023
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13292 | OA
Regular methods for operator precedence languages
Henzinger, Thomas A, Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming 261. 2023
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14083 | OA
Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery
Resch, Nicolas, Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. 50th International Colloquium on Automata, Languages, and Programming 261. 2023
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14084 | OA
Parameter estimation for Gibbs distributions
Harris, David G., Parameter estimation for Gibbs distributions. 50th International Colloquium on Automata, Languages, and Programming 261. 2023
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14085 | OA
Efficient data structures for incremental exact and approximate maximum flow
Goranci, Gramoz, Efficient data structures for incremental exact and approximate maximum flow. 50th International Colloquium on Automata, Languages, and Programming 261. 2023
[Published Version] View | Files available | DOI
 
2023 | Published | Conference Paper | IST-REx-ID: 14922 | OA
Concentration without independence via information measures
Esposito, Amedeo Roberto, Concentration without independence via information measures. Proceedings of 2023 IEEE International Symposium on Information Theory. 2023
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14923 | OA
Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise
Fu, Teng, Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise. Proceedings of 2023 IEEE International Symposium on Information Theory. 2023
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Closure properties of general grammars - formally verified
Dvorak, Martin, Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving 268. 2023
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed