DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-63390-9_21,962,ToHe,Model counting for recursively-defined strings
10.4230/LIPIcs.MFCS.2017.37,963,ToHe,Timed network games with clocks
10.5061/dryad.pk16b,9707,SiHi,Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis
10.5061/dryad.1f1rc,9709,GaTk,Data from: Error-robust modes of the retinal population code
10.17632/nw68fxzjpm.1,9842,NiBa,Data for: Establishment in a new habitat by polygenic adaptation
10.1090/mcom/3201,642,JaMa,Localization errors in solving stochastic partial differential equations in the whole space
10.15479/AT:IST-2018-853-v2-2,6426,ToHe,Synchronizing the asynchronous
10.4077/CJP.2017.BAF469,643,RySh,Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats
10.1137/16M1091836,644,VlKo,The complexity of general-valued CSPs
10.1007/978-3-319-63387-9_10,645,KrCh,Value iteration for long run average reward in markov decision processes
10.1007/978-3-319-58771-4_19,646,VlKo,A novel convex relaxation for non binary discrete tomography
10.1007/978-3-319-65765-3_7,647,ToHe,Conic abstractions for hybrid systems
10.1007/978-3-319-55911-7_43,648,KrPi,On the complexity of breaking pseudoentropy
10.1007/978-3-319-58002-9_5,649,JaMa,Entropic Ricci curvature for discrete spaces
10.1007/978-3-319-55911-7_42,650,KrPi,A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds
10.1038/541161a,651,BjHo,Fluid dynamics: Water flows out of touch
10.4230/LIPICS.ISAAC.2017.34,6517,UlWa,Embedding graphs into embedded graphs
10.4230/LIPICS.CSL.2017.18,6519,KrCh,Improved set-based symbolic algorithms for parity games
10.1109/DEVLRN.2016.7846789,652,"ChLa,GaTk",Dynamical self consistency leads to behavioral development and emergent social interactions in robots
10.1145/3133956.3134031,6527,KrPi,Practical graphs for optimal side-channel resistant memory-hard functions