Verbalization of High-Level Formal Proofs. - Amanda M. Holland-Minkley; Regina Barzilay; Robert L. Constable (AAAI/IAAI, 1999)

A case for building inclusive research communities as an integral part of science and engineering graduate education. - Susannah V. Hobbs; Amanda M. Holland-Minkley; Lynette I. Millett (ISTAS, 1999)

Planning Proof Content for Communicating Induction. - Amanda M. Holland-Minkley (INLG, 2002)

Restructuring Formal Mathematics for Natural Texts. - Amanda M. Holland-Minkley (2004)

Cyberattacks: a lab-based introduction to computer security. - Amanda M. Holland-Minkley (SIGITE Conference, 2006)

Teaching computer science through problems, not solutions. - Samuel B. Fee; Amanda M. Holland-Minkley (Comput. Sci. Educ., 2010)

Best Practices for IRB Approval: Four Perspectives. - Michael S. Kirkpatrick; Janice E. Cuny; Mark Guzdial; Amanda M. Holland-Minkley; Clifford A. Shaffer (SIGCSE, 2015)

Engaging students in scientific thinking: eye tracking methods as a GEN-ED. - Amanda M. Holland-Minkley (J. Comput. Sci. Coll., 2015)

Improving Engagement in Introductory Courses with Homework Resubmission. - Amanda M. Holland-Minkley; Thomas E. Lombardi (SIGCSE, 2016)

Computing Education in Liberal Arts Colleges: A Status Report of the SIGCSE Committee. - Doug Baldwin; Grant Braught; Amanda M. Holland-Minkley (SIGCSE, 2017)

Communicating What Liberal Arts Colleges Contribute to Computer Science (Abstract Only). - Janet Davis; Angela Berardinelli; Amanda M. Holland-Minkley; Ellen Walker (SIGCSE, 2017)

Strategies for Including Soft Skills and Interdisciplinary Content in CS Education (Abstract Only). - Amanda M. Holland-Minkley; Thomas E. Lombardi; Madeline E. Smith (SIGCSE, 2017)

Report of the SIGCSE committee on computing education in liberal arts colleges. - Douglas Baldwin; Amanda M. Holland-Minkley; Grant Braught (Inroads, 2019)

Aligning pedagogy and content in interdisciplinary computing education. - Samuel B. Fee; Amanda M. Holland-Minkley; Thomas E. Lombardi (Inroads, 2019)

Using Self-Efficacy Surveys as a Tool for Student Reflection. - Amanda M. Holland-Minkley (SIGCSE, 2020)

CS Curricular Innovations with a Liberal Arts Philosophy. - James D. Teresco; Andrea Tartaro; Amanda M. Holland-Minkley; Grant Braught; Jakob Barnard; Douglas Baldwin (SIGCSE (1), 2022)

Reflective Curriculum Review for Liberal Arts Computing Programs. - Jakob Barnard; Grant Braught; Janet Davis; Amanda M. Holland-Minkley; David W. Reed; Karl Schmitt; Andrea Tartaro; James D. Teresco (J. Comput. Sci. Coll., 2022)

Computer Science Curriculum Guidelines: A New Liberal Arts Perspective. - Amanda M. Holland-Minkley; Jakob Barnard; Valerie Barr; Grant Braught; Janet Davis; David W. Reed; Karl Schmitt; Andrea Tartaro; James D. Teresco (SIGCSE (1), 2023)

Developing Identity-Focused Program-Level Learning Outcomes for Liberal Arts Computing Programs. - Jakob Barnard; Grant Braught; Janet Davis; Amanda M. Holland-Minkley; David W. Reed; Karl Schmitt; Andrea Tartaro; James D. Teresco (J. Comput. Sci. Coll., 2023)

Developing Identity-Focused Program-Level Learning Outcomes for Liberal Arts Computing Programs: Conference Tutorial. - Jakob Barnard; Grant Braught; Janet Davis; Amanda M. Holland-Minkley; David W. Reed; Karl Schmitt; Andrea Tartaro; James D. Teresco (J. Comput. Sci. Coll., 2023)

A Panel for Distinctive Computing Curricula: Programs Aligned with Liberal Arts Institutional and Departmental Identity. - Andrea Tartaro; Amanda M. Holland-Minkley; Mario Nakazawa; David W. Reed (SIGCSE (2), 2024)

Using a Distinctive Curricular Design Process for Liberal Arts Computing Programs. - Jakob E. Barnard; Grant Braught; Janet Davis; Amanda M. Holland-Minkley; David W. Reed; Karl Schmitt; Andrea Tartaro; James D. Teresco (J. Comput. Sci. Coll., 2024)

A Process for Distinctive Curricular Design for Liberal Arts Computing Programs - Conference Tutorial. - Jakob Barnard; Grant Braught; Janet Davis; Amanda M. Holland-Minkley; David W. Reed; Karl Schmitt; Andrea Tartaro; James D. Teresco (J. Comput. Sci. Coll., 2024)

Computing Education in Liberal Arts Colleges. - Jakob E. Barnard; Amanda M. Holland-Minkley; Karl Schmitt; Andrea Tartaro (SIGCSE (2), 2025)

Towards a Computer Science Curriculum "Microkernel". - Grant Braught; Janet Davis; Amanda M. Holland-Minkley; Karl Schmitt; James D. Teresco (SIGCSE (2), 2025)

Reviewing and Revising your Undergraduate CS Major: A Structured Design Process for Creating Distinctive Curricula. - Jakob Barnard; Grant Braught; Janet Davis; Amanda M. Holland-Minkley; Karl Schmitt; Andrea Tartaro (J. Comput. Sci. Coll., 2025)

CS2023: Computer Science Curriculum Guidelines: A New Liberal Arts Perspective. - Amanda M. Holland-Minkley; Jakob E. Barnard; Valerie Barr; Grant Braught; Janet Davis; David W. Reed; Karl Schmitt; Andrea Tartaro; James D. Teresco (Inroads, 2025)