DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-03409-1_2,4542,KrCh,Alternating weighted automata
10.1007/978-3-642-03816-7_4,4543,KrCh,Stochastic games with finitary objectives
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
10.1002/hyp.7085,12656,,"A study of the energy balance and melt regime on Juncal Norte Glacier, semi-arid Andes of central Chile, using melt models of different complexity"
10.1016/j.cub.2008.02.022,1296,,Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster
10.1371/journal.pgen.1000281,844,,Hypermutable non-synonymous sites are under stronger negative selection
10.1016/j.jmb.2008.05.040,8480,,Folding of the KIX domain: Characterization of the equilibrium analog of a folding intermediate using 15N/13C relaxation dispersion and fast 1H/2H amide exchange NMR spectroscopy
10.1016/j.jmb.2008.05.017,8481,,Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge
10.1016/j.jmr.2007.11.015,8482,,Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load
10.1137/070703235,8509,,Geometry of Arnold diffusion
10.1090/s0273-0979-08-01211-1,8510,,An example of Arnold diffusion for near-integrable Hamiltonians
10.1186/1471-2148-8-180,895,,"Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene"
10.1016/j.tig.2008.08.003,907,,Nested genes and increasing organizational complexity of metazoan genomes
10.1016/j.electacta.2008.07.034,7320,,"Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC"
10.1149/1.2913095,7321,,Cell interaction phenomena in polymer electrolyte fuel cell stacks
10.1016/j.jelechem.2007.09.014,7322,,Electrochemical diffusimetry of fuel cell gas diffusion layers
10.1115/fuelcell2005-74116,7425,,Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks