DOI,IST REx ID,Research Group,Title of publication
10.3233/978-1-61499-672-9-1432,478,KrCh,The complexity of deciding legality of a single step of magic: The gathering
10.1145/2889160.2889233,479,ToHe,Use runtime verification to improve the quality of medical care practice
10.1145/2933575.2934513,480,KrCh,Perfect-information stochastic games with generalized mean-payoff objectives
10.1364/NP.2016.NTh3A.6,482,JoFi,Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator
10.1080/15592324.2016.1191734,510,JiFr,The CLE gene family in Populus trichocarpa
10.1534/genetics.115.180299,1241,NiBa,The role of recombination in evolutionary rescue
10.1093/pcp/pcv087,12196,XiFe,The chromatin remodeler SPLAYED negatively regulates SNC1-mediated immunity
10.7551/978-0-262-33027-5-ch018,12881,ChLa,Quantifying self-organizing behavior of autonomous robots
10.1093/glycob/cwv059,802,CaHe,Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis
null,8183,UlWa,"Eliminating higher-multiplicity intersections, III. Codimension 2"
null,1481,KrCh,Automatic generation of alternative starting positions for simple traditional board games
10.1109/CVPR.2015.7299106,1483,HeEd,A stable multi-scale kernel for topological machine learning
null,1495,HeEd,Relaxed disk packing
10.1093/nar/gkv727,1497,GaNo,"Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data"
10.4230/LIPIcs.SNAPL.2015.90,1498,ToHe,The need for language support for fault-tolerant distributed systems
10.4230/LIPIcs.CONCUR.2015.142,1499,"ToHe,KrCh",Polynomial time decidability of weighted synchronization under partial observability
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.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