Joan Krone

According to our database1, Joan Krone authored at least 22 papers between 1993 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Food for Thought.
ACM SIGSOFT Software Engineering 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

2015
Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.
TOCE, 2015

2013
Engaging mathematical reasoning exercises.
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


Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques.
Proceedings of the ACM Southeast Regional Conference 2013, 2013

2012
Teaching mathematical reasoning across the curriculum.
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

A systematic approach to teaching abstraction and mathematical modeling.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

2011
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Asp. Comput., 2011

Making mathematical reasoning fun: tool-assisted, collaborative techniques.
Proceedings of the 49th Annual Southeast Regional Conference, 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

Courseware for teaching analytical reasoning principles: a hands-on laboratory.
Proceedings of the 47th Annual Southeast Regional Conference, 2009

2008
Formal Program Verification.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2006
Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics.
Multiple-Valued Logic and Soft Computing, 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

2001
Performance specification of software components.
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.
Proceedings of the 1st Annual Conference on Integrating Technology into Computer Science Education, 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
Teaching as a logic tool (abstract).
Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

1993
Trees as Inductive Structures.
Computer Science Education, 1993


  Loading...