BibTeX records: Andrew K. Martin

download as .bib file

@article{DBLP:journals/jocn/MartinMLSNF17,
  author       = {Andrew K. Martin and
                  Marcus Meinzer and
                  Robert Lindenberg and
                  Mira M. Sieg and
                  Laura Nachtigall and
                  Agnes Fl{\"{o}}el},
  title        = {Effects of Transcranial Direct Current Stimulation on Neural Networks
                  Structure in Young and Older Adults},
  journal      = {J. Cogn. Neurosci.},
  volume       = {29},
  number       = {11},
  pages        = {1817--1828},
  year         = {2017},
  url          = {https://doi.org/10.1162/jocn\_a\_01166},
  doi          = {10.1162/JOCN\_A\_01166},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jocn/MartinMLSNF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ibmrd/BelluominiJMMMNS06,
  author       = {Wendy Belluomini and
                  Damir Jamsek and
                  Andrew K. Martin and
                  Chandler McDowell and
                  Robert K. Montoye and
                  Hung C. Ngo and
                  Jun Sawada},
  title        = {Limited switch dynamic logic circuits for high-speed low-power circuit
                  design},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {50},
  number       = {2-3},
  pages        = {277--286},
  year         = {2006},
  url          = {https://doi.org/10.1147/rd.502.0277},
  doi          = {10.1147/RD.502.0277},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/BelluominiJMMMNS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BhadraMA05,
  author       = {Jayanta Bhadra and
                  Andrew K. Martin and
                  Jacob A. Abraham},
  title        = {A Formal Framework for Verification of Embedded Custom Memories of
                  the Motorola {MPC7450} Microprocessor},
  journal      = {Formal Methods Syst. Des.},
  volume       = {27},
  number       = {1-2},
  pages        = {67--112},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-2250-1},
  doi          = {10.1007/S10703-005-2250-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BhadraMA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmcad/2004,
  editor       = {Alan J. Hu and
                  Andrew K. Martin},
  title        = {Formal Methods in Computer-Aided Design, 5th International Conference,
                  {FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3312},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b102264},
  doi          = {10.1007/B102264},
  isbn         = {3-540-23738-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/AbadirAHKM03,
  author       = {Magdy S. Abadir and
                  Ken Albin and
                  John Havlicek and
                  Narayanan Krishnamurthy and
                  Andrew K. Martin},
  title        = {Formal Verification Successes at Motorola},
  journal      = {Formal Methods Syst. Des.},
  volume       = {22},
  number       = {2},
  pages        = {117--123},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022917321255},
  doi          = {10.1023/A:1022917321255},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AbadirAHKM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dt/KrishnamurthyAMA01,
  author       = {Narayanan Krishnamurthy and
                  Magdy S. Abadir and
                  Andrew K. Martin and
                  Jacob A. Abraham},
  title        = {Design and Development Paradigm for Industrial Formal Verification
                  {CAD} Tools},
  journal      = {{IEEE} Des. Test Comput.},
  volume       = {18},
  number       = {4},
  pages        = {26--35},
  year         = {2001},
  url          = {https://doi.org/10.1109/54.936246},
  doi          = {10.1109/54.936246},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dt/KrishnamurthyAMA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/BhadraMAA01,
  author       = {Jayanta Bhadra and
                  Andrew K. Martin and
                  Jacob A. Abraham and
                  Magdy S. Abadir},
  editor       = {Tiziana Margaria and
                  Thomas F. Melham},
  title        = {Using Abstract Specifications to Verify PowerPC\({}^{\mbox{TM}}\)
                  Custom Memories by Symbolic Trajectory Evaluation},
  booktitle    = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
                  10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
                  Scotland, UK, September 4-7, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2144},
  pages        = {386--402},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44798-9\_30},
  doi          = {10.1007/3-540-44798-9\_30},
  timestamp    = {Sun, 02 Jun 2019 21:23:48 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/BhadraMAA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hldvt/BhadraMAA01,
  author       = {Jayanta Bhadra and
                  Andrew K. Martin and
                  Jacob A. Abraham and
                  Magdy S. Abadir},
  title        = {A language formalism for verification of PowerPC\({}^{\mbox{TM}}\)
                  custom memories using compositions of abstract specifications},
  booktitle    = {Proceedings of the Sixth {IEEE} International High-Level Design Validation
                  and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001},
  pages        = {134--141},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HLDVT.2001.972820},
  doi          = {10.1109/HLDVT.2001.972820},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/BhadraMAA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dt/KrishnamurthyMAA00,
  author       = {Narayanan Krishnamurthy and
                  Andrew K. Martin and
                  Magdy S. Abadir and
                  Jacob A. Abraham},
  title        = {Validating PowerPC Microprocessor Custom Memories},
  journal      = {{IEEE} Des. Test Comput.},
  volume       = {17},
  number       = {4},
  pages        = {61--76},
  year         = {2000},
  url          = {https://doi.org/10.1109/54.895007},
  doi          = {10.1109/54.895007},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dt/KrishnamurthyMAA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vts/KrishnamurthyMAA00,
  author       = {Narayanan Krishnamurthy and
                  Andrew K. Martin and
                  Magdy S. Abadir and
                  Jacob A. Abraham},
  title        = {Validation of PowerPC(tm) Custom Memories using Symbolic Simulation},
  booktitle    = {18th {IEEE} {VLSI} Test Symposium {(VTS} 2000), 30 April - 4 May 2000,
                  Montreal, Canada},
  pages        = {9--14},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/VTEST.2000.843820},
  doi          = {10.1109/VTEST.2000.843820},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vts/KrishnamurthyMAA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.