DOI,IST REx ID,Research Group,Title of publication
10.1145/3661814.3662080,17098,KrCh,Deterministic sub-exponential algorithm for discounted-sum games with unary weights
10.52202/079017-0001,19510,DaAl,MICROADAM: Accurate adaptive optimization with low space overhead and provable convergence
10.1103/PhysRevB.110.L201114,18654,KiMo,Scale-invariant magnetic anisotropy in α-RuCl3: A quantum Monte Carlo study
10.52202/079017-3180,19511,DaAl,QuaRot: Outlier-free 4-bit inference in rotated LLMs
10.1103/PhysRevB.109.054405,15003,KiMo,Frustrated magnetism in octahedra-based Ce6 Ni6 P17
10.1512/iumj.2024.73.9701,18926,JuFi,BV solutions for mean curvature flow with constant angle: Allen-Cahn approximation and weak-strong uniqueness
10.48550/arXiv.2401.16252,17101,KrCh,Zero-sum random games on directed graphs
10.4230/LIPIcs.OPODIS.2023.11,15006,KrCh,On the convergence time in graphical games: A locality-sensitive approach
10.1007/978-3-031-65633-0_16,17402,KrCh,"Playing games with your PET: Extending the Partial Exploration Tool to stochastic games"
10.1145/3649824,17162,KrCh,Quantitative bounds on resource usage of probabilistic programs
10.52202/079017-0299,19512,MoHe,Continual counting with gradual privacy expiration
10.52202/079017-2115,19515,FrLo,Latent functional maps: A spectral framework for representation alignment
10.5281/zenodo.10457565,23140,KrCh,Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs
10.1073/pnas.2315558121,15083,KrCh,Efficiency and resilience of cooperation in asymmetric social dilemmas
10.1371/journal.pcbi.1012008,15297,KrCh,Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating
10.5281/ZENODO.10639167,15108,KrCh,"Computer code for ""Efficiency and resilience of cooperation in asymmetric social dilemmas"""
10.1007/978-3-031-71162-6_31,18155,KrCh,"Sound and complete witnesses for template-based verification of LTL properties on polynomial programs"
10.5281/zenodo.12518216,22798,KrCh,Data for Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
10.1073/pnas.2405605121,18703,KrCh,Density amplifiers of cooperation for spatial games
10.46298/lmcs-20(4:11)2024,18630,KrCh,Stochastic processes with expected stopping time