Andrew K. Martin
Orcid: 0000-0001-9445-9151Affiliations:
- IBM Research Division, Almaden Research Laboratory, San Jose, USA
According to our database1,
Andrew K. Martin
authored at least 9 papers
between 2000 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Effects of Transcranial Direct Current Stimulation on Neural Networks Structure in Young and Older Adults.
J. Cogn. Neurosci., 2017
2006
IBM J. Res. Dev., 2006
2005
A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor.
Formal Methods Syst. Des., 2005
2003
2001
IEEE Des. Test Comput., 2001
A language formalism for verification of PowerPC<sup>TM</sup> custom memories using compositions of abstract specifications.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001
Using Abstract Specifications to Verify PowerPC<sup>TM</sup> Custom Memories by Symbolic Trajectory Evaluation.
Proceedings of the Correct Hardware Design and Verification Methods, 2001
2000
Proceedings of the 18th IEEE VLSI Test Symposium (VTS 2000), 30 April, 2000