DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-11319-2_6,4378,ToHe,Building a calculus of data structures
10.1007/978-3-642-14295-6_57,4388,"KrCh,ToHe",GIST: A solver for probabilistic games
10.1109/ACSD.2010.26,4389,ToHe,Robustness of sequential circuits
10.1007/978-3-642-14295-6_41,4390,ToHe,Model checking of linearizability of concurrent list implementations
10.1007/978-3-642-13754-9_3,4392,ToHe,Quantitative Simulation Games
10.1007/978-3-642-15375-4_18,4393,ToHe,Simulation distances
10.1007/978-3-642-11970-5_7,4395,,Verifying local transformations on relaxed memory models
10.1007/978-3-642-12029-9_19,4396,ToHe,Shape refinement through explicit heap analysis
10.1007/978-3-642-11799-2,2978,,Efficiency Limitations for Σ-Protocols for Group Homomorphisms
10.1007/978-3-642-15497-3,2979,,A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
10.1007/978-3-642-16441-5,2980,,Automatic Generation of Sigma-Protocols
10.1016/j.cub.2010.03.059,3066,,Trafficking to the outer polar domain defines the root soil interface
10.1073/pnas.1005878107,3068,,Arabidopsis PIS1 encodes the ABCG37 transporter of auxinic compounds including the auxin precursor indole 3 butyric acid
10.1105/tpc.110.075424,3071,,The AP 3 β adaptin mediates the biogenesis and function of lytic vacuoles in Arabidopsis
10.1073/pnas.1016260107,3081,,ADP ribosylation factor machinery mediates endocytosis in plant cells
10.1016/j.neuron.2010.09.027,3146,,Genetic mosaic dissection of Lis1 and Ndel1 in neuronal migration
10.1007/978-3-642-15552-9_34,3201,,Cosegmentation revisited: Models and optimization
10.1007/978-3-642-11799-2_1,3233,,An efficient parallel repetition theorem
10.1007/978-3-642-11799-2_21,3234,,Leakage resilient signatures
10.1007/978-3-642-14623-7_2,3235,,Leakage resilient pseudorandom functions and side channel attacks on feistel networks