DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2013-127-v1-1,5404,KrCh,The complexity of ergodic games
10.15479/AT:IST-2013-128-v1-1,5405,KrCh,Perfect-information stochastic mean-payoff parity games
10.15479/AT:IST-2013-130-v1-1,5406,"KrCh,ToHe",Distributed synthesis for LTL Fragments
10.15479/AT:IST-2013-141-v1-1,5408,KrCh,The complexity of partial-observation stochastic parity games with finite-memory strategies
10.15479/AT:IST-2013-144-v1-1,5409,KrCh,Edit distance for timed automata
10.15479/AT:IST-2013-146-v1-1,5410,KrCh,Automatic generation of alternative starting positions for traditional board games
10.1007/978-3-642-39799-8_11,5747,ToHe,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
10.1007/978-3-642-36046-6_11,19995,KrCh,Strategy complexity of finite-horizon Markov decision processes and simple stochastic games
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.1515/bmt-2013-4181,10396,PeJo,Stimfit: A fast visualization and analysis environment for cellular neurophysiology
10.1007/s10703-012-0170-4,3116,KrCh,Code aware resource management
10.1073/pnas.1315642110,3261,GaTk,"Positional information, in bits"
10.1007/978-1-4419-9863-7_604,3321,ChLa,Kernel based learning
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.1016/j.cell.2013.02.033,9459,DaZi,The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin
10.1073/pnas.1306164110,9481,DaZi,Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm
10.1016/j.devcel.2013.01.014,9520,"DaZi,XiFe",A conversation across generations: Soma-germ cell crosstalk in plants