DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-33027-8_13,2048,KrPi,Practical leakage-resilient symmetric cryptography
10.1007/978-3-642-34047-5_20,2049,KrPi,Lapin: An efficient authentication protocol based on ring-LPN
10.1007/978-3-642-34059-8_20,2942,ToHe,Independent implementability of viewpoints
10.1016/j.enganabound.2011.12.014,3274,GaTk,A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil
10.1016/j.jsc.2011.11.001,3331,HeEd,A worst case bound for topology computation of algebraic curves
10.1109/LICS.2012.28,2955,KrCh,Partial-observation stochastic games: How to win when belief fails
10.1145/2287718.2287727,2967,ToHe,Algorithmic analysis of array-accessing programs
10.1145/2362355.2362357,494,ToHe,"Translating to Co-Büchi made tight, unified, and useful"
10.1007/978-3-642-33090-2_27,10905,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.4230/LIPIcs.FSTTCS.2012.362,2891,ToHe,Approximate determinization of quantitative automata
10.1007/978-3-642-28756-5_46,10906,ToHe,HSF(C): A software verifier based on Horn clauses
10.1083/jcb.201204039,506,MiSi,Cell migration: Fibroblasts find a new way to get ahead
10.1007/978-3-642-32940-1_10,10904,KrCh,Strategy synthesis for multi-dimensional quantitative objectives
null,3243,E-Lib,Zwischen Technologie und Kommunikation
10.1126/science.1224143,2950,"CaHe,Bio",Forces driving epithelial spreading in zebrafish gastrulation
10.1038/nature11219,3157,KrCh,The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
10.1016/j.tpb.2011.11.003,3260,KrCh,Evolutionary dynamics of biological auctions
10.1029/2011ms000087,22482,,"A mechanistic ecohydrological model to investigate complex interactions in cold and warm water‐controlled environments: 2. Spatiotemporal analyses"
10.1175/jcli-d-11-00356.1,22518,,Investigating interannual variability of precipitation at the global scale: Is there a connection with seasonality?
10.1242/bio.20122287,2263,SiHi,A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors