DOI,IST REx ID,Research Group,Title of publication
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
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