DOI,IST REx ID,Research Group,Title of publication
10.4204/EPTCS.146.11,475,KrCh,First cycle games
10.1007/s00453-013-9843-7,535,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1002/ece3.1150,537,"NiBa,GaTk",Fitness consequences of maternal and grandmaternal effects
10.3389/fpls.2013.00451,827,EvBe,Cytokinin cross talking during biotic and abiotic stress responses
10.3389/fpls.2013.00537,828,EvBe,Systems approaches to study root architecture dynamics
10.1007/978-3-642-39799-8_6,2000,KrCh,TTP: Tool for tumor progression
10.29012/jpc.v5i1.629,2009,CaUh,Privacy-preserving data sharing for genome-wide association studies
10.1214/12-AOS1080,2010,CaUh,Geometry of the faithfulness assumption in causal inference
10.4230/LIPIcs.CSL.2013.181,1374,KrCh,Infinite-state games with finitary conditions
10.1109/FMCAD.2013.6679386,1376,"KrCh,ToHe",Distributed synthesis for LTL fragments
10.1109/FMCAD.2013.6679394,1385,ToHe,Synthesizing multiple boolean functions using interpolation on a single proof
10.1007/978-3-642-39212-2_11,1387,ToHe,Nondeterminism in the presence of a diverse or unknown future
10.15479/at:ista:1405,1405,"ToHe,GradSch",Analysis of dynamic message passing programs
null,1406,CaHe,Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
10.15479/AT:IST-2013-104-v1-1,5399,KrCh,TTP: Tool for Tumor Progression
10.15479/AT:IST-2013-109-v1-1,5400,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
null,5401,E-Lib,Initiatives and projects related to RD
10.15479/AT:IST-2013-123-v1-1,5402,ToHe,How free is your linearizable concurrent data structure?
10.15479/AT:IST-2013-126-v1-1,5403,KrCh,Qualitative analysis of concurrent mean-payoff games
10.15479/AT:IST-2013-127-v1-1,5404,KrCh,The complexity of ergodic games