Student designed machines for a theory of computation course. - Joan Krone (ACM SIGCSE Bull., 1992)

Trees as Inductive Structures. - Joan Krone (Comput. Sci. Educ., 1993)

Part III: implementing components in RESOLVE. - Paolo Bucci; Joseph E. Hollingsworth; Joan Krone; Bruce W. Weide (ACM SIGSOFT Softw. Eng. Notes, 1994)

Teaching as a logic tool (abstract). - David Gries; Fred B. Schneider; Joan Krone; J. Stanley Warford; J. Peter Weston (SIGCSE, 1995)

Use of laboratories in computer science education: guidelines for good practice: report of the working group on computing laboratories. - Deborah Knox; Ursula Wolz; Daniel T. Joyce; Elliot B. Koffman; Joan Krone; Atika Laribi; J. Paul Myers; Viera K. Proulx; Kenneth A. Reek (ITiCSE, 1996)

Using symbolic computation for teaching data structures and algorithm analysis. - Joan Krone (ACM SIGCSE Bull., 1996)

Performance specification of software components. - Murali Sitaraman; Gregory Kulczycki; Joan Krone; William F. Ogden; A. L. Narasimha Reddy (SSR, 2001)

Incorporating mathematics into the first year CS program: a new approach to CS2. - Joan Krone; Todd Feil (J. Comput. Sci. Coll., 2001)

Derivation Schemes in Twin Open Set Logic. - Michael D. Westmoreland; Joan Krone (Collision-Based Computing, 2002)

When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies. - Joan Krone; David W. Juedes; Meera Sitharam (CSEE&T, 2002)

Multiple implementations for component based software using Java interfaces. - Joan Krone (J. Comput. Sci. Coll., 2003)

Keeping pointers or references under control: a component based approach to list based data structures. - Joan Krone (J. Comput. Sci. Coll., 2004)

Performance analysis based upon complete profiles. - Joan Krone; William F. Ogden; Murali Sitaraman (SAVCBS@FSE, 2006)

A project approach to the theory of programming languages. - Joan Krone (J. Comput. Sci. Coll., 2006)

Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics. - Anthony R. Fressola; Joan Krone; Storyan G. Paunov; Michael Westmoreland (J. Multiple Valued Log. Soft Comput., 2006)

Meeting the challenges of discrete mathematics for computer science: the power of symbols. - Joan Krone (J. Comput. Sci. Coll., 2007)

Formal Program Verification. - Heather K. Harton; Murali Sitaraman; Joan Krone (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Courseware for teaching analytical reasoning principles: a hands-on laboratory. - Jason O. Hallstrom; Joan Krone; Murali Sitaraman (ACM Southeast Regional Conference, 2009)

Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. - Murali Sitaraman; Jason O. Hallstrom; Jarred White; Svetlana Drachova-Strang; Heather K. Harton; Dana P. Leonard; Joan Krone; Richard Pak (ITiCSE, 2009)

Building a push-button RESOLVE verifier: Progress and challenges. - Murali Sitaraman; Bruce M. Adcock; Jeremy Avigad; Derek Bronish; Paolo Bucci; David Frazier; Harvey M. Friedman; Heather K. Harton; Wayne D. Heym; Jason Kirschenbaum; Joan Krone; Hampton Smith; et al. (Formal Aspects Comput., 2011)

Applying mathematical reasoning throughout the CS curriculum. - Joan Krone (J. Comput. Sci. Coll., 2011)

Mathematics throughout the CS curriculum. - Joan Krone; Murali Sitaraman; Jason O. Hallstrom (J. Comput. Sci. Coll., 2011)

Making mathematical reasoning fun: tool-assisted, collaborative techniques. - Jason O. Hallstrom; Joe Hollingsworth; Joan Krone; Murali Sitaraman (ACM Southeast Regional Conference, 2012)

A systematic approach to teaching abstraction and mathematical modeling. - Charles T. Cook; Svetlana Drachova-Strang; Jason O. Hallstrom; Joseph E. Hollingsworth; David Pokrass Jacobs; Joan Krone; Murali Sitaraman (ITiCSE, 2012)

Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). - Jason O. Hallstrom; Joe Hollingsworth; Joan Krone; Murali Sitaraman (SIGCSE, 2012)

Teaching mathematical reasoning across the curriculum. - Joan Krone; Doug Baldwin; Jeffrey C. Carver; Joseph E. Hollingsworth; Amruth N. Kumar; Murali Sitaraman (SIGCSE, 2012)

Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques. - Jason O. Hallstrom; Murali Sitaraman; Joe Hollingsworth; Joan Krone (ACM Southeast Regional Conference, 2013)

A Language for Building Verified Software Components. - Gregory Kulczycki; Murali Sitaraman; Joan Krone; Joseph E. Hollingsworth; William F. Ogden; Bruce W. Weide; Paolo Bucci; Charles T. Cook; Svetlana Drachova-Strang; Blair Durkee; Heather K. Harton; Wayne D. Heym; et al. (ICSR, 2013)

Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). - Jason O. Hallstrom; Joseph E. Hollingsworth; Joan Krone; Murali Sitaraman (SIGCSE, 2013)

Engaging mathematical reasoning exercises. - Joseph E. Hollingsworth; Joan Krone; Jason O. Hallstrom; Murali Sitaraman; Bruce W. Weide (SIGCSE, 2013)

A hybrid approach to applying mathematical reasoning in computer science courses. - Joan Krone; Joe Hollingsworth (J. Comput. Sci. Coll., 2013)

Conducting departmental reviews and serving as a reviewer. - Henry M. Walker; Joan Krone (J. Comput. Sci. Coll., 2014)

Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. - Svetlana V. Drachova; Jason O. Hallstrom; Joseph E. Hollingsworth; Joan Krone; Richard Pak; Murali Sitaraman (ACM Trans. Comput. Educ., 2015)

Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only). - John P. Dougherty; Joseph E. Hollingsworth; Joan Krone; Murali Sitaraman (SIGCSE, 2016)

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. - Wayne D. Heym; Paolo A. G. Sivilotti; Paolo Bucci; Murali Sitaraman; Kevin Plis; Joseph E. Hollingsworth; Joan Krone; Nigamanth Sridhar (CSEE&T, 2017)

Food for Thought. - Joan Krone (ACM SIGSOFT Softw. Eng. Notes, 2018)

Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position. - Nicodemus Msafiri John Mbwambo; Yu-Shan Sun; Joan Krone; Murali Sitaraman (SAI (1), 2022)