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.




5320 Publications

2024 |Submitted| Preprint | IST-REx-ID: 17350 | OA
Improved convergence of score-based diffusion models via prediction-correction
F. Pedrotti, J. Maas, M. Mondelli, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 |Submitted| Preprint | IST-REx-ID: 17352 | OA
L∞-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher's infinitesimal model
K. Khudiakova, J. Maas, F. Pedrotti, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 |Submitted| Preprint | IST-REx-ID: 17353 | OA
Heat flow, log-concavity, and Lipschitz transport maps
G. Brigati, F. Pedrotti, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17462 | OA
Artificial boundary conditions for random elliptic systems with correlated coefficient field
N. Clozeau, L. Wang, Multiscale Modeling and Simulation 22 (2024) 973–1029.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 |Submitted| Preprint | IST-REx-ID: 17468 | OA
Individual Marcus-type kinetics controls singlet and triplet oxygen evolution from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, ChemRxiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.)
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17460 | OA
Self-organization of mortal filaments and its role in bacterial division ring formation
C.E. Vanhille-Campos, K.D. Whitley, P. Radler, M. Loose, S. Holden, A. Šarić, Nature Physics (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17494
Anti-plasmid immunity: A key to pathogen success?
J.P.K. Bravo, Future Microbiology (2024) 1–4.
View | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17493 | OA
Many-body entropies and entanglement from polynomially many local measurements
B. Vermersch, M. Ljubotina, J.I. Cirac, P. Zoller, M. Serbyn, L. Piroli, Physical Review X 14 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17479
Unveiling the mechanism of phonon-polariton damping in α‑MoO3
J. Taboada-Gutiérrez, Y. Zhou, A.I.F. Tresguerres-Mata, C. Lanza, A. Martínez-Suárez, G. Álvarez-Pérez, J. Duan, J.I. Martín, M. Vélez, I. Prieto Gonzalez, A. Bercher, J. Teyssier, I. Errea, A.Y. Nikitin, J. Martín-Sánchez, A.B. Kuzmenko, P. Alonso-González, ACS Photonics (2024).
[Published Version] View | DOI | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17480 | OA
Bolometric detection of Josephson radiation
B. Karimi, G.O. Steffensen, A.P. Higginbotham, C.M. Marcus, A. Levy Yeyati, J.P. Pekola, Nature Nanotechnology (2024).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17476
No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry
D. Lorenc, A. Zhumekenov, O.M. Bakr, Z. Alpichshev, Physical Review Materials 8 (2024).
View | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17477 | OA
Bilayer crystals of trapped ions for quantum information processing
S. Hawaldar, P. Shahi, A.L. Carter, A.M. Rey, J.J. Bollinger, A. Shankar, Physical Review X 14 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17478 | OA
The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass
M. Brooks, R. Seiringer, Publications Mathematiques de l’Institut Des Hautes Etudes Scientifiques (2024).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17481 | OA
Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
[Published Version] View | Files available | DOI
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17474 | OA
Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, Information and Computation 301 (2024).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17884 | OA
Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice
M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D.J. Porley, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology (2024).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17886 | OA
The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks
D. Zendrikov, A. Paraskevov, Neural Networks 180 (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 17887 | OA
Approximation of classical two-phase flows of viscous incompressible fluids by a Navier–Stokes/Allen–Cahn system
H. Abels, J.L. Fischer, M. Moser, Archive for Rational Mechanics and Analysis 248 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17885 | OA
The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation
L. Kofler, L. Grundmann, M. Gerhalter, M. Prattes, J. Merl-Pham, G. Zisser, I. Grishkovskaya, V.-V. Hodirnau, M. Vareka, R. Breinbauer, S.M. Hauck, D. Haselbach, H. Bergler, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17891 | OA
Understanding higher-order interactions in information space
H. Edelsbrunner, K. Ölsböck, H. Wagner, Entropy 26 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 17463 | OA
De novo design of allosterically switchable protein assemblies
A. Pillai, A. Idris, A. Philomin, C. Weidle, R. Skotheim, P.J.Y. Leung, A. Broerman, C. Demakis, A.J. Borst, F.M. Praetorius, D. Baker, Nature 632 (2024) 911–920.
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17458 | OA
Compensation of gene dosage on the mammalian X
D. Cecalev, B. Vicoso, R. Galupa, Development 151 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17457 | OA
LGI1 autoantibodies enhance synaptic transmission by presynaptic Kv1 loss and increased action potential broadening
A. Ritzau-Jost, F. Gsell, J. Sell, S. Sachs, J.-C. Montanaro-Punzengruber, T. Kirmann, S. Maaß, S.R. Irani, C. Werner, C. Geis, M. Sauer, R. Shigemoto, S. Hallermann, Neurology, Neuroimmunology and Neuroinflammation 11 (2024) e200284.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17459 | OA
Langerhans cells: Central players in the pathophysiology of atopic dermatitis
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology (2024).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17461 | OA
Unconditional versus condition-dependent social immunity
S. Cremer, C. Pull, Trends in Parasitology (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 17475 | OA
Exponentially many graphs are determined by their spectrum
I. Koval, M.A. Kwan, Quarterly Journal of Mathematics 75 (2024) 869–899.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Research Data | IST-REx-ID: 17488 | OA
Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
View | Files available | DOI
 
2024 |Published| Book Chapter | IST-REx-ID: 18052
Automated Imaging and Analysis of Synapses in Freeze-Fracture Replica Samples with Deep Learning
D. Kleindienst, T. Costanzo, R. Shigemoto, in:, J.H.R. Lübke, A. Rollenhagen (Eds.), New Aspects in Analyzing the Synaptic Organization of the Brain, 1st ed., Springer Nature, New York, 2024, pp. 123–137.
View | DOI
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17897
Active site switching on high entropy phosphides as bifunctional oxygen electrocatalysts for rechargeable/robust Zn-air battery
R. He, S. Wang, L. Yang, S. Horta, Y. Ding, C. Di, X. Zhang, Y. Xu, M. Ibáñez, Y. Zhou, S. Mebs, H. Dau, J.N. Hausmann, W. Huo, P.W. Menezes, A. Cabot, Energy and Environmental Science (2024).
View | DOI
 
2024 |Submitted| Preprint | IST-REx-ID: 17634 | OA
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17896
Decipher the wavelength and intensity using photothermoelectric detectors
J. Zhou, S. Xu, Y. Shuai, Q. Sun, H. Ma, C. Wang, H. Wu, S. Tan, Z. Wang, L. Yang, ACS Applied Materials and Interfaces (2024).
View | DOI | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 17889 | OA
Anatomy of an ionized bubble: NIRCam grism spectroscopy of the z = 6.6 double-peaked Lyman- α emitter COLA1 and its environment
A. Torralba-Torregrosa, J.J. Matthee, R.P. Naidu, R. Mackenzie, G. Pezzulli, A. Hutter, P. Arnalte-Mur, S. Gurung-López, S. Tacchella, P. Oesch, D. Kashino, C. Conroy, D. Sobral, Astronomy and Astrophysics 689 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17888 | OA
Multiscale spatial analysis of two plant–insect interactions: Effects of landscape, resource distribution, and other insects
G. Pocull Belles, C. Baskett, N.H. Barton, Landscape Ecology 39 (2024).
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17892 | OA
Field theory of enzyme-substrate systems with restricted long-range interactions
F. Olmeda, S. Rulands, Physical Review E 110 (2024).
[Published Version] View | Files available | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17898
Overparametrization helps offline-to-online generalization of closed-loop control from pixels
M. Lechner, R. Hasani, A. Amini, T.H. Wang, T.A. Henzinger, D. Rus, in:, Proceedings of the 2024 IEEE International Conference on Robotics and Automation, Institute of Electrical and Electronics Engineers, 2024, pp. 2774–2782.
View | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17893 | OA
Properties of the strong data processing constant for Rényi divergence
L. Jin, A.R. Esposito, M. Gastpar, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2024, pp. 3178–3183.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Research Data | IST-REx-ID: 17362 | OA
Data for: "Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome"
M.N. Elkrewi, B. Vicoso, (2024).
[Published Version] View | Files available | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17895
Computationally efficient codes for strongly Dobrushin-Stambler nonsymmetrizable oblivious AVCs
B.K. Dey, S. Jaggi, M. Langberg, A.D. Sarwate, Y. Zhang, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 1586–1591.
View | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17894
Variational characterizations of Sibson's α-mutual information
A.R. Esposito, M. Gastpar, I. Issa, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 2110–2115.
View | DOI
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17890 | OA
Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome
M.N. Elkrewi, B. Vicoso, PLoS Genetics (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Published| Book Chapter | IST-REx-ID: 18058
DNA Cloning
J. Watson, S. Arroyo-Urea, J. García-Nafría, in:, D. Liu (Ed.), Handbook of Molecular Biotechnology, 1st ed., CRC Press, Boca Raton, 2024, pp. 66–72.
View | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17469 | OA
Compression of structured data with autoencoders: Provable benefit of nonlinearities and depth
K. Kögler, A. Shevchenko, H. Hassani, M. Mondelli, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 24964–25015.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2024 |Published| Thesis | IST-REx-ID: 17465
High-dimensional limits in artificial neural networks
A. Shevchenko, High-Dimensional Limits in Artificial Neural Networks, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 |Published| Thesis | IST-REx-ID: 17490 | OA
Communication-efficient distributed training of deep neural networks: An algorithms and systems perspective
I. Markov, Communication-Efficient Distributed Training of Deep Neural Networks: An Algorithms and Systems Perspective, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17456 | OA
L-GreCo: Layerwise-adaptive gradient compression for efficient data-parallel deep learning
I. Markov, K. Alimohammadi, E. Frantar, D.-A. Alistarh, in:, P. Gibbons, G. Pekhimenko, C. De Sa (Eds.), Proceedings of Machine Learning and Systems , Association for Computing Machinery, 2024.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18073 | OA
Disordered regions in the IRE1α ER lumenal domain mediate its stress-induced clustering
P. Kettel, L. Marosits, E. Spinetti, M. Rechberger, C. Giannini, P. Radler, I. Niedermoser, I. Fischer, G.A. Versteeg, M. Loose, R. Covino, G.E. Karagöz, EMBO Journal (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18074 | OA
Aharonov–Casher theorems for Dirac operators on manifolds with boundary and APS boundary condition
M. Fialova, Annales Henri Poincare (2024).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 18072 | OA
A liquid-like coat mediates chromosome clustering during mitotic exit
A. Hernandez-Armendariz, V. Sorichetti, Y. Hayashi, Z. Koskova, A. Brunner, J. Ellenberg, A. Šarić, S. Cuylen-Haering, Molecular Cell 84 (2024) P3254–3270.E9.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Published| Conference Paper | IST-REx-ID: 18071 | OA
HammerHead: Leader reputation for dynamic scheduling
G. Tsimos, A. Kichidis, A. Sonnino, E. Kokoris Kogias, in:, Proceedings - International Conference on Distributed Computing Systems, IEEE, 2024, pp. 1377–1387.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 |Published| Conference Paper | IST-REx-ID: 18070
Federated SGD with local asynchrony
B. Chatterjee, V. Kungurtsev, D.-A. Alistarh, in:, Proceedings of the 44th International Conference on Distributed Computing Systems, IEEE, 2024, pp. 857–868.
View | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 18066 | OA
Bidding games with charging
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Conference Paper | IST-REx-ID: 18067 | OA
History-determinism vs fair simulation
U. Boker, T.A. Henzinger, K. Lehtinen, A. Prakash, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 18063 | OA
Polarly localized Bro1 domain proteins regulate PIN-FORMED abundance and root gravitropic growth in Arabidopsis
Y. Peng, K. Ji, Y. Mao, Y. Wang, B. Korbei, C. Luschnig, J. Shen, E. Benková, J. Friml, S. Tan, Communications Biology 7 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 18069 | OA
FRESCO: The Paschen-α star-forming sequence at cosmic noon
C. Neufeld, P. Van Dokkum, Y. Asali, A. Covelo-Paz, J. Leja, J. Lin, J.J. Matthee, P.A. Oesch, N.A. Reddy, I. Shivaei, K.E. Whitaker, S. Wuyts, G. Brammer, D. Marchesini, M.V. Maseda, R.P. Naidu, E.J. Nelson, A. Velichko, A. Weibel, M. Xiao, Astrophysical Journal 972 (2024).
[Published Version] View | Files available | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 18068 | OA
Strategic dominance: A new preorder for nondeterministic processes
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18065 | OA
Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles
X. Hou, Y. Pan, Q. Zhou, Advances in Mathematics 457 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18064 | OA
The average number of integral points on the congruent number curves
S. Chan, Advances in Mathematics 457 (2024).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 |Published| Conference Paper | IST-REx-ID: 18097 | OA
The ultimate frontier: An optimality construction for homotopy inference (media exposition)
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17202 | OA
A gate tunable transmon qubit in planar Ge
O. Sagi, A. Crippa, M. Valentini, M. Janik, L. Baghumyan, G. Fabris, L. Kapoor, F. Hassani, J.M. Fink, S. Calcaterra, D. Chrastina, G. Isella, G. Katsaros, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Conference Paper | IST-REx-ID: 18086
DeCAF: Decentralizable CGKA with fast healing
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
View | Files available | DOI
 
2024 |Published| Thesis | IST-REx-ID: 17881
Thermal effects in one dimensional Josephson chains
S. Mukhopadhyay, Thermal Effects in One Dimensional Josephson Chains, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 |Submitted| Preprint | IST-REx-ID: 18057 | OA
Dual relaxation oscillations in a Josephson junction array
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 |Published| Thesis | IST-REx-ID: 17485 | OA
Compressing large neural networks : Algorithms, systems and scaling laws
E. Frantar, Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 18061 | OA
QMoE: Sub-1-bit compression of trillion parameter models
E. Frantar, D.-A. Alistarh, in:, P. Gibbons, G. Pekhimenko, C. De Sa (Eds.), Proceedings of Machine Learning and Systems, 2024.
[Published Version] View | Files available | Download Published Version (ext.)
 
2024 |Published| Conference Paper | IST-REx-ID: 18062 | OA
Scaling laws for sparsely-connected foundation models
E. Frantar, C.R. Ruiz, N. Houlsby, D.-A. Alistarh, U. Evci, in:, The Twelfth International Conference on Learning Representations, 2024.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2024 |Published| Thesis | IST-REx-ID: 15101 | OA
Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse
J. Chen, Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 14843
Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse
J. Chen, W. Kaufmann, C. Chen, itaru Arai, O. Kim, R. Shigemoto, P.M. Jonas, Neuron 112 (2024) 755–771.e9.
View | Files available | DOI | PubMed | Europe PMC
 
2023 |Published| 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.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 |Published| 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).
[Published Version] View | Files available | DOI
 
2023 |Published| Journal Article | IST-REx-ID: 12158 | OA
Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis
P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.
[Published Version] View | Files available | DOI
 
2023 |Published| 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.
[Published Version] View | DOI | Download Published Version (ext.)
 
2023 |Published| 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 |Published| 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 |Published| 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.
[Published Version] View | DOI | Download Published Version (ext.)
 
2023 |Published| 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.
[Published Version] View | Files available | DOI | arXiv
 
2023 |Published| 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.
[Published Version] View | Files available | DOI
 
2023 |Published| 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.
[Published Version] View | Files available | DOI
 
2023 |Submitted| Preprint | IST-REx-ID: 12846 | OA
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 |Published| 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.
[Published Version] View | Files available | DOI
 
2023 |Published| 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.
[Published Version] View | Files available | DOI
 
2023 |Published| 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 |Published| Journal Article | IST-REx-ID: 12668 | OA
Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat
L. Zhao, Y. Yang, J. Chen, X. Lin, H. Zhang, H. Wang, H. Wang, X. Bie, J. Jiang, X. Feng, X. Fu, X. Zhang, Z. Du, J. Xiao, Genome Biology 24 (2023).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2023 |Published| Conference Paper | IST-REx-ID: 13048 | OA
Hausdorff and Gromov-Hausdorff stable subsets of the medial axis
A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 |Published| Conference Paper | IST-REx-ID: 13143 | OA
Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2023 |Published| Conference Paper | IST-REx-ID: 13142 | OA
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version] View | Files available | DOI
 
2023 |Published| Conference Paper | IST-REx-ID: 13141 | OA
Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
[Published Version] View | Files available | DOI
 
2023 |Published| Thesis | IST-REx-ID: 12826 | OA
Neural control of optic flow-based navigation in Drosophila melanogaster
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 |Published| Journal Article | IST-REx-ID: 12086 | OA
A simple algorithm for higher-order Delaunay mosaics and alpha shapes
H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.
[Published Version] View | Files available | DOI | WoS
 
2023 |Published| Journal Article | IST-REx-ID: 12104 | OA
Ergodic decompositions of Dirichlet forms under order isomorphisms
L. Dello Schiavo, M. Wirth, Journal of Evolution Equations 23 (2023).
[Published Version] View | Files available | DOI | WoS
 
2023 |Published| Journal Article | IST-REx-ID: 11434
Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend
B.B. GOSWAMI, Climate Dynamics 60 (2023) 427–442.
View | Files available | DOI | WoS
 
2023 |Published| Conference Paper | IST-REx-ID: 12467 | OA
Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
[Published Version] View | Files available | DOI | arXiv
 
2023 |Published| Journal Article | IST-REx-ID: 13179 | OA
CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
[Published Version] View | Files available | DOI
 
2023 |Published| Journal Article | IST-REx-ID: 13180 | OA
Local solubility for a family of quadrics over a split quadric surface
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 |Published| Journal Article | IST-REx-ID: 13251 | OA
Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites
Y. Wei, A. Volosniev, D. Lorenc, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, The Journal of Physical Chemistry Letters 14 (2023) 6309–6314.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 |Published| Conference Paper | IST-REx-ID: 13292 | OA
Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
[Published Version] View | Files available | DOI | arXiv
 
2023 |Published| Journal Article | IST-REx-ID: 13277 | OA
Stochastic representation of the quantum quartic oscillator
G. Tucci, S. De Nicola, S. Wald, A. Gambassi, SciPost Physics Core 6 (2023).
[Published Version] View | Files available | DOI | arXiv
 
2023 |Published| Journal Article | IST-REx-ID: 13276 | OA
A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D
L. Rammelmüller, D. Huber, A. Volosniev, SciPost Physics Codebases (2023).
[Published Version] View | Files available | DOI | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 13275 | OA
Codebase release 1.0 for FermiFCI
L. Rammelmüller, D. Huber, A. Volosniev, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 |Published| Journal Article | IST-REx-ID: 11479 | OA
Ten years of demographic modelling of divergence and speciation in the sea
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
[Published Version] View | Files available | DOI | WoS
 
2023 |Published| Journal Article | IST-REx-ID: 12329 | OA
New approaches to epidemic modeling on networks
A. Gómez, G. Oliveira, Scientific Reports 13 (2023).
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications