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.1073/pnas.1714610115,6109,,Genetic dissection of neuropeptide cell biology at high and low activity in a defined sensory neuron
10.1371/journal.pgen.1007435,6111,,A neuronal MAP kinase constrains growth of a Caenorhabditis elegans sensory dendrite throughout the life of the organism
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.1007/978-3-030-05288-1_7,6164,,Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D
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