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.




4460 Publications

2023 | Book Chapter | IST-REx-ID: 12428 | OA
A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
View | Files available | DOI | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 12534 | OA
Dissipative dynamics of an impurity with spin-orbit coupling
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
View | Files available | DOI
 
2023 | Conference Paper | IST-REx-ID: 12676 | OA
Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
View | DOI | Download Published Version (ext.)
 
2023 | Book Chapter | IST-REx-ID: 12720
Molecular Cloning Using In Vivo DNA Assembly
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
View | DOI | PubMed | Europe PMC
 
2023 | Conference Paper | IST-REx-ID: 12735 | OA
Fast and scalable channels in Kotlin Coroutines
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118.
View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Conference Poster | IST-REx-ID: 12736 | OA
Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
View | DOI | Download Published Version (ext.)
 
2023 | Conference Paper | IST-REx-ID: 12760 | OA
Dynamic maintenance of monotone dynamic programs and applications
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 12763
The reach of subsets of manifolds
J.D. Boissonnat, M. Wintraecken, Journal of Applied and Computational Topology (2023).
View | DOI
 
2023 | Journal Article | IST-REx-ID: 12786 | OA
Modulatory mechanisms of TARP γ8-selective AMPA receptor therapeutics
D. Zhang, R. Lape, S.A. Shaikh, B.K. Kohegyi, J. Watson, O. Cais, T. Nakagawa, I.H. Greger, Nature Communications 14 (2023).
View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12716 | OA
To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism
L. Burnett, To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism, Institute of Science and Technology Austria, 2023.
View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 12838 | OA
Multiple packing: Lower bounds via infinite constellations
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory (2023).
View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Conference Paper | IST-REx-ID: 12854 | OA
Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
View | Files available | DOI
 
2023 | Preprint | IST-REx-ID: 12846 | OA
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, ArXiv (n.d.).
View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Conference Paper | IST-REx-ID: 12856 | OA
Vamos: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
View | Files available | DOI
 
2023 | Technical Report | IST-REx-ID: 12407 | OA
VAMOS: Middleware for Best-Effort Third-Party Monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
View | Files available | DOI
 
2023 | Preprint | IST-REx-ID: 12859 | OA View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Book Chapter | IST-REx-ID: 12866
Altered childhood brain development in autism and epilepsy
C. Currin, C. Beyer, in:, B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health, 1st ed., Elsevier, 2023, pp. 86–98.
View | DOI
 
2023 | Thesis | IST-REx-ID: 12809
Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
View | Files available | DOI
 
2023 | Preprint | IST-REx-ID: 12875 | OA
Multipotent progenitors instruct ontogeny of the superior colliculus
G.T. Cheung, F. Pauler, P. Koppensteiner, T. Krausgruber, C. Streicher, M. Schrammel, N.Y. Özgen, A. Ivec, C. Bock, R. Shigemoto, S. Hippenmeyer, BioRxiv (n.d.).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 
2023 | Preprint | IST-REx-ID: 12890 | OA
A stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, ArXiv (n.d.).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

type<>research_data

Search

Filter Publications