Joan Krone

According to our database, Joan Krone authored at least 28 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position.

Nicodemus Msafiri John Mbwambo, Yu-Shan Sun, Joan Krone, Murali Sitaraman

Proceedings of the Intelligent Computing, 2022

2018

Food for Thought.

Joan Krone

ACM SIGSOFT Softw. Eng. Notes, 2018

2017

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

Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2016

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

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2015

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

2013

Engaging mathematical reasoning exercises.

Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only).

Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 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, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 2013

Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques.

Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone

Proceedings of the ACM Southeast Regional Conference 2013, 2013

2012

Teaching mathematical reasoning across the curriculum.

Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only).

Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman

Proceedings of the 43rd ACM technical symposium on Computer science education, 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

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Making mathematical reasoning fun: tool-assisted, collaborative techniques.

Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman

Proceedings of the 50th Annual Southeast Regional Conference, 2012

2011

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, Bruce W. Weide

Formal Aspects Comput., 2011

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

Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

Courseware for teaching analytical reasoning principles: a hands-on laboratory.

Jason O. Hallstrom, Joan Krone, Murali Sitaraman

Proceedings of the 47th Annual Southeast Regional Conference, 2009

2008

Formal Program Verification.

Heather K. Harton, Murali Sitaraman, Joan Krone

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

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

Performance analysis based upon complete profiles.

Joan Krone, William F. Ogden, Murali Sitaraman

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

2002

When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies.

Joan Krone, David W. Juedes, Meera Sitharam

Proceedings of the 15th Conference on Software Engineering Education and Training (CSEET'02), 2002

Derivation Schemes in Twin Open Set Logic.

Michael D. Westmoreland, Joan Krone

Proceedings of the Collision-Based Computing, 2002

2001

Performance specification of software components.

Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy

Proceedings of the ACM SIGSOFT Symposium on Software Reusability: Putting Software Reuse in Context, 2001

1996

Using symbolic computation for teaching data structures and algorithm analysis.

Joan Krone

ACM SIGCSE Bull., 1996

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

Proceedings of the 1st Annual Conference on Integrating Technology into Computer Science Education, 1996

1995

Teaching as a logic tool (abstract).

David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston

Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

1994

Part III: implementing components in RESOLVE.

Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide

ACM SIGSOFT Softw. Eng. Notes, 1994

1993

Trees as Inductive Structures.

Joan Krone

Comput. Sci. Educ., 1993

1992

Student designed machines for a theory of computation course.

Joan Krone

ACM SIGCSE Bull., 1992