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.1016/j.cub.2015.12.047,526,,Rules and self-organizing properties of post-embryonic plant organ cell division patterns
10.15479/AT:IST-2016-523-v1-1,5445,KrCh,Quantitative interprocedural analysis
null,5446,,Termination and worst-case analysis of recursive programs
null,5447,,Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
null,5448,,Data-centric dynamic partial order reduction
10.15479/AT:IST-2016-648-v1-1,5449,KrCh,Amplification on undirected population structures: Comets beat stars
10.15479/AT:IST-2016-728-v1-1,5451,KrCh,Strong amplifiers of natural selection
10.15479/AT:IST-2017-728-v2-1,5452,KrCh,Arbitrarily strong amplifiers of natural selection
10.15479/AT:IST-2017-749-v3-1,5453,KrCh,Arbitrarily strong amplifiers of natural selection
10.15479/AT:ISTA:34,5550,NiBa,Flower colour data and phylogeny (NEXUS) files
10.15479/AT:ISTA:44,5555,Bio,Fiji script to determine average speed and direction of migration of cells
10.15479/AT:ISTA:45,5556,ToBo,MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'
10.15479/AT:ISTA:46,5557,VlKo,Synthetic discrete tomography problems
10.1093/molbev/msv270,5749,CaGu,Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria
10.1016/j.coviro.2016.02.008,5771,,"Retrovirus maturation—an extraordinary structural transformation"