| 2013 | ||
|---|---|---|
| c26 | Azhar Alhindi, Udo Kruschwitz, Chris Fox: A Pilot Study on Using Profile-Based Summarisation for Interactive Search Assistance. ECIR 2013: 672-675 | |
| 2012 | ||
| j11 | ||
| j10 | ||
| c25 | Fawaz Alarfaj, Udo Kruschwitz, David Hunter, Chris Fox: Finding the Right Supervisor: Expert-Finding in a University Domain. HLT-NAACL 2012: 1-6 | |
| 2011 | ||
| c24 | Mahmoud El-Haj, Udo Kruschwitz, Chris Fox: Exploring Clustering for Multi-document Arabic Summarisation. AIRS 2011: 550-561 | |
| 2009 | ||
| c23 | Mahmoud El-Haj, Udo Kruschwitz, Chris Fox: Experimenting with Automatic Text Summarisation for Arabic. LTC 2009: 490-499 | |
| 2008 | ||
| j9 | Chris Fox, Maribel Fernández, Shalom Lappin: Lambda Calculus, Type Theory, and Natural Language II. J. Log. Comput. 18(2): 203 (2008) | |
| 2006 | ||
| b1 | Chris Fox: Essential Microsoft Operations Manager - get control of your Windows network with Microsoft's Operations Management Tools. O'Reilly 2006, isbn 978-0-596-00953-3, pp. I-XXI, 1-355 | |
| 2005 | ||
| j8 | Robert M. Hierons, Mark Harman, Chris Fox: Branch-Coverage Testability Transformation for Unstructured Programs. Comput. J. 48(4): 421-436 (2005) | |
| j7 | 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. Comput. J. 48(6): 737-748 (2005) | |
| j6 | Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward: ConSUS: a light-weight program conditioner. Journal of Systems and Software 77(3): 241-262 (2005) | |
| j5 | Chris Fox, Shalom Lappin: Underspecified Interpretations in a Curry-typed Representation Language. J. Log. Comput. 15(2): 131-143 (2005) | |
| c22 | Chris Fox, Shalom Lappin: Polymorphic Quantifiers and Underspecification in Natural Language. We Will Show Them! (1) 2005: 687-700 | |
| c21 | Chris Fox, Arthorn Luangsodsai: And-Or Dependence Graphs for Slicing Statecharts. Beyond Program Slicing 2005 | |
| c20 | Costin Badica, Maria Teodorescu, Cosmin Spahiu, Amelia Badica, Chris Fox: Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA. SYNASC 2005: 71-74 | |
| 2004 | ||
| j4 | Chris Fox, Shalom Lappin: An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. Logic Journal of the IGPL 12(2): 135-168 (2004) | |
| j3 | Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: ConSIT: a fully automated conditioned program slicer. Softw., Pract. Exper. 34(1): 15-46 (2004) | |
| c19 | Costin Badica, Chris Fox: On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models. ADVIS 2004: 543-553 | |
| c18 | ||
| c17 | Costin Badica, Chris Fox: Verification of Multiple Input/Multiple Output Business Processes. IRI 2004: 6-11 | |
| c16 | Miguel Pérez-Ramírez, Chris Fox: The Role of Imperatives in Inference, Agents, and Actions. MICAI 2004: 448-457 | |
| 2003 | ||
| c15 | Miguel Pérez-Ramírez, Chris Fox: Imperatives as Obligatory and Permitted Actions. CICLing 2003: 52-64 | |
| c14 | Chris Fox, Shalom Lappin: A type-theoretic approach to anaphora and ellipsis resolution. RANLP 2003: 1-16 | |
| 2002 | ||
| j2 | Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi: Conditioned slicing supports partition testing. Softw. Test., Verif. Reliab. 12(1): 23-28 (2002) | |
| c13 | Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel: Evolutionary Testing Supported by Slicing and Transformation. ICSM 2002: 285 | |
| c12 | Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener: VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM 2002: 55-64 | |
| c11 | Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward: ConSUS: A Scalable Approach to Conditioned Slicing. WCRE 2002: 109-118 | |
| c10 | Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox: A Denotational Interprocedural Program Slicer. WCRE 2002: 181- | |
| 2001 | ||
| j1 | Chris Fox: Book Review: Linux: The Complete Reference, Third Edition, by Richard Petersen, Osborne/McGraw-Hill. Softw. Test., Verif. Reliab. 11(1): 55-58 (2001) | |
| c9 | Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd: Pre/Post Conditioned Slicing. ICSM 2001: 138-147 | |
| c8 | Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. IWPC 2001: 89-97 | |
| c7 | Chris Fox, Shalom Lappin: A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations. LACL 2001: 175-192 | |
| c6 | Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox: Node Coarsening Calculi for Program Slicing. WCRE 2001: 25-34 | |
| 2000 | ||
| c5 | Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic: ConSIT: A Conditioned Program Slicer. ICSM 2000: 216- | |
| 1999 | ||
| c4 | John P. McDermott, Chris Fox: Using Abuse Case Models for Security Requirements Analysis. ACSAC 1999: 55-64 | |
| c3 | Mark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic: Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217 | |
| 1991 | ||
| c2 | Barry G. T. Lowden, B. Walls, Anne N. De Roeck, Chris Fox, Raymond Turner: A Formal Approach to Translating English into SQL. BNCOD 1991: 110-127 | |
| c1 | Anne N. De Roeck, Richard Ball, Keith Brown, Chris Fox, Marjolein Groefsema, Nadim Obeid, Raymond Turner: Helpful Answers To Modal And Hypothetical Questions. EACL 1991: 257-262 | |
Colors in the list of coauthors
Last update Sat May 18 19:48:24 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page