DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-54577-5_34,631,ToHe,Counterexample guided refinement of template polyhedra
10.1090/proc/13468,632,RoSe,A note on 2D focusing many boson systems
10.1007/978-3-319-63501-9_6,633,ToHe,Challenges and tool implementation of hybrid rapidly exploring random trees
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-56617-7_2,635,KrPi,Scrypt is maximally memory hard
10.1007/978-3-319-65765-3_11,636,ToHe,On the quantitative semantics of regular expressions over real-valued signals
10.1007/978-3-319-63688-7_5,637,KrPi,Be adaptive avoid overcommitting
10.1007/978-3-319-54292-8,638,ToHe,Numerical Software Verification
10.1007/978-3-319-63390-9_3,639,KrCh,Non-polynomial worst case analysis of recursive programs
10.1007/978-3-319-56617-7_1,640,KrPi,Depth-robust graphs and their cumulative memory complexity
10.1007/978-3-319-58771-4_26,641,VlKo,Graphical model parameter learning by inverse linear programming
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