DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2023.17,13221,"GradSch,ToHe",Safety and liveness of quantitative automata
10.1016/j.gde.2023.102087,13965,DaZi,"Concepts, mechanisms and implications of long-term epigenetic inheritance"
10.1242/dev.201559,14774,AnKi,Real-time monitoring of an endogenous Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation
10.1016/b978-0-12-822974-3.00166-x,22530,,Water use efficiency: A review of spatial and temporal variability
10.1098/rsif.2023.0355,14657,KrCh,Evolutionary dynamics of mutants that modify population structure
10.1016/j.sbi.2023.102660,14036,PaSc,Protein dynamics detected by magic-angle spinning relaxation dispersion NMR
10.1007/s00021-023-00803-w,14042,JuFi,On unsteady internal flows of incompressible fluids characterized by implicit constitutive equations in the bulk and on the boundary
10.1017/jfm.2023.780,14466,"GradSch,BjHo",Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows
10.1017/jfm.2022.1001,12105,BjHo,Symmetry-reduced dynamic mode decomposition of near-wall turbulence
10.1103/physrevlett.131.034002,13274,"GradSch,BjHo",Direct path from turbulence to time-periodic solutions
10.1042/bst20220221,12421,FlSc,Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM
10.1007/978-3-031-48621-0_11,14692,KrPi,Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing
10.1007/978-3-031-48621-0_10,14691,KrPi,"On the cost of post-compromise security in concurrent Continuous Group-Key Agreement"
10.1098/rspa.2022.0685,12787,KrCh,Coexistence times in the Moran process with environmental heterogeneity
10.52202/075280-2050,14954,FrLo,Assumption violations in causal discovery and the robustness of score matching
null,15023,"ToHe,KrCh",Compositional policy learning in stochastic control systems with formal guarantees
10.52202/075280-0147,14953,FrLo,Sample complexity bounds for score-matching: Causal discovery and generative modeling
10.1007/978-3-031-37703-7_17,13310,"GradSch,ToHe",Monitoring algorithmic fairness
10.1145/3593013.3594028,13228,ToHe,Runtime monitoring of dynamic fairness properties
10.1007/978-3-031-44267-4_15,14454,ToHe,Monitoring algorithmic fairness under partial observations