DOI,IST REx ID,Research Group,Title of publication
10.1016/j.jtbi.2009.03.019,3775,NiBa,On the application of statistical physics to evolutionary biology
10.1111/j.1420-9101.2009.01770.x,3780,NiBa,The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails
10.1145/1629335.1629346,3837,ToHe,On relational interfaces
10.1007/978-3-642-04420-5_2,3841,ToHe,Formalisms for specifying Markovian population models
10.1109/HiBi.2009.23,3843,"ToHe,CaGu",Fast adaptive uniformization of the chemical master equation
10.1109/RTSS.2009.9,3844,ToHe,"Distributed, modular HTL"
10.1145/1614431.1614432,3870,KrCh,Finitary winning in omega-regular games
10.1007/978-3-642-04081-8_17,3871,KrCh,Probabilistic weighted automata
10.1098/rstb.2008.0166,3946,,Analogies in the evolution of individual and social immunity
10.1007/978-3-642-10470-1_4,3968,HeEd,The persistent Morse complex segmentation of a 3-manifold
10.1086/605958,4136,NiBa,Species' range: Adaptation in space and time
10.1111/j.1558-5646.2009.00622.x,4242,NiBa,The evolution of strong reproductive isolation
10.1007/978-3-642-02658-4_26,4383,,Software transactional memory on relaxed memory models
10.1007/978-3-642-04027-6_9,4403,,Algorithmic analysis of array-accessing programs
10.1007/978-3-642-02658-4_27,4453,,Sliding-window abstraction for infinite Markov chains
10.1007/978-3-642-03409-1_2,4542,KrCh,Alternating weighted automata
10.1137/1.9781611973068.23,4544,,Termination criteria for solving concurrent safety and reachability games
10.1007/978-3-642-02930-1_1,4545,KrCh,A survey of stochastic games with limsup and liminf objectives
10.1007/978-3-642-02658-4_14,4569,KrCh,Better quality in synthesis through quantitative objectives
10.1007/978-3-642-00768-2_7,4580,,Alpaga: A tool for solving parity games with imperfect information