default search action
Peter B. Henderson
Person information
- affiliation: Butler University, Indianapolis, Department of Computer Science and Software Engineering, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2015
- [j91]Peter B. Henderson:
Sunset time. Inroads 6(1): 33-34 (2015) - [j90]Mark A. Ardis, Peter B. Henderson:
Software Engineering Education (SEEd). ACM SIGSOFT Softw. Eng. Notes 40(2): 6-7 (2015) - 2014
- [j89]Peter B. Henderson, Allan M. Stavely:
Programming and mathematical thinking. Inroads 5(1): 35-36 (2014) - [j88]Peter B. Henderson:
Pre-college computing math. Inroads 5(3): 40-41 (2014) - [j87]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 39(4): 11-12 (2014) - 2013
- [j86]Peter B. Henderson:
Marketing math thinking. Inroads 4(1): 23-24 (2013) - [j85]Peter B. Henderson:
CS2013. Inroads 4(3): 48-49 (2013) - [j84]Doug Baldwin, Henry M. Walker, Peter B. Henderson:
The roles of mathematics in computer science. Inroads 4(4): 74-80 (2013) - [j83]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 38(2): 9-10 (2013) - [j82]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 38(3): 5-6 (2013) - [j81]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 38(5): 18 (2013) - [j80]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 38(6): 9-10 (2013) - 2012
- [j79]Peter B. Henderson, Murali Sitaraman:
Mathematical reasoning at the crossroads. Inroads 3(1): 30-31 (2012) - [j78]Peter B. Henderson:
Alan Turing: mathematician/computer scientist? Inroads 3(3): 32-33 (2012) - [j77]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 37(1): 10-11 (2012) - [j76]Mark A. Ardis, Peter B. Henderson:
Software Engineering Education (SEEd). ACM SIGSOFT Softw. Eng. Notes 37(2): 8-10 (2012) - [j75]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 37(3): 8-9 (2012) - [j74]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd): is software engineering ready for MOOCs? ACM SIGSOFT Softw. Eng. Notes 37(5): 14 (2012) - [j73]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 37(6): 8-9 (2012) - 2011
- [j72]Peter B. Henderson:
Mathematical reasoning in computing education II. Inroads 2(1): 23-24 (2011) - [j71]Peter B. Henderson:
Computing unplugged enrichment. Inroads 2(3): 24-25 (2011) - [j70]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 36(1): 6-7 (2011) - [j69]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 36(2): 8-9 (2011) - [j68]Mark A. Ardis, Peter B. Henderson:
Software Engineering Education (SEEd). ACM SIGSOFT Softw. Eng. Notes 36(3): 7-8 (2011) - [j67]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 36(4): 6-7 (2011) - [j66]Mark A. Ardis, Peter B. Henderson:
Software Engineering Education (SEEd). ACM SIGSOFT Softw. Eng. Notes 36(6): 7-8 (2011) - 2010
- [j65]Peter B. Henderson:
Model checking. Inroads 1(1): 33 (2010) - [j64]Peter B. Henderson:
Mathematical reasoning in computing education. Inroads 1(3): 22-23 (2010) - [j63]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 35(1): 4-5 (2010) - [j62]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 35(4): 6-7 (2010) - [j61]Mark A. Ardis, Peter B. Henderson:
Software Engineering Education (SEEd). ACM SIGSOFT Softw. Eng. Notes 35(6): 7-8 (2010)
2000 – 2009
- 2009
- [j60]Peter B. Henderson:
Ubiquitous Computational Thinking. Computer 42(10): 100-102 (2009) - [j59]Peter B. Henderson:
Math CountS: SIGCSE 2009 and CS unplugged. ACM SIGCSE Bull. 41(2): 81-82 (2009) - [j58]Peter B. Henderson:
Math counts: Arguments, proofs, and ... ACM SIGCSE Bull. 41(4): 21-22 (2009) - [j57]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 34(2): 3-4 (2009) - [j56]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 34(3): 4-5 (2009) - [j55]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 34(4): 8 (2009) - [j54]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 34(5): 7 (2009) - [j53]Mark A. Ardis, Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 34(6): 5-8 (2009) - 2008
- [j52]Peter B. Henderson:
Abstraction, model checking and software correctness. ACM SIGCSE Bull. 40(2): 23-24 (2008) - [j51]Peter B. Henderson:
Math counts: software correctness and a SIGCSE 2008 BoF. ACM SIGCSE Bull. 40(4): 27-28 (2008) - [j50]Peter B. Henderson:
Software Engineering Education: SEEd. ACM SIGSOFT Softw. Eng. Notes 33(1) (2008) - [j49]Peter B. Henderson:
Software Engineering Education: SEEd. ACM SIGSOFT Softw. Eng. Notes 33(2): 6 (2008) - [j48]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 33(3): 5 (2008) - 2007
- [j47]Peter B. Henderson:
Reflections on teaching discrete math for the first time. ACM SIGCSE Bull. 39(2): 24 (2007) - [j46]Peter B. Henderson:
Pre-college math concepts vs. skills. ACM SIGCSE Bull. 39(4): 26-28 (2007) - [j45]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 32(1): 4 (2007) - [j44]Peter B. Henderson:
Software engineering education: (SEEd). ACM SIGSOFT Softw. Eng. Notes 32(3): 6-7 (2007) - [j43]Peter B. Henderson:
Software engineering education: (SEEd). ACM SIGSOFT Softw. Eng. Notes 32(5): 6 (2007) - [c24]Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing:
Computational thinking. SIGCSE 2007: 195-196 - 2006
- [j42]Peter B. Henderson:
The Josephus Flavius' problem. ACM SIGCSE Bull. 38(2): 17-20 (2006) - [j41]Peter B. Henderson, Rachelle DeCoste, Kevin L. Huggins:
Preparing to teach discrete math for the first time. ACM SIGCSE Bull. 38(4): 20-21 (2006) - [j40]Vicki L. Almstrum, Peter B. Henderson, Valerie J. Harvey, Cinda Heeren, William A. Marion, Charles Riedesel, Leen-Kiat Soh, Allison Elliott Tew:
Concept inventories in computer science for the topic discrete mathematics. ACM SIGCSE Bull. 38(4): 132-145 (2006) - [j39]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 31(2): 3 (2006) - [j38]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 31(3): 5 (2006) - [j37]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 31(4): 8 (2006) - [j36]Peter B. Henderson:
Software Engineering Education (SEEd). ACM SIGSOFT Softw. Eng. Notes 31(6): 9 (2006) - 2005
- [j35]Peter B. Henderson:
The Role of Mathematics in Computer Science and Software Engineering Education. Adv. Comput. 65: 350-396 (2005) - [j34]Peter B. Henderson:
Mathematics in the curricula. ACM SIGCSE Bull. 37(2): 20-22 (2005) - [j33]Peter B. Henderson:
One-minute column. ACM SIGCSE Bull. 37(4): 24-26 (2005) - [j32]Peter B. Henderson:
Software Engineering Education (SEEd). ACM SIGSOFT Softw. Eng. Notes 30(1): 8-9 (2005) - [j31]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 30(2): 3 (2005) - [j30]Peter B. Henderson:
Software Engineering Education (SEEd). ACM SIGSOFT Softw. Eng. Notes 30(4): 6 (2005) - [j29]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 30(6): 3-4 (2005) - [c23]Wing Huen, Ernest Ferguson, Peter B. Henderson, Clifton Kussmaul
:
IT offshore outsourcing: impact on CS/IS curriculum. SIGCSE 2005: 258-259 - 2004
- [j28]Peter B. Henderson:
Modeling mania. ACM SIGCSE Bull. 36(2): 23-24 (2004) - [j27]Peter B. Henderson:
Penny piles. ACM SIGCSE Bull. 36(4): 22-24 (2004) - [j26]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 29(2): 6-8 (2004) - [j25]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 29(3): 5-6 (2004) - [j24]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 29(5): 12-13 (2004) - [c22]Peter B. Henderson:
Penny piles. ITiCSE-WGR 2004: 22-24 - 2003
- [j23]Peter B. Henderson:
Mathematical reasoning in software engineering education. Commun. ACM 46(9): 45-50 (2003) - [j22]Peter B. Henderson:
Inductive reasoning. ACM SIGCSE Bull. 35(2): 27-29 (2003) - [j21]Peter B. Henderson, Lewis E. Hitchner, Jane Fritz, Bill Marion, Christelle Scharff, John Hamer, Charles Riedesel:
Materials development in support of mathematical thinking. ACM SIGCSE Bull. 35(2): 185-190 (2003) - [j20]Peter B. Henderson:
More on inductive reasoning. ACM SIGCSE Bull. 35(4): 23-25 (2003) - [j19]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 28(2): 10-12 (2003) - [j18]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 28(3): 11-12 (2003) - [j17]Peter B. Henderson:
Software engineering education (SEEd). ACM SIGSOFT Softw. Eng. Notes 28(4): 3-5 (2003) - [j16]Peter B. Henderson:
Software engineering education. ACM SIGSOFT Softw. Eng. Notes 28(6): 3-4 (2003) - [c21]Daniel D. Garcia, David Ginat, Peter B. Henderson:
Everything you always wanted to know about game theory: but were afraid to ask. SIGCSE 2003: 96-97 - [c20]Peter B. Henderson, William Barker, Susanna S. Epp, William A. Marion:
Math educators, computer science educators: working together. SIGCSE 2003: 236-237 - [c19]Peter B. Henderson:
ISSAC: Indiana student software awards competition. SIGCSE 2003: 332-335 - 2002
- [j15]Peter B. Henderson:
Making math interesting. ACM SIGCSE Bull. 34(4): 26-28 (2002) - [j14]Doug Baldwin, Peter B. Henderson:
The Importance of Mathematics to the Software Practitioner. IEEE Softw. 19(2): 110-112 (2002) - [c18]Bruce S. Elenbogen, John E. Laird
Mathematics preparation for undergraduate degrees in computer science. SIGCSE 2002: 98-99 - [c17]Peter B. Henderson, Paul De Palma, Vicki L. Almstrum, Orit Hazzan, Kim Potter Kihlstrom:
Women, mathematics and computer science. SIGCSE 2002: 131-132 - 2001
- [j13]Peter B. Henderson, Doug Baldwin, Venu Dasigi, Marcel Dupras, Jane Fritz, David Ginat, Don Goelman, John Hamer, Lewis E. Hitchner, Will Lloyd, Bill Marion, Charles Riedesel, Henry MacKay Walker:
Striving for mathematical thinking. ACM SIGCSE Bull. 33(4): 114-124 (2001) - [c16]David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz:
How mathematical thinking enchances computer science problem solving. SIGCSE 2001: 390-391 - [c15]Samuel A. Rebelsky, Peter B. Henderson, Amruth N. Kumar, Frederick N. Springsteel:
Why I do declare!: declarative programming in the undergraduate curriculum. SIGCSE 2001: 398-399 - [c14]Judith L. Gersting, Peter B. Henderson, Philip Machanick
Programming early considered harmful. SIGCSE 2001: 402-403 - 2000
- [c13]Ann E. Kelley Sobel, Hossein Saiedian
Teaching Formal Methods Early in the Software Engineering Curriculum (panel). CSEE&T 2000: 55- - [c12]Charles Kelemen, Allen B. Tucker, Peter B. Henderson, Owen L. Astrachan, Kim B. Bruce:
Has our curriculum become math-phobic? (an American perspective). ITiCSE 2000: 132-135 - [c11]D. S. Tomer, Doug Baldwin, Carl H. Smith, Peter B. Henderson, Venu Vadisigi:
CS1 and CS2 (panel session): foundations of computer science and discrete mathematics. SIGCSE 2000: 397-398
1990 – 1999
- 1994
- [c10]Neil Berrington, David De Roure
Distribution and Change: Investigating Two Challenges for Process Enactment Systems. EWSPT 1994: 152-162 - 1992
- [c9]Peter B. Henderson:
Computer Science, Problem Solving, and Discrete Mathematics. Discrete Mathematics in the Schools 1992: 333-342 - 1990
- [c8]Peter B. Henderson:
Discrete mathematics as a precursor to programming. SIGCSE 1990: 17-21
1980 – 1989
- 1989
- [c7]Peter B. Henderson, Francisco J. Romero:
Teaching recursion as a problem-solving tool using standard ML. SIGCSE 1989: 27-31 - [e3]Peter B. Henderson:
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, Massachusetts, USA, November 28-30, 1988. ACM 1989, ISBN 0-89791-290-X [contents] - 1988
- [j12]Peter B. Henderson:
Methodology and environments. ACM SIGSOFT Softw. Eng. Notes 13(1): 39-40 (1988) - 1987
- [j11]Peter B. Henderson, David Notkin:
Guest Editors' Introduction: Integrated Design and Programming Environments. Computer 20(11): 12-16 (1987) - [j10]Peter B. Henderson:
Software development environments. ACM SIGSOFT Softw. Eng. Notes 12(1): 51-52 (1987) - [c6]Cydney Minkowitz, Peter B. Henderson:
A Formal Description of Object-Oriented Programming Using VDM. VDM Europe 1987: 237-259 - [c5]Peter B. Henderson:
Modern introductory computer science. SIGCSE 1987: 183-190 - 1986
- [j9]Peter B. Henderson:
Software development/programming environments. ACM SIGSOFT Softw. Eng. Notes 11(2): 29-31 (1986) - [j8]Peter B. Henderson:
Functional Programming, Formal Specification, and Rapid Prototyping. IEEE Trans. Software Eng. 12(2): 241-250 (1986) - [c4]Peter B. Henderson:
Data-Oriented Incremental Programming Environments. Advanced Programming Environments 1986: 13-25 - [c3]Peter B. Henderson:
Anatomy of an introductory computer science course. SIGCSE 1986: 257-264 - [e2]Peter B. Henderson:
SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, CA, USA, December 9-11, 1986. ACM 1986, ISBN 0-89791-212-8 [contents] - 1985
- [j7]Peter B. Henderson:
Software development/programming environments. ACM SIGSOFT Softw. Eng. Notes 10(2): 60-62 (1985) - [c2]Peter B. Henderson, Mark D. Weiser:
Continous Execution: The VisiProg Environment. ICSE 1985: 68-74 - 1984
- [e1]William E. Riddle, Peter B. Henderson:
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, USA, April 23-25, 1984. ACM 1984, ISBN 0-89791-131-8 [contents] - 1982
- [j6]John Keohane, John C. Cherniavsky, Peter B. Henderson:
On Transforming Control Structures. SIAM J. Comput. 11(2): 268-286 (1982) - 1981
- [j5]Peter B. Henderson, Roger B. Gimson:
Modularization of Large Programs. Softw. Pract. Exp. 11(5): 497-520 (1981) - 1980
- [j4]Peter B. Henderson, Yechezkel Zalcstein:
Synchronization Problems Solvable by Generalized PV Systems. J. ACM 27(1): 60-71 (1980)
1970 – 1979
- 1979
- [j3]John C. Cherniavsky, John Keohane, Peter B. Henderson:
A Note Concerning Top Down Program Development and Restricted Exit Control Structures. Inf. Process. Lett. 9(1): 8-12 (1979) - 1977
- [j2]Peter B. Henderson, Yechezkel Zalcstein:
A Graph-Theoretic Characterization of the PV_chunk Class of Synchronizing Primitives. SIAM J. Comput. 6(1): 88-108 (1977) - 1976
- [c1]Peter B. Henderson, Yechezkel Zalcstein:
Characterization of the Synchronization Languages for PV Systems. FOCS 1976: 9-18 - 1974
- [j1]Peter B. Henderson, Steven L. Tanimoto:
Considerations for efficient picture output via lineprinter. Comput. Graph. Image Process. 3(4): 327-335 (1974)
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-05-08 21:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: