DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-10575-8_1,60,ToHe,Introduction to model checking
10.1145/3201897,6001,DaAl,ThreadScan: Automatic and scalable memory reclamation
10.1007/s00205-018-1232-6,6002,RoSe,The Bogoliubov free energy functional I: Existence of minimizers and phase diagram
10.1111/cgf.13327,6003,BeBi,State of the art on stylized fabrication
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.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/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"
10.1109/icra.2018.8461106,6195,BeBi,Efficient FEM-based simulation of soft robots modeled as kinematic chains