dblp.uni-trier.dewww.uni-trier.de

Chris Fox

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
31EEChris Fox, Maribel Fernández, Shalom Lappin: Lambda Calculus, Type Theory, and Natural Language II. J. Log. Comput. 18(2): 203 (2008)
2005
30EEChris Fox, Arthorn Luangsodsai: And-Or Dependence Graphs for Slicing Statecharts. Beyond Program Slicing 2005
29EECostin 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
28 Chris Fox, Shalom Lappin: Polymorphic Quantifiers and Underspecification in Natural Language. We Will Show Them! (1) 2005: 687-700
27EERobert M. Hierons, Mark Harman, Chris Fox: Branch-Coverage Testability Transformation for Unstructured Programs. Comput. J. 48(4): 421-436 (2005)
26EESebastian 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)
25EEChris Fox, Shalom Lappin: Underspecified Interpretations in a Curry-typed Representation Language. J. Log. Comput. 15(2): 131-143 (2005)
24EESebastian 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)
2004
23EECostin Badica, Chris Fox: On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models. ADVIS 2004: 543-553
22EEMiguel Pérez-Ramírez, Chris Fox: Agents Interpreting Imperative Sentences. CICLing 2004: 56-67
21 Costin Badica, Chris Fox: Verification of Multiple Input/Multiple Output Business Processes. IRI 2004: 6-11
20EEMiguel Pérez-Ramírez, Chris Fox: The Role of Imperatives in Inference, Agents, and Actions. MICAI 2004: 448-457
19EEChris 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)
18EEChris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: ConSIT: a fully automated conditioned program slicer. Softw., Pract. Exper. 34(1): 15-46 (2004)
2003
17EEMiguel Pérez-Ramírez, Chris Fox: Imperatives as Obligatory and Permitted Actions. CICLing 2003: 52-64
16 Chris Fox, Shalom Lappin: A type-theoretic approach to anaphora and ellipsis resolution. RANLP 2003: 1-16
2002
15EEMark 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
14EEMark 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
13EEMohammed 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
12EELahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox: A Denotational Interprocedural Program Slicer. WCRE 2002: 181-
11 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)
2001
10EEMark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd: Pre/Post Conditioned Slicing. ICSM 2001: 138-147
9EEChris 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
8EEChris Fox, Shalom Lappin: A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations. LACL 2001: 175-192
7EEMark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox: Node Coarsening Calculi for Program Slicing. WCRE 2001: 25-34
6 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)
2000
5EEChris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic: ConSIT: A Conditioned Program Slicer. ICSM 2000: 216-
1999
4EEJohn P. McDermott, Chris Fox: Using Abuse Case Models for Security Requirements Analysis. ACSAC 1999: 55-
3EEMark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic: Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217
1991
2 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
1EEAnne 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

Coauthor Index

1Amelia Badica [29]
2Costin Badica [21] [23] [29]
3Richard Ball [1]
4André Baresel [15]
5David Binkley [3]
6Keith Brown [1]
7Sebastian Danicic [3] [5] [7] [9] [10] [12] [13] [14] [15] [18] [24] [26]
8Mohammed Daoudi [11] [12] [13] [24]
9Maribel Fernández [31]
10Marjolein Groefsema [1]
11Mark Harman [3] [5] [7] [9] [10] [11] [12] [13] [14] [15] [18] [24] [26] [27]
12Robert M. Hierons [3] [5] [7] [9] [10] [11] [14] [15] [18] [24] [26] [27]
13John Howroyd [7] [10] [13] [24] [26]
14Lin Hu [14] [15]
15Shalom Lappin [8] [16] [19] [25] [28] [31]
16Michael R. Laurence [7] [26]
17Barry G. T. Lowden [2]
18Arthorn Luangsodsai [30]
19John P. McDermott [4]
20Nadim Obeid [1]
21Lahcen Ouarbya [11] [12] [13] [24]
22Miguel Pérez-Ramírez [17] [20] [22]
23Anne N. De Roeck [1] [2]
24Cosmin Spahiu [29]
25Harmen Sthamer [15]
26Maria Teodorescu [29]
27Raymond Turner [1] [2]
28B. Walls [2]
29Martin P. Ward [13] [24]
30Joachim Wegener [14] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)