Showing papers by "Saurabh Srivastava published in 2018"

TL;DR: Temporal Pathway Synthesizer (TPS) as discussed by the authors uses constraint-solving techniques first developed in the context of formal verification to explore paths in an interaction network systematically eliminates all candidate structures for a signaling pathway where a protein is activated or inactivated before its upstream regulators.