Ashlie B. Hocking - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2021

Polygon Merge: A Geometric Algorithm Verified Using PVSBen L. Di Vito, Ashlie B. Hocking. NFM 2021: 79-94 [doi]

2020

Unit Lemmas for Detecting Requirement and Specification FlawsAshlie B. Hocking, Jonathan C. Rowanhill, Ben L. Di Vito. issre 2020: 163-164 [doi]

TDABD: Test-Driven-Assurance-Based DevelopmentJonathan C. Rowanhill, Ashlie B. Hocking, William H. Hawkins. issre 2020: 165-166 [doi]

2017

Input Space Partitioning to Enable Massively Parallel ProofAshlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Arechiga. NFM 2017: 139-145 [doi]

The Measurement Library: Representing Physical Types in PVSAshlie B. Hocking, M. Anthony Aiello. NFM 2018: 77-92 [doi]

2016

2015

Static analysis of physical properties in Simulink modelsAshlie B. Hocking, M. Anthony Aiello, John C. Knight. issre 2015: 8-11 [doi]

2014

2007

Theta-modulated input reduces intrinsic gamma oscillations in a hippocampal modelAshlie B. Hocking, William B. Levy. ijon, 70(10-12):2074-2078, 2007. [doi]

2006

Gamma oscillations in a minimal CA3 modelAshlie B. Hocking, William B. Levy. ijon, 69(10-12):1244-1248, 2006. [doi]

Erratum to: Interpreting hippocampal function as recoding and forecasting [Neural Networks 18 (9) 1242-1264]William B. Levy, Ashlie B. Hocking, Xiangbao Wu. NN, 19(2):248, 2006. [doi]

2005

Computing conditional probabilities in a minimal CA3 pyramidal neuronAshlie B. Hocking, William B. Levy. ijon, 65-66:297-303, 2005. [doi]

Interpreting hippocampal function as recoding and forecastingWilliam B. Levy, Ashlie B. Hocking, Xiangbao Wu. NN, 18(9):1242-1264, 2005. [doi]

Sign in or sign up to see more results.

runs on WebDSL