DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-89884-1_26,311,KrCh,Quantitative analysis of smart contracts
10.1109/Cybermatics_2018.2018.00231,6340,KrCh,Secure Credit Reporting on the Blockchain
10.1145/3210257,6009,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.24963/ijcai.2018/653,5977,KrCh,Computational approaches for stochastic shortest path on succinct MDPs
10.21769/BioProtoc.2685,442,"JiFr,Bio","Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls"
10.1016/j.clnu.2016.07.016,1146,RySh,Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels
10.1016/j.jocs.2016.06.007,1152,ChWo,A multi objective memetic inverse solver reinforced by local optimization methods
10.1104/pp.16.00943,1159,JiFr,Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation
10.1038/srep40012,1160,BjHo,Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio
10.1016/j.cub.2016.11.035,1161,MiSi,Cell migration: Making the waves
10.1103/PhysRevB.95.024506,1162,MiLe,Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment
10.1007/s10260-016-0375-6,1168,CaUh,D inf s optimality in copula models
10.1534/genetics.116.193946,1169,NiBa,Spatial gene frequency waves under genotype dependent dispersal
10.1007/s00493-016-3308-y,1173,HeEd,The Voronoi functional is maximized by the Delaunay triangulation in the plane
10.4230/LIPIcs.STACS.2017.57,1174,KrPi,Lower bounds on key derivation for square-friendly applications
10.4230/LIPIcs.ITCS.2017.38,1175,KrPi,Cumulative space in black-white pebbling and resolution
10.1109/EuroSP.2017.47,1176,KrPi,Towards practical attacks on Argon2i and balloon hashing
10.1016/j.aim.2016.12.026,1180,HeEd,Algebraic vertices of non-convex polyhedra
10.1007/s00145-016-9247-3,1187,KrPi,Efficient authentication from hard learning problems
10.1007/s11538-016-0244-3,1191,NiBa,"Existence of traveling waves for the generalized F–KPP equation"