DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-29485-8_24,1236,KrPi,Constrained PRFs for unbounded inputs
10.1007/978-3-319-39555-5_24,1235,KrPi,Constrained PRFs for unbounded inputs with short keys
10.1002/anie.201601736,1441,HaJa,A phytochrome sensory domain permits receptor activation by red light
10.1145/2897824.2925902,1362,ChWo,Fast approximations for boundary element based brittle fracture simulation
10.1016/j.cub.2015.12.041,1243,CaGu,Bacterial autoimmunity due to a restriction-modification system
10.4230/LIPIcs.CONCUR.2016.20,1093,"ToHe,KrCh,CaGu",Linear distances between Markov chains
10.1007/978-3-662-49674-9_7,1234,"ToHe,CaGu",Faster statistical model checking for unbounded temporal properties
10.1007/978-3-319-41540-6_13,1391,ToHe,Array folds logic
10.1007/978-3-662-49122-5_16,1230,ToHe,Abstraction-driven concolic testing
10.4230/LIPIcs.ESA.2016.28,1071,KrCh,Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
null,1397,KrCh,Algorithms for partially observable markov decision processes
null,1129,MiSi,Quantitative analysis of haptotactic cell migration
10.1038/ncb3426,1321,"MiSi,NanoFab,Bio",Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes
10.15479/AT:ISTA:th_640,1122,ChWo,"Tracking, correcting and absorbing water surface waves"
null,1123,UlWa,Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
null,1128,GaTk,Studying the complexities of transcriptional regulation
null,1124,HaJa,Optical functionalization of human class A orphan G-protein coupled receptors
10.15479/AT:ISTA:48,5558,ChWo,"Tracking, Correcting and Absorbing Water Surface Waves"
10.1145/2837614.2837624,1437,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.1007/978-3-319-41528-4_1,1386,KrCh,Termination analysis of probabilistic programs through Positivstellensatz's