Joan Krone - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2022

Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree PositionNicodemus Msafiri John Mbwambo, Yu-Shan Sun, Joan Krone, Murali Sitaraman. sai 2022: 58-74 [doi]

2018

Food for ThoughtJoan Krone. sigsoft, 43(3):19, 2018. [doi]

2017

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple InstitutionsWayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar. csee 2017: 202-211 [doi]

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. sigcse 2016: 707 [doi]

2015

Teaching Mathematical Reasoning Principles for Software Correctness and Its AssessmentSvetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Rich Pak, Murali Sitaraman. jeric, 15(3):15, 2015. [doi]

2013

Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniquesJason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone. ACMse 2013: 39 [doi]

Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only)Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman. sigcse 2013: 757 [doi]

Engaging mathematical reasoning exercisesJoseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide. sigcse 2013: 459-460 [doi]

2012

2011

2009

Courseware for teaching analytical reasoning principles: a hands-on laboratoryJason O. Hallstrom, Joan Krone, Murali Sitaraman. ACMse 2009: [doi]

Engaging students in specification and reasoning: hands-on experimentation and evaluationMurali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Rich Pak. iticse 2009: 50-54 [doi]

2006

Characterization of Boolean Topological Logics Short Form: Boolean Topological LogicsAnthony R. Fressola, Joan Krone, Storyan G. Paunov, Michael Westmoreland. mvl, 12(5-6):409-415, 2006. [doi]

Performance analysis based upon complete profilesJoan Krone, William F. Ogden, Murali Sitaraman. FSE 2006: 3-10 [doi]

2002

When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case StudiesJoan Krone, David W. Juedes, Meera Sitharam. csee 2002: 207-214 [doi]

Derivation Schemes in Twin Open Set LogicMichael D. Westmoreland, Joan Krone. In Andrew Adamatzky, editor, Collision-Based Computing. pages 201-230, Springer, 2002. [doi]

2001

Performance specification of software componentsMurali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy. ssr 2001: 3-10 [doi]

1996

1995

Teaching as a logic tool (abstract)David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston. sigcse 1995: 384-385 [doi]

1994

Part III: implementing components in RESOLVEPaolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide. sigsoft, 19(4):40-51, 1994. [doi]

1993

Trees as Inductive StructuresJoan Krone. csedu, 4(2):215-234, 1993. [doi]

1992

Student designed machines for a theory of computation courseJoan Krone. SIGCSE, 24(3):51-52, 1992. [doi]

Sign in or sign up to see more results.

runs on WebDSL