DOI,IST REx ID,Research Group,Title of publication
10.1145/3174800,5993,KrCh,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
10.1093/bioinformatics/bty340,5995,FyKo,Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation
10.1017/jfm.2017.923,5996,BjHo,The critical point of the transition to turbulence in pipe flow
10.1371/journal.pgen.1007698,5998,JoDa,Genome amplification and cellular senescence are hallmarks of human placenta development
10.1112/plms.12111,5999,TaHa,The cohomological Hall algebra of a preprojective algebra
10.3791/58585,6,MaJö,A micro-CT-based method for characterising lesions and locating electrodes in small animal brains
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.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