Peter B. Henderson

According to our database, Peter B. Henderson authored at least 72 papers between 1974 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2015

Sunset time.

Peter B. Henderson

Inroads, 2015

2014

Programming and mathematical thinking.

Peter B. Henderson, Allan M. Stavely

Inroads, 2014

Pre-college computing math.

Peter B. Henderson

Inroads, 2014

2013

CS2013.

Peter B. Henderson

Inroads, 2013

Marketing math thinking.

Peter B. Henderson

Inroads, 2013

The roles of mathematics in computer science.

Doug Baldwin, Henry M. Walker, Peter B. Henderson

Inroads, 2013

2012

Software engineering education (SEEd): is software engineering ready for MOOCs?

Mark A. Ardis, Peter B. Henderson

ACM SIGSOFT Softw. Eng. Notes, 2012

Mathematical reasoning at the crossroads.

Peter B. Henderson, Murali Sitaraman

Inroads, 2012

Alan Turing: mathematician/computer scientist?

Peter B. Henderson

Inroads, 2012

2011

Computing unplugged enrichment.

Peter B. Henderson

Inroads, 2011

Mathematical reasoning in computing education II.

Peter B. Henderson

Inroads, 2011

2010

Software engineering education (SEEd).

Mark A. Ardis, Peter B. Henderson

ACM SIGSOFT Softw. Eng. Notes, 2010

Mathematical reasoning in computing education.

Peter B. Henderson

Inroads, 2010

Model checking.

Peter B. Henderson

Inroads, 2010

2009

Math counts: Arguments, proofs, and ...

Peter B. Henderson

ACM SIGCSE Bull., 2009

Math CountS: SIGCSE 2009 and CS unplugged.

Peter B. Henderson

ACM SIGCSE Bull., 2009

Ubiquitous Computational Thinking.

Peter B. Henderson

Computer, 2009

2008

Math counts: software correctness and a SIGCSE 2008 BoF.

Peter B. Henderson

ACM SIGCSE Bull., 2008

Abstraction, model checking and software correctness.

Peter B. Henderson

ACM SIGCSE Bull., 2008

2007

Pre-college math concepts vs. skills.

Peter B. Henderson

ACM SIGCSE Bull., 2007

Reflections on teaching discrete math for the first time.

Peter B. Henderson

ACM SIGCSE Bull., 2007

Computational thinking.

Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2006

Preparing to teach discrete math for the first time.

Peter B. Henderson, Rachelle DeCoste, Kevin L. Huggins

ACM SIGCSE Bull., 2006

The Josephus Flavius' problem.

Peter B. Henderson

ACM SIGCSE Bull., 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

2005

One-minute column.

Peter B. Henderson

ACM SIGCSE Bull., 2005

Mathematics in the curricula.

Peter B. Henderson

ACM SIGCSE Bull., 2005

The Role of Mathematics in Computer Science and Software Engineering Education.

Peter B. Henderson

Adv. Comput., 2005

IT offshore outsourcing: impact on CS/IS curriculum.

Wing Huen, Ernest Ferguson, Peter B. Henderson, Clifton Kussmaul

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2004

Penny piles.

Peter B. Henderson

ACM SIGCSE Bull., 2004

Modeling mania.

Peter B. Henderson

ACM SIGCSE Bull., 2004

2003

Software engineering education.

Peter B. Henderson

ACM SIGSOFT Softw. Eng. Notes, 2003

Software engineering education (SEEd).

Peter B. Henderson

ACM SIGSOFT Softw. Eng. Notes, 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

More on inductive reasoning.

Peter B. Henderson

ACM SIGCSE Bull., 2003

Inductive reasoning.

Peter B. Henderson

ACM SIGCSE Bull., 2003

Mathematical reasoning in software engineering education.

Peter B. Henderson

Commun. ACM, 2003

Math educators, computer science educators: working together.

Peter B. Henderson, William Barker, Susanna S. Epp, William A. Marion

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

ISSAC: Indiana student software awards competition.

Peter B. Henderson

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

Everything you always wanted to know about game theory: but were afraid to ask.

Daniel D. Garcia, David Ginat, Peter B. Henderson

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

2002

The Importance of Mathematics to the Software Practitioner.

Doug Baldwin, Peter B. Henderson

IEEE Softw., 2002

Making math interesting.

Peter B. Henderson

ACM SIGCSE Bull., 2002

Women, mathematics and computer science.

Peter B. Henderson, Paul De Palma, Vicki L. Almstrum, Orit Hazzan, Kim Potter Kihlstrom

Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

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

Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

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, Henry MacKay Walker

ACM SIGCSE Bull., 2001

Why I do declare!: declarative programming in the undergraduate curriculum.

Samuel A. Rebelsky, Peter B. Henderson, Amruth N. Kumar, Frederick N. Springsteel

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

How mathematical thinking enchances computer science problem solving.

David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

Programming early considered harmful.

Judith L. Gersting, Peter B. Henderson, Philip Machanick, Yale N. Patt

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

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

Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

Has our curriculum become math-phobic? (an American perspective).

Charles Kelemen, Allen B. Tucker, Peter B. Henderson, Owen L. Astrachan, Kim B. Bruce

Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000

Teaching Formal Methods Early in the Software Engineering Curriculum (panel).

Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson

Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

1994

Distribution and Change: Investigating Two Challenges for Process Enactment Systems.

Neil Berrington, David De Roure, Robert Mark Greenwood, Peter B. Henderson

Proceedings of the Software Process Technology, Third European Workshop, 1994

1992

Computer Science, Problem Solving, and Discrete Mathematics.

Peter B. Henderson

Proceedings of the Discrete Mathematics in the Schools, 1992

1990

Discrete mathematics as a precursor to programming.

Peter B. Henderson

Proceedings of the 21st SIGCSE Technical Symposium on Computer Science Education, 1990

1989

Teaching recursion as a problem-solving tool using standard ML.

Peter B. Henderson, Francisco J. Romero

Proceedings of the 20th SIGCSE Technical Symposium on Computer Science Education, 1989

1988

Methodology and environments.

Peter B. Henderson

ACM SIGSOFT Softw. Eng. Notes, 1988

1987

Software development environments.

Peter B. Henderson

ACM SIGSOFT Softw. Eng. Notes, 1987

Guest Editors' Introduction: Integrated Design and Programming Environments.

Peter B. Henderson, David Notkin

Computer, 1987

Modern introductory computer science.

Peter B. Henderson

Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, 1987

A Formal Description of Object-Oriented Programming Using VDM.

Cydney Minkowitz, Peter B. Henderson

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

1986

Functional Programming, Formal Specification, and Rapid Prototyping.

Peter B. Henderson

IEEE Trans. Software Eng., 1986

Software development/programming environments.

Peter B. Henderson

ACM SIGSOFT Softw. Eng. Notes, 1986

Anatomy of an introductory computer science course.

Peter B. Henderson

Proceedings of the 17th SIGCSE Technical Symposium on Computer Science Education, 1986

Data-Oriented Incremental Programming Environments.

Peter B. Henderson

Proceedings of the Advanced Programming Environments, 1986

1985

Continous Execution: The VisiProg Environment.

Peter B. Henderson, Mark D. Weiser

Proceedings of the Proceedings, 1985

1982

On Transforming Control Structures.

John Keohane, John C. Cherniavsky, Peter B. Henderson

SIAM J. Comput., 1982

1981

Modularization of Large Programs.

Peter B. Henderson, Roger B. Gimson

Softw. Pract. Exp., 1981

1980

Synchronization Problems Solvable by Generalized PV Systems.

Peter B. Henderson, Yechezkel Zalcstein

J. ACM, 1980

1979

A Note Concerning Top Down Program Development and Restricted Exit Control Structures.

John C. Cherniavsky, John Keohane, Peter B. Henderson

Inf. Process. Lett., 1979

1977

A Graph-Theoretic Characterization of the PV_chunk Class of Synchronizing Primitives.

Peter B. Henderson, Yechezkel Zalcstein

SIAM J. Comput., 1977

1976

Characterization of the Synchronization Languages for PV Systems

Peter B. Henderson, Yechezkel Zalcstein

Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

1974

Considerations for efficient picture output via lineprinter.

Peter B. Henderson, Steven L. Tanimoto

Comput. Graph. Image Process., 1974