DOI,IST REx ID,Title of publication
10.1145/2728606.2728650,1500,Poster: HyRG: A random generation tool for affine hybrid automata
10.1007/s10703-015-0235-2,1501,CEGAR for compositional analysis of qualitative properties in Markov decision processes
10.1145/2737166.2737175,1502,Complete composition operators for IOCO-testing theory
10.1017/etds.2013.103,1503,A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles
10.1214/15-AOS1353,1504,Spectral statistics of large dimensional spearman s rank correlation matrix and its application
10.1214/14-AOS1281,1505,Universality for the largest eigenvalue of sample covariance matrices with general population
10.3150/14-BEJ615,1506,The logarithmic law of random determinant
10.4171/JEMS/548,1508,Gap universality of generalized Wigner and β ensembles
10.12688/f1000research.7143.1,1509,Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene
10.4230/LIPIcs.SOCG.2015.842,1510,On computability and triviality of well groups
10.4230/LIPIcs.SOCG.2015.476,1511,"On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result"
10.4230/LIPIcs.SOCG.2015.507,1512,Bounding Helly numbers via Betti numbers
10.1093/gbe/evv215,1513,"The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression"
10.1016/j.molcel.2015.03.031,15160,Cancer/Testis antigen PASD1 silences the circadian clock
10.1214/ECP.v20-4315,1517,From large deviations to Wasserstein gradient flows in multiple dimensions
10.1111/evo.12641,1519,The interpretation of selection coefficients
10.5281/zenodo.33178,1525,"Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA"
10.1038/ncomms9822,1534,Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism
10.2174/1874467208666150507105443,1535,Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells
10.1016/j.cell.2015.01.008,1537,Cortical contractility triggers a stochastic switch to fast amoeboid cell motility