ISTA Research Explorer

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 |

Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). Strategic dominance: A new preorder for nondeterministic processes. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.29

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 17327 |

Cano, F., Henzinger, T. A., Könighofer, B., Kueffner, K., & Mallik, K. (2024). Abstraction-based decision making for statistical properties. In 9th International Conference on Formal Structures for Computation and Deduction (Vol. 299). Tallinn, Estonia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSCD.2024.2

[Published Version] View | Files available | DOI

2024 | Published | Journal Article | IST-REx-ID: 14400 |

Majumdar, R., Mallik, K., Schmuck, A. K., & Soudjani, S. (2024). Symbolic control for stochastic systems via finite parity games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2023.101430

[Published Version] View | Files available | DOI | WoS | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 17413 |

Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying phase abstraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14739, pp. 284–303). Nancy, France: Springer Nature. https://doi.org/10.1007/978-3-031-63498-7_17

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 18955 |

Casares, A., Pilipczuk, M., Pilipczuk, M., Souza, U. S., & Thejaswini, K. S. (2024). Simple and tight complexity lower bounds for solving Rabin games. In 2024 Symposium on Simplicity in Algorithms (pp. 160–167). Alexandria, VA, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977936.16

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Submitted | Conference Paper | IST-REx-ID: 17053

Froleyks, N., Yu, E., & Biere, A. (n.d.). Ternary simulation as abstract interpretation (Work in Progress). In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems (pp. 148–151). Kaiserslautern, Germany.

View

2024 | Published | Conference Paper | IST-REx-ID: 18067 |

Boker, U., Henzinger, T. A., Lehtinen, K., & Prakash, A. (2024). History-determinism vs fair simulation. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.12

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 15376 |

Avni, G., Mallik, K., & Sadhukhan, S. (2024). Auction-based scheduling. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 153–172). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_8

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 15333 |

Chalupa, M., & Richter, C. (2024). Bubaak-SpLit: Split what you cannot verify (Competition contribution). In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_20

[Published Version] View | Files available | DOI

2024 | Published | Conference Paper | IST-REx-ID: 15377 |

Majumdar, R., Sağlam, I., & Thejaswini, K. S. (2024). Rabin games and colourful universal trees. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 213–231). Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_11

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Journal Article | IST-REx-ID: 18530 |

Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., & Totzke, P. (2024). History-deterministic timed automata. Logical Methods in Computer Science. EPI Sciences. https://doi.org/10.46298/lmcs-20(4:1)2024

