Andrew K. Martin

11 papers A* 1B 1Misc 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A* conf
"Words are not enough": Examining Emotional Support by Conversational AI for Caregivers.
CHI
Melika Vafafar, Sian Joel-Edgar, Casper Harteveld, Hossein Dabbagh, Andrew K. Martin, Chee Siang Ang
2017 J jnl
Effects of Transcranial Direct Current Stimulation on Neural Networks Structure in Young and Older Adults.
J. Cogn. Neurosci.
Andrew K. Martin, Marcus Meinzer, Robert Lindenberg, Mira M. Sieg, Laura Nachtigall, Agnes Flöel
2006 J jnl
Limited switch dynamic logic circuits for high-speed low-power circuit design.
IBM J. Res. Dev.
Wendy Belluomini, Damir Jamsek, Andrew K. Martin, Chandler McDowell, Robert K. Montoye, Hung C. Ngo, Jun Sawada
2005 J jnl
A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor.
Formal Methods Syst. Des.
Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham
2004 B ed.
Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
FMCAD
Alan J. Hu, Andrew K. Martin
2003 J jnl
Formal Verification Successes at Motorola.
Formal Methods Syst. Des.
Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin
2001 — conf
A language formalism for verification of PowerPC
HLDVT
Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham, Magdy S. Abadir
2001 J jnl
Design and Development Paradigm for Industrial Formal Verification CAD Tools.
IEEE Des. Test Comput.
Narayanan Krishnamurthy, Magdy S. Abadir, Andrew K. Martin, Jacob A. Abraham
2001 — conf
Using Abstract Specifications to Verify PowerPC
CHARME
Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham, Magdy S. Abadir
2000 J jnl
Validating PowerPC Microprocessor Custom Memories.
IEEE Des. Test Comput.
Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham
2000 Misc conf
Validation of PowerPC(tm) Custom Memories using Symbolic Simulation.
VTS
Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham