Joseph E. Hollingsworth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
6
Active years
1995–2022
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | EDUCON | Visualization of Students' Solutions as a Sequential Network. | Nathan Hurtig, Joseph E. Hollingsworth, Olga Scrivner |
| 2022 | ITiCSE | Network Visualization and Assessment of Student Reasoning About Conditionals. | Nathan Hurtig, Joseph E. Hollingsworth, Sarah Blankenship, Eileen T. Kraemer, Murali Sitaraman, Jason O. Hallstrom |
| 2021 | ITiCSE | Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties. | Megan Fowler, Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth |
| 2021 | SIGCSE | Automated Analysis of Student Verbalizations in Online Learning Environments. | Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Murali Sitaraman, Eileen T. Kraemer, Gloria J. Washington |
| 2019 | SIGCSE | Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool. | Megan Fowler, Michelle Cook, Kevin Plis, Tim Schwab, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth |
| 2019 | SIGCSE | Engaging in Logical Code Reasoning with an Activity-Based Online Tool. | Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman |
| 2018 | ITiCSE | Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. | Michelle Cook, Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Tim Schwab, Yu-Shan Sun, Murali Sitaraman |
| 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 |
| 2015 | FM | Evaluation of Formal Reasoning Abilities Using a Concept Inventory. | Joseph E. Hollingsworth, Murali Sitaraman |
| 2014 | SIGCSE | Special session: engaging mathematical reasoning exercises. | Joseph E. Hollingsworth, 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 | Teaching mathematical reasoning across the curriculum. | Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman |
| 2008 | ITiCSE | Teaching query writing: an informed instruction approach. | Joseph E. Hollingsworth |
| 2007 | SIGCSE | Which pointer errors do students make? | Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide |
| 2000 | ICSR | Reasoning about Software-Component Behavior. | Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth |
| 2000 | SIGCSE | Checkmate: cornering C++ dynamic memory errors with checked pointers. | Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth |
| 1998 | SIGCSE | Providing intellectual focus to CS1/CS2. | Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards |
| 1995 | ICSE | Reverse Engineering of Legacy Code Exposed. | Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth |