Peter B. Henderson

128 papers A* 2A 15B 1Journal 101Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
Binary Patterns.
J. Comput. Sci. Coll.
Peter B. Henderson
2023 J jnl
How Do Computer Systems Work?
J. Comput. Sci. Coll.
Peter B. Henderson
2015 J jnl
Software Engineering Education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2015 J jnl
Sunset time.
Inroads
Peter B. Henderson
2014 J jnl
Pre-college computing math.
Inroads
Peter B. Henderson
2014 J jnl
Programming and mathematical thinking.
Inroads
Peter B. Henderson, Allan M. Stavely
2014 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2013 J jnl
CS2013.
Inroads
Peter B. Henderson
2013 J jnl
Marketing math thinking.
Inroads
Peter B. Henderson
2013 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2013 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2013 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2013 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2013 J jnl
The roles of mathematics in computer science.
Inroads
Doug Baldwin, Henry M. Walker, Peter B. Henderson
2012 J jnl
Alan Turing: mathematician/computer scientist?
Inroads
Peter B. Henderson
2012 J jnl
Mathematical reasoning at the crossroads.
Inroads
Peter B. Henderson, Murali Sitaraman
2012 J jnl
Software Engineering Education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2012 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2012 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2012 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2012 J jnl
Software engineering education (SEEd): is software engineering ready for MOOCs?
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2011 J jnl
Computing unplugged enrichment.
Inroads
Peter B. Henderson
2011 J jnl
Mathematical reasoning in computing education II.
Inroads
Peter B. Henderson
2011 J jnl
Software Engineering Education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2011 J jnl
Software Engineering Education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2011 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2011 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2011 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2010 J jnl
Mathematical reasoning in computing education.
Inroads
Peter B. Henderson
2010 J jnl
Model checking.
Inroads
Peter B. Henderson
2010 J jnl
Software Engineering Education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2010 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2010 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2009 J jnl
Computer science unplugged: tutorial presentation.
J. Comput. Sci. Coll.
Peter B. Henderson, Lynn Lambert
2009 J jnl
Math CountS: SIGCSE 2009 and CS unplugged.
ACM SIGCSE Bull.
Peter B. Henderson
2009 J jnl
Math counts: Arguments, proofs, and ...
ACM SIGCSE Bull.
Peter B. Henderson
2009 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2009 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2009 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Mark A. Ardis, Peter B. Henderson
2009 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2009 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2009 J jnl
Ubiquitous Computational Thinking.
Computer
Peter B. Henderson
2008 J jnl
Abstraction, model checking and software correctness.
ACM SIGCSE Bull.
Peter B. Henderson
2008 J jnl
Computer Science unplugged.
J. Comput. Sci. Coll.
Peter B. Henderson
2008 J jnl
Math counts: software correctness and a SIGCSE 2008 BoF.
ACM SIGCSE Bull.
Peter B. Henderson
2008 J jnl
Nifty examples in discrete mathematics.
J. Comput. Sci. Coll.
William A. Marion, Peter B. Henderson
2008 J jnl
Software Engineering Education: SEEd.
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2008 J jnl
Software Engineering Education: SEEd.
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2008 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2007 A conf
Computational thinking.
SIGCSE
Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing
2007 J jnl
Pre-college math concepts vs. skills.
ACM SIGCSE Bull.
Peter B. Henderson
2007 J jnl
Reflections on teaching discrete math for the first time.
ACM SIGCSE Bull.
Peter B. Henderson
2007 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2007 J jnl
Software engineering education: (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2007 J jnl
Software engineering education: (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2006 J jnl
Concept inventories in computer science for the topic discrete mathematics.
ACM SIGCSE Bull.
Vicki L. Almstrum, Peter B. Henderson, Valerie J. Harvey, Cinda Heeren, William A. Marion, Charles Riedesel, Leen-Kiat Soh, Allison Elliott Tew
2006 J jnl
Interactive activities for learning discrete mathematics concepts: tutorial presentation.
J. Comput. Sci. Coll.
Peter B. Henderson, William A. Marion
2006 J jnl
Preparing to teach discrete math for the first time.
ACM SIGCSE Bull.
Peter B. Henderson, Rachelle DeCoste, Kevin L. Huggins
2006 J jnl
Software Engineering Education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2006 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2006 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2006 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2006 J jnl
The Josephus Flavius' problem.
ACM SIGCSE Bull.
Peter B. Henderson
2005 A conf
IT offshore outsourcing: impact on CS/IS curriculum.
SIGCSE
Wing Huen, Ernest Ferguson, Peter B. Henderson, Clifton Kussmaul
2005 J jnl
Mathematics in the curricula.
ACM SIGCSE Bull.
Peter B. Henderson
2005 J jnl
One-minute column.
ACM SIGCSE Bull.
Peter B. Henderson
2005 J jnl
Software Engineering Education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2005 J jnl
Software Engineering Education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2005 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2005 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2005 J jnl
The Role of Mathematics in Computer Science and Software Engineering Education.
Adv. Comput.
Peter B. Henderson
2004 J jnl
Modeling mania.
ACM SIGCSE Bull.
Peter B. Henderson
2004 J jnl
Nifty examples in discrete mathematics: tutorial presentation.
J. Comput. Sci. Coll.
William A. Marion, Peter B. Henderson
2004 — conf
Penny piles.
ITiCSE-WGR
Peter B. Henderson
2004 J jnl
Penny piles.
ACM SIGCSE Bull.
Peter B. Henderson
2004 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2004 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2004 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2003 A conf
Everything you always wanted to know about game theory: but were afraid to ask.
SIGCSE
Daniel D. Garcia, David Ginat, Peter B. Henderson
2003 A conf
ISSAC: Indiana student software awards competition.
SIGCSE
Peter B. Henderson
2003 J jnl
Inductive reasoning.
ACM SIGCSE Bull.
Peter B. Henderson
2003 J jnl
Materials development in support of mathematical thinking.
ACM SIGCSE Bull.
Peter B. Henderson, Lewis E. Hitchner, Jane Fritz, Bill Marion, Christelle Scharff, John Hamer, Charles Riedesel
2003 A conf
Math educators, computer science educators: working together.
SIGCSE
Peter B. Henderson, William Barker, Susanna S. Epp, William A. Marion
2003 J jnl
Mathematical reasoning in software engineering education.
Commun. ACM
Peter B. Henderson
2003 J jnl
More on inductive reasoning.
ACM SIGCSE Bull.
Peter B. Henderson
2003 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2003 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2003 J jnl
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2003 J jnl
Software engineering education.
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
2002 J jnl
Making math interesting.
ACM SIGCSE Bull.
Peter B. Henderson
2002 A conf
Mathematics preparation for undergraduate degrees in computer science.
SIGCSE
Bruce S. Elenbogen, John E. Laird, Richard J. Enbody, Chris McDonald, Peter B. Henderson, Richard Nau, Steven L. Tanimoto
2002 J jnl
Panel: is there too much math in the computer science curriculum?
J. Comput. Sci. Coll.
Lawrence D'Antonio, Douglas Baldwin, Frank P. Ford, Peter B. Henderson, Richard Wyatt
2002 J jnl
The Importance of Mathematics to the Software Practitioner.
IEEE Softw.
Doug Baldwin, Peter B. Henderson
2002 A conf
Women, mathematics and computer science.
SIGCSE
Peter B. Henderson, Paul De Palma, Vicki L. Almstrum, Orit Hazzan, Kim Potter Kihlstrom
2002 J jnl
Workshop: integrating mathematical reasoning into introductory computer science courses.
J. Comput. Sci. Coll.
Doug Baldwin, Peter B. Henderson
2001 A conf
How mathematical thinking enchances computer science problem solving.
SIGCSE
David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz
2001 A conf
Programming early considered harmful.
SIGCSE
Judith L. Gersting, Peter B. Henderson, Philip Machanick, Yale N. Patt
2001 J jnl
Striving for mathematical thinking.
ACM SIGCSE Bull.
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
2001 A conf
Why I do declare!: declarative programming in the undergraduate curriculum.
SIGCSE
Samuel A. Rebelsky, Peter B. Henderson, Amruth N. Kumar, Frederick N. Springsteel
2000 J jnl
Benefits of an early introduction to discrete mathematics (panel discussion).
J. Comput. Sci. Coll.
Susanna S. Epp, Peter B. Henderson, Bill Marion
2000 A conf
CS1 and CS2 (panel session): foundations of computer science and discrete mathematics.
SIGCSE
D. S. Tomer, Doug Baldwin, Carl H. Smith, Peter B. Henderson, Venu Vadisigi
2000 B conf
Has our curriculum become math-phobic? (an American perspective).
ITiCSE
Charles Kelemen, Allen B. Tucker, Peter B. Henderson, Owen L. Astrachan, Kim B. Bruce
2000 — conf
Teaching Formal Methods Early in the Software Engineering Curriculum (panel).
CSEE&T
Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson
1994 — conf
Distribution and Change: Investigating Two Challenges for Process Enactment Systems.
EWSPT
Neil Berrington, David De Roure, Robert Mark Greenwood, Peter B. Henderson
1992 — conf
Computer Science, Problem Solving, and Discrete Mathematics.
Discrete Mathematics in the Schools
Peter B. Henderson
1990 A conf
Discrete mathematics as a precursor to programming.
SIGCSE
Peter B. Henderson
1989 — ed.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, Massachusetts, USA, November 28-30, 1988
SDE
Peter B. Henderson
1989 A conf
Teaching recursion as a problem-solving tool using standard ML.
SIGCSE
Peter B. Henderson, Francisco J. Romero
1988 J jnl
Methodology and environments.
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
1987 — conf
A Formal Description of Object-Oriented Programming Using VDM.
VDM Europe
Cydney Minkowitz, Peter B. Henderson
1987 J jnl
Guest Editors' Introduction: Integrated Design and Programming Environments.
Computer
Peter B. Henderson, David Notkin
1987 A conf
Modern introductory computer science.
SIGCSE
Peter B. Henderson
1987 J jnl
Software development environments.
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
1986 A conf
Anatomy of an introductory computer science course.
SIGCSE
Peter B. Henderson
1986 — conf
Data-Oriented Incremental Programming Environments.
Advanced Programming Environments
Peter B. Henderson
1986 J jnl
Functional Programming, Formal Specification, and Rapid Prototyping.
IEEE Trans. Software Eng.
Peter B. Henderson
1986 — ed.
SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, CA, USA, December 9-11, 1986
SDE
Peter B. Henderson
1986 J jnl
Software development/programming environments.
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
1985 A* conf
Continous Execution: The VisiProg Environment.
ICSE
Peter B. Henderson, Mark D. Weiser
1985 J jnl
Software development/programming environments.
ACM SIGSOFT Softw. Eng. Notes
Peter B. Henderson
1984 — ed.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, USA, April 23-25, 1984
SDE
William E. Riddle, Peter B. Henderson
1982 J jnl
On Transforming Control Structures.
SIAM J. Comput.
John Keohane, John C. Cherniavsky, Peter B. Henderson
1981 J jnl
Modularization of Large Programs.
Softw. Pract. Exp.
Peter B. Henderson, Roger B. Gimson
1980 J jnl
Synchronization Problems Solvable by Generalized PV Systems.
J. ACM
Peter B. Henderson, Yechezkel Zalcstein
1979 J jnl
A Note Concerning Top Down Program Development and Restricted Exit Control Structures.
Inf. Process. Lett.
John C. Cherniavsky, John Keohane, Peter B. Henderson
1977 J jnl
A Graph-Theoretic Characterization of the PV_chunk Class of Synchronizing Primitives.
SIAM J. Comput.
Peter B. Henderson, Yechezkel Zalcstein
1976 A* conf
Characterization of the Synchronization Languages for PV Systems
FOCS
Peter B. Henderson, Yechezkel Zalcstein
1974 J jnl
Considerations for efficient picture output via lineprinter.
Comput. Graph. Image Process.
Peter B. Henderson, Steven L. Tanimoto