default search action
Joseph E. Hollingsworth
Person information
- affiliation: Rose-Hulman Institute of Technology, Terre Haute, IN, USA
- affiliation (former): Indiana University Southeast, New Albany, IN, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c35]Nathan Hurtig, Joseph E. Hollingsworth, Olga Scrivner:
Visualization of Students' Solutions as a Sequential Network. EDUCON 2022: 1189-1194 - [c34]Nathan Hurtig, Joseph E. Hollingsworth, Sarah Blankenship, Eileen T. Kraemer, Murali Sitaraman, Jason O. Hallstrom:
Network Visualization and Assessment of Student Reasoning About Conditionals. ITiCSE (1) 2022: 255-261 - 2021
- [j7]Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Yu-Shan Sun, Jiadi Wang, Gloria J. Washington:
Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum. Informatics Educ. 20(4): 533-566 (2021) - [c33]Megan Fowler, Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth:
Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties. ITiCSE (1) 2021: 387-393 - [c32]Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Gloria J. Washington:
Automated Analysis of Student Verbalizations in Online Learning Environments. SETE 2021: 290-302 - [c31]Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Murali Sitaraman, Eileen T. Kraemer, Gloria J. Washington:
Automated Analysis of Student Verbalizations in Online Learning Environments. SIGCSE 2021: 1272 - 2020
- [c30]Megan Fowler, Eileen T. Kraemer, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth:
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions. ECSEE 2020: 52-60
2010 – 2019
- 2019
- [c29]Megan Fowler, Michelle Cook, Kevin Plis, Tim Schwab, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth:
Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool. SIGCSE 2019: 1039-1045 - [c28]Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman:
Engaging in Logical Code Reasoning with an Activity-Based Online Tool. SIGCSE 2019: 1289 - 2018
- [c27]Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth:
An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning. ECSEE 2018: 18-25 - [c26]Michelle Cook, Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Tim Schwab, Yu-Shan Sun, Murali Sitaraman:
Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. ITiCSE 2018: 39-44 - 2017
- [c25]Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar:
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. CSEE&T 2017: 202-211 - 2016
- [c24]John P. Dougherty, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman:
Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only). SIGCSE 2016: 707 - 2015
- [j6]Svetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Richard Pak, Murali Sitaraman:
Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. ACM Trans. Comput. Educ. 15(3): 15:1-15:22 (2015) - [c23]Joseph E. Hollingsworth, Murali Sitaraman:
Evaluation of Formal Reasoning Abilities Using a Concept Inventory. FMSEE&T@FM 2015: 59-66 - 2014
- [c22]Joseph E. Hollingsworth, Murali Sitaraman:
Special session: engaging mathematical reasoning exercises. SIGCSE 2014: 179-180 - 2013
- [c21]Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone:
Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques. ACM Southeast Regional Conference 2013: 39:1-39:2 - [c20]Charles T. Cook, Svetlana Drachova-Strang, Yu-Shan Sun, Murali Sitaraman, Jeffrey C. Carver, Joseph E. Hollingsworth:
Specification and reasoning in SE projects using a Web IDE. CSEE&T 2013: 229-238 - [c19]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:
A Language for Building Verified Software Components. ICSR 2013: 308-314 - [c18]Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide:
Engaging mathematical reasoning exercises. SIGCSE 2013: 459-460 - [c17]Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman:
Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). SIGCSE 2013: 757 - 2012
- [c16]Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman:
Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference 2012: 403-404 - [c15]Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David Pokrass Jacobs, Joan Krone, Murali Sitaraman:
A systematic approach to teaching abstraction and mathematical modeling. ITiCSE 2012: 357-362 - [c14]Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman:
Teaching mathematical reasoning across the curriculum. SIGCSE 2012: 241-242 - [c13]Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman:
Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). SIGCSE 2012: 683 - [c12]Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth:
The Location Linking Concept: A Basis for Verification of Code Using Pointers. VSTTE 2012: 34-49 - 2011
- [c11]Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone:
Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference 2011: 5
2000 – 2009
- 2008
- [j5]Stephen H. Edwards, Jürgen Börstler, Lillian N. Cassel, Mark S. Hall, Joseph E. Hollingsworth:
Developing a common format for sharing programming assignments. ACM SIGCSE Bull. 40(4): 167-182 (2008) - [c10]Joseph E. Hollingsworth:
Teaching query writing: an informed instruction approach. ITiCSE 2008: 351 - 2007
- [c9]Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide:
Which pointer errors do students make? SIGCSE 2007: 9-13 - 2004
- [j4]Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth:
Contract-Checking Wrappers for C++ Classes. IEEE Trans. Software Eng. 30(11): 794-810 (2004) - 2001
- [c8]Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide:
Identifying an appropriate view of software components for undergraduate education. SIGCSE 2001: 394-395 - 2000
- [c7]Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth:
Reasoning about Software-Component Behavior. ICSR 2000: 266-283 - [c6]Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth:
Checkmate: cornering C++ dynamic memory errors with checked pointers. SIGCSE 2000: 352-356 - [c5]Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide:
Experience report: using RESOLVE/C++ for commercial software. SIGSOFT FSE 2000: 11-19
1990 – 1999
- 1998
- [c4]Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth:
A framework for detecting interface violations in component-based software. ICSR 1998: 46-55 - [c3]Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards:
Providing intellectual focus to CS1/CS2. SIGCSE 1998: 252-256 - 1995
- [j3]Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth:
The Effects of Layering and Encapsulation on Software Development Cost and Quality. IEEE Trans. Software Eng. 21(3): 200-208 (1995) - [c2]Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth:
Reverse Engineering of Legacy Code Exposed. ICSE 1995: 327-331 - 1994
- [j2]Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide:
Part III: implementing components in RESOLVE. ACM SIGSOFT Softw. Eng. Notes 19(4): 40-51 (1994) - [j1]Joseph E. Hollingsworth, Sethu Sreerama, Bruce W. Weide, Sergey Zhupanov:
Part IV: RESOLVE components in Ada and C++. ACM SIGSOFT Softw. Eng. Notes 19(4): 52-63 (1994) - [c1]Murali Sitaraman, Michael B. Feldman, Gary Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide:
What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"? TRI-Ada 1994: 220
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint