DOI,IST REx ID,Research Group,Title of publication
null,14993,TiVo,A framework for grassroots research collaboration in machine learning and global health
10.5281/ZENODO.7877790,14994,ToHe,A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
10.5281/ZENODO.7877757,14995,DaAl,Lincheck: A practical framework for testing concurrent data structures on JVM
null,15023,"ToHe,KrCh",Compositional policy learning in stochastic control systems with formal guarantees
null,15027,AnSa,aggregation_data
10.5281/ZENODO.8191723,15035,ToHe,Monitoring hyperproperties with prefix transducers
10.48550/ARXIV.2311.06103,15039,"GradSch,ChLa",1-Lipschitz neural networks are more expressive with N-activations
10.4007/annals.2023.197.3.3,8682,TiBr,The Hasse principle for random Fano hypersurfaces
10.1093/imrn/rnac048,9034,TiBr,Integral points of bounded height on a log Fano threefold
10.1007/s10711-023-00862-3,9651,UlWa,Divergence of separated nets with respect to displacement equivalence
10.1007/s11856-022-2448-6,9652,UlWa,Highly irregular separated nets
10.1101/cshperspect.a039859 ,10016,JiFr,Fourteen stations of auxin
10.1017/S1474748022000482,10018,TiBr,Integral points on singular del Pezzo surfaces
10.1021/acsnano.1c06720,10042,MaIb,Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance
10.1038/s41580-021-00415-0,10182,LeSa,"The assembly, regulation and function of the mitochondrial respiratory chain"
10.1007/s12652-021-03569-z,10208,HeEd,A context-aware dimension reduction framework for trajectory and health signal analyses
10.1111/ele.13907,10284,SyCr,Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies
10.1007/s00493-021-4443-7,10335,UlWa,"Even maps, the Colin de Verdière number and representations of graphs"
10.1109/TWC.2021.3125626,10364,MaMo,Parallelism versus latency in simplified successive-cancellation decoding of polar codes
10.1016/j.tplants.2021.11.006,10411,JiFr,Bending to auxin: Fast acid growth for tropisms