Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christopher McKindsey
Optimizing Screening Protocols for Non-Indigenous Species: Are Currently Used Tools Over-Parameterized?
Management of Biological Invasions
Evolution
Ecology
Monitoring
Systematics
Management
Behavior
Policy
Law
Related publications
Automated Inductive Verification of Parameterized Protocols?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Ultrasound Standards for Head Measurements Are Appropriate for Use in the Zika Epidemic : FOR: Standards Are the Best Tools That Are Currently Available
BJOG: An International Journal of Obstetrics and Gynaecology
Gynecology
Obstetrics
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Invariant-Based Reasoning About Parameterized Security Protocols
Formal Aspects of Computing
Theoretical Computer Science
Software
Parameterized Codes Over Cycles
Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica
Applied Mathematics
Analysis
Comparison of Three Assays Currently Used for Diagnosis of Legionellosis
Microbiologia Medica
Significance of Intelligent Pause Detection Protocol (IPDP) Over Other Protocols Used for Speech Processing
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Screening Tools for Young People
Addiction science & clinical practice
Psychiatry
Clinical Psychology
Mental Health
A Bayesian Approach to Optimizing Cryopreservation Protocols
PeerJ
Genetics
Molecular Biology
Biochemistry
Biological Sciences
Medicine
Agricultural
Neuroscience
