Ab initio crystal structure predictions for flexible hydrogen-bonded molecules. Part II. Accurate energy minimization | 5 | 0.73 | 2001 |
Upack program package for crystal structure prediction: Force fields and crystal structure generation for small carbohydrate molecules | 6 | 1.24 | 1999 |
Fast clustering of equivalent structures in crystal structure prediction | 4 | 0.93 | 1997 |
Interactive Test Generation from LOTOS Specifications | 3 | 0.56 | 1992 |
Testability of Formal Specifications | 1 | 0.62 | 1992 |
Formal Methods in Conformance Testing: Status and Expectations | 0 | 0.34 | 1992 |
Using checking sequences for OSI session layer conformance testing | 2 | 0.72 | 1987 |