Peter B. Henderson

	2012
85		Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 37(1): 10-11 (2012)
84		Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 37(2): 8-10 (2012)
83		Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 37(3): 8-9 (2012)
	2011
82		Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 36(1): 6-7 (2011)
81		Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 36(2): 8-9 (2011)
80		Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 36(3): 7-8 (2011)
79		Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 36(4): 6-7 (2011)
78		Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 36(6): 7-8 (2011)
	2010
77		Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 35(1): 4-5 (2010)
76		Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 35(4): 6-7 (2010)
75		Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 35(6): 7-8 (2010)
	2009
74		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(2): 3-4 (2009)
73		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(3): 4-5 (2009)
72		Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(4): 8 (2009)
71		Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(5): 7 (2009)
70		Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(6): 5-8 (2009)
69		Peter B. Henderson: Ubiquitous Computational Thinking. IEEE Computer 42(10): 100-102 (2009)
68		Peter B. Henderson: Math CountS: SIGCSE 2009 and CS unplugged. SIGCSE Bulletin 41(2): 81-82 (2009)
67		Peter B. Henderson: Math counts: Arguments, proofs, and ... SIGCSE Bulletin 41(4): 21-22 (2009)
	2008
66		Peter B. Henderson: Software Engineering Education: SEEd. ACM SIGSOFT Software Engineering Notes 11(1): (2008)
65		Peter B. Henderson: Software Engineering Education: SEEd. ACM SIGSOFT Software Engineering Notes 33(2): 6 (2008)
64		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 33(3): 5 (2008)
63		Peter B. Henderson: Abstraction, model checking and software correctness. SIGCSE Bulletin 40(2): 23-24 (2008)
62		Peter B. Henderson: Math counts: software correctness and a SIGCSE 2008 BoF. SIGCSE Bulletin 40(4): 27-28 (2008)
	2007
61		Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing: Computational thinking. SIGCSE 2007: 195-196
60		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 32(1): 4 (2007)
59		Peter B. Henderson: Software engineering education: (SEEd). ACM SIGSOFT Software Engineering Notes 32(3): 6-7 (2007)
58		Peter B. Henderson: Software engineering education: (SEEd). ACM SIGSOFT Software Engineering Notes 32(5): 6 (2007)
57		Peter B. Henderson: Reflections on teaching discrete math for the first time. SIGCSE Bulletin 39(2): 24 (2007)
56		Peter B. Henderson: Pre-college math concepts vs. skills. SIGCSE Bulletin 39(4): 26-28 (2007)
	2006
55		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 31(2): 3 (2006)
54		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 31(3): 5 (2006)
53		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 31(4): 8 (2006)
52		Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 31(6): 9 (2006)
51		Peter B. Henderson: The Josephus Flavius' problem. SIGCSE Bulletin 38(2): 17-20 (2006)
50		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. SIGCSE Bulletin 38(4): 132-145 (2006)
49		Peter B. Henderson, Rachelle DeCoste, Kevin L. Huggins: Preparing to teach discrete math for the first time. SIGCSE Bulletin 38(4): 20-21 (2006)
	2005
48		Wing Huen, Ernest Ferguson, Peter B. Henderson, Clifton Kussmaul: IT offshore outsourcing: impact on CS/IS curriculum. SIGCSE 2005: 258-259
47		Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 30(1): 8-9 (2005)
46		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 30(2): 3 (2005)
45		Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 30(4): 6 (2005)
44		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 30(6): 3-4 (2005)
43		Peter B. Henderson: The Role of Mathematics in Computer Science and Software Engineering Education. Advances in Computers 65: 350-396 (2005)
42		Peter B. Henderson: Mathematics in the curricula. SIGCSE Bulletin 37(2): 20-22 (2005)
41		Peter B. Henderson: One-minute column. SIGCSE Bulletin 37(4): 24-26 (2005)
	2004
40		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 29(2): 6-8 (2004)
39		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 29(3): 5-6 (2004)
38		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 29(5): 12-13 (2004)
37		Peter B. Henderson: Modeling mania. SIGCSE Bulletin 36(2): 23-24 (2004)
36		Peter B. Henderson: Penny piles. SIGCSE Bulletin 36(4): 22-24 (2004)
	2003
35		Peter B. Henderson, William Barker, Susanna S. Epp, William A. Marion: Math educators, computer science educators: working together. SIGCSE 2003: 236-237
34		Peter B. Henderson: ISSAC: Indiana student software awards competition. SIGCSE 2003: 332-335
33		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 28(2): 10-12 (2003)
32		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 28(3): 11-12 (2003)
31		Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 28(4): 3-5 (2003)
30		Peter B. Henderson: Mathematical reasoning in software engineering education. Commun. ACM 46(9): 45-50 (2003)
29		Peter B. Henderson, Lewis E. Hitchner, Jane Fritz, Bill Marion, Christelle Scharff, John Hamer, Charles Riedesel: Materials development in support of mathematical thinking. SIGCSE Bulletin 35(2): 185-190 (2003)
28		Peter B. Henderson: Inductive reasoning. SIGCSE Bulletin 35(2): 27-29 (2003)
27		Peter B. Henderson: More on inductive reasoning. SIGCSE Bulletin 35(4): 23-25 (2003)
	2002
26		Peter B. Henderson, Paul De Palma, Vicki L. Almstrum, Orit Hazzan, Kim Potter Kihlstrom: Women, mathematics and computer science. SIGCSE 2002: 131-132
25		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
24		Doug Baldwin, Peter B. Henderson: The Importance of Mathematics to the Software Practitioner. IEEE Software 19(2): 110-112 (2002)
23		Peter B. Henderson: Making math interesting. SIGCSE Bulletin 34(4): 26-28 (2002)
	2001
22		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
21		Judith L. Gersting, Peter B. Henderson, Philip Machanick, Yale N. Patt: Programming early considered harmful. SIGCSE 2001: 402-403
20		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. SIGCSE Bulletin 33(4): 114-124 (2001)
	2000
19		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-
18		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
	1994
17		Neil Berrington, David De Roure, R. Mark Greenwood, Peter B. Henderson: Distribution and Change: Investigating Two Challenges for Process Enactment Systems. EWSPT 1994: 152-162
	1990
16		Peter B. Henderson: Discrete mathematics as a precursor to programming. SIGCSE 1990: 17-21
	1989
15		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
14		Peter B. Henderson, Francisco J. Romero: Teaching recursion as a problem-solving tool using standard ML. SIGCSE 1989: 27-31
	1987
13		Cydney Minkowitz, Peter B. Henderson: A Formal Description of Object-Oriented Programming Using VDM. VDM Europe 1987: 237-259
	1986
12		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
11		Peter B. Henderson: Data-Oriented Incremental Programming Environments. Advanced Programming Environments 1986: 13-25
10		Peter B. Henderson: Anatomy of an introductory computer science course. SIGCSE 1986: 257-264
9		Peter B. Henderson: Functional Programming, Formal Specification, and Rapid Prototyping. IEEE Trans. Software Eng. 12(2): 241-250 (1986)
	1985
8		Peter B. Henderson, Mark Weiser: Continous Execution: The VisiProg Environment. ICSE 1985: 68-74
	1984
7		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
	1982
6		John Keohane, John C. Cherniavsky, Peter B. Henderson: On Transforming Control Structures. SIAM J. Comput. 11(2): 268-286 (1982)
	1981
5		Peter B. Henderson, Roger B. Gimson: Modularization of Large Programs. Softw., Pract. Exper. 11(5): 497-520 (1981)
	1980
4		Peter B. Henderson, Yechezkel Zalcstein: Synchronization Problems Solvable by Generalized PV Systems. J. ACM 27(1): 60-71 (1980)
	1979
3		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
2		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
1		Peter B. Henderson, Yechezkel Zalcstein: Characterization of the Synchronization Languages for PV Systems FOCS 1976: 9-18

Coauthor Index

1	Vicki L. Almstrum	[26] [50]
2	Mark A. Ardis	[70] [71] [72] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85]
3	Doug Baldwin	[18] [20] [24]
4	William Barker	[35]
5	Neil Berrington	[17]
6	John C. Cherniavsky	[3] [6]
7	Thomas J. Cortina	[61]
8	Venu Dasigi	[20]
9	Rachelle DeCoste	[49]
10	Marcel Dupras	[20]
11	Bruce S. Elenbogen	[25]
12	Richard J. Enbody	[25]
13	Susanna S. Epp	[35]
14	Ernest Ferguson	[48]
15	Jane Fritz	[20] [29]
16	Judith L. Gersting	[21]
17	Roger B. Gimson	[5]
18	David Ginat	[20]
19	Don Goelman	[20]
20	R. Mark Greenwood	[17]
21	John Hamer	[20] [29]
22	Valerie J. Harvey	[50]
23	Orit Hazzan	[26]
24	Cinda Heeren	[50]
25	Lewis E. Hitchner	[20] [29]
26	Wing Huen	[48]
27	Kevin L. Huggins	[49]
28	John Keohane	[3] [6]
29	Kim Potter Kihlstrom	[26]
30	Amruth N. Kumar	[22]
31	Clifton Kussmaul	[48]
32	John E. Laird	[25]
33	Will Lloyd	[20]
34	Philip Machanick	[21]
35	Bill Marion	[20] [29]
36	William A. Marion	[35] [50]
37	Chris McDonald	[25]
38	Cydney Minkowitz	[13]
39	Richard Nau	[25]
40	Paul De Palma	[26]
41	Yale N. Patt	[21]
42	Samuel A. Rebelsky	[22]
43	William E. Riddle	[7]
44	Charles Riedesel	[20] [29] [50]
45	Francisco J. Romero	[14]
46	David De Roure	[17]
47	Hossein Saiedian	[19]
48	Christelle Scharff	[29]
49	Carl H. Smith	[18]
50	Ann E. Kelley Sobel	[19]
51	Leen-Kiat Soh	[50]
52	Frederick N. Springsteel	[22]
53	Allan M. Stavely	[19]
54	Steven L. Tanimoto	[25]
55	Allison Elliott Tew	[50]
56	D. S. Tomer	[18]
57	Venu Vadisigi	[18]
58	Henry MacKay Walker	[20]
59	Mark Weiser	[8]
60	Jeannette M. Wing	[61]
61	Yechezkel Zalcstein	[1] [2] [4]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page