DOI,IST REx ID,Research Group,Title of publication
10.1016/j.jsc.2011.11.001,3331,HeEd,A worst case bound for topology computation of algebraic curves
10.1109/LICS.2012.28,2955,KrCh,Partial-observation stochastic games: How to win when belief fails
10.1145/2287718.2287727,2967,ToHe,Algorithmic analysis of array-accessing programs
10.1145/2362355.2362357,494,ToHe,"Translating to Co-Büchi made tight, unified, and useful"
10.1007/978-3-642-33090-2_27,10905,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.4230/LIPIcs.FSTTCS.2012.362,2891,ToHe,Approximate determinization of quantitative automata
10.1007/978-3-642-28756-5_46,10906,ToHe,HSF(C): A software verifier based on Horn clauses
10.1083/jcb.201204039,506,MiSi,Cell migration: Fibroblasts find a new way to get ahead
10.1007/978-3-642-32940-1_10,10904,KrCh,Strategy synthesis for multi-dimensional quantitative objectives
10.1126/science.1224143,2950,"CaHe,Bio",Forces driving epithelial spreading in zebrafish gastrulation
10.1038/nature11219,3157,KrCh,The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
10.1016/j.tpb.2011.11.003,3260,KrCh,Evolutionary dynamics of biological auctions
10.1242/bio.20122287,2263,SiHi,A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors
10.1103/PhysRevE.85.041903,3262,GaTk,Optimizing information flow in small genetic networks. III. A self-interacting gene
10.1145/2380356.2380370,2936,"KrCh,ToHe",Finite automata with time delay blocks
10.1007/978-3-642-20844-7_22,10907,HeEd,Spatio-temporal extraction of articulated models in a graph pyramid
10.1523/JNEUROSCI.6398-10.2011,469,PeJo,Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
10.1155/2011/935364,490,"ScienComp,PeJo",BioSig: The free and open source software library for biomedical signal processing
10.1126/scisignal.2002617,491,MiSi,Setting the clock for recirculating lymphocytes
10.1038/emboj.2011.301,518,MiSi,CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells