DOI,IST REx ID,Research Group,Title of publication
null,3127,"ChLa,HeEd",The most persistent soft-clique in a set of sampled graphs
10.1007/978-3-642-31155-0_17,3129,HeEd,Annotating simplices with a homology basis and its applications
10.1007/978-3-642-31424-7_8,3135,KrCh,Efficient controller synthesis for consumption games with multiple resource types
10.1007/978-3-642-31424-7_24,3136,"CaGu,ToHe",Delayed continuous time Markov chains for genetic regulatory circuits
10.1007/978-3-642-30793-5_13,3155,ToHe,Synchronous interface theories and time triggered scheduling
10.4161/cc.20118,3160,ToBo,Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo
10.1007/978-3-642-29860-8_12,3162,ToHe,Parametric identification of temporal properties
10.1137/1.9781611973099.109,3165,KrCh,An O(n2) time algorithm for alternating Büchi games
10.1007/s11554-010-0168-3,3248,ChLa,Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components
10.1007/978-3-642-27660-6_9,3250,KrPi,Cryptography from learning parity with noise
10.1007/978-3-642-27940-9_29,3251,ToHe,Ideal abstractions for well structured transition systems
10.1007/978-3-642-27940-9_11,3252,KrCh,Synthesizing protocols for digital contract signing
10.1007/978-3-642-27940-9_1,3253,ToHe,Abstract domains for automated reasoning about list manipulating programs with infinite data
10.1007/978-3-642-25929-6_3,3255,KrCh,Games and Markov decision processes with mean payoff parity and energy parity objectives
10.1007/978-3-642-28914-9_21,3279,KrPi,Hardness preserving constructions of pseudorandom functions
10.1007/978-3-642-28914-9_31,3280,KrPi,Subspace LWE
10.1007/978-3-642-28914-9_26,3281,KrPi,Lossy functions do not amplify well
10.1007/978-3-642-29011-4_22,3282,KrPi,"Message authentication, revisited"
10.1007/978-3-642-28729-9_18,3341,KrCh,Robustness of structurally equivalent concurrent parity games
10.1371/journal.pone.0033332,2262,,Extensions of MADM (Mosaic Analysis with Double Markers) in Mice