Paper Info
Title
BMA: visual tool for modeling and analyzing biological networks
Abstract
BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for biologists with no previous knowledge in programming or formal methods. The current implementation analyzes systems to establish stabilization. The results of the analysis--whether they be proofs or counterexamples--are represented visually. This paper describes the approach to modeling used in bma and also notes soon-to-be-released extensions to the tool.
Year
DOI
Venue
2012
10.1007/978-3-642-31424-7_50
CAV
Keywords
Field
DocType
lightweight graphical user interface,formal method,biomodel analyzer,soon-to-be-released extension,previous knowledge,biological network,visual tool,current implementation analyzes system,tool facilitates usage
World Wide Web,Computer science,Biological network,Theoretical computer science,Mathematical proof,Visual tool,Human–computer interaction,Graphical user interface,Formal methods
Conference
Citations 
PageRank 
References 
10
0.63
11
Authors
9
Name
Order
Citations
PageRank
David Benque1151.41
Sam Bourton2131.05
Caitlin Cockerton3131.05
Byron Cook4100.63
Jasmin Fisher525017.71
Samin Ishtiaq614715.28
Nir Piterman7115470.02
Alex S. Taylor871060.44
Moshe Y. Vardi9134132267.07