default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter 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, Richard J. Enbody, Chris McDonald, Peter B. Henderson, Richard Nau, Steven L. Tanimoto:
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, Yale N. Patt:
Programming early considered harmful. SIGCSE 2001: 402-403 - 2000
- [c13]Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson:
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, Robert Mark Greenwood, Peter B. Henderson:
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