[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 |

Eilers, A. C., Mackenzie, R., Pizzati, E., Matthee, J. J., Hennawi, J. F., Zhang, H., … Schaye, J. (2024). EIGER. VI. The correlation function, host halo mass, and duty cycle of luminous quasars at z ≳ 6. Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ad778b

[Published Version] View | Files available | DOI

2024 | Published | Journal Article | IST-REx-ID: 18654 |

Sato, T., Ramshaw, B. J., Modic, K. A., & Assaad, F. F. (2024). Scale-invariant magnetic anisotropy in α-RuCl3: A quantum Monte Carlo study. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.110.L201114

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 17203 |

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. Denver, Colorado: Association for Computing Machinery. https://doi.org/10.1145/3658194

[Published Version] View | Files available | DOI

2024 | Published | Conference Paper | IST-REx-ID: 17214 |

Chen, Y.-L., Ly, M., & Wojtan, C. (2024). Primal-dual non-smooth friction for rigid body animation. In Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. Denver, United States: Association for Computing Machinery. https://doi.org/10.1145/3641519.3657485

[Published Version] View | Files available | DOI

2024 | Published | Thesis | IST-REx-ID: 18301 |

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. https://doi.org/10.15479/at:ista:18301

[Published Version] View | Files available | DOI

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 14703 |

Ishida, S., & Lavenant, H. (2024). Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation. Foundations of Computational Mathematics. Springer Nature. https://doi.org/10.1007/s10208-024-09686-3

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 12846 |

Chern, A., & Ishida, S. (2024). Area formula for spherical polygons via prequantization. SIAM Journal on Applied Algebra and Geometry. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/23M1565255

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Submitted | Preprint | IST-REx-ID: 17361 |

Bauer, M., Ishida, S., & Michor, P. W. (n.d.). Symplectic structures on the space of space curves. arXiv. https://doi.org/10.48550/arXiv.2407.19908

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 15252 |

Dello Schiavo, L. (2024). A characterization of maps of bounded compression. Mathematical Communications. Udruga Matematicara Osijek.

[Preprint] View | Download Preprint (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 14846 |

Caballero Mancebo, S., Shinde, R., Bolger-Munro, M., Peruzzo, M., Szep, G., Steccari, I., … Heisenberg, C.-P. J. (2024). Friction forces determine cytoplasmic reorganization and shape changes of ascidian oocytes upon fertilization. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02302-1

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 17269 |

Vercruysse, E., Brückner, D., Gómez-González, M., Remson, A., Luciano, M., Kalukula, Y., … Gabriele, S. (2024). Geometry-driven migration efficiency of autonomous epithelial cell clusters. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-024-02532-x

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2024 | Published | Thesis | IST-REx-ID: 17485 |

Frantar, E. (2024). Compressing large neural networks : Algorithms, systems and scaling laws. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17485

[Published Version] View | Files available | DOI

2024 | Published | Conference Paper | IST-REx-ID: 18061 |

Frantar, E., & Alistarh, D.-A. (2024). QMoE: Sub-1-bit compression of trillion parameter models. In P. Gibbons, G. Pekhimenko, & C. De Sa (Eds.), Proceedings of Machine Learning and Systems (Vol. 6). Santa Clara, CA, USA.

[Published Version] View | Files available | Download Published Version (ext.)

2024 | Published | Conference Paper | IST-REx-ID: 18062 |

Frantar, E., Ruiz, C. R., Houlsby, N., Alistarh, D.-A., & Evci, U. (2024). Scaling laws for sparsely-connected foundation models. In The Twelfth International Conference on Learning Representations. Vienna, Austria.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 13974 |

Fulek, R., Gärtner, B., Kupavskii, A., Valtr, P., & Wagner, U. (2024). The crossing Tverberg theorem. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-023-00532-x

2024 | Published | Conference Paper | IST-REx-ID: 18159 |

Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2024). Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (pp. 3–12). Jeju, Korea: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/1

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 18160 |

Chatterjee, K., Goharshady, E., Karrabi, M., Novotný, P., & Zikelic, D. (2024). Solving long-run average reward robust MDPs via stochastic games. In 33rd International Joint Conference on Artificial Intelligence (pp. 6707–6715). Jeju, South Korea: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/741

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 17328 |

Chatterjee, K., Ebrahimzadeh, A., Karrabi, M., Pietrzak, K. Z., Yeo, M. X., & Zikelic, D. (2024). Fully automated selfish mining analysis in efficient proof systems blockchains. In Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing (pp. 268–278). Nantes, France: Association for Computing Machinery. https://doi.org/10.1145/3662158.3662769

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 17329 |

Alistarh, D.-A., Chatterjee, K., Karrabi, M., & Lazarsfeld, J. M. (2024). Game dynamics and equilibrium computation in the population protocol model. In Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing (pp. 40–49). Nantes, France: Association for Computing Machinery. https://doi.org/10.1145/3662158.3662768

[Published Version] View | Files available | DOI

2024 | Published | Journal Article | IST-REx-ID: 17162 |

Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2024). Quantitative bounds on resource usage of probabilistic programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3649824

[Published Version] View | Files available | DOI

2024 | Published | Journal Article | IST-REx-ID: 17283 |

Chatterjee, K., Goharshady, E., Novotný, P., & Zikelic, D. (2024). Equivalence and similarity refutation for probabilistic programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3656462

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Journal Article | IST-REx-ID: 14820 |

Schmid, S., Svoboda, J., & Yeo, M. X. (2024). Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2023.114353

[Published Version] View | Files available | DOI

2024 | Published | Conference Paper | IST-REx-ID: 15006 |

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 |

Chatterjee, K., Goharshady, A. K., Goharshady, E., Karrabi, M., & Zikelic, D. (2024). Sound and complete witnesses for template-based verification of LTL properties on polynomial programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14933, pp. 600–619). Milan, Italy: Springer Nature. https://doi.org/10.1007/978-3-031-71162-6_31

[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, R. J. (2024). Value-positivity for matrix games. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2022.0332

View | DOI

2024 | Published | Conference Paper | IST-REx-ID: 17099 |

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 |

Chatterjee, K., & Doyen, L. (2024). Stochastic processes with expected stopping time. Logical Methods in Computer Science. EPI Sciences. https://doi.org/10.46298/lmcs-20(4:11)2024

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 17098 |

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 |

Baier, C., Chatterjee, K., Meggendorfer, T., & Piribauer, J. (2024). Entropic risk for turn-based stochastic games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2024.105214

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 18066 |

Avni, G., Goharshady, E. K., Henzinger, T. A., & Mallik, K. (2024). Bidding games with charging. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.8

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Journal Article | IST-REx-ID: 12738 |

Chatterjee, K., Katoen, J. P., Mohr, S., Weininger, M., & Winkler, T. (2024). Stochastic games with lexicographic objectives. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-023-00411-4

[Published Version] View | Files available | DOI | WoS

2024 | Published | Journal Article | IST-REx-ID: 15339 |

González, M., & Hausel, T. (2024). Hitchin map on even very stable upward flows. International Journal of Mathematics. World Scientific Publishing. https://doi.org/10.1142/S0129167X2441009X

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 18900 |

Wirth, M. (2024). Modular completely Dirichlet forms as squares of derivations. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnae092

[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. In NOMS 2024-2024 IEEE Network Operations and Management Symposium. Seoul, Republic of Korea: IEEE. https://doi.org/10.1109/noms59830.2024.10575579

View | DOI

2024 | Published | Journal Article | IST-REx-ID: 15357 |

Liu, Y., Lee, S., Fiedler, C., Spadaro, M. C., Chang, C., Li, M., … Ibáñez, M. (2024). Enhancing thermoelectric performance of solutionpProcessed polycrystalline SnSe with PbSe nanocrystals. Chemical Engineering Journal. Elsevier. https://doi.org/10.1016/j.cej.2024.151405

[Published Version] View | Files available | DOI

2024 | Published | Journal Article | IST-REx-ID: 14734

Wan, S., Xiao, S., Li, M., Wang, X., Lim, K. H., Hong, M., … Liu, Y. (2024). Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. Small Methods. Wiley. https://doi.org/10.1002/smtd.202301377

View | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 15182 |

Kleinhanns, T., Milillo, F., Calcabrini, M., Fiedler, C., Horta, S., Balazs, D., … Ibáñez, M. (2024). A route to high thermoelectric performance: Solution‐based control of microstructure and composition in Ag2Se. Advanced Energy Materials. Wiley. https://doi.org/10.1002/aenm.202400408

[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., … Cabot, A. (2024). A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. Advanced Materials. Wiley. https://doi.org/10.1002/adma.202305128

View | DOI | WoS | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 13093 |

Nan, B., Li, M., Zhang, Y., Xiao, K., Lim, K. H., Chang, C., … Cabot, A. (2024). Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. ACS Applied Electronic Materials. American Chemical Society. https://doi.org/10.1021/acsaelm.3c00055

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 J. H. R. Lübke & A. Rollenhagen (Eds.), New Aspects in Analyzing the Synaptic Organization of the Brain (1st ed., pp. 123–137). New York: Springer Nature. https://doi.org/10.1007/978-1-0716-4019-7_8

View | DOI

2024 | Published | Journal Article | IST-REx-ID: 14834 |

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. Elsevier. https://doi.org/10.1016/j.ejcb.2023.151380

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 15018 |

Shimura, Y., Godfrin, C., Hikavyy, A., Li, R., Aguilera Servin, J. L., Katsaros, G., … Loo, R. (2024). Compressively strained epitaxial Ge layers for quantum computing applications. Materials Science in Semiconductor Processing. Elsevier. https://doi.org/10.1016/j.mssp.2024.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., … Albers, S. V. (2024). Proteins containing photosynthetic reaction centre domains modulate FtsZ-based archaeal cell division. Nature Microbiology. Springer Nature. https://doi.org/10.1038/s41564-024-01600-5

View | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 18653 |

Hickie, J., Van Straaten, B., Fedele, F., Jirovec, D., Ballabio, A., Chrastina, D., … Ares, N. (2024). Automated long-range compensation of an rf quantum dot sensor. Physical Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.22.064026

[Published Version] View | Files available | DOI

2024 | Published | Conference Paper | IST-REx-ID: 18599

Chalupa, M., Henzinger, T. A., & Oliveira da Costa, A. (2024). Monitoring extended hypernode logic. In Integrated Formal Methods (Vol. 15234, pp. 151–171). Springer Nature. https://doi.org/10.1007/978-3-031-76554-4_9

View | DOI

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 |

Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2024). Information-flow interfaces. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-024-00447-0

[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 18086

Alwen, J. F., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., & Pietrzak, K. Z. (2024). DeCAF: Decentralizable CGKA with fast healing. In C. Galdi & D. H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference (Vol. 14974, pp. 294–313). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-71073-5_14

View | Files available | DOI

2024 | Published | Journal Article | IST-REx-ID: 15381 |

Rangel Guerrero, D. K., Balueva, K., Barayeu, U., Baracskay, P., Gridchyn, I., Nardin, M., … Csicsvari, J. L. (2024). Hippocampal cholecystokinin-expressing interneurons regulate temporal coding and contextual learning. Neuron. Cell Press. https://doi.org/10.1016/j.neuron.2024.03.019

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 18655 |

Anastos, M., Diskin, S., Elboim, D., & Krivelevich, M. (2024). Climbing up a random subgraph of the hypercube. Electronic Communications in Probability. Duke University Press. https://doi.org/10.1214/24-ECP639

[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 18976 |

Islamov, R., Safaryan, M., & Alistarh, D.-A. (2024). AsGrad: A sharp unified analysis of asynchronous-SGD algorithms. In Proceedings of The 27th International Conference on Artificial Intelligence and Statistics (Vol. 238, pp. 649–657). Valencia, Spain: ML Research Press.

[Preprint] View | Download Preprint (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 18586 |

CZUDEK, K. S., & Dolgopyat, D. (2024). The central limit theorem and rate of mixing for simple random walks on the circle. Alea. Instituto Nacional de Matematica Pura e Aplicada. https://doi.org/10.30757/ALEA.V21-70

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 17396 |

Quishpe-Vásquez, C., Oliva, P., López-Barrera, E. A., & Casallas Garcia, A. (2024). Wildfires impact on PM2.5 concentration in galicia Spain. Journal of Environmental Management. Elsevier. https://doi.org/10.1016/j.jenvman.2024.122093

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 17127 |

Wang, V., & Xu, M. W. (2024). Paucity phenomena for polynomial products. Bulletin of the London Mathematical Society. London Mathematical Society. https://doi.org/10.1112/blms.13095

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 15248 |

Shen, S. (2024). Mirror symmetry for parabolic Higgs bundles via p-adic integration. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2024.109616

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Journal Article | IST-REx-ID: 17189

Hanson, C. S., Das, S. B., Mani, P., Hanasoge, S., & Sreenivasan, K. R. (2024). Supergranular-scale solar convection not explained by mixing-length theory. Nature Astronomy. Springer Nature. https://doi.org/10.1038/s41550-024-02304-w

View | DOI

2024 | Published | Journal Article | IST-REx-ID: 14733 |

Jethwa, R. B., Hey, D., Kerber, R. N., Bond, A. D., Wright, D. S., & Grey, C. P. (2024). Exploring the landscape of heterocyclic quinones for redox flow batteries. ACS Applied Energy Materials. American Chemical Society. https://doi.org/10.1021/acsaem.3c02223

2024 | Published | Conference Paper | IST-REx-ID: 17402 |

Meggendorfer, T., & Weininger, M. (2024). Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In 36th International Conference on Computer Aided Verification (Vol. 14683, pp. 359–372). Montreal, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-65633-0_16

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Journal Article | IST-REx-ID: 17447 |

Wang, V. (2024). Special cubic zeros and the dual variety. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12975

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Journal Article | IST-REx-ID: 18528 |

Das, S. B., Einramhof, L., & Bugnet, L. A. (2024). Unveiling complex magnetic field configurations in red giant stars. Astronomy and Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202450918

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Journal Article | IST-REx-ID: 15359 |

Dong, H., Shi, Y., Ying, P., Xu, K., Liang, T., Wang, Y., … 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. AIP Publishing. https://doi.org/10.1063/5.0200833

[Preprint] View | Files available | DOI | arXiv

2024 | Published | Journal Article | IST-REx-ID: 15024 |

Robin, P. (2024). Correlation-induced viscous dissipation in concentrated electrolytes. Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0188215

2024 | Published | Journal Article | IST-REx-ID: 14986 |

Shen, S. (2024). Tamely ramified geometric Langlands correspondence in positive characteristic. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnae005

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 15321 |

Trinh, G., Benhamou, B., Pastva, S., & Soliman, S. (2024). Scalable enumeration of trap spaces in boolean networks via answer set programming. In Proceedings of the 38th AAAI Conference on Artificial Intelligence (Vol. 38, pp. 10714–10722). Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v38i9.28943

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 12311 |

Naskręcki, B., & Verzobio, M. (2024). Common valuations of division polynomials. Proceedings of the Royal Society of Edinburgh Section A: Mathematics. Cambridge University Press. https://doi.org/10.1017/prm.2024.7

[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. American Physical Society. https://doi.org/10.1103/physrevb.109.054305

View | DOI

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17437 |

Vernet, T. (2024). Rational singularities for moment maps of totally negative quivers. Transformation Groups. Springer Nature. https://doi.org/10.1007/s00031-024-09873-0

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 18479 |

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. National Academy of Sciences. https://doi.org/10.1073/pnas.2406335121

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 17892 |

Olmeda, F., & Rulands, S. (2024). Field theory of enzyme-substrate systems with restricted long-range interactions. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.110.024404

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18074 |

Fialova, M. (2024). Aharonov–Casher theorems for Dirac operators on manifolds with boundary and APS boundary condition. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-024-01482-7

[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. In Computational Methods in Systems Biology (Vol. 14971, pp. 19–26). Springer Nature. https://doi.org/10.1007/978-3-031-71671-3_2

View | DOI

2024 | Published | Journal Article | IST-REx-ID: 18627 |

Shen, R., Qin, F., Desaules, J.-Y. M., Papić, Z., & Lee, C. H. (2024). Enhanced many-body quantum scars from the non-hermitian fock skin effect. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.133.216601

2024 | Research Data | IST-REx-ID: 17471 |

Desaules, J.-Y. M. (2024). Data for “Enhanced many-body quantum scars from the non-Hermitian Fock skin effect.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17471

View | Files available | DOI

2024 | Published | Conference Paper | IST-REx-ID: 15168 |

Filakovský, M., Nakajima, T. V., Opršal, J., Tasinato, G., & Wagner, U. (2024). Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs. In 41st International Symposium on Theoretical Aspects of Computer Science (Vol. 289). Clermont-Ferrand, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2024.34

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Journal Article | IST-REx-ID: 15313 |

Agasthya, L. N., & Muller, C. J. (2024). Dynamics and scaling of internally cooled convection. Communications in Nonlinear Science and Numerical Simulation. Elsevier. https://doi.org/10.1016/j.cnsns.2024.108011

[Published Version] View | Files available | DOI | arXiv

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18605 |

Agasthya, L. N., Muller, C. J., & Cheve, M. (2024). Moist convective scaling: Insights from an idealised model. Quarterly Journal of the Royal Meteorological Society. Wiley. https://doi.org/10.1002/qj.4902

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17052 |

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. Wiley. https://doi.org/10.1002/anie.202402628

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 17235 |

Kohopää, K., Ronzani, A., Jabdaraghi, R. N., Bera, A., Ribeiro, M., Hazra, D., … Kemppinen, A. (2024). Effect of ion irradiation on superconducting thin films. APL Materials. AIP Publishing. https://doi.org/10.1063/5.0202851

[Published Version] View | Files available | DOI

2024 | Published | Journal Article | IST-REx-ID: 13271 |

Zhang, H. (2024). Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-023-01345-7

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2024 | Published | Journal Article | IST-REx-ID: 17886 |

Zendrikov, D., & Paraskevov, A. (2024). The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks. Neural Networks. Elsevier. https://doi.org/10.1016/j.neunet.2024.106589

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 17457 |

Ritzau-Jost, A., Gsell, F., Sell, J., Sachs, S., Montanaro-Punzengruber, J.-C., Kirmann, T., … Hallermann, S. (2024). LGI1 autoantibodies enhance synaptic transmission by presynaptic Kv1 loss and increased action potential broadening. Neurology, Neuroimmunology and Neuroinflammation. Wolters Kluwer. https://doi.org/10.1212/NXI.0000000000200284

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 14931 |

Lauritsen, A. B., & Seiringer, R. (2024). Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2024.110320

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Journal Article | IST-REx-ID: 18107 |

Lauritsen, A. B., & Seiringer, R. (2024). Pressure of a dilute spin-polarized Fermi gas: Lower bound. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2024.56

[Published Version] View | Files available | DOI | arXiv

2024 | Published | Conference Paper | IST-REx-ID: 15012 |

Pach, J., Saghafian, M., & Schnider, P. (2024). Decomposition of geometric graphs into star-forests. In 31st International Symposium on Graph Drawing and Network Visualization (Vol. 14465, pp. 339–346). Isola delle Femmine, Palermo, Italy: Springer Nature. https://doi.org/10.1007/978-3-031-49272-3_23

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 17284 |

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 |

Adamowski, M., Randuch, M., Matijevic, I., Narasimhan, M., & Friml, J. (2024). SH3Ps recruit auxilin-like vesicle uncoating factors for clathrin-mediated endocytosis. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2024.114195

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 14794 |

Hansen, A. H., & Hippenmeyer, S. (2024). Time-lapse imaging of cortical projection neuron migration in mice using mosaic analysis with double markers. STAR Protocols. Elsevier. https://doi.org/10.1016/j.xpro.2023.102795

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 10018 |

Derenthal, U., & Wilsch, F. A. (2024). Integral points on singular del Pezzo surfaces. Journal of the Institute of Mathematics of Jussieu. Cambridge University Press. https://doi.org/10.1017/S1474748022000482

[Published Version] View | Files available | DOI | WoS | arXiv

2024 | Published | Journal Article | IST-REx-ID: 15338 |

Browning, T. D., Pierce, L. B., & Schindler, D. (2024). Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. Cambridge University Press. https://doi.org/10.1017/S1474748024000161

[Published Version] View | Files available | DOI | arXiv

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5735 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5735 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options