Joan Krone

39 papers A 6B 5Journal 17Unranked 9
YearRankTypeTitle / Venue / Authors
2022 — conf
Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position.
SAI (1)
Nicodemus Msafiri John Mbwambo, Yu-Shan Sun, Joan Krone, Murali Sitaraman
2018 J jnl
Food for Thought.
ACM SIGSOFT Softw. Eng. Notes
Joan Krone
2017 — conf
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.
CSEE&T
Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar
2016 A conf
Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only).
SIGCSE
John P. Dougherty, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman
2015 J jnl
Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.
ACM Trans. Comput. Educ.
Svetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Richard Pak, Murali Sitaraman
2014 J jnl
Conducting departmental reviews and serving as a reviewer.
J. Comput. Sci. Coll.
Henry M. Walker, Joan Krone
2013 B conf
A Language for Building Verified Software Components.
ICSR
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
2013 J jnl
A hybrid approach to applying mathematical reasoning in computer science courses.
J. Comput. Sci. Coll.
Joan Krone, Joe Hollingsworth
2013 A conf
Engaging mathematical reasoning exercises.
SIGCSE
Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide
2013 A conf
Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only).
SIGCSE
Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman
2013 — conf
Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques.
ACM Southeast Regional Conference
Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone
2012 B conf
A systematic approach to teaching abstraction and mathematical modeling.
ITiCSE
Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David Pokrass Jacobs, Joan Krone, Murali Sitaraman
2012 A conf
Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only).
SIGCSE
Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman
2012 — conf
Making mathematical reasoning fun: tool-assisted, collaborative techniques.
ACM Southeast Regional Conference
Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman
2012 A conf
Teaching mathematical reasoning across the curriculum.
SIGCSE
Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman
2011 J jnl
Applying mathematical reasoning throughout the CS curriculum.
J. Comput. Sci. Coll.
Joan Krone
2011 J jnl
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Aspects Comput.
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
2011 — conf
Making mathematical reasoning fun: tool-assisted, collaborative techniques.
ACM Southeast Regional Conference
Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone
2011 J jnl
Mathematics throughout the CS curriculum.
J. Comput. Sci. Coll.
Joan Krone, Murali Sitaraman, Jason O. Hallstrom
2009 — conf
Courseware for teaching analytical reasoning principles: a hands-on laboratory.
ACM Southeast Regional Conference
Jason O. Hallstrom, Joan Krone, Murali Sitaraman
2009 B conf
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.
ITiCSE
Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Richard Pak
2008 — ch.
Formal Program Verification.
Wiley Encyclopedia of Computer Science and Engineering
Heather K. Harton, Murali Sitaraman, Joan Krone
2007 J jnl
Meeting the challenges of discrete mathematics for computer science: the power of symbols.
J. Comput. Sci. Coll.
Joan Krone
2006 J jnl
A project approach to the theory of programming languages.
J. Comput. Sci. Coll.
Joan Krone
2006 J jnl
Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics.
J. Multiple Valued Log. Soft Comput.
Anthony R. Fressola, Joan Krone, Storyan G. Paunov, Michael Westmoreland
2006 — conf
Performance analysis based upon complete profiles.
SAVCBS@FSE
Joan Krone, William F. Ogden, Murali Sitaraman
2004 J jnl
Keeping pointers or references under control: a component based approach to list based data structures.
J. Comput. Sci. Coll.
Joan Krone
2003 J jnl
Multiple implementations for component based software using Java interfaces.
J. Comput. Sci. Coll.
Joan Krone
2002 — ch.
Derivation Schemes in Twin Open Set Logic.
Collision-Based Computing
Michael D. Westmoreland, Joan Krone
2002 — conf
When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies.
CSEE&T
Joan Krone, David W. Juedes, Meera Sitharam
2001 J jnl
Incorporating mathematics into the first year CS program: a new approach to CS2.
J. Comput. Sci. Coll.
Joan Krone, Todd Feil
2001 — conf
Performance specification of software components.
SSR
Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy
1996 B conf
Use of laboratories in computer science education: guidelines for good practice: report of the working group on computing laboratories.
ITiCSE
Deborah Knox, Ursula Wolz, Daniel T. Joyce, Elliot B. Koffman, Joan Krone, Atika Laribi, J. Paul Myers, Viera K. Proulx, Kenneth A. Reek
1996 B conf
Using symbolic computation for teaching data structures and algorithm analysis.
ITiCSE
Joan Krone
1996 J jnl
Using symbolic computation for teaching data structures and algorithm analysis.
ACM SIGCSE Bull.
Joan Krone
1995 A conf
Teaching as a logic tool (abstract).
SIGCSE
David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston
1994 J jnl
Part III: implementing components in RESOLVE.
ACM SIGSOFT Softw. Eng. Notes
Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide
1993 J jnl
Trees as Inductive Structures.
Comput. Sci. Educ.
Joan Krone
1992 J jnl
Student designed machines for a theory of computation course.
ACM SIGCSE Bull.
Joan Krone