The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Chris Fox: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. John P. McDermott, Chris Fox
    Using Abuse Case Models for Security Requirements Analysis. [Citation Graph (0, 0)][DBLP]
    ACSAC, 1999, pp:55-0 [Conf]
  2. Costin Badica, Chris Fox
    On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models. [Citation Graph (0, 0)][DBLP]
    ADVIS, 2004, pp:543-553 [Conf]
  3. Chris Fox, Shalom Lappin
    Polymorphic Quantifiers and Underspecification in Natural Language. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:687-700 [Conf]
  4. Barry G. T. Lowden, B. Walls, Anne N. De Roeck, Chris Fox, Raymond Turner
    A Formal Approach to Translating English into SQL. [Citation Graph (0, 0)][DBLP]
    BNCOD, 1991, pp:110-127 [Conf]
  5. Miguel Pérez-Ramírez, Chris Fox
    Imperatives as Obligatory and Permitted Actions. [Citation Graph (0, 0)][DBLP]
    CICLing, 2003, pp:52-64 [Conf]
  6. Miguel Pérez-Ramírez, Chris Fox
    Agents Interpreting Imperative Sentences. [Citation Graph (0, 0)][DBLP]
    CICLing, 2004, pp:56-67 [Conf]
  7. Anne N. De Roeck, Richard Ball, Keith Brown, Chris Fox, Marjolein Groefsema, Nadim Obeid, Raymond Turner
    Helpful Answers To Modal And Hypothetical Questions. [Citation Graph (0, 0)][DBLP]
    EACL, 1991, pp:257-262 [Conf]
  8. Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic
    ConSIT: A Conditioned Program Slicer. [Citation Graph (0, 0)][DBLP]
    ICSM, 2000, pp:216-0 [Conf]
  9. Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel
    Evolutionary Testing Supported by Slicing and Transformation. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:285- [Conf]
  10. Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd
    Pre/Post Conditioned Slicing. [Citation Graph (0, 0)][DBLP]
    ICSM, 2001, pp:138-147 [Conf]
  11. Costin Badica, Chris Fox
    Verification of Multiple Input/Multiple Output Business Processes. [Citation Graph (0, 0)][DBLP]
    IRI, 2004, pp:6-11 [Conf]
  12. Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
    Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. [Citation Graph (0, 0)][DBLP]
    IWPC, 2001, pp:89-97 [Conf]
  13. Mark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic
    Program Simplification as a Means of Approximating Undecidable Propositions. [Citation Graph (0, 0)][DBLP]
    IWPC, 1999, pp:208-217 [Conf]
  14. Chris Fox, Shalom Lappin
    A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations. [Citation Graph (0, 0)][DBLP]
    LACL, 2001, pp:175-192 [Conf]
  15. Miguel Pérez-Ramírez, Chris Fox
    The Role of Imperatives in Inference, Agents, and Actions. [Citation Graph (0, 0)][DBLP]
    MICAI, 2004, pp:448-457 [Conf]
  16. Chris Fox, Shalom Lappin
    A type-theoretic approach to anaphora and ellipsis resolution. [Citation Graph (0, 0)][DBLP]
    RANLP, 2003, pp:1-16 [Conf]
  17. Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener
    VADA: A Transformation-Based System for Variable Dependence Analysis. [Citation Graph (0, 0)][DBLP]
    SCAM, 2002, pp:55-64 [Conf]
  18. Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward
    ConSUS: A Scalable Approach to Conditioned Slicing. [Citation Graph (0, 0)][DBLP]
    WCRE, 2002, pp:109-118 [Conf]
  19. Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox
    Node Coarsening Calculi for Program Slicing. [Citation Graph (0, 0)][DBLP]
    WCRE, 2001, pp:25-34 [Conf]
  20. Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox
    A Denotational Interprocedural Program Slicer. [Citation Graph (0, 0)][DBLP]
    WCRE, 2002, pp:181-0 [Conf]
  21. Costin Badica, Maria Teodorescu, Cosmin Spahiu, Amelia Badica, Chris Fox
    Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2005, pp:71-74 [Conf]
  22. Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence
    Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:6, pp:737-748 [Journal]
  23. Robert M. Hierons, Mark Harman, Chris Fox
    Branch-Coverage Testability Transformation for Unstructured Programs. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:4, pp:421-436 [Journal]
  24. Chris Fox, Shalom Lappin
    An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:2, pp:135-168 [Journal]
  25. Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward
    ConSUS: a light-weight program conditioner. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2005, v:77, n:3, pp:241-262 [Journal]
  26. Chris Fox, Shalom Lappin
    Underspecified Interpretations in a Curry-typed Representation Language. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:2, pp:131-143 [Journal]
  27. Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
    ConSIT: a fully automated conditioned program slicer. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2004, v:34, n:1, pp:15-46 [Journal]
  28. Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi
    Conditioned slicing supports partition testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:23-28 [Journal]
  29. Chris Fox
    Book Review: Linux: The Complete Reference, Third Edition, by Richard Petersen, Osborne/McGraw-Hill. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2001, v:11, n:1, pp:55-58 [Journal]

  30. And-Or Dependence Graphs for Slicing Statecharts. [Citation Graph (, )][DBLP]


Search in 0.052secs, Finished in 0.053secs
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