Sciweavers

1005 search results - page 21 / 201
» Patterns for Refinement Automation
Sort
View
124
Voted
KBSE
2003
IEEE
15 years 8 months ago
SPQR: Flexible Automated Design Pattern Extraction From Source Code
Jason McC. Smith, P. David Stotts
73
Voted
JCB
2000
55views more  JCB 2000»
15 years 2 months ago
Systematic and Fully Automated Identification of Protein Sequence Patterns
Reece Hart, Ajay K. Royyuru, Gustavo Stolovitzky, ...
CORR
2010
Springer
48views Education» more  CORR 2010»
15 years 19 days ago
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
Bernhard Gramlich, Felix Schernhammer