# Joan Krone

According to our database

Collaborative distances:

^{1}, Joan Krone authored at least 25 papers between 1992 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

ACM SIGSOFT Softw. Eng. Notes, 2018

2017

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.

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).

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

2015

Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.

ACM Trans. Comput. Educ., 2015

2013

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).

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

Proceedings of the Safe and Secure Software Reuse, 2013

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

Proceedings of the ACM Southeast Regional Conference 2013, 2013

2012

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

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

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

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

Proceedings of the 50th Annual Southeast Regional Conference, 2012

2011

Formal Aspects Comput., 2011

2009

Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.

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

Proceedings of the 47th Annual Southeast Regional Conference, 2009

2008

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

2006

Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics.

J. Multiple Valued Log. Soft Comput., 2006

2002

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

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

Proceedings of the Collision-Based Computing, 2002

2001

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

1996

ACM SIGCSE Bull., 1996

Use of laboratories in computer science education: guidelines for good practice: report of the working group on computing laboratories.

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

1995

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

1993

Comput. Sci. Educ., 1993

1992

ACM SIGCSE Bull., 1992