Symbolic Model Checking of Biochemical Networks
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Human-Machine Reconfigurations: Plans and Situated Actions
Human-Machine Reconfigurations: Plans and Situated Actions
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Communications of the ACM
Proving stabilization of biological systems
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Communications of the ACM
Sustaining the development of cyberinfrastructure: an organization adapting to change
Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work
The material practices of collaboration
Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work
"Material interactions": from atoms & bits to entangled practices
CHI '12 Extended Abstracts on Human Factors in Computing Systems
BMA: visual tool for modeling and analyzing biological networks
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Hi-index | 0.01 |
Representing a new class of tool for biological modeling, Bio Model Analyzer (BMA) uses sophisticated computational techniques to determine stabilization in cellular networks. This paper presents designs aimed at easing the problems that can arise when such techniques - \'14using distinct approaches to conceptualizing networks\'14 - are applied in biology. The work also engages with more fundamental issues being discussed in the philosophy of science and science studies. It shows how scientific ways of knowing are constituted in routine interactions with tools like BMA, where the emphasis is on the practical business at hand, even when seemingly deep conceptual problems exist. For design, this perspective refigures the frictions raised when computation is used to model biology. Rather than obstacles, they can be seen as opportunities for opening up different ways of knowing.