DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPICS.MFCS.2018.23,6005,ToHe,Timed network games with clocks
10.3390/g9030039,6006,ToHe,An abstraction-refinement methodology for reasoning about network games
10.1145/3210257,6009,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.1073/pnas.1804517115,6010,MaJö,"“Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network"
null,6011,ChLa,Data-dependent stability of stochastic gradient descent
null,6012,ChLa,Learning equations for extrapolation and control
10.1109/SiPS.2018.8598402,6031,DaAl,Fast quantized arithmetic on x86: Trading compute for data movement
10.1145/3230649,6032,VlKo,Even delta-matroids and the complexity of planar boolean CSPs
10.1016/j.anihpc.2017.11.004,606,JuFi,Well-posedness for mean-field evolutions arising in superconductivity
10.1016/j.physd.2017.10.015,607,"NiBa,GaTk",Well posedness and maximum entropy approximation for the dynamics of quantitative traits
10.1016/j.tcs.2017.11.001,608,ToHe,Synthesis from component libraries with costs
10.1007/978-3-319-72456-0_7,61,TaHa,There is no strongly regular graph with parameters (460; 153; 32; 60)
10.1007/s00429-017-1568-y,612,RySh,Differential association of GABAB receptors with their effector ion channels in Purkinje cells
10.7554/eLife.32073,616,SyCr,Destructive disinfection of infected brood prevents systemic disease spread in ant colonies
10.1111/jeb.13211,617,SyCr,"Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance"
null,6183,LaEr,"The Dyson equation with linear self-energy: Spectral bands, edges and  cusps"
10.1109/icra.2018.8461106,6195,BeBi,Efficient FEM-based simulation of soft robots modeled as kinematic chains
10.1038/s41598-018-32628-3,62,MaJö,Flexible learning-free segmentation and reconstruction of neural volumes
10.1242/jcs.207696,620,DaSi,Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis
10.15479/AT:ISTA:th1072,6263,ToBo,Genetic determinants of antibiotic resistance evolution