共 50 条
- [1] LAFIRE:: software for automating the refinement process of protein-structure analysis ACTA CRYSTALLOGRAPHICA SECTION D-BIOLOGICAL CRYSTALLOGRAPHY, 2006, 62 : 189 - 196
- [2] LAFIRE: Automated refinement software for biomacromolecular crystallography ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2011, 67 : C163 - C163
- [3] Integrated Software Environment for Protein Structure Refinement 2008 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS, PROCEEDINGS, 2008, : 25 - +
- [4] Abstract Software Specifications and Automatic Proof of Refinement RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2016, 2016, 9707 : 215 - 230
- [6] Automatic verification of statecharts by and refinement of hierarchical structure Comput. Softw., 2009, 3 (155-170):
- [7] Automatic Refinement of Parallel Applications Structure Detection 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), 2012, : 1680 - 1687
- [10] Biomolecular structure refinement using the GROMOS simulation software Journal of Biomolecular NMR, 2011, 51 : 265 - 281