DOI,IST REx ID,Research Group,Title of publication
null,5407,E-Lib,Technical requirements and features
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.15479/AT:IST-2013-124-v1-1,6440,ToHe,Replacing competition with cooperation to achieve scalable lock-free FIFO queues 
10.1515/bmt-2013-4181,10396,PeJo,Stimfit: A fast visualization and analysis environment for cellular neurophysiology
10.1371/journal.pone.0080814.s001,9749,KrCh,Forgiver triumphs in alternating prisoner's dilemma 
10.5061/dryad.b1q2n,9751,CaGu,Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection
10.5061/dryad.r3r60,9754,NiBa,Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies
10.1111/nph.12437,2443,JiFr,Defining the selectivity of processes along the auxin response chain: A study using auxin analogues
10.1007/978-3-642-39799-8_36,2444,KrCh,Faster algorithms for Markov decision processes with low treewidth
10.1007/978-1-4419-9863-7_604,3321,ChLa,Kernel based learning
10.1098/rspb.2012.2058,450,NiBa,Source population characteristics affect heterosis following genetic rescue of fragmented plant populations
10.3389/fnbeh.2013.00217,476,JoCs,Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions
10.1126/science.1229858,499,"CaGu,GaTk",Dynamic persistence of antibiotic-stressed mycobacteria
10.1186/1471-2148-13-222,500,JoBo,Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza
10.1644/12-MAMM-A-169.1,501,JoBo,A new species of tapir from the Amazon
10.3233/JCS-130477,502,KrPi,Short blind signatures
10.1039/c2gc36666e,505,HaJa,Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins