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.1093/cercor/bhu231,1514,Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission
10.1111/ejn.12779,1515,Distinct subsynaptic localization of type 1 metabotropic glutamate receptors at glutamatergic and GABAergic synapses in the rodent cerebellar cortex
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.1145/2786784.2786803,1520,Computational design of walking automata
10.5281/zenodo.33178,1525,"Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA"
10.1088/1478-3975/12/6/066003,1530,Impact of the cell division cycle on gene circuits