DOI,IST REx ID,Research Group,Title of publication
10.1145/2038642.2038666,3359,ToHe,From boolean to quantitative synthesis
10.1021/jp2002904,336,,Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods
10.4230/LIPIcs.CSL.2011.82,3360,ToHe,Determinizing discounted-sum automata
10.1109/CSF.2011.21,3361,"ToHe,KrCh",The complexity of quantitative information flow problems
10.1007/978-3-642-23217-6_27,3362,ToHe,Dynamic reactive modules
null,3363,"KrCh,ToHe",The decidability frontier for probabilistic automata on infinite words
10.1016/j.tcs.2010.10.022,3364,ToHe,Approximation of event probabilities in noisy cellular processes
10.1007/978-3-642-19835-9_24,3365,"KrCh,ToHe",QUASY: quantitative synthesis tool
10.1007/978-3-642-22110-1_20,3366,"ToHe,KrCh",Quantitative synthesis for concurrent programs
10.1145/1998196.1998228,3367,HeEd,An output sensitive algorithm for persistent homology
10.1073/pnas.1010767108,3368,CaHe,Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
10.1016/j.neuron.2011.01.010,3369,PeJo,The multiple faces of RIM
10.1093/sysbio/syq086,3370,JoBo,Consequences of different null models on the tree shape bias of supertree methods
10.1091/mbc.E10-12-0958,3371,MiSi,Cells on the move in Philadelphia
10.1038/nature09831,3372,NiBa,Inclusive fitness theory and eusociality
10.1364/OL.36.001260,3373,CaHe,Measuring the complete force field of an optical trap
10.1088/0953-8984/23/15/153102,3374,GaTk,Information transmission in genetic regulatory networks a review
10.1098/rsif.2010.0438,3375,NiBa,The statistical mechanics of a polygenic character under stabilizing selection mutation and drift
10.1016/j.molcel.2011.04.016,3376,ToBo,Resolution of gene regulatory conflicts caused by combinations of antibiotics
10.1007/s10208-011-9090-8,3377,HeEd,Quantifying transversality by measuring the robustness of intersections