DOI,IST REx ID,Research Group,Title of publication
10.1145/3360555,6780,KrCh,Modular verification for almost-sure termination of probabilistic programs
10.1145/3297280.3297322,6490,KrCh,The treewidth of smart contracts
10.1145/3363525,7158,KrCh,Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
10.1145/3297280.3297319,6378,KrCh,"Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving"
10.1145/3314221.3314581,6175,KrCh,Cost analysis of nondeterministic probabilistic programs
10.1145/3339984,7014,KrCh,Non-polynomial worst-case analysis of recursive programs
10.1145/3290366,6380,KrCh,Efficient parameterized algorithms for data packing
10.1109/BLOC.2019.8751326,6056,KrCh,Probabilistic smart contracts: Secure randomness on the blockchain
10.15479/AT:ISTA:6849,6849,JoCs,The role of CCK-interneurons in regulating hippocampal network dynamics
10.1103/PhysRevLett.122.114502,6189,BjHo,Transition to turbulence in particle laden flows
10.15479/AT:ISTA:6891,6891,MiSi,The implication of cytoskeletal dynamics on leukocyte migration
10.7554/elife.41801,6187,DaSi,A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion
10.15479/AT:ISTA:6546,6546,DaSi,The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration
10.15479/AT:ISTA:6825,6825,"JoCs,GradSch",The hippocampus and medial prefrontal cortex during flexible behavior
10.1002/hipo.23076,5949,JoCs,Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization
10.1038/s41586-019-1087-5,6328,"MiSi,NanoFab,Bio",Nuclear positioning facilitates amoeboid migration along the path of least resistance
10.15479/AT:ISTA:6947,6947,MiSi,"Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking"
10.1016/j.cell.2019.04.015,6351,"JiFr,EvBe",Re-activation of stem cell pathways for pattern restoration in plant wound healing
10.1016/j.pbi.2019.08.006,6943,JiFr,Targeted cell ablation-based insights into wound healing and restorative patterning
10.1115/1.4043494,6486,BjHo,Relaminarization of pipe flow by means of 3D-printed shaped honeycombs