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.




5735 Publications

2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. 2024. Strategic dominance: A new preorder for nondeterministic processes. 35th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 311, 29.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17327 | OA
Cano F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. 2024. Abstraction-based decision making for statistical properties. 9th International Conference on Formal Structures for Computation and Deduction. FSCD: Conference on Formal Structures for Computation and Deduction, LIPIcs, vol. 299, 2.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 14400 | OA
Majumdar R, Mallik K, Schmuck AK, Soudjani S. 2024. Symbolic control for stochastic systems via finite parity games. Nonlinear Analysis: Hybrid Systems. 51(2), 101430.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17413 | OA
Froleyks N, Yu E, Biere A, Heljanko K. 2024. Certifying phase abstraction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). IJCAR: International Joint Conference on Automated Reasoning, LNCS, vol. 14739, 284–303.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18955 | OA
Casares A, Pilipczuk M, Pilipczuk M, Souza US, Thejaswini KS. 2024. Simple and tight complexity lower bounds for solving Rabin games. 2024 Symposium on Simplicity in Algorithms. SOSA: Symposium on Simplicity in Algorithms, 160–167.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Submitted | Conference Paper | IST-REx-ID: 17053
Froleyks N, Yu E, Biere A. Ternary simulation as abstract interpretation (Work in Progress). 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems. MBMV: Methods and Description Languages for Modeling and Verification of Circuits and Systems, 148–151.
View
 
2024 | Published | Conference Paper | IST-REx-ID: 18067 | OA
Boker U, Henzinger TA, Lehtinen K, Prakash A. 2024. History-determinism vs fair simulation. 35th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 311, 12.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 15376 | OA
Avni G, Mallik K, Sadhukhan S. 2024. Auction-based scheduling. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 14572, 153–172.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa M, Richter C. 2024. Bubaak-SpLit: Split what you cannot verify (Competition contribution). 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 14572, 353–358.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 15377 | OA
Majumdar R, Sağlam I, Thejaswini KS. 2024. Rabin games and colourful universal trees. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. , LNCS, vol. 14572, 213–231.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18530 | OA
Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. 2024. History-deterministic timed automata. Logical Methods in Computer Science. 20(4), 1–28.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17898
Lechner, Mathias, Overparametrization helps offline-to-online generalization of closed-loop control from pixels. Proceedings of the 2024 IEEE International Conference on Robotics and Automation. 2024
View | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18494 | OA
Eilers AC, Mackenzie R, Pizzati E, Matthee JJ, Hennawi JF, Zhang H, Bordoloi R, Kashino D, Lilly SJ, Naidu RP, Simcoe RA, Yue M, Frenk CS, Helly JC, Schaller M, Schaye J. 2024. EIGER. VI. The correlation function, host halo mass, and duty cycle of luminous quasars at z ≳ 6. Astrophysical Journal. 974(2), 275.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18654 | OA
Sato T, Ramshaw BJ, Modic KA, Assaad FF. 2024. Scale-invariant magnetic anisotropy in α-RuCl3: A quantum Monte Carlo study. Physical Review B. 110(20), L201114.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17203 | OA
Hafner C, Ly M, Wojtan C. 2024. Spin-it faster: Quadrics solve all topology optimization problems that depend only on mass moments. Transactions on Graphics. 43(4), 78.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 17214 | OA
Chen Y-L, Ly M, Wojtan C. 2024. Primal-dual non-smooth friction for rigid body animation. Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. SIGGRAPH: Computer Graphics and Interactive Techniques Conference.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | IST-REx-ID: 18301 | OA
Etemadi A. 2024. Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 14703 | OA
Ishida S, Lavenant H. 2024. Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation. Foundations of Computational Mathematics.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 12846 | OA
Chern A, Ishida S. 2024. Area formula for spherical polygons via prequantization. SIAM Journal on Applied Algebra and Geometry. 8(3), 782–796.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Submitted | Preprint | IST-REx-ID: 17361 | OA
Bauer M, Ishida S, Michor PW. Symplectic structures on the space of space curves. arXiv, 10.48550/arXiv.2407.19908.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 15252 | OA
Dello Schiavo L. 2024. A characterization of maps of bounded compression. Mathematical Communications. 29(1), 137–142.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 14846 | OA
Caballero Mancebo S, Shinde R, Bolger-Munro M, Peruzzo M, Szep G, Steccari I, Labrousse Arias D, Zheden V, Merrin J, Callan-Jones A, Voituriez R, Heisenberg C-PJ. 2024. Friction forces determine cytoplasmic reorganization and shape changes of ascidian oocytes upon fertilization. Nature Physics. 20, 310–321.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 17269 | OA
Vercruysse E, Brückner D, Gómez-González M, Remson A, Luciano M, Kalukula Y, Rossetti L, Trepat X, Hannezo EB, Gabriele S. 2024. Geometry-driven migration efficiency of autonomous epithelial cell clusters. Nature Physics. 20, 1492–1500.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2024 | Published | Thesis | IST-REx-ID: 17485 | OA
Frantar E. 2024. Compressing large neural networks : Algorithms, systems and scaling laws. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 18061 | OA
Frantar E, Alistarh D-A. 2024. QMoE: Sub-1-bit compression of trillion parameter models. Proceedings of Machine Learning and Systems. MLSys: Machine Learning and Systems vol. 6.
[Published Version] View | Files available | Download Published Version (ext.)
 
2024 | Published | Conference Paper | IST-REx-ID: 18062 | OA
Frantar E, Ruiz CR, Houlsby N, Alistarh D-A, Evci U. 2024. Scaling laws for sparsely-connected foundation models. The Twelfth International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 13974 | OA
Fulek R, Gärtner B, Kupavskii A, Valtr P, Wagner U. 2024. The crossing Tverberg theorem. Discrete and Computational Geometry. 72, 831–848.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18159 | OA
Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. 2024. Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties. Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conference on Artificial Intelligence, 3–12.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18160 | OA
Chatterjee K, Goharshady E, Karrabi M, Novotný P, Zikelic D. 2024. Solving long-run average reward robust MDPs via stochastic games. 33rd International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conference on Artificial Intelligence, 6707–6715.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17328 | OA
Chatterjee K, Ebrahimzadeh A, Karrabi M, Pietrzak KZ, Yeo MX, Zikelic D. 2024. Fully automated selfish mining analysis in efficient proof systems blockchains. Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing, 268–278.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17329 | OA
Alistarh D-A, Chatterjee K, Karrabi M, Lazarsfeld JM. 2024. Game dynamics and equilibrium computation in the population protocol model. Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing, 40–49.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 17162 | OA
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2024. Quantitative bounds on resource usage of probabilistic programs. Proceedings of the ACM on Programming Languages. 8(OOPSLA1), 107.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 17283 | OA
Chatterjee K, Goharshady E, Novotný P, Zikelic D. 2024. Equivalence and similarity refutation for probabilistic programs. Proceedings of the ACM on Programming Languages. 8, 232.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 14820 | OA
Schmid S, Svoboda J, Yeo MX. 2024. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. 989, 114353.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 15006 | OA
Hirvonen, Juho, On the convergence time in graphical games: A locality-sensitive approach. 27th International Conference on Principles of Distributed Systems 286. 2024
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18155 | OA
Chatterjee K, Goharshady AK, Goharshady E, Karrabi M, Zikelic D. 2024. Sound and complete witnesses for template-based verification of LTL properties on polynomial programs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). FM: Formal Methods, LNCS, vol. 14933, 600–619.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Chatterjee K, Oliu-Barton M, Saona Urmeneta RJ. 2024. Value-positivity for matrix games. Mathematics of Operations Research.
View | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 17099 | OA
Asadi, Ali, Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 323. 2024
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18630 | OA
Chatterjee K, Doyen L. 2024. Stochastic processes with expected stopping time. Logical Methods in Computer Science. 20(4), 11:1-11:34.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17098 | OA
Asadi, Ali, Deterministic sub-exponential algorithm for discounted-sum games with unary weights. 39th Annual ACM/IEEE Symposium on Logic in Computer Science. 2024
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17474 | OA
Baier C, Chatterjee K, Meggendorfer T, Piribauer J. 2024. Entropic risk for turn-based stochastic games. Information and Computation. 301, 105214.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18066 | OA
Avni G, Goharshady EK, Henzinger TA, Mallik K. 2024. Bidding games with charging. 35th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 311, 8.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 12738 | OA
Chatterjee K, Katoen JP, Mohr S, Weininger M, Winkler T. 2024. Stochastic games with lexicographic objectives. Formal Methods in System Design. 63, 40–80.
[Published Version] View | Files available | DOI | WoS
 
2024 | Published | Journal Article | IST-REx-ID: 15339 | OA
González M, Hausel T. 2024. Hitchin map on even very stable upward flows. International Journal of Mathematics. 35(09), 2441009.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18900 | OA
Wirth M. 2024. Modular completely Dirichlet forms as squares of derivations. International Mathematics Research Notices. 2024(14), 10597–10614.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 18925
Ceylan E, Chatterjee K, Schmid S, Svoboda J. 2024. Congestion-free rerouting of network flows: Hardness and an FPT algorithm. NOMS 2024-2024 IEEE Network Operations and Management Symposium. NOMS: Network Operations and Management Symposiu .
View | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 15357 | OA
Liu Y, Lee S, Fiedler C, Spadaro MC, Chang C, Li M, Hong M, Arbiol J, Ibáñez M. 2024. Enhancing thermoelectric performance of solutionpProcessed polycrystalline SnSe with PbSe nanocrystals. Chemical Engineering Journal. 490, 151405.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 14734
Wan S, Xiao S, Li M, Wang X, Lim KH, Hong M, Ibáñez M, Cabot A, Liu Y. 2024. Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. Small Methods. 8(8), 2301377.
View | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 15182 | OA
Kleinhanns T, Milillo F, Calcabrini M, Fiedler C, Horta S, Balazs D, Strumolo MJ, Hasler R, Llorca J, Tkadletz M, Brutchey RL, Ibáñez M. 2024. A route to high thermoelectric performance: Solution‐based control of microstructure and composition in Ag2Se. Advanced Energy Materials. 14(22), 2400408.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 14435
Zeng G, Sun Q, Horta S, Wang S, Lu X, Zhang C, Li J, Li J, Ci L, Tian Y, Ibáñez M, Cabot A. 2024. A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. Advanced Materials. 36(1), 2305128.
View | DOI | WoS | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 13093 | OA
Nan B, Li M, Zhang Y, Xiao K, Lim KH, Chang C, Han X, Zuo Y, Li J, Arbiol J, Llorca J, Ibáñez M, Cabot A. 2024. Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. ACS Applied Electronic Materials. 6(5), 2807–215.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2024 | Published | Book Chapter | IST-REx-ID: 18052
Kleindienst D, Costanzo T, Shigemoto R. 2024.Automated Imaging and Analysis of Synapses in Freeze-Fracture Replica Samples with Deep Learning. In: New Aspects in Analyzing the Synaptic Organization of the Brain. Neuromethods, , 123–137.
View | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 14834 | OA
Radler P, Loose M. 2024. A dynamic duo: Understanding the roles of FtsZ and FtsA for Escherichia coli cell division through in vitro approaches. European Journal of Cell Biology. 103(1), 151380.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 15018 | OA
Shimura Y, Godfrin C, Hikavyy A, Li R, Aguilera Servin JL, Katsaros G, Favia P, Han H, Wan D, de Greve K, Loo R. 2024. Compressively strained epitaxial Ge layers for quantum computing applications. Materials Science in Semiconductor Processing. 174(5), 108231.
[Published Version] View | Files available | DOI | WoS
 
2024 | Published | Journal Article | IST-REx-ID: 15118
Nußbaum P, Kureisaite-Ciziene D, Bellini D, Van Der Does C, Kojic M, Taib N, Yeates A, Tourte M, Gribaldo S, Loose M, Löwe J, Albers SV. 2024. Proteins containing photosynthetic reaction centre domains modulate FtsZ-based archaeal cell division. Nature Microbiology. 9(3), 698–711.
View | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 18653 | OA
Hickie J, Van Straaten B, Fedele F, Jirovec D, Ballabio A, Chrastina D, Isella G, Katsaros G, Ares N. 2024. Automated long-range compensation of an rf quantum dot sensor. Physical Review Applied. 22(6), 064026.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa M, Henzinger TA, Oliveira da Costa A. 2024. Monitoring extended hypernode logic. Integrated Formal Methods. , LNCS, vol. 15234, 151–171.
View | DOI
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 | OA
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. 2024. Information-flow interfaces. Formal Methods in System Design.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18086
Alwen JF, Auerbach B, Cueto Noval M, Klein K, Pascual Perez G, Pietrzak KZ. 2024. DeCAF: Decentralizable CGKA with fast healing. Security and Cryptography for Networks: 14th International Conference. SCN: Security and Cryptography for Networks, LNCS, vol. 14974, 294–313.
View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 15381 | OA
Rangel Guerrero DK, Balueva K, Barayeu U, Baracskay P, Gridchyn I, Nardin M, Roth CN, Wulff P, Csicsvari JL. 2024. Hippocampal cholecystokinin-expressing interneurons regulate temporal coding and contextual learning. Neuron. 112(12), 2045–2061.e10.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 18655 | OA
Anastos M, Diskin S, Elboim D, Krivelevich M. 2024. Climbing up a random subgraph of the hypercube. Electronic Communications in Probability. 29, 70.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18976 | OA
Islamov R, Safaryan M, Alistarh D-A. 2024. AsGrad: A sharp unified analysis of asynchronous-SGD algorithms. Proceedings of The 27th International Conference on Artificial Intelligence and Statistics. AISTATS: Conference on Artificial Intelligence and Statistics, PMLR, vol. 238, 649–657.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18586 | OA
CZUDEK KS, Dolgopyat D. 2024. The central limit theorem and rate of mixing for simple random walks on the circle. Alea. 21(2), 1853–1865.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17396 | OA
Quishpe-Vásquez C, Oliva P, López-Barrera EA, Casallas Garcia A. 2024. Wildfires impact on PM2.5 concentration in galicia Spain. Journal of Environmental Management. 367, 122093.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 17127 | OA
Wang V, Xu MW. 2024. Paucity phenomena for polynomial products. Bulletin of the London Mathematical Society. 56(8), 2718–2726.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 15248 | OA
Shen S. 2024. Mirror symmetry for parabolic Higgs bundles via p-adic integration. Advances in Mathematics. 443(5), 109616.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17189
Hanson CS, Das SB, Mani P, Hanasoge S, Sreenivasan KR. 2024. Supergranular-scale solar convection not explained by mixing-length theory. Nature Astronomy. 8, 1088–1101.
View | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 14733 | OA
Jethwa RB, Hey D, Kerber RN, Bond AD, Wright DS, Grey CP. 2024. Exploring the landscape of heterocyclic quinones for redox flow batteries. ACS Applied Energy Materials. 7(2), 414–426.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 | Published | Conference Paper | IST-REx-ID: 17402 | OA
Meggendorfer T, Weininger M. 2024. Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. 36th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 14683, 359–372.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17447 | OA
Wang V. 2024. Special cubic zeros and the dual variety. Journal of the London Mathematical Society. 110(3), e12975.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18528 | OA
Das SB, Einramhof L, Bugnet LA. 2024. Unveiling complex magnetic field configurations in red giant stars. Astronomy and Astrophysics. 690, A217.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 15359 | OA
Dong H, Shi Y, Ying P, Xu K, Liang T, Wang Y, Zeng Z, Wu X, Zhou W, Xiong S, Chen S, Fan Z. 2024. Molecular dynamics simulations of heat transport using machine-learned potentials: A mini-review and tutorial on GPUMD with neuroevolution potentials. Journal of Applied Physics. 135(16), 161101.
[Preprint] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 15024 | OA
Robin P. 2024. Correlation-induced viscous dissipation in concentrated electrolytes. Journal of Chemical Physics. 160(6), 064503.
[Published Version] View | Files available | DOI | PubMed | Europe PMC | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 14986 | OA
Shen S. 2024. Tamely ramified geometric Langlands correspondence in positive characteristic. International Mathematics Research Notices. 2024(7), 6176–6208.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 15321 | OA
Trinh G, Benhamou B, Pastva S, Soliman S. 2024. Scalable enumeration of trap spaces in boolean networks via answer set programming. Proceedings of the 38th AAAI Conference on Artificial Intelligence. vol. 38, 10714–10722.
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 12311 | OA
Naskręcki B, Verzobio M. 2024. Common valuations of division polynomials. Proceedings of the Royal Society of Edinburgh Section A: Mathematics., 2203.02015.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 15052
Cheng R, Zeng Z, Wang C, Ouyang N, Chen Y. 2024. Impact of strain-insensitive low-frequency phonon modes on lattice thermal transport in AxXB6-type perovskites. Physical Review B. 109(5), 054305.
View | DOI
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17437 | OA
Vernet T. 2024. Rational singularities for moment maps of totally negative quivers. Transformation Groups.
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 | Published | Journal Article | IST-REx-ID: 18479 | OA
Mcdonough Y, Ruzicka F, Connallon T. 2024. Reconciling theories of dominance with the relative rates of adaptive substitution on sex chromosomes and autosomes. Proceedings of the National Academy of Sciences of the United States of America. 121(44), e2406335121.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 17892 | OA
Olmeda F, Rulands S. 2024. Field theory of enzyme-substrate systems with restricted long-range interactions. Physical Review E. 110(2), 024404.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18074 | OA
Fialova M. 2024. Aharonov–Casher theorems for Dirac operators on manifolds with boundary and APS boundary condition. Annales Henri Poincare.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. 2024. BNClassifier: Classifying boolean models by dynamic properties. Computational Methods in Systems Biology. , LNBI, vol. 14971, 19–26.
View | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18627 | OA
Shen R, Qin F, Desaules J-YM, Papić Z, Lee CH. 2024. Enhanced many-body quantum scars from the non-hermitian fock skin effect. Physical Review Letters. 133(21), 216601.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2024 | Research Data | IST-REx-ID: 17471 | OA
Desaules J-YM. 2024. Data for ‘Enhanced many-body quantum scars from the non-Hermitian Fock skin effect’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:17471.
View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 15168 | OA
Filakovský M, Nakajima TV, Opršal J, Tasinato G, Wagner U. 2024. Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs. 41st International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 289, 34.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 15313 | OA
Agasthya LN, Muller CJ. 2024. Dynamics and scaling of internally cooled convection. Communications in Nonlinear Science and Numerical Simulation. 134, 108011.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18605 | OA
Agasthya LN, Muller CJ, Cheve M. 2024. Moist convective scaling: Insights from an idealised model. Quarterly Journal of the Royal Meteorological Society.
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 | Published | Journal Article | IST-REx-ID: 17052 | OA
Fiedler C, Calcabrini M, Liu Y, Ibáñez M. 2024. Unveiling crucial chemical processing parameters influencing the performance of solution-processed inorganic thermoelectric materials. Angewandte Chemie - International Edition. 63(25), e202402628.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 17235 | OA
Kohopää K, Ronzani A, Jabdaraghi RN, Bera A, Ribeiro M, Hazra D, Senior JL, Prunnila M, Govenius J, Lehtinen JS, Kemppinen A. 2024. Effect of ion irradiation on superconducting thin films. APL Materials. 12(7), 071101.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 13271 | OA
Zhang H. 2024. Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. 25, 2087–2106.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17886 | OA
Zendrikov D, Paraskevov A. 2024. The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks. Neural Networks. 180, 106589.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 17457 | OA
Ritzau-Jost A, Gsell F, Sell J, Sachs S, Montanaro-Punzengruber J-C, Kirmann T, Maaß S, Irani SR, Werner C, Geis C, Sauer M, Shigemoto R, Hallermann S. 2024. LGI1 autoantibodies enhance synaptic transmission by presynaptic Kv1 loss and increased action potential broadening. Neurology, Neuroimmunology and Neuroinflammation. 11(5), e200284.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 14931 | OA
Lauritsen AB, Seiringer R. 2024. Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion. Journal of Functional Analysis. 286(7), 110320.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18107 | OA
Lauritsen AB, Seiringer R. 2024. Pressure of a dilute spin-polarized Fermi gas: Lower bound. Forum of Mathematics, Sigma. 12, e78.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 15012 | OA
Pach J, Saghafian M, Schnider P. 2024. Decomposition of geometric graphs into star-forests. 31st International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network Visualization, LNCS, vol. 14465, 339–346.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17284 | OA
Gärtner FR, Ishikawa-Ankerhold H, Stutte S, Fu W, Weitz J, Dueck A, Nelakuditi B, Fumagalli V, Van Den Heuvel D, Belz L, Sobirova G, Zhang Z, Titova A, Navarro AM, Pekayvaz K, Lorenz M, Von Baumgarten L, Kranich J, Straub T, Popper B, Zheden V, Kaufmann W, Guo C, Piontek G, Von Stillfried S, Boor P, Colonna M, Clauß S, Schulz C, Brocker T, Walzog B, Scheiermann C, Aird WC, Nerlov C, Stark K, Petzold T, Engelhardt S, Sixt MK, Hauschild R, Rudelius M, Oostendorp RAJ, Iannacone M, Heinig M, Massberg S. 2024. Plasmacytoid dendritic cells control homeostasis of megakaryopoiesis. Nature. 631, 645–653.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 15374 | OA
Adamowski M, Randuch M, Matijevic I, Narasimhan M, Friml J. 2024. SH3Ps recruit auxilin-like vesicle uncoating factors for clathrin-mediated endocytosis. Cell Reports. 43(5), 114195.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 14794 | OA
Hansen AH, Hippenmeyer S. 2024. Time-lapse imaging of cortical projection neuron migration in mice using mosaic analysis with double markers. STAR Protocols. 5(1), 102795.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 10018 | OA
Derenthal U, Wilsch FA. 2024. Integral points on singular del Pezzo surfaces. Journal of the Institute of Mathematics of Jussieu. 23(3), 1259–1294.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 15338 | OA
Browning TD, Pierce LB, Schindler D. 2024. Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. 23(6), 2859–2912.
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed