Andrew K. Martin

According to our database, Andrew K. Martin authored at least 10 papers between 2000 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

"Words are not enough": Examining Emotional Support by Conversational AI for Caregivers.

Melika Vafafar, Sian Joel-Edgar, Casper Harteveld, Hossein Dabbagh, Andrew K. Martin, Chee Siang Ang

Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems, 2026

2017

Effects of Transcranial Direct Current Stimulation on Neural Networks Structure in Young and Older Adults.

Andrew K. Martin, Marcus Meinzer, Robert Lindenberg, Mira M. Sieg, Laura Nachtigall, Agnes Flöel

J. Cogn. Neurosci., 2017

2006

Limited switch dynamic logic circuits for high-speed low-power circuit design.

Wendy Belluomini, Damir Jamsek, Andrew K. Martin, Chandler McDowell, Robert K. Montoye, Hung C. Ngo, Jun Sawada

IBM J. Res. Dev., 2006

2005

A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor.

Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham

Formal Methods Syst. Des., 2005

2003

Formal Verification Successes at Motorola.

Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin

Formal Methods Syst. Des., 2003

2001

Design and Development Paradigm for Industrial Formal Verification CAD Tools.

Narayanan Krishnamurthy, Magdy S. Abadir, Andrew K. Martin, Jacob A. Abraham

IEEE Des. Test Comput., 2001

A language formalism for verification of PowerPC^TM custom memories using compositions of abstract specifications.

Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham, Magdy S. Abadir

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

Using Abstract Specifications to Verify PowerPC^TM Custom Memories by Symbolic Trajectory Evaluation.

Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham, Magdy S. Abadir

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Validating PowerPC Microprocessor Custom Memories.

Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham

IEEE Des. Test Comput., 2000

Validation of PowerPC(tm) Custom Memories using Symbolic Simulation.

Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham

Proceedings of the 18th IEEE VLSI Test Symposium (VTS 2000), 30 April, 2000