DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-52498-6_10,634,GaNo,Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder
10.1007/978-3-319-65765-3_11,636,ToHe,On the quantitative semantics of regular expressions over real-valued signals
10.1007/s00454-016-9855-6,1073,UlWa,Algorithmic solvability of the lifting extension problem
10.1007/978-3-319-44479-6_17,424,UlWa,Bounding helly numbers via betti numbers
10.1093/mnras/stx909,17696,,What is the maximum mass of a Population III galaxy?
10.1093/mnras/stx1130,17698,,On the orbital evolution of supermassive black hole binaries with circumbinary accretion discs
10.1126/sciadv.aao2615,17949,,A reversible single-molecule switch based on activated antiaromaticity
10.1038/s41559-017-0373-6,7725,,Predation drives local adaptation of phenotypic plasticity
10.1109/SP.2017.45,8306,,Scalable bias-resistant distributed randomness
10.1137/16M1091836,644,VlKo,The complexity of general-valued CSPs
10.1007/978-3-319-65765-3_7,647,ToHe,Conic abstractions for hybrid systems
10.1016/j.cub.2017.04.004,674,"MiSi,Bio,NanoFab",Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6
10.1038/s41467-017-00264-6,7064,,Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates
10.1007/s10703-017-0307-6,743,ToHe,Preface of the special issue in memoriam Helmut Veith
10.1016/j.cub.2017.10.001,751,DaSi,A moving source of matrix components is essential for De Novo basement membrane formation
10.15479/AT:ISTA:th_815,992,VlKo,Complexity of constraint satisfaction
10.1007/s00453-015-9997-6,1177,KrPi,A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound
10.4230/LIPICS.ESA.2016.46,11834,,Incremental exact min-cut in poly-logarithmic amortized update time
10.4230/LIPICS.ESA.2016.48,11835,,Incremental and fully dynamic subgraph connectivity for emergency planning
10.4230/LIPICS.ICALP.2016.131,11836,,Graph minors for preserving terminal distances approximately - lower and upper bounds