DOI,IST REx ID,Research Group,Title of publication
10.1145/2491956.2462184,2301,ToHe,P: Safe asynchronous event-driven programming
10.1007/s11515-013-1279-6,2303,SiHi,Dissection of gene function at clonal level using mosaic analysis with double markers
10.1016/j.endm.2013.07.008,2304,HeEd,Van der Corput sequences and linear permutations
10.1109/LICS.2013.39,2305,KrCh,Trading performance for stability in Markov decision processes
10.1515/9783110278736,2306,E-Lib,(Open) Linked Data in Bibliotheken
10.1142/9789814449243_0063,2315,,Disordered Bose-Einstein condensates with interaction
10.1007/978-3-0348-0531-5_3,2319,, Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction
10.1007/978-3-642-40184-8_20,2327,ToHe,From model checking to model measuring
10.1007/978-3-642-40184-8_18,2328,ToHe,Aspect-oriented linearizability proofs
10.1007/978-3-642-40184-8_35,2329,KrCh,Hyperplane separation technique for multidimensional mean-payoff games
10.1215/00127094-2019477,2404,,A positive density analogue of the Lieb-Thirring inequality
10.1007/s00220-012-1604-y,2405,,Symmetry of bipolaron bound states for small Coulomb repulsion
10.1140/epjst/e2013-01759-5,2406,,Condensation of interacting bosons in a random potential
10.1007/s00220-013-1736-8,2408,,The excitation spectrum for weakly interacting Bosons in a trap
10.1128/genomeA.00216-13,2410,"JoBo,LifeSc",Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
10.1186/1471-2148-13-54,2412,JoBo,Probabilistic models for CRISPR spacer content evolution 
10.1002/9783527671632.ch08,2413,GaTk,Neuronal oscillations scale up and scale down the brain dynamics 
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-3-642-39799-8_37,2446,KrCh,Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis