DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-10575-8,3300,ToHe,Handbook of Model Checking
10.1007/978-1-4939-8772-6_4,37,AnKi,Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube
10.1016/j.wneu.2018.02.096,398,BeBi,Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device
10.1016/j.phytochem.2018.02.015,407,EvBe,"Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins"
10.1145/3078632,425,UlWa,Embeddability in the 3-Sphere is decidable
10.1007/978-3-319-73915-1_14,433,UlWa,Thrackles: An improved upper bound
10.3847/1538-4357/aadae5,17575,,Constraining stellar-mass black hole mergers in AGN disks detectable with LIGO
10.3847/2041-8213/aad8ad,17640,,Gravitational waves from supermassive black hole binaries in ultraluminous infrared galaxies
10.1093/mnras/sty276,17679,,"Low-density, radiatively inefficient rotating-accretion flow on to a black hole"
10.1093/mnras/sty1720,17687,,Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories
10.1007/978-3-030-01216-8_27,18282,,ForestHash: Semantic hashing with shallow random forests and tiny convolutional networks
10.1007/978-3-030-00928-1_15,18283,,High frame-rate cardiac ultrasound imaging with deep learning
10.1007/978-3-030-00129-2_17,18284,,High quality ultrasonic multi-line transmission through deep learning
10.1364/cosi.2018.cw3b.3,18285,,Deep learned phase mask for single image depth estimation and 3D scanning
10.1145/3178126.3178131,183,ToHe,Localizing faults in simulink/stateflow models with STL
10.4230/LIPIcs.SoCG.2018.41,184,UlWa,Shellability is NP-complete
10.1007/s00446-018-0342-6,76,DaAl,Near-optimal self-stabilising counting and firing squads
10.1038/s41467-018-06418-4,77,GeKa,A germanium hole spin qubit
10.1038/s41562-018-0476-3,7715,,Imprint of assortative mating on the human genome
10.1007/978-3-030-00151-3_13,78,ToHe,Online timed pattern matching using automata