The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Paul A. Bailes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman
    KBSE and Ada - Object and Enabling Technology. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1995, pp:152-163 [Conf]
  2. Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried
    Why Functional Programming Really Matters. [Citation Graph (0, 0)][DBLP]
    Applied Informatics, 2003, pp:919-926 [Conf]
  3. Paul A. Bailes, Ian Peake
    Incremental Enhancement of the Expressiveness of a Reengineering Tool Development Platform. [Citation Graph (0, 0)][DBLP]
    Applied Informatics, 2003, pp:927-934 [Conf]
  4. Paul A. Bailes, Paul Burnim, Murray Chapman
    Mapping Ada Source Code into an Abstract Program Space. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:171-180 [Conf]
  5. John V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake
    Re-engineering 4GL-based Information System Applications. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:448-457 [Conf]
  6. Wie Ming Lim, John V. Harrison, Paul A. Bailes, Anthony Berglas
    Design Recovery through Formal Specification. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 1998, pp:22-31 [Conf]
  7. Paul A. Bailes, Colin J. M. Kemp
    Obstacles to a Totally Functional Programming Style. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2004, pp:178-189 [Conf]
  8. Paul A. Bailes, Colin J. M. Kemp
    Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:520-526 [Conf]
  9. Paul A. Bailes, Eric J. Salzman, Andreas Rosel
    A Proposal for a Bachelor's Degree Program in Software Bngineering. [Citation Graph (0, 0)][DBLP]
    CSEE, 1989, pp:90-108 [Conf]
  10. Paul A. Bailes, Ian Peake
    Design Derivation of an Open, Java-Based Reengineering Platform. [Citation Graph (0, 0)][DBLP]
    CSMR, 2003, pp:239-248 [Conf]
  11. Paul A. Bailes, Colin J. M. Kemp
    Fusing Folds and Data Structures into Zoetic Data. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2005, pp:299-306 [Conf]
  12. Paul A. Bailes, Ming Gong, Andrew Moran
    Why Functional Languages Really Need Parallelism. [Citation Graph (0, 0)][DBLP]
    ICCI, 1993, pp:423-427 [Conf]
  13. Paul A. Bailes, Dan B. Johnston, Eric J. Salzman
    Preprocessing First-Class Functions for Ada. [Citation Graph (0, 0)][DBLP]
    ICCI, 1993, pp:524-528 [Conf]
  14. Paul A. Bailes, Paul Burnim, Murray Chapman, John V. Harrison, Ian Peake
    Towards an intelligent software maintenance network. [Citation Graph (0, 0)][DBLP]
    IFIP World Conference on IT Tools, 1996, pp:129-136 [Conf]
  15. Paul A. Bailes, Paul Burnim, Murray Chapman, Dan B. Johnston
    Derivation and Presentation of an Abstract Program Space for Ada. [Citation Graph (0, 0)][DBLP]
    WPC, 1996, pp:230-0 [Conf]
  16. David Hearnden, Paul A. Bailes, Michael Lawley, Kerry Raymond
    Automating Software Evolution. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2004, pp:95-100 [Conf]
  17. Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman
    Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1996, pp:193-204 [Conf]
  18. Paul A. Bailes, Dan B. Johnston, Eric J. Salzman, Li Wang
    Full Functional Programming in a Declarative Ada Dialect. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1992, pp:350-358 [Conf]
  19. Paul A. Bailes, Colin J. M. Kemp
    Formal Methods within a Totally Functional Approach to Programming. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:287-307 [Conf]
  20. Paul A. Bailes
    A Rational Pascal. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1984, v:16, n:4, pp:155-163 [Journal]
  21. Paul A. Bailes, Murray Chapman, Mae Chia, Ian Peake
    Generic Re-Engineering Environment Design Criteria: An Evaluation of the Software RefineryTM. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1994, v:26, n:4, pp:151-157 [Journal]
  22. Paul A. Bailes
    An Advanced Problem-Oriented Introduction to Imperative Programming with Modula-2. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1988, v:31, n:6, pp:531-539 [Journal]
  23. Paul A. Bailes
    Static Checking of Variable Handling in Dijkstra's Guarded Commands Language. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1986, v:11, n:3/4, pp:123-142 [Journal]
  24. Paul A. Bailes
    G: A Functional Language with Generic Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1987, v:12, n:2, pp:69-94 [Journal]
  25. Paul A. Bailes
    The Hierarchical Development of a Generic Type Mechanism for Functional Languages. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1990, v:15, n:1, pp:1-26 [Journal]
  26. Paul A. Bailes, Trevor Chorvat
    Facet Grammars: Towards Static Semantic Analysis by Context-Free Parsing. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:18, n:4, pp:251-271 [Journal]
  27. Paul A. Bailes, Dan B. Johnston, Eric J. Salzman
    A Proposal for a Genuinely-Lazy Streams Facility for Ada. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:18, n:1, pp:31-55 [Journal]
  28. Paul A. Bailes
    A Low-Cost Implementation of Coroutines for C. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1985, v:15, n:4, pp:379-395 [Journal]
  29. Paul A. Bailes
    DDA - A Data Definition Facility for UNIX Using Awk. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1985, v:15, n:10, pp:1011-1020 [Journal]
  30. Paul A. Bailes, Antonio Salvadori
    A Semantically-based Formatting Discipline for Pascal. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1984, v:14, n:3, pp:235-251 [Journal]

Search in 0.003secs, Finished in 0.005secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002