Joan Krone

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 4

Top Topics

Computing Education

Reasoning Process

Mathematical Modeling

Top Venues

ACM Southeast Regional Conference

Publications

Nicodemus Msafiri John Mbwambo, Yu-Shan Sun, Joan Krone, Murali Sitaraman
Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position. SAI (1) (2022)
Joan Krone
Food for Thought. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. CSEE&T (2017)
John P. Dougherty, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman
Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only). SIGCSE (2016)
Svetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Richard Pak, Murali Sitaraman
Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. ACM Trans. Comput. Educ. 15 (3) (2015)
Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman
Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). SIGCSE (2013)
Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone
Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques. ACM Southeast Regional Conference (2013)
Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide
Engaging mathematical reasoning exercises. SIGCSE (2013)
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, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai
A Language for Building Verified Software Components. ICSR (2013)
Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman
Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference (2012)
Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman
Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). SIGCSE (2012)
Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman
Teaching mathematical reasoning across the curriculum. SIGCSE (2012)
Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David Pokrass Jacobs, Joan Krone, Murali Sitaraman
A systematic approach to teaching abstraction and mathematical modeling. ITiCSE (2012)
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, Bruce W. Weide
Building a push-button RESOLVE verifier: Progress and challenges. Formal Aspects Comput. 23 (5) (2011)
Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone
Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference (2011)
Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Richard Pak
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. ITiCSE (2009)
Jason O. Hallstrom, Joan Krone, Murali Sitaraman
Courseware for teaching analytical reasoning principles: a hands-on laboratory. ACM Southeast Regional Conference (2009)
Anthony R. Fressola, Joan Krone, Storyan G. Paunov, Michael Westmoreland
Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics. J. Multiple Valued Log. Soft Comput. 12 (5-6) (2006)
Joan Krone, William F. Ogden, Murali Sitaraman
Performance analysis based upon complete profiles. SAVCBS@FSE (2006)
Joan Krone, David W. Juedes, Meera Sitharam
When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies. CSEE&T (2002)
Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy
Performance specification of software components. SSR (2001)
Joan Krone
Using symbolic computation for teaching data structures and algorithm analysis. ACM SIGCSE Bull. 28 (4) (1996)
Deborah Knox, Ursula Wolz, Daniel T. Joyce, Elliot B. Koffman, Joan Krone, Atika Laribi, J. Paul Myers, Viera K. Proulx, Kenneth A. Reek
Use of laboratories in computer science education: guidelines for good practice: report of the working group on computing laboratories. ITiCSE (1996)
Joan Krone
Using symbolic computation for teaching data structures and algorithm analysis. ITiCSE (1996)
David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston
Teaching as a logic tool (abstract). SIGCSE (1995)
Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide
Part III: implementing components in RESOLVE. ACM SIGSOFT Softw. Eng. Notes 19 (4) (1994)
Joan Krone
Trees as Inductive Structures. Comput. Sci. Educ. 4 (2) (1993)
Joan Krone
Student designed machines for a theory of computation course. ACM SIGCSE Bull. 24 (3) (1992)