Standout Papers
Citation Impact
Citing Papers
Assertion-oriented automated test data generation
1996
Combining induction axioms by machine
1993
The Pseudomonas aeruginosa accessory genome elements influence virulence towards Caenorhabditis elegans
2019 StandoutNobel
Automated eukaryotic gene structure annotation using EVidenceModeler and the Program to Assemble Spliced Alignments
2008 Standout
CRISPR-Cpf1 mediates efficient homology-directed repair and temperature-controlled genome editing
2017 StandoutNobel
The GeneMANIA prediction server: biological network integration for gene prioritization and predicting gene function
2010 Standout
The Arabidopsis Information Resource (TAIR): improved gene annotation and new tools
2011 Standout
GMAP: a genomic mapping and alignment program for mRNA and EST sequences
2005 Standout
The Botany Array Resource: e‐Northerns, Expression Angling, and promoter analyses
2005
RNA-guided genetic silencing systems in bacteria and archaea
2012 StandoutNatureNobel
The SILVA ribosomal RNA gene database project: improved data processing and web-based tools
2012 Standout
An “Electronic Fluorescent Pictograph” Browser for Exploring and Analyzing Large-Scale Biological Data Sets
2007 Standout
LASSAP, a LArge Scale Sequence compArison Package
1997
NCBI prokaryotic genome annotation pipeline
2016 Standout
The emerging biofuel crop Camelina sativa retains a highly undifferentiated hexaploid genome structure
2014 Standout
A Normalized Levenshtein Distance Metric
2007 Standout
Transcriptome-wide Identification of RNA-Binding Protein and MicroRNA Target Sites by PAR-CLIP
2010 Standout
The SWISS-PROT protein sequence data bank and its supplement TrEMBL in 1999
1999 Standout
Mapping short DNA sequencing reads and calling variants using mapping quality scores
2008 Standout
Automated test data generation for programs with procedures
1996
Minimap2: pairwise alignment for nucleotide sequences
2018 Standout
Is energy security a driver for economic growth? Evidence from a global sample
2019 Standout
Software quality assurance: Testing and validation
1980 StandoutNobel
Fast string matching with k differences
1988
The way forward for unifying dynamic test-case generation: The optimisation-based approach
1998
Representations for Rigid Solids: Theory, Methods, and Systems
1980 Standout
Approximate Boyer–Moore String Matching
1993
The Complexity of Pattern Matching for a Random String
1979
A sublinear algorithm for approximate keyword searching
1994
The state of the art in end-user software engineering
2011 Standout
Shifting the genomic gold standard for the prokaryotic species definition
2009 Standout
The dynamic domain reduction procedure for test data generation
1999
The smallest automation recognizing the subwords of a text
1985
A new approach to text searching
1992
A Comparison of Approximate String Matching Algorithms
1996
Symbolic execution and program testing
1976 Standout
Fast and accurate long-read alignment with Burrows–Wheeler transform
2010 Standout
An automated framework for structural test-data generation
2002
Efficient randomized pattern-matching algorithms
1987 Standout
Systematic discovery of natural CRISPR-Cas12a inhibitors
2018 StandoutScienceNobel
A guided tour to approximate string matching
2001 Standout
A very fast substring search algorithm
1990
A Survey on Software-Defined Networking
2014 Standout
The Noisy Substring Matching Problem
1983
Speeding up two string-matching algorithms
1994
Fast parallel and serial approximate string matching
1989
Randomized Algorithms
1995 Standout
Verification and validation of simulation models
1995 Standout
Testing Software Design Modeled by Finite-State Machines
1978 Standout
Survey of graph database models
2008 Standout
Static analysis of programs as an aid to debugging
1983
CRISPR Recognition Tool (CRT): a tool for automatic detection of clustered regularly \ninterspaced palindromic repeats
2008
An object-oriented data model formalised through hypergraphs
1991
Optimal parallel pattern matching in strings
1985
Simple and efficient string matching with k mismatches
1989
Molecular Aspects of Seed Dormancy
2008 Standout
Automated test-data generation for exception conditions
2000
Reliability of the Path Analysis Testing Strategy
1976
Collaboration Processes: Inside the Black Box
2006 Standout
Validation, Verification, and Testing of Computer Software
1982
The study of relationship in a hierarchical structure of EU sustainable development indicators
2018 Standout
Comparison and Evaluation of Clone Detection Tools
2007 Standout
An Application of Pattern Matching in Intrusion Detection
1994
Artificial Intelligence: A New Synthesis
1998
Hints on Test Data Selection: Help for the Practicing Programmer
1978 Standout
An overview of anomaly detection techniques: Existing solutions and latest technological trends
2007 Standout
Practical fast searching in strings
1980
Constructing Induction Rules for Deductive Synthesis Proofs
2006 Standout
Two Algorithms for Determining Volumes of Convex Polyhedra
1979
Finding frequent items in data streams
2008
On the Automated Generation of Program Test Data
1976
Automatic Generation of Floating-Point Test Data
1976
Productive use of failure in inductive proof
1996
Fast and accurate short read alignment with Burrows–Wheeler transform
2009 Standout
Access methods for text
1985
All-uses vs mutation testing: An experimental comparison of effectiveness
1997
Fault detection effectiveness of mutation and data flow testing
1995
Finding approximate patterns in strings
1985
An Analysis and Survey of the Development of Mutation Testing
2010 Standout
Data structures and algorithms for approximate string matching
1988
Reducing the cost of mutation testing: An empirical study
1995
A survey of network anomaly detection techniques
2015 Standout
Automated software test data generation
1990
The Candidatus Liberibacter–Host Interface: Insights into Pathogenesis Mechanisms and Disease Control
2017 Standout
Dynamic method for software test data generation
1992
A System to Generate Test Data and Symbolically Execute Programs
1976
A subquadratic algorithm for approximate limited expression matching
1996
International specialisation and growth
2000
Ant Algorithms for Discrete Optimization
1999 Standout
New and faster filters for multiple approximate string matching
2001
Fast and flexible string matching by combining bit-parallelism and suffix automata
2000
The chaining approach for software test data generation
1996
Intrusion detection system: A comprehensive review
2012 Standout
Data mining: concepts and techniques
2012 Standout
A Domain Strategy for Computer Program Testing
1980
Approximate String Matching
1980
On proving the termination of algorithms by machine
1994
TopHat: discovering splice junctions with RNA-Seq
2009 Standout
Search‐based software test data generation: a survey
2004 Standout
Time-space-optimal string matching
1983
Fast text searching
1992
An experimental comparison of the effectiveness of branch testing and data flow testing
1993
Test-data generation using genetic algorithms
1999
Transducers and repetitions
1986
Knowledge accumulation and resolution of data inconsistencies during the integration of microbial information sources
2005
The program dependence graph and its use in optimization
1987 Standout
Works of Robert S. Boyer being referenced
Automated Reasoning: Essays in Honor of Woody Bledsoe
1991
A fast string searching algorithm
1977 Standout
Efficient implementation of lattice operations
1989
Europe in the world technological competition
1995
SELECT—a formal system for testing and debugging programs by symbolic execution
1975
A computational logic
1979