Core Formal Molecular Biology
No abstract available.
Related papers
- Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience OOPSLA 1997
- Systems biology, models, and concurrency POPL 2008
- Exploring the Conformations of Nucleic Acids JFP 1995
- Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages JFP 1995
- Performance characterization of molecular dynamics techniques for biomolecular simulations PPoPP 2006
- Cedalion: a language for language oriented programming OOPSLA 2011
- Formal Model Reduction SAS 2011
- Neighbor-list-free molecular dynamics on sunway TaihuLight supercomputer PPoPP 2020