DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2015.142,1499,"ToHe,KrCh",Polynomial time decidability of weighted synchronization under partial observability
10.1145/2728606.2728650,1500,,Poster: HyRG: A random generation tool for affine hybrid automata
10.1007/s10703-015-0235-2,1501,"KrCh,ToHe",CEGAR for compositional analysis of qualitative properties in Markov decision processes
10.1145/2737166.2737175,1502,"ToHe,KrCh",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,LaEr,Universality for the largest eigenvalue of sample covariance matrices with general population
10.3150/14-BEJ615,1506,LaEr,The logarithmic law of random determinant
10.4171/JEMS/548,1508,LaEr,Gap universality of generalized Wigner and β ensembles
10.12688/f1000research.7143.1,1509,"JiFr,ToBo",Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene
10.4230/LIPIcs.SOCG.2015.842,1510,"UlWa,HeEd",On computability and triviality of well groups
10.4230/LIPIcs.SOCG.2015.476,1511,UlWa,"On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result"
10.4230/LIPIcs.SOCG.2015.507,1512,UlWa,Bounding Helly numbers via Betti numbers
10.1093/gbe/evv215,1513,BeVi,"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,JaMa,From large deviations to Wasserstein gradient flows in multiple dimensions
10.1111/evo.12641,1519,NiBa,The interpretation of selection coefficients
10.5281/zenodo.33178,1525,E-Lib,"Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA"
10.1038/ncomms9822,1534,JiFr,Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism
10.2174/1874467208666150507105443,1535,PeJo,Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells