Joan Krone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
3
Active years
1995–2016
Best venue rank
A
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SIGCSE | 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 |
| 2013 | ICSR | 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 |
| 2013 | SIGCSE | Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). | Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman |
| 2013 | SIGCSE | Engaging mathematical reasoning exercises. | Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide |
| 2012 | ITiCSE | 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 |
| 2012 | SIGCSE | Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). | Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman |
| 2012 | SIGCSE | Teaching mathematical reasoning across the curriculum. | Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman |
| 2009 | ITiCSE | 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 |
| 1996 | ITiCSE | 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 |
| 1996 | ITiCSE | Using symbolic computation for teaching data structures and algorithm analysis. | Joan Krone |
| 1995 | SIGCSE | Teaching as a logic tool (abstract). | David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston |