DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-38856-9_10,2298,ToHe,Local shape analysis for overlaid data structures
10.1007/s10009-011-0207-9,2299,"KrCh,ToHe",Synthesis of AMBA AHB from formal specification: A case study
10.1103/PhysRevB.88.064401,2300,RoSe,Realization of stripes and slabs in two and three dimensions
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.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.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.1007/978-3-642-39799-8_68,2445,ToHe,Efficient synthesis for concurrency by semantics-preserving transformations
10.1007/978-3-642-39799-8_37,2446,KrCh,Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
10.1007/978-3-642-39799-8_54,2447,ToHe,Automating separation logic using SMT
10.4161/psb.25688,2448,JiFr,ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip
10.1093/mp/sst044,2449,JiFr,Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis
10.1145/2461912.2461982,2466,ChWo,Highly adaptive liquid simulations on tetrahedral meshes