Considerations for efficient picture output via lineprinter. - Peter B. Henderson; Steven L. Tanimoto (Comput. Graph. Image Process., 1974)

Characterization of the Synchronization Languages for PV Systems - Peter B. Henderson; Yechezkel Zalcstein (FOCS, 1976)

A Graph-Theoretic Characterization of the PV_chunk Class of Synchronizing Primitives. - Peter B. Henderson; Yechezkel Zalcstein (SIAM J. Comput., 1977)

A Note Concerning Top Down Program Development and Restricted Exit Control Structures. - John C. Cherniavsky; John Keohane; Peter B. Henderson (Inf. Process. Lett., 1979)

Synchronization Problems Solvable by Generalized PV Systems. - Peter B. Henderson; Yechezkel Zalcstein (J. ACM, 1980)

Modularization of Large Programs. - Peter B. Henderson; Roger B. Gimson (Softw. Pract. Exp., 1981)

On Transforming Control Structures. - John Keohane; John C. Cherniavsky; Peter B. Henderson (SIAM J. Comput., 1982)

Continous Execution: The VisiProg Environment. - Peter B. Henderson; Mark D. Weiser (ICSE, 1985)

Data-Oriented Incremental Programming Environments. - Peter B. Henderson (Advanced Programming Environments, 1986)

Anatomy of an introductory computer science course. - Peter B. Henderson (SIGCSE, 1986)

Software development/programming environments. - Peter B. Henderson (ACM SIGSOFT Softw. Eng. Notes, 1986)

Functional Programming, Formal Specification, and Rapid Prototyping. - Peter B. Henderson (IEEE Trans. Software Eng., 1986)

A Formal Description of Object-Oriented Programming Using VDM. - Cydney Minkowitz; Peter B. Henderson (VDM Europe, 1987)

Modern introductory computer science. - Peter B. Henderson (SIGCSE, 1987)

Guest Editors' Introduction: Integrated Design and Programming Environments. - Peter B. Henderson; David Notkin (Computer, 1987)

Software development environments. - Peter B. Henderson (ACM SIGSOFT Softw. Eng. Notes, 1987)

Methodology and environments. - Peter B. Henderson (ACM SIGSOFT Softw. Eng. Notes, 1988)

Teaching recursion as a problem-solving tool using standard ML. - Peter B. Henderson; Francisco J. Romero (SIGCSE, 1989)

Discrete mathematics as a precursor to programming. - Peter B. Henderson (SIGCSE, 1990)

Computer Science, Problem Solving, and Discrete Mathematics. - Peter B. Henderson (Discrete Mathematics in the Schools, 1992)

Distribution and Change: Investigating Two Challenges for Process Enactment Systems. - Neil Berrington; David De Roure; Robert Mark Greenwood; Peter B. Henderson (EWSPT, 1994)

Teaching Formal Methods Early in the Software Engineering Curriculum (panel). - Ann E. Kelley Sobel; Hossein Saiedian; Allan M. Stavely; Peter B. Henderson (CSEE&T, 2000)

Has our curriculum become math-phobic? (an American perspective). - Charles Kelemen; Allen B. Tucker; Peter B. Henderson; Owen L. Astrachan; Kim B. Bruce (ITiCSE, 2000)

CS1 and CS2 (panel session): foundations of computer science and discrete mathematics. - D. S. Tomer; Doug Baldwin; Carl H. Smith; Peter B. Henderson; Venu Vadisigi (SIGCSE, 2000)

Benefits of an early introduction to discrete mathematics (panel discussion). - Susanna S. Epp; Peter B. Henderson; Bill Marion (J. Comput. Sci. Coll., 2000)

Programming early considered harmful. - Judith L. Gersting; Peter B. Henderson; Philip Machanick; Yale N. Patt (SIGCSE, 2001)

How mathematical thinking enchances computer science problem solving. - David Gries; Bill Marion; Peter B. Henderson; Diane Schwartz (SIGCSE, 2001)

Why I do declare!: declarative programming in the undergraduate curriculum. - Samuel A. Rebelsky; Peter B. Henderson; Amruth N. Kumar; Frederick N. Springsteel (SIGCSE, 2001)

Striving for mathematical thinking. - 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; et al. (ACM SIGCSE Bull., 2001)

Mathematics preparation for undergraduate degrees in computer science. - Bruce S. Elenbogen; John E. Laird; Richard J. Enbody; Chris McDonald; Peter B. Henderson; Richard Nau; Steven L. Tanimoto (SIGCSE, 2002)

Women, mathematics and computer science. - Peter B. Henderson; Paul De Palma; Vicki L. Almstrum; Orit Hazzan; Kim Potter Kihlstrom (SIGCSE, 2002)

Workshop: integrating mathematical reasoning into introductory computer science courses. - Doug Baldwin; Peter B. Henderson (J. Comput. Sci. Coll., 2002)

Panel: is there too much math in the computer science curriculum? - Lawrence D'Antonio; Douglas Baldwin; Frank P. Ford; Peter B. Henderson; Richard Wyatt 001 (J. Comput. Sci. Coll., 2002)

Making math interesting. - Peter B. Henderson (ACM SIGCSE Bull., 2002)

The Importance of Mathematics to the Software Practitioner. - Doug Baldwin; Peter B. Henderson (IEEE Softw., 2002)

Everything you always wanted to know about game theory: but were afraid to ask. - Daniel D. Garcia; David Ginat; Peter B. Henderson (SIGCSE, 2003)

ISSAC: Indiana student software awards competition. - Peter B. Henderson (SIGCSE, 2003)

Math educators, computer science educators: working together. - Peter B. Henderson; William Barker; Susanna S. Epp; William A. Marion (SIGCSE, 2003)

Mathematical reasoning in software engineering education. - Peter B. Henderson (Commun. ACM, 2003)

Inductive reasoning. - Peter B. Henderson (ACM SIGCSE Bull., 2003)

More on inductive reasoning. - Peter B. Henderson (ACM SIGCSE Bull., 2003)

Materials development in support of mathematical thinking. - Peter B. Henderson; Lewis E. Hitchner; Jane Fritz; Bill Marion; Christelle Scharff; John Hamer; Charles Riedesel (ACM SIGCSE Bull., 2003)

Software engineering education (SEEd). - Peter B. Henderson (ACM SIGSOFT Softw. Eng. Notes, 2003)

Software engineering education. - Peter B. Henderson (ACM SIGSOFT Softw. Eng. Notes, 2003)

Nifty examples in discrete mathematics: tutorial presentation. - William A. Marion; Peter B. Henderson (J. Comput. Sci. Coll., 2004)

Modeling mania. - Peter B. Henderson (ACM SIGCSE Bull., 2004)

Penny piles. - Peter B. Henderson (ACM SIGCSE Bull., 2004)

IT offshore outsourcing: impact on CS/IS curriculum. - Wing Huen; Ernest Ferguson; Peter B. Henderson; Clifton Kussmaul (SIGCSE, 2005)

The Role of Mathematics in Computer Science and Software Engineering Education. - Peter B. Henderson (Adv. Comput., 2005)

Mathematics in the curricula. - Peter B. Henderson (ACM SIGCSE Bull., 2005)

One-minute column. - Peter B. Henderson (ACM SIGCSE Bull., 2005)

Interactive activities for learning discrete mathematics concepts: tutorial presentation. - Peter B. Henderson; William A. Marion (J. Comput. Sci. Coll., 2006)

Concept inventories in computer science for the topic discrete mathematics. - Vicki L. Almstrum; Peter B. Henderson; Valerie J. Harvey; Cinda Heeren; William A. Marion; Charles Riedesel; Leen-Kiat Soh; Allison Elliott Tew (ACM SIGCSE Bull., 2006)

The Josephus Flavius' problem. - Peter B. Henderson (ACM SIGCSE Bull., 2006)

Preparing to teach discrete math for the first time. - Peter B. Henderson; Rachelle DeCoste; Kevin L. Huggins (ACM SIGCSE Bull., 2006)

Computational thinking. - Peter B. Henderson; Thomas J. Cortina; Jeannette M. Wing (SIGCSE, 2007)

Reflections on teaching discrete math for the first time. - Peter B. Henderson (ACM SIGCSE Bull., 2007)

Pre-college math concepts vs. skills. - Peter B. Henderson (ACM SIGCSE Bull., 2007)

Computer Science unplugged. - Peter B. Henderson (J. Comput. Sci. Coll., 2008)

Nifty examples in discrete mathematics. - William A. Marion; Peter B. Henderson (J. Comput. Sci. Coll., 2008)

Abstraction, model checking and software correctness. - Peter B. Henderson (ACM SIGCSE Bull., 2008)

Math counts: software correctness and a SIGCSE 2008 BoF. - Peter B. Henderson (ACM SIGCSE Bull., 2008)

Ubiquitous Computational Thinking. - Peter B. Henderson (Computer, 2009)

Computer science unplugged: tutorial presentation. - Peter B. Henderson; Lynn Lambert (J. Comput. Sci. Coll., 2009)

Math CountS: SIGCSE 2009 and CS unplugged. - Peter B. Henderson (ACM SIGCSE Bull., 2009)

Math counts: Arguments, proofs, and ... - Peter B. Henderson (ACM SIGCSE Bull., 2009)

Model checking. - Peter B. Henderson (Inroads, 2010)

Mathematical reasoning in computing education. - Peter B. Henderson (Inroads, 2010)

Software engineering education (SEEd). - Mark A. Ardis; Peter B. Henderson (ACM SIGSOFT Softw. Eng. Notes, 2010)

Mathematical reasoning in computing education II. - Peter B. Henderson (Inroads, 2011)

Computing unplugged enrichment. - Peter B. Henderson (Inroads, 2011)

Alan Turing: mathematician/computer scientist? - Peter B. Henderson (Inroads, 2012)

Mathematical reasoning at the crossroads. - Peter B. Henderson; Murali Sitaraman (Inroads, 2012)

Software engineering education (SEEd): is software engineering ready for MOOCs? - Mark A. Ardis; Peter B. Henderson (ACM SIGSOFT Softw. Eng. Notes, 2012)

The roles of mathematics in computer science. - Doug Baldwin; Henry M. Walker; Peter B. Henderson (Inroads, 2013)

Marketing math thinking. - Peter B. Henderson (Inroads, 2013)

CS2013. - Peter B. Henderson (Inroads, 2013)

Pre-college computing math. - Peter B. Henderson (Inroads, 2014)

Programming and mathematical thinking. - Peter B. Henderson; Allan M. Stavely (Inroads, 2014)

Sunset time. - Peter B. Henderson (Inroads, 2015)

Binary Patterns. - Peter B. Henderson (J. Comput. Sci. Coll., 2023)

How Do Computer Systems Work? - Peter B. Henderson (J. Comput. Sci. Coll., 2023)