Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Joseph E. Hollingsworth

Joe Hollingsworth

> Home > Persons

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

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iie/FowlerHHKSSWW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iie/FowlerHHKSSWW21
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)
2015
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jeric/DrachovaHHKPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jeric/DrachovaHHKPS15
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)
2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sigcse/EdwardsBCHH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigcse/EdwardsBCHH08
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)
2004
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/EdwardsSWH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/EdwardsSWH04
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)
1995
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ZwebenEWH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ZwebenEWH95
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)
1994
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/BucciHKW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/BucciHKW94
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/HollingsworthSW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/HollingsworthSW94
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/educon/HurtigHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/educon/HurtigHS22
Nathan Hurtig, Joseph E. Hollingsworth, Olga Scrivner:
Visualization of Students' Solutions as a Sequential Network. EDUCON 2022: 1189-1194
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/HurtigHBKSH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/HurtigHBKSH22
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
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/FowlerKSH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/FowlerKSH21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sete/AlmazovaHFHKSW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sete/AlmazovaHFHKSW21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/AlmazovaHFHSKW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/AlmazovaHFHSKW21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsee/FowlerKSSHH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsee/FowlerKSSHH20
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
2019
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/FowlerCPSSSHH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/FowlerCPSSSHH20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/HollingsworthKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/HollingsworthKS20
Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman:
Engaging in Logical Code Reasoning with an Activity-Based Online Tool. SIGCSE 2019: 1289
2018
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsee/KraemerSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsee/KraemerSH18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/CookFHHSSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/CookFHHSSS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/HeymSBSPHKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/HeymSBSPHKS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/DoughertyHKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/DoughertyHKS16
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
[c23]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/HollingsworthS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HollingsworthS15
Joseph E. Hollingsworth, Murali Sitaraman:
Evaluation of Formal Reasoning Abilities Using a Concept Inventory. FMSEE&T@FM 2015: 59-66
2014
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/HollingsworthS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/HollingsworthS14
Joseph E. Hollingsworth, Murali Sitaraman:
Special session: engaging mathematical reasoning exercises. SIGCSE 2014: 179-180
2013
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ACMse/HallstromSHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACMse/HallstromSHK13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/CookDSSCH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/CookDSSCH13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/KulczyckiSKHOWBCDDHHHSSTYZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/KulczyckiSKHOWBCDDHHHSSTYZ13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/HollingsworthKHSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/HollingsworthKHSW13
Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide:
Engaging mathematical reasoning exercises. SIGCSE 2013: 459-460
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/HallstromHKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/HallstromHKS13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ACMse/HallstromHKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACMse/HallstromHKS12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/CookDHHJKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/CookDHHJKS12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/KroneBCHKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/KroneBCHKS12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/HallstromHKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/HallstromHKS12
Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman:
Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). SIGCSE 2012: 683
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/KulczyckiSHSOH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/KulczyckiSHSOH12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ACMse/HallstromSHK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACMse/HallstromSHK11
Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone:
Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference 2011: 5
2008
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/Hollingsworth08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/Hollingsworth08
Joseph E. Hollingsworth:
Teaching query writing: an informed instruction approach. ITiCSE 2008: 351
2007
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/AdcockBHHLW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/AdcockBHHLW07
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
2001
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/ParrishHMSW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/ParrishHMSW01
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/SitaramanAKWLBHPH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/SitaramanAKWLBHPH00
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/PikeWH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/PikeWH00
Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth:
Checkmate: cornering C++ dynamic memory errors with checked pointers. SIGCSE 2000: 352-356
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HollingsworthBW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HollingsworthBW00
Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide:
Experience report: using RESOLVE/C++ for commercial software. SIGSOFT FSE 2000: 11-19
1998
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/EdwardsSSWH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/EdwardsSSWH98
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/LongWBGHSE98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/LongWBGHSE98
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
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WeideHH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WeideHH95
Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth:
Reverse Engineering of Legacy Code Exposed. ICSE 1995: 327-331
1994
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/SitaramanFFFHMW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/SitaramanFFFHMW94
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

see FAQ

a service of

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.