The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter B. Henderson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson
    Teaching Formal Methods Early in the Software Engineering Curriculum (panel). [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2000, pp:55-0 [Conf]
  2. Neil Berrington, David De Roure, R. Mark Greenwood, Peter B. Henderson
    Distribution and Change: Investigating Two Challenges for Process Enactment Systems. [Citation Graph (0, 0)][DBLP]
    EWSPT, 1994, pp:152-162 [Conf]
  3. Cydney Minkowitz, Peter B. Henderson
    A Formal Description of Object-Oriented Programming Using VDM. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:237-259 [Conf]
  4. Peter B. Henderson, Yechezkel Zalcstein
    Characterization of the Synchronization Languages for PV Systems [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:9-18 [Conf]
  5. Peter B. Henderson, Mark Weiser
    Continous Execution: The VisiProg Environment. [Citation Graph (0, 0)][DBLP]
    ICSE, 1985, pp:68-74 [Conf]
  6. Peter B. Henderson
    Data-Oriented Incremental Programming Environments. [Citation Graph (0, 0)][DBLP]
    Advanced Programming Environments, 1986, pp:13-25 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2002, pp:98-99 [Conf]
  8. Judith L. Gersting, Peter B. Henderson, Philip Machanick, Yale N. Patt
    Programming early considered harmful. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2001, pp:402-403 [Conf]
  9. Peter B. Henderson
    ISSAC: Indiana student software awards competition. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2003, pp:332-335 [Conf]
  10. Peter B. Henderson
    Anatomy of an introductory computer science course. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1986, pp:257-264 [Conf]
  11. Peter B. Henderson
    Discrete mathematics as a precursor to programming. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1990, pp:17-21 [Conf]
  12. Peter B. Henderson, William Barker, Susanna Epp, William A. Marion
    Math educators, computer science educators: working together. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2003, pp:236-237 [Conf]
  13. Peter B. Henderson, Paul De Palma, Vicki L. Almstrum, Orit Hazzan, Kim Potter Kihlstrom
    Women, mathematics and computer science. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2002, pp:131-132 [Conf]
  14. Peter B. Henderson, Francisco J. Romero
    Teaching recursion as a problem-solving tool using standard ML. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1989, pp:27-31 [Conf]
  15. Wing Huen, Ernest Ferguson, Peter B. Henderson, Clifton Kussmaul
    IT offshore outsourcing: impact on CS/IS curriculum. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:258-259 [Conf]
  16. Samuel A. Rebelsky, Peter B. Henderson, Amruth N. Kumar, Frederick N. Springsteel
    Why I do declare!: declarative programming in the undergraduate curriculum. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2001, pp:398-399 [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2000, pp:397-398 [Conf]
  18. Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing
    Computational thinking. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2007, pp:195-196 [Conf]
  19. Peter B. Henderson
    The Role of Mathematics in Computer Science and Software Engineering Education. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 2005, v:65, n:, pp:350-396 [Journal]
  20. Peter B. Henderson
    Mathematical reasoning in software engineering education. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2003, v:46, n:9, pp:45-50 [Journal]
  21. John C. Cherniavsky, John Keohane, Peter B. Henderson
    A Note Concerning Top Down Program Development and Restricted Exit Control Structures. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:9, n:1, pp:8-12 [Journal]
  22. Peter B. Henderson, Yechezkel Zalcstein
    Synchronization Problems Solvable by Generalized PV Systems. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1980, v:27, n:1, pp:60-71 [Journal]
  23. Peter B. Henderson, Yechezkel Zalcstein
    A Graph-Theoretic Characterization of the PV_chunk Class of Synchronizing Primitives. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1977, v:6, n:1, pp:88-108 [Journal]
  24. John Keohane, John C. Cherniavsky, Peter B. Henderson
    On Transforming Control Structures. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1982, v:11, n:2, pp:268-286 [Journal]
  25. Doug Baldwin, Peter B. Henderson
    The Importance of Mathematics to the Software Practitioner. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2002, v:19, n:2, pp:110-112 [Journal]
  26. Peter B. Henderson, Roger B. Gimson
    Modularization of Large Programs. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1981, v:11, n:5, pp:497-520 [Journal]
  27. Peter B. Henderson
    Functional Programming, Formal Specification, and Rapid Prototyping. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:2, pp:241-250 [Journal]

  28. Ubiquitous Computational Thinking. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002