DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-37706-8_20,14259,KrCh,"Guessing winning policies in LTL synthesis by semantic learning"
10.1007/978-3-031-37706-8_8,14260,"DaAl,GradSch","Lincheck: A practical framework for testing concurrent data structures on JVM"
10.1021/acs.jpclett.3c01707,14261,GradSch,"Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems"
10.1126/sciimmunol.adc9584,14274,"MiSi,EdHa,NanoFab",CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration
10.1103/prxlife.1.013001,14277,EdHa,Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers
10.5281/ZENODO.8133960,14279,EdHa,"Source data for the manuscript ""CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration"""
10.15479/at:ista:14280,14280,"GradSch,MaLo",Spatiotemporal signaling during assembly of the bacterial divisome
10.1126/science.adg7731,14281,,Design of stimulus-responsive two-state hinge proteins
10.1101/2023.03.14.532666,14294,,Modulation of FGF pathway signaling and vascular differentiation using designed oligomeric assemblies
10.1016/j.pbi.2023.102443,14313,JiFr,Rapid auxin signaling: Unknowns old and new
10.1016/j.celrep.2023.113015,14314,JoCs,Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions
10.7554/eLife.89066,14315,MaHe,Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress
10.1242/jcs.261448,14316,DaSi,Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway
10.1007/978-3-031-37709-9_5,14317,KrCh,"MDPs as distribution transformers: Affine invariant synthesis for safety objectives"
10.1007/978-3-031-37709-9_2,14318,KrCh,"Automated tail bound analysis for probabilistic recurrence relations"
10.37236/11714,14319,MaKw,Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
10.1103/physrevb.108.125411,14320,"MaSe,ChLa,MiLe",Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene
10.1063/5.0165806,14321,MiLe,Achiral dipoles on a ferromagnet can affect its magnetization direction
10.15479/at:ista:14323,14323,"GradSch,AnKi",Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord
10.48550/arXiv.2307.09552,14333,FrLo,Self-compatibility: Evaluating causal discovery without ground truth