Hillel Kugler

This study uses RE:IN to characterize GRN ensembles in a mouse kidney injury model, identifying four GRN families and two substructures that distinguish them.

The paper models the C. elegans germline stem cell genetic network using formal reasoning to predict regulatory interactions and cellular decision-making.

The paper tracks mouse embryonic stem cells during differentiation, finding symmetric divisions and variable lag periods before loss of pluripotency.

The paper extends a formal reasoning approach to analyze network motifs and their role in explaining biological behaviors, demonstrating its application to stem cell pluripotency networks